c++ - "unpacking"调用匹配函数指针的元组

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>递归地逐一评估所有类型，但我看不到一种方法来调度函数调用。

这样做的真正动机要复杂一些，而且无论如何它主要只是一个学习练习。您可以假设我是通过契约(Contract)从另一个接口(interface)传递元组的，因此无法更改，但将其解压缩到函数调用中的愿望是我的。这排除了使用 std::bind作为一种回避潜在问题的廉价方法。

使用 std::tuple 调度调用的简洁方法是什么？ ，或者另一种更好的方法来实现存储/转发某些值和函数指针直到任意 future 点的相同最终结果？

Answer 1

你需要构建一个数字参数包并解包

template<int ...>
struct seq { };

template<int N, int ...S>
struct gens : gens<N-1, N-1, S...> { };

template<int ...S>
struct gens<0, S...> {
  typedef seq<S...> type;
};


// ...
  void delayed_dispatch() {
     callFunc(typename gens<sizeof...(Args)>::type());
  }

  template<int ...S>
  void callFunc(seq<S...>) {
     func(std::get<S>(params) ...);
  }
// ...