C2x 6.9.2外部对象定义规则为何归入语义节而非约束节

C标准对「约束」和「语义」的划分有明确的实际考量：

• 约束节收录的都是编译器在单个翻译单元的语法解析阶段就能直接、无歧义完成检查的规则，不需要遍历全文件、也不需要复杂的跨声明推导，标准强制要求所有违反约束的情况都必须输出诊断信息。
• 语义节收录的规则往往需要完成全翻译单元的分析，部分甚至涉及跨翻译单元的逻辑判断，还有不少规则是为了兼容历史实现预留了弹性空间，因此标准不强制要求编译器对语义违规输出诊断。

你提到的N2596工作草案中6.9.2节的规则如下：

若对象标识符的声明为暂定定义（tentative definition）且具有内部链接（internal linkage），则声明的类型不得为不完整类型（incomplete type）。

这条规则被归入语义节而非约束节，主要有两个核心原因：

• 违规判定需要全翻译单元遍历：暂定定义的有效性必须等整个翻译单元处理完毕才能最终确认。例如你在文件开头写static int arr[];，此时属于不完整类型的暂定定义，但如果文件后续补充了static int arr[10];的完整定义，这个声明就是完全合法的。编译器无法在第一次扫到声明时就直接判定违规，不符合约束节规则可即时检查的要求。
• 兼容旧有实现与存量代码：在C标准正式发布之前，很多早期C编译器就已经支持内部链接的不完整暂定定义用法，大量老代码也依赖了这类实现扩展。如果将这条规则放入约束节，所有编译器都必须对这类用法直接报错，会导致大量存量代码无法编译，因此标准委员会选择将其归入语义节，允许实现自行选择是否输出诊断，甚至兼容这类非标准用法。

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