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

В последнее время я работал с libffi, и поскольку она использует C API, любая абстракция выполняется с помощью указателей void (старый добрый C). Я создаю класс (с вариативными шаблонами), который использует этот API. Объявление класса выглядит следующим образом: (где Ret= возвращаемое значение и Args= аргументы функции)

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

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

6
задан Elliott Darfink 25 June 2012 в 18:39
поделиться