“解压缩”元组以调用匹配的函数指针

Question

“解压缩”元组以调用匹配的函数指针

我试着储存在std::tuple不同数量的值，这些值稍后将用作调用与存储类型匹配的函数指针的参数。

我创建了一个简单的示例，展示了我正在努力解决的问题：

#include <iostream>#include <tuple>void f(int a, double b, void* c) {
  std::cout << a << ":" << b << ":" << c << std::endl;}template <typename ...Args>struct save_it_for_later {
  std::tuple<Args...> params;
  void (*func)(Args...);

  void delayed_dispatch() {
     // How can I "unpack" params to call func?
     func(std::get<0>(params), std::get<1>(params), std::get<2>(params));
     // But I *really* don't want to write 20 versions of dispatch so I'd rather 
     // write something like:
     func(params...); // Not legal
  }};int main() {
  int a=666;
  double b = -1.234;
  void *c = NULL;

  save_it_for_later<int,double,void*> saved = {
                                 std::tuple<int,double,void*>(a,b,c), f};
  saved.delayed_dispatch();}

正常情况下涉及的问题std::tuple或者是各种模板，我会编写另一个模板，如template <typename Head, typename ...Tail>一个地递归地计算所有类型，但是我看不出有什么方法来分配函数调用。

这样做的真正动机要复杂一些，而且基本上只是一个学习练习。您可以假设我是从另一个接口通过契约传递元组的，所以不能更改，但是将其解压缩到函数调用中的愿望是我的愿望。这排除了使用std::bind作为规避潜在问题的廉价方法。

使用std::tuple，还是另一种更好的方法来实现相同的净结果：存储/转发一些值和一个函数指针，直到一个任意的未来点？

Answer 1

您需要构建一个数字参数包并解压它们。template<int&nbsp;...>struct&nbsp;seq&nbsp;{&nbsp;};template<int&nbsp;N,&nbsp;int&nbsp;...S>struct&nbsp;gens&nbsp;:&nbsp;gens<N-1,&nbsp;N-1,&nbsp;S...>&nbsp;{&nbsp;};template<int&nbsp;...S>struct&nbsp;gens<0,&nbsp;S...>&nbsp;{ &nbsp;&nbsp;typedef&nbsp;seq<S...>&nbsp;type;};//&nbsp;... &nbsp;&nbsp;void&nbsp;delayed_dispatch()&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;callFunc(typename&nbsp;gens<sizeof...(Args)>::type()); &nbsp;&nbsp;} &nbsp;&nbsp;template<int&nbsp;...S> &nbsp;&nbsp;void&nbsp;callFunc(seq<S...>)&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;func(std::get<S>(params)&nbsp;...); &nbsp;&nbsp;}//&nbsp;...

Answer 2

这里是一个C+14解决方案。template&nbsp;<typename&nbsp;...Args>struct&nbsp;save_it_for_later{ &nbsp;&nbsp;std::tuple<Args...>&nbsp;params; &nbsp;&nbsp;void&nbsp;(*func)(Args...); &nbsp;&nbsp;template<std::size_t&nbsp;...I> &nbsp;&nbsp;void&nbsp;call_func(std::index_sequence<I...>) &nbsp;&nbsp;{&nbsp;func(std::get<I>(params)...);&nbsp;} &nbsp;&nbsp;void&nbsp;delayed_dispatch() &nbsp;&nbsp;{&nbsp;call_func(std::index_sequence_for<Args...>{});&nbsp;}};这仍然需要一个助手函数(call_func)。由于这是一个常见的成语，也许标准应该直接支持它std::call可能的实施//&nbsp;helper&nbsp;classtemplate<typename&nbsp;R,&nbsp;template<typename...>&nbsp;class&nbsp;Params,&nbsp;typename...&nbsp;Args,&nbsp;std::size_t...&nbsp;I >R&nbsp;call_helper(std::function<R(Args...)>&nbsp;const&func,&nbsp;Params<Args...>&nbsp;const&params,&nbsp;std::index_sequence<I...>) {&nbsp;return&nbsp;func(std::get<I>(params)...);&nbsp;}//&nbsp;"return&nbsp;func(params...)"template<typename&nbsp;R,&nbsp;template<typename... >&nbsp;class&nbsp;Params,&nbsp;typename...&nbsp;Args>R&nbsp;call(std::function<R(Args...)>&nbsp;const&func,&nbsp;Params<Args...>&nbsp;const&params) {&nbsp;return&nbsp;call_helper(func,params,std::index_sequence_for<Args...>{});&nbsp;}那么我们的延迟调度就变成了template&nbsp;<typename&nbsp;...Args>struct&nbsp;save_it_for_later{ &nbsp;&nbsp;std::tuple<Args...>&nbsp;params; &nbsp;&nbsp;std::function<void(Args...)>&nbsp;func; &nbsp;&nbsp;void&nbsp;delayed_dispatch() &nbsp;&nbsp;{&nbsp;std::call(func,params);&nbsp;}};