유효한 템플릿 확장?

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 (args) ... 확장이 역순으로 args를 유형별로 철회하는 것입니다. 예를 들어 [1, 1.4]의 ValueArray는 double, then 및 int로 추출됩니다. 인수를 올바르게 그리고 이식 할 수있는 방법이 있습니까?

Answer 1

erase을 제거하고 색인을 추가하십시오. 함수 호출을 할 때 다른 매개 변수 계산에 사용 된 데이터를 변경하지 마십시오. 순서는 정의되지 않습니다 (컴파일러가 효율성을 위해 순서를 변경할 수 있도록하거나 miin의 단계).

쉽게이 작업을 수행하는 간접적 인 수준을 추가해야합니다

ProcessParam 지금처럼 배열을 요소를하지 소요되며, 사용

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])...); 
} 

: 인수의

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