固定编译器下未定义行为的一致性探究

核心背景：C++03中i = ++i + i++的UB本质 #

在C++11引入序列点严格规则之前，i = ++i + i++这类表达式属于未定义行为——表达式中对变量i的多次修改（自增+赋值）没有明确的执行顺序约束。编译器可完全按照自身优化逻辑选择任意执行顺序，甚至直接将结果优化为常量，无需遵循用户预期的“直观逻辑”。

固定编译环境下，影响UB代码执行结果的因素 #

在编译器版本（GCC 10.4）、编译选项（-O2 -std=c++03）、架构（x86）完全固定的前提下，以下因素仍可能改变UB代码的执行结果：

• 函数内的其他无关代码：哪怕只是在UB语句前添加一行未使用的变量定义（比如int j = i;）、增加分支逻辑，或者调整变量声明位置，都可能改变编译器的数据流分析和优化决策。比如原本的常量传播优化可能被中断，转而生成依赖执行顺序的汇编代码。
• 变量的存储属性：如果i是全局变量而非局部栈变量，或者被volatile修饰（注意volatile无法消除UB，但会限制编译器对该变量的优化程度），编译器的优化策略会发生变化，UB代码的执行结果也可能不同。
• 函数的调用上下文：如果包含UB代码的函数被其他函数调用，或者被编译器内联到调用方，调用方的代码结构可能影响优化器对UB表达式的处理逻辑。
• 编译器的优化启发式选择：同版本同选项的编译器，其优化器会根据代码整体复杂度选择不同的优化路径，某些边缘场景下可能出现不同的处理结果（尽管这种情况相对少见）。

针对示例场景的具体解答 #

你提到当前配置下int i = 0; i = ++i + i++;会被优化为常量3，但如果修改函数但不改变该语句前i的值，完全可能导致结果改变。

比如在该语句前添加一行printf("%d", i);（即使i的值还是0），编译器可能因需要保留i的内存可见性，放弃原本的常量传播优化，转而生成实际执行自增操作的汇编代码，最终得到的结果可能变成2甚至其他值——这都是UB的正常表现，没有任何一致性保证。

其他编译器的差异补充 #

不同编译器对UB的处理逻辑差异明显：

• Clang系列编译器在同样的-O2 -std=c++03选项下，可能对该表达式生成不同的汇编结果，比如直接将i赋值为2；
• MSVC的优化策略相对保守，可能会按照“左到右”的顺序执行自增操作，但这只是编译器的实现选择，并非标准要求，同样不能依赖。

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