c++ - 使用 std::function 作为具有任意数量参数的数据成员

Question

我正在尝试创建一个以 std::function 作为数据成员的类。

像这样:

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

struct UI_Element
{
      std::shared_ptr<UI_Element> parent;
      std::vector<std::shared_ptr<UI_Element>> children;

      Function<> callbackFunc;

      template<typename F>
      void registerCallbackFunc(const F& f)
      {
               callbackFunc = f;
      }

      template<typename ... Args>
      void doFunc(Args&& ... args)
      {
             callbackFunc(std::forward<Args>(args)...);
      }
};

问题是它显然适用于不接受任何参数的函数(由于 Function<>)。例如，

void doStuff() 
{
      std::cout << "This function works\n";
}

有没有办法让我注册包含任意数量参数的回调函数？

或者不使用 std::function 的其他方式来实现我想要的？

Answer 1

每个具有不同参数列表的 std::function 都是一个单独的类。由于成员只能具有一种类型，因此实现此目的的唯一方法是隐藏该类型。

因此，这在技术上可以通过将函数包装器存储在 std::any 中来实现。也许可以编写一个更具体的“任何功能”包装器，但遵循“有效”:

std::any callbackFunc;

template<typename ... Args>
void registerCallbackFunc(std::function<void(Args...)> f)
{
    callbackFunc = std::function(f);
}

template<typename ... Args>
void doFunc(Args ... args)
{
    std::any_cast<std::function<void(Args...)>>(callbackFunc)(std::move(args)...);
}

这不是很好处理。引用参数是不允许的(强制未实现)并且您必须传递具有完全正确类型的参数，因为隐式转换不能通过此接口(interface)工作。所以，如果你注册了 void(int)，你就不能用 void(long) 调用它。

如果您尝试使用错误数量的参数调用，将抛出异常。

我的结论:没有简单的解决方案可以将具有无约束参数列表的函数存储到单一类型中。这种尝试对于一般用途来说当然是不够的。