具有任何参数的模板仿函数
我试图创建模板仿函数,它将使用任意数量的参数作为参数对象和成员函数。 我无法弄清楚如何使用模板正确编写代码。
template<typename ItemT,
class T,
typename ...Args>
struct Builder
{
ItemT operator()(T& object, ItemT (T::*method)(Args...), Args && ... args)
{
return (object.*method)(std::forward<Args>(args)...);
}
};
struct Object
{
int method(int, int, int) { return 4; }
};
int main()
{
Object obj;
Builder<int, Object>()(obj, &Object::method); // Error here
}
如果我使用不带参数的Object ::方法 - 代码编译。 但是参数 - 不。
严重级代码说明项目文件行抑制状态错误C2664'int Builder :: operator()(T&,ItemT(__thiscall Object :: *)(void))':无法将参数2从'int(__thiscall Object :: * (int,int,int)'to'int(__thiscall Object :: *)(void)'草稿c: drafts main.cpp 139
假设你不想改变Builder
的当前定义,这就是你需要实例化它的方式:
Builder<int, Object, int, int, int>()(obj, &Object::method, 0, 0, 0);
// ^ ^ ^^^^^^^^^^^^^ ^^^^^^^
// ItemT | | |
// T Args... args...
operator()
调用中的args...
参数扩展必须与传递给Builder
的TArgs...
包匹配。
wandbox示例
这是另一个不太严格的设计:
template<typename T>
struct Builder
{
template <typename TFnPtr, typename... Args>
auto operator()(T& object, TFnPtr method, Args && ... args)
{
return (object.*method)(std::forward<Args>(args)...);
}
};
上面的Builder
可以这样使用:
int main()
{
Object obj;
Builder<Object>()(obj, &Object::method, 0, 0, 0);
}
在这种情况下,成员函数指针的类型是通过TFnPtr
推导出来的,并不限于任何特定的参数集。 可变参数不再是Builder
一部分 - 它们是Builder::operator()
,因此它们可以被推导并转发到(object.*method)
。
wandbox示例
您可以完全避免在Builder
上进行模板化,并完全依靠模板参数推导:
struct Builder {
template <typename Obj, typename R, typename ... FArgs, typename ... Args>
R operator()(Obj& obj, R (Obj::*fn)(FArgs...), Args&&... args) {
return (obj.*fn)(std::forward<Args>(args)...);
}
};
我选择使用两个参数包以实现完美转发: operator()
调用的值类别不一定与目标方法相匹配。 这也允许在应用成员函数指针时隐式转换参数。 请注意,这个实现不会匹配Obj
const
方法。
你当然可以使用auto
返回类型(C ++ 14)或者追踪返回类型(C ++ 11)来放松一下。 既然Vittorio的答案已经提供了C ++ 14的方法,我会解决后者。 operator()
然后变成:
template <typename Obj, typename FnPtr, typename ... Args>
auto operator()(Obj& obj, FnPtr fn, Args&&... args)
-> decltype((obj.*fn)(std::forward<Args>(args)...)) {
return (obj.*fn)(std::forward<Args>(args)...);
}
然后,用法将简单地为:
Object obj;
Builder()(obj, &Object::method, 0, 0, 0);
Coliru现场演示。
链接地址: http://www.djcxy.com/p/59567.html