ISO C标准中「语义违规无需诊断」规则的制定理据是什么

「语义违规无需诊断」的核心制定理据如下： #

• 语义违规的全量检测属于不可判定问题，无法通过编译期静态分析100%覆盖。例如数组越界访问、空指针解引用、未初始化变量使用这类常见语义违规，本质上和停机问题等价，没有任何通用算法能在所有场景下准确识别，强制要求实现输出诊断等于提出不可能完成的要求，不符合标准的实用性原则。
• 契合C语言的高性能设计目标。C语言从设计之初就以生成高效机器码为核心目标之一，若强制要求实现对所有语义违规做诊断，编译器要么需要插入大量运行时检查拖慢执行效率，要么需要放弃大部分依赖「程序无语义违规」假设的优化策略，直接违背C的核心设计定位。
• 给实现和用户保留灵活度。不同使用场景对诊断的需求差异极大：嵌入式、高并发这类性能敏感场景，完全不需要额外的诊断开销；调试、测试阶段则可以通过开启编译选项（如-fsanitize系列）、使用外部检测工具按需获得诊断。标准不做强制要求，既允许轻量极简的编译器实现存在，也能满足不同场景的定制化需求。
• 符合历史兼容约定。该规则从最早的K&R C时期就已确立，受限于早年的计算机算力，早期C编译器完全没有能力做语义级别的违规检测，后续ISO C标准修订时延续了这一约定，避免破坏现有大量符合既有规则的实现生态。

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