带有任何参数的模板函数

Template functor with any parameters

本文关键字：函数 参数 任何      更新时间：2023-10-16

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

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＆amp;，itemt（_____thiscall object ::*）（void））'：无法转换参数2从'int（____thiscall object ::*）（int，int，int，int）'to'int（__ thiscall object ::*）（void）'草稿c： drafds main.cpp 139

假设您不想更改Builder的当前定义，这就是您需要实例化的方式：

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

operator()调用中的args...参数扩展必须与传递的TArgs...包与Builder本身匹配。

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推导的，并且不受任何特定参数集的约束。variadic参数不再是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);

live demo on Coliru。

相关文章：