模板模板参数：以下示例中应用了什么规则[重复]

Question

假设下面的例子

using namespace std;
template <template <typename> class>
struct X 
{
   X() 
   { 
      std::cout << "1"; 
   }
};

template <typename>
struct Y {};

template <typename T>
using Z = Y<T>;

 template <>
 struct X<Y> 
 {
   X() 
   { 
      std::cout << "2"; 
    }
 };

 int main() 
 {
   X<Y> x1;
   X<Z> x2;
 }

表达式X<Y> x1显然是使用打印“2”的特化

第二个很奇怪。做分析X<Z>被翻译成X< Y < T > >。我希望打印 "1" 。但是运行代码会打印“2”。第二条应用了哪条规则？

Answer 1

第二个很奇怪。做分析X<Z>被翻译成X< Y < T > >。我希望打印 "1" 。但是运行代码会打印“2”。

没有。

你有 Z<T> 被定义为 Y<T> 所以 Y 和 Z 是同一个东西。

X<Z> 被转换为X<Y<T>> 是不正确的（并且X<Y<T>> 不能匹配，因为Y<T> 是X 只接受模板模板参数的类型）。