Variadic 템플릿 및 형식 정의에 'using'사용

Question

가변 템플릿 매개 변수 팩 유형에 쉽게 액세스 할 수 있도록 using 문을 작게 썼습니다.

template<size_t index, typename args...> 
using get = std::tuple_element<index, std::tuple<args...>>::type; 

그러나 clang (3.5.0) 또는 gcc (4.9.0)로 컴파일하는 것은 실패합니다.

using 문이 가변 인자 템플릿을 결합

error: expected ',' or '>' in template-parameter-list template<size_t index, typename args...> 
                         ^

아닌가 : 다음은 그 소리의 오류 출력은? 아니면 내가 잘못하고있는거야?

Answer 1

코드에서 두 가지 문제가 있습니다. std::tuple_element<...>의 정의 ...이 무엇인지에 의존하기 때문에

먼저, 당신은 그래서 당신은 그것의 앞에 typename 필요 ::type이 유형의 이름을 참조 컴파일러에게해야합니다.

둘째, 가변 인자 템플릿 매개 변수 즉 typename (또는 class)과 팩의 이름, typename ...args 대신 typename args... 사이에 자신의 줄임표 있습니다.

그래서 고정 된 코드는 다음과 같습니다

template<size_t index, typename ...args> 
using get = typename std::tuple_element<index, std::tuple<args...>>::type; 

Answer 2

매개 변수 팩의 줄임표는 typename (또는 class) 키워드 뒤에 와야합니다. 팩을 확장하면 매개 변수 이름 뒤에옵니다.

template<size_t index, typename... args> 
//        ^^^ 
using get = typename std::tuple_element<index, std::tuple<args...>>::type; 
//   ^^^^^^^^^ 

은 또한 중첩 의존의 형태를 참조 할 때 필요한 typename 키워드를 놓치고있어.