Действительное расширение шаблона?

Question

Я беру структуру, которая содержит вариационные типы, извлекает их и передает их на вызов функции.

//ValueArray contains a vector of a variant type. 

// Pulls out an argument from a ValueArray. 
template<typename Arg> 
inline Arg 
_processParam(ValueArray& args) { 
    Arg arg = static_cast<Arg&>(args[ 0 ]); 
    args.erase(0, true); 
    return arg; 
} 


/// Do the Function call. Args is a variadic template pack. 
call(fnPtr, _processParam<Args>(args)...); 

/// The call expands to: 
(*fnPtr)(params...); 

Однако проблема в том, что _processParam (арг) ... расширение вытаскивая арг по типу в обратном порядке. Например, ValueArray из [1, 1.4] будет вытащен как двойной, затем и int. Есть ли способ вывести аргументы правильно и переносимым образом?

Answer 1

Избавьтесь от erase и добавьте свой индекс. Не мутируйте данные, используемые при других вычислениях параметров при выполнении вызова функции, поскольку порядок не определен (что позволяет компилятору переупорядочить их для повышения эффективности или фазы miin).

Вам нужно будет добавить еще один уровень косвенности, чтобы сделать это легко:

template<unsigned...>struct indexes {}; 

template<unsigned num, unsigned... Is>struct make_indexes: 
    make_indexes<num-1, num-1, Is...>{}; 
template<unsigned...Is>struct make_indexes<0,Is...>:indexes<Is...>{}; 

template<typename... Args, unsigned...Is> 
void do_call(indexes<Is...>, ValArray& arr){ 
    call(fnPtr, ProcessParam<Args>(arr[Is])...); 
} 

где ProcessParam теперь занимает элемент не массив, и использовать его как:

do_call<Args...>(make_indexes<sizeof...(Args)>(), arr);