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

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 调度调用的干净方法是什么，或者是实现存储/转发某些值和函数指针直到任意未来点的相同净结果的替代更好方法？

原文由 Flexo 发布，翻译遵循 CC BY-SA 4.0 许可协议

Answer 1

C++17 的解决方案就是简单地使用 std::apply ：

 auto f = [](int a, double b, std::string c) { std::cout<<a<<" "<<b<<" "<<c<< std::endl; };
auto params = std::make_tuple(1,2.0,"Hello");
std::apply(f, params);

只是觉得应该在这个线程的答案中说明一次（在它已经出现在其中一个评论中之后）。

---

此线程中仍然缺少基本的 C++14 解决方案。编辑：不，它实际上在沃尔特的回答中。

给出了这个函数：

 void f(int a, double b, void* c)
{
      std::cout << a << ":" << b << ":" << c << std::endl;
}

使用以下代码段调用它：

 template<typename Function, typename Tuple, size_t ... I>
auto call(Function f, Tuple t, std::index_sequence<I ...>)
{
     return f(std::get<I>(t) ...);
}

template<typename Function, typename Tuple>
auto call(Function f, Tuple t)
{
    static constexpr auto size = std::tuple_size<Tuple>::value;
    return call(f, t, std::make_index_sequence<size>{});
}

例子：

 int main()
{
    std::tuple<int, double, int*> t;
    //or std::array<int, 3> t;
    //or std::pair<int, double> t;
    call(f, t);
}

演示

原文由 davidhigh 发布，翻译遵循 CC BY-SA 3.0 许可协议

Answer 2

我使用 C++14 std::index_sequence （和函数返回类型作为模板参数 RetT）的 Johannes 解决方案的变体：

 template <typename RetT, typename ...Args>
struct save_it_for_later
{
    RetT (*func)(Args...);
    std::tuple<Args...> params;

    save_it_for_later(RetT (*f)(Args...), std::tuple<Args...> par) : func { f }, params { par } {}

    RetT delayed_dispatch()
    {
        return callFunc(std::index_sequence_for<Args...>{});
    }

    template<std::size_t... Is>
    RetT callFunc(std::index_sequence<Is...>)
    {
        return func(std::get<Is>(params) ...);
    }
};

double foo(int x, float y, double z)
{
  return x + y + z;
}

int testTuple(void)
{
  std::tuple<int, float, double> t = std::make_tuple(1, 1.2, 5);
  save_it_for_later<double, int, float, double> saved (&foo, t);
  cout << saved.delayed_dispatch() << endl;
  return 0;
}

原文由 schwart 发布，翻译遵循 CC BY-SA 3.0 许可协议