我正在尝试存储在 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>
逐一递归地评估所有类型,但我看不到一种方法来分派(dispatch)函数调用。
这样做的真正动机有点复杂,而且它主要只是一种学习练习。您可以假设我是从另一个接口(interface)通过契约(Contract)将元组交给我的,因此无法更改,但是将它解压缩到函数调用中的愿望是我的。这排除了使用 std::bind
作为回避潜在问题的廉价方法。
使用 std::tuple
发送调用的干净方式是什么? ,或者另一种更好的方法来实现存储/转发一些值和函数指针直到任意 future 点的相同最终结果?
最佳答案
你需要构建一个数字参数包并解压它们
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) ...);
}
// ...
关于c++ - "unpacking"调用匹配函数指针的元组,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10254289/