c++ - 参数包困惑

Question

我刚刚在写一个 C++11 std::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

这很可能是 bug in g++ 4.7这在 g++ 4.8 中已修复。 Ideone(使用 g++ 4.7.2，如果不复制你的代码示例我就无法链接到它，argh)给出了你提到的错误，而 Coliru (使用 g++ 4.8)编译没有错误。