ISO C标准是否允许优化掉UB路径中的前置可见副作用？

C++标准有明确规则：若程序某条执行路径存在未定义行为（UB），编译器无需保证该路径中UB发生前的可见副作用（如volatile变量访问、I/O操作）一定会执行。但ISO C标准里没有类似的明确表述，由此引出两个关键问题：

• ISO C是否要求抽象机在遇到UB前，必须正确执行到最后一个可见副作用？
• 编译器若优化掉这些UB前置的可见副作用，是否符合ISO C标准？

标准文本分析 #

ISO C标准中，未定义行为的定义是“行为不确定，标准不对其做任何要求”，但并未像C++那样明确说明可以忽略UB发生前的可见副作用。不过，C标准的抽象机模型核心是：程序的行为等价于抽象机的执行结果，而一旦执行路径中出现UB，整个路径的行为就不受标准约束——这意味着编译器有权对该路径的执行做任意调整，包括跳过UB发生前的可见副作用。

编译器实际行为 #

主流编译器（如GCC、Clang）在默认优化等级（O0）下通常会保留UB前置的可见副作用，但这更多是未开启优化的表现，或是编译器的实现选择，而非标准强制要求。当开启高优化等级（如O2、O3）时，部分编译器会因为后续存在UB，直接优化掉前置的可见副作用。

测试案例验证 #

以volatile变量访问为例，以下代码包含明确的UB（空指针解引用）：

#include <stdio.h>

int main() {
    volatile int x = 0;
    x = 42; // 可见副作用：volatile变量赋值
    int *p = NULL;
    *p = 10; // UB：空指针解引用
    return 0;
}

• 在O0优化等级下，所有主流编译器都会执行x=42的操作；
• 在O2/O3优化等级下，GCC和Clang都会优化掉x=42的赋值——因为编译器判定后续存在UB，整个路径的行为不受约束，因此可以安全跳过无意义的副作用。

结论 #

ISO C标准并未强制要求程序必须执行到UB发生前的最后一个可见副作用。编译器优化掉这些前置副作用的行为，完全符合ISO C标准的规则——因为一旦路径中出现UB，标准对该路径的执行就不再有任何约束，编译器可以自由调整执行流程。

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