Tag: template aliases

C ++ 11模板别名作为模板模板参数导致不同的types？

我们在编译以下源代码时观察到一个奇怪的行为： template<template<class> class TT> struct X { }; template<class> struct Y { }; template<class T> using Z = Y<T>; int main() { X<Y> y; X<Z> z; z = y; // it fails here } 这是一个从模板别名的c ++ 11标准提案中稍作修改的例子： http : //www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2258.pdf （请参阅第4页）还要注意，提案“声明y和z是同一types”。 因此，在我们的解释中，应该可以从y分配（或复制构造）z。 但是，这个代码不能用gcc 4.8.1和clang 3.3编译。 这是编译器中的错误还是我们误解了标准？ 在此先感谢，craffael等;） PS Clang错误信息是： error: no viable overloaded '=' note: […]