6

我最近一直在使用libffi,并且由于它使用 C API,因此任何抽象都是通过使用 void 指针(好的 ol' C)来完成的。我正在创建一个使用此 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...)

我希望能够使用Callfrom CallbackBind; 这就是我的问题。我不知道我应该如何将void*数组转换为模板化参数列表。这或多或少是我想要的:

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 */);
}

如果这无法实现,是否有任何变通方法或不同的解决方案可用?

4

1 回答 1

5

你不想迭代类型,你想创建一个参数包并在可变参数模板中扩展它。你有一个数组,所以你想要的包是一组整数 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 创建一个index_tuple表示 arg 位置的整数,并分派给另一个函数,该函数推导出整数并将包扩展为转换表达式列表,以用作包装函数的参数。

于 2012-06-25T19:45:28.737 回答