具有任何参数的模板仿函数

我试图创建模板仿函数,它将使用任意数量的参数作为参数对象和成员函数。 我无法弄清楚如何使用模板正确编写代码。

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...参数扩展必须与传递给BuilderTArgs...包匹配。

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

上一篇: Template functor with any parameters

下一篇: Calling a templated base class method compile fails