为何C编译器无法证明无UB时禁止执行相关优化？

这个看似冲突的结论，本质是针对不同场景下的编译器优化约束，并非真正的逻辑矛盾。

1. 常规“无UB假设”的适用场景 #

编译器的“假设程序不存在未定义行为（UB）”，是针对可被证明为符合C标准的正确程序。这类程序从不会触发任何UB，因此对于代码：

x += 5;
/* Do something else without x in the meantime. */ 
x += 7;

编译器可以安全地将两次加法合并为x +=12——因为既然程序正确，那么x +5和x +12都不会溢出，数学上完全等价，优化不会改变程序的可观察行为。此时编译器推导x +12 <= INT_MAX也是合理的，因为正确程序不会出现溢出情况。

2. 《Modern C》中观点的核心逻辑 #

Jens Gustedt的说法，针对的是编译器无法证明程序不会触发UB的场景。比如当编译器无法确定x的取值范围时，它不能排除x +=5会触发有符号整数溢出（进而引发程序终止）的可能性。

此时如果进行合并优化，会改变程序的执行路径：

• 原代码中，若x +=5溢出导致程序终止，中间的“do something else”代码永远不会执行；
• 优化后的代码中，中间代码会先执行，再执行x +=12，即便同样溢出终止，中间代码已经被执行了。

虽然C标准规定UB允许任意行为，但编译器的优化规则要求：不能主动创造原本不会发生的可观察行为。因此在无法证明程序无UB的情况下，编译器不能执行这种可能改变执行路径的优化。

3. 本质差异 #

两者的核心区别在于编译器是否能证明程序的正确性：

• 若能证明程序无UB，合并优化完全合法；
• 若无法证明，编译器必须保留原代码的执行顺序，避免引入原本不会出现的行为（比如中间代码的执行）。

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