具有任何参数的模板函子

Question

我正在尝试创建一个模板函子，它将使用任意数量的参数作为参数对象和成员函数。我不知道如何用模板正确地编写代码。

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
}

如果我使对象::方法没有参数-代码编译。但是有参数-没有。

严重性代码描述项目文件行抑制状态错误C2664'int Builder::运算符（）（T

Answer 1

您可以完全避免在＜code＞生成器

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 方法不匹配。

当然，您可以使用自动返回类型（C 14）或尾随返回类型（C 11）稍微放松一下。由于Vittorio的答案已经向您展示了C 14的方式，我将解决后者。然后，运算符 （） 将变为：

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上的现场演示。

Answer 2

假设您不想更改生成器的当前定义，则需要这样实例化它：

Builder<int, Object, int, int, int>()(obj, &Object::method, 0, 0, 0);
//      ^       ^    ^^^^^^^^^^^^^                          ^^^^^^^
//      ItemT   |    |                                      |
//              T    Args...                                args...

< code >参数... < code > operator()调用中的参数扩展必须与< code >目标匹配...包传递给< code >生成器本身。

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::运算符（）的一部分，因此它们可以被推导并转发到（对象。*方法）。

wandbox示例