C++ 模板参数：以下示例中应用了什么规则

假设下面的例子

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;
 }

使用名称空间std；
模板
结构X
{
X（）
{ 
std：：cout

。我希望打印“1”。但运行此代码将打印“2”。第二个规则中应用了哪条规则

第二个很奇怪。分析

X

会转换为

X

。我希望打印“1”。但运行此代码会打印“2”

没有

你知道

Z

被定义为

Y

，所以

Y

和

Z

是一样的

---

如果将

X

转换为

X

（并且

X

不能匹配，因为

Y

是

X

仅接受模板参数的类型）。

如果将其转换为

X

，则会出现错误，因为

t

未定义（另一个错误是因为

Y

不是模板（按照

X

的要求），它是一个类）。