可变参数模板:迭代类型/模板参数

Variadic templates: iterate over type/template argument

本文关键字：参数 类型 迭代 变参      更新时间：2023-10-16

我最近一直在使用 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...)

我希望能够使用CallbackBind的Call;这是我的问题。我不知道我应该如何将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 */);
}

如果无法实现，是否有任何解决方法或可用的其他解决方案？

您不想循环访问类型，而是希望创建一个参数包并在可变参数模板中扩展它。你有一个数组，所以你想要的包是一包整数 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，并调度到另一个函数，该函数推导整数并将包扩展为强制转换表达式列表，以用作包装函数的参数。

相关文章：