我试图在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
分派调用的干净方法是什么,或者实现存储/转发一些值和函数指针直到任意未来点的相同净结果的替代更好的方法是什么?