我正在尝试存储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或variadic模板我会写另一个模板template <typename Head, typename ...Tail>要递归地评估所有类型的所有类型，但我看不到一种用于派遣函数调用的方法。
真正的动力更为复杂，无论如何它主要只是学习练习。您可以假设我通过另一个接口的合同将元组交给了元组，因此无法更改，但是将其解放到功能调用中的愿望是我的。这排除了使用std::bind作为避开基本问题的便宜方式。
什么是一种干净的方式，可以使用std::tuple，还是一种获得相同的净结果的更好方法，可以存储/转发一些值和功能指针，直到任意未来？
答案
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);
}