매개 변수 팩 혼동

Question

C++11std::tuple과 같은 클래스를 작성하고 g++-4.7으로 컴파일하려고하면 매우 이상한 상황이 발생했습니다. 기본적으로 필요한 것은 래핑 된 유형의 튜플입니다.

#include <tuple> 

template <class T> 
struct Wrapper { T x; }; 

template <class... Types> 
using Tuple = std::tuple<Wrapper<Types>...>; 

template <class... Types> 
struct X 
{ 
    using MyTuple = Tuple<Types...>; 
}; 

int main(int argc, char** argv) 
{ 
    // Tuple<int,int> t; // (1) 
    using Y = X<int,int>; 
    Y y;     // (2) 
    return 0; 
} 

나는 다음과 같은 관측을했다 : 코드는 컴파일되지 않습니다

1. :
2. 내가 (1)를 추가하면 컴파일 않는 I는 다음과 같이 썼다.
3. (1) 및 (2)을 제거하면 컴파일됩니다. 1 :

   test.cpp: In instantiation of ‘struct X<int, int>’: 
   test.cpp:22:4: required from here 
   test.cpp:10:44: error: wrong number of template arguments (2, should be 1) 
   test.cpp:4:8: error: provided for ‘template<class T> struct Wrapper’ 
   

   질문에 대한

오류 메시지 : 코드 위의 제 생각은 정확하지만 실제로 매개 변수 팩을 사용하는 것은 이번이 처음이다. g++-4.7이 실험용 구현이라는 사실을 제외하고 내 코드가 마음에 들지 않는 이유가 있습니까?

Answer 1

이것은 대체로 g ++ 4.8로 고정 된 bug in g++ 4.7입니다. Ideone (g ++ 4.7.2를 사용하며 코드 예제를 복제하지 않고 링크 할 수없는 argh)는 오류가 발생하는 반면 Coliru (g ++ 4.8 사용)은 오류없이 컴파일됩니다.