为何要求完整类型的C++模板在类型后续完成时仍可实例化？

1. 普通模板实例化通过编译的核心原因 #

这一行为是C++模板两阶段查找+多实例化点规则共同作用的结果：

• 模板定义阶段：sizeof(T)中的T是依赖模板参数的名字，第一阶段仅做语法校验，不会实际求值sizeof的结果，求值逻辑会推迟到模板实例化阶段。
• 实例化点规则：C++标准规定，函数模板的实例化存在两个有效位置：
  • 触发实例化的位置（显式实例化语句、或者调用size<x>()的位置）之后
  • 整个翻译单元的末尾
    对于依赖型名字的求值，如果在第一个实例化点无法完成（此时x是不完整类型），允许推迟到翻译单元末尾的第二个实例化点处理。示例中struct x {}的定义在翻译单元结束前完成，因此第二个实例化点求值sizeof(x)时可以拿到完整类型的大小，编译合法。

2. 显式特化版本编译失败的原因 #

显式特化的函数体不属于模板范畴，是普通的函数实现，不适用两阶段查找规则：
特化函数的代码在解析时就会立即执行语义检查，不需要等到实例化阶段。你编写特化函数体的位置x还是前向声明的不完整类型，此时直接执行sizeof(x)就会触发类型不完整的编译错误，后续补全x的定义也无法挽回这一步的检查结果。

3. 对标准库完整类型检查的影响 #

你提到的标准库常用sizeof(T) > 0检查类型完整性的逻辑，默认确实会受多实例化点规则影响：如果T在触发实例化的位置不完整，但在翻译单元结束前补全定义，检查仍然会通过。如果需要实现「触发实例化时就必须是完整类型」的强检查，需要将sizeof(T)放到模板实例化时必须立即求值的上下文（比如模板参数列表、函数签名的尾随返回类型、类模板的成员定义中），避免求值被推迟到翻译单元末尾。

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