类型特性何时实例化模板？为何代码中Foo的static_assert未触发？

1. 类型特性（type traits）何时实例化模板？ #

• 模板实例化分为隐式实例化和显式实例化，类型特性本身不会主动触发模板实例化，只有当类型特性的计算需要获取模板特化的完整定义信息时，才会触发模板的隐式实例化。
• 直白来说：如果只是将模板特化作为“类型标识”使用（比如声明类型别名、作为其他模板的参数传递），但不需要访问该特化的成员、计算其大小、创建实例或调用其成员函数，那么模板的定义不会被实例化，类型特性仅基于类型的表层信息完成判断。
• 只有当代码中需要用到模板特化的具体内容（比如访问Foo<T>::value、创建Foo<T>对象、使用sizeof(Foo<T>)）时，才会触发模板定义的实例化，此时模板内部的编译期检查（如static_assert）才会被执行。

2. 代码中的static_assert未触发的原因，以及if constexpr中类型特性的实例化情况 #

未触发static_assert的原因 #

代码里using X = Foo<float>只是声明了一个类型别名，仅引用了Foo<float>这个模板特化的类型名，没有触发该特化的定义实例化。根据C++标准，这种场景下编译器不需要实例化Foo<float>的内部定义，因此结构体里的static_assert不会被执行。

if constexpr中的类型特性是否需要实例化Foo<float>和Foo<char>？ #

不需要。std::is_same_v<X, Foo<char>>仅用于比较两个类型是否为同一特化：

• X是Foo<float>，Foo<char>是另一个模板特化，编译器仅通过模板参数的差异就能判断这两个类型不同，完全不需要实例化这两个特化的定义。
• if constexpr的条件判断是编译期常量表达式，这里的类型比较仅依赖类型的“标识信息”，而非模板特化的内部细节，因此不会触发Foo<float>和Foo<char>的定义实例化。

验证：如何触发static_assert？ #

如果在代码中添加需要实例化Foo<float>定义的操作，比如：

// 触发Foo<float>的实例化，此时static_assert会触发
Foo<float> obj;
// 或者
sizeof(Foo<float>);

这时候编译器就会实例化Foo<float>的定义，static_assert(std::is_same_v<T, int>)会被执行，编译报错。

内容的提问来源于stack exchange，提问作者aep