参数包混淆

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)，它编译。
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）编译时没有错误。