Шаблоны Variadic: перебираем аргументы типа / шаблона

Question

В последнее время я работаю с libffi, и поскольку он использует C API, любая абстракция выполняется с помощью указателей void (добрый старый 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...)

Я хочу быть в состоянии использовать Call от 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 */);
}

Если это недостижимо, есть ли какие-либо обходные пути или другие доступные решения?

Answer 1

Вы не хотите перебирать типы, вы хотите создать пакет параметров и развернуть его в шаблон переменной. У вас есть массив, поэтому вы хотите получить пакет целых чисел 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, и отправляет их в другую функцию, которая выводит целые числа и расширяет пакет в список приведенных выражений для использования в качестве аргументов для функции-переносчика.