C 标准是否允许未初始化的布尔值导致程序崩溃？
是的，根据 ISO C 标准，实现可以做到这一点假设。但是，需要注意的是，该标准还允许编译器生成故意崩溃的代码以指示未定义行为 (UB)，例如访问未初始化的变量。
编译器优化和假设
问题是由编译器优化引起的。 Clang 5.0.0 启用了优化，根据 bool 值优化了要打印的字符串长度，假设它只能是 0 或 1。这导致计算不正确并崩溃。
ABI 规范
对于 x86-64 ABI，布尔值由寄存器中的位模式表示： false = 0 和 true = 1。这允许高效的 bool 到 int 转换以及与按位运算相关的某些优化。
其他实现
其他实现可能会做出不同的假设关于 bool 表示，但 C 标准不要求它们这样做。但是，它们仍然可能被允许发出在 UB 检测时崩溃的代码。
关键点
如果编译器在编译时检测到 UB，它可能会“中断”代码路径，即使 ABI 允许任何位模式进行布尔表示。
的含义开发人员
编译器可能会讨厌错误，尤其是那些触发 UB 的错误。避免假设代码会因编译器优化而以特定方式运行至关重要。现代 C 编译器对待语言的方式与可移植汇编语言不同。
检测未定义行为的工具
结论
C 标准允许实现采用特定的布尔表示。然而，编译器仍然可以利用 UB 来优化代码或生成在检测到时崩溃的代码。开发人员应该意识到这些潜在问题，并使用 -fsanitize 等工具来检测和预防它们。
以上是未初始化的布尔值会因编译器优化而导致 C 程序崩溃吗？的详细内容。更多信息请关注PHP中文网其他相关文章！
