文章《深入 C 语言：阐述事实上的标准》(2016) 探讨了 C 编程中实际被广泛采用但未正式标准化的约定和行为。这些事实上的标准并非 ISO/IEC 9899 正式规定，但被开发者和编译器普遍依赖。文章分析了这些事实上的标准如何从真实使用、工具链行为和历史先例中产生，填补官方 C 标准留下的空白。文章强调了形式规范与实际实现之间的张力，指出 C 编程的许多关键方面——如内存布局、调用约定和未定义行为的处理——是由社区共识而非正式规范所治理的。通过分析编译器行为、流行库和遗留代码库，作者阐述了这些不成文的规则如何塑造 C 系统的可移植性、性能和可靠性。讨论强调了理解这些规范对于编写稳健、可维护的低级代码的重要性，特别是在嵌入式系统、操作系统和对性能有要求的应用中，遵循事实上的做法往往比严格遵守标准更为重要。