最近我一直在使用libffi ，因为它使用了C API，所以任何抽象都是通过使用void指针（好的C）来完成的。 我正在创build一个类（使用variadic模板），它利用这个API。 类声明如下：（其中Ret =返回值， Args =函数参数）
template <typename Ret, typename... Args> class Function
在这个类中，我也声明了两个不同的函数（简化）：
Ret Call(Args... args); // Calls the wrapped function void CallbackBind(Ret * ret, void * args[]); // The libffi callback function (it's actually static...)
我希望能够使用来自CallbackBind Call ; 这是我的问题。 我不知道我应该如何将void*数组转换为模板参数列表。 这是我想要的更多或更less：
CallbackBind(Ret * ret, void * args[]) { // I want to somehow expand the array of void pointers and convert each // one of them to the corresponding template type/argument. The length // of the 'void*' vector equals sizeof...(Args) (variadic template argument count) // Cast each of one of the pointers to their original type *ret = Call(*((typeof(Args[0])*) args[0]), *((typeof(Args[1])*) args[1]), ... /* and so on */); }
如果这是不可行的，是否有任何解决方法或不同的解决scheme可用？
你不想迭代类型，你想创建一个参数包，并在一个可变模板中展开它。 你有一个数组，所以你想要的包是一组整数0,1,2 …作为数组索引。
#include <redi/index_tuple.h> template<typename Ret, typename... Args> struct Function { Ret (*wrapped_function)(Args...); template<unsigned... I> Ret dispatch(void* args[], redi::index_tuple<I...>) { return wrapped_function(*static_cast<Args*>(args[I])...); } void CallbackBind(Ret * ret, void * args[]) { *ret = dispatch(args, to_index_tuple<Args...>()); } };
像这样的东西，使用index_tuple.h
诀窍是CallbackBind创建一个表示arg位置的整数的index_tuple ，并分派给另一个推导整数的函数，并将这个包展开成一个转换表达式列表，作为包装函数的参数。