后续问题：What is the rationale for "semantics violation does not require diagnostics"?。
N2596 工作草案 - 2020 年 12 月 11 日 ISO/IEC 9899:202x (E)，6.9.2 外部对象定义，语义，3：
如果一个对象的标识符声明是一个暂定定义并且具有内部链接，则声明的类型不能是不完整的类型。
这看起来像是一个约束——为什么将它放在“语义”部分（违反要求不需要诊断）而不是放在“约束”部分？
【问题讨论】：
标签： c constraints language-lawyer semantics c2x
这看起来像一个约束
我同意。
——为什么放在“语义”部分（违反要求不需要诊断）而不是“约束”部分？
关于括号，我不认为诊断是否需要成为语言约束和语义规则之间的关键区别的问题。一个约束是一个
限制，无论是句法还是语义，解释语言元素的阐述
（C17，3.8/1）
可以肯定的是，这有点拗口，但归根结底是约束，即哪些代码匹配 C 词法语法实际上总体上符合语言规范，哪些不符合。因此，始终可以在翻译时评估对语言约束的遵守情况，不能有效满足语言约束的代码不会用 C 表示。也就是说，约束是适用于源代码的规则。这是实现诊断违反约束的要求的上下文。
另一方面，语义规则解释了 C 代码的含义或相关的程序行为（如果有）。这些是程序运行时行为和 C 语言实现的规则。
这完全可以追溯到：我同意，尽管第 6.9.2/3 段被列在语义规则中，但本质上是一种语言限制。
我怀疑是否有人能够权威地回应为什么将其置于语义规则中，但在这里可能相关的是，完全相同的措辞在语言规范的每个已发布版本中都作为语义规则出现，所有回到 C89 的方式，它对“不完整类型”的定位与 C11 和更高版本略有不同。
可能是最初的 ANSI C 委员会在这里冒昧地原谅编译器诊断此问题，可能是因为他们认为该限制是否应适用于稍后在翻译单元中完成的不完整类型存在歧义。我自己也不确定，今天。这完全有可能代表了一种妥协的立场。
【讨论】：