使用参数包分配具有可变参数的函数指针

Question

我想将一个指向函数的指针存储为成员变量，该函数可以接受可变数量的不同类型的参数。

我一直在尝试使用的基本结构是这样的

template <typename... Args>
using ArgsFuncPointer = void(*)(Args...);

template<typename... Args> void varArgsFunc(Args&&... args) {  }

{
    ArgsFuncPointer<int, float> funcPointer = varArgsFunc;   
    funcPointer(1, 2.0);
}

问题是varArgsFunc不能转换成ArgsFuncPointer<int, float>

请参阅coliru 了解（非）工作示例。

最终我希望能够做类似的事情：

template <typename... Args> class Foo
{
public:
    Foo(Args&&... args)
    {
        func(args);
    }

    VarArgsFuncPointer func;
}

更新

事实证明，它无法编译的原因是ArgsFuncPointer 和varArgsFunc 之间的签名存在细微差别。对于ArgsFuncPointer，参数包通过右值引用传递，而对于varArgsFunc，参数包通过值传递。

这行得通：

template <typename... Args>
using ArgsFuncPointer = void(*)(Args&&...);

template<typename... Args> void varArgsFunc(Args&&... args) {  }

{
    ArgsFuncPointer<int, float> funcPointer = varArgsFunc;   
    funcPointer(1, 2.0);
}

工作示例here

Answer 1

问题在于varArgsFunc 是一个模板 不是特定函数，但ArgsFuncPointer<int, float> 是指向特定函数的指针。

未经测试，但您应该能够通过指定其模板参数来指定实际的函数实例：

ArgsFuncPointer<int, float> funcPointer = varArgsFunc<int, float>;
//                                                   ^^^^^^^^^^^^
//                                Must specify template arguments

---

另一方面，我建议您使用std::function 而不是指向非成员 函数的指针。这将允许您使用 std::bind 或 lambdas 或几乎任何可调用对象。

使用std::function 将与您现在拥有的非常相似：

template <typename... Args>
using ArgsFuncPointer = std::function<void(Args...)>;

然后使用 lambda 你可以做类似的事情

ArgsFuncPointer<int, float> funcPointer = [](int i, float f)
{
    varArgsFunc(i, f);  // Call the real function
};

Answer 2

你有没有类似的事情

template <typename... Args>
using ArgsFuncPointer = void(*)(Args...);

template <typename... Args> class Foo
{
public:
    Foo(Args&&... args)
    {
        func(std::forward<Args>(args)...);
    }

    ArgsFuncPointer<Args...> func;
};

在表达式中使用时需要扩展包。