这是个很典型的**未定义行为（Undefined Behavior）**问题，本质是C++标准没有规定这类表达式的求值顺序，而编译器对全局变量和局部变量的优化策略差异导致了不同结果。咱们来详细分析：

核心问题：未定义行为的根源 #

你写的这两行代码：

global = (++global) + (++global);
local = (++local) + (++local);

违反了C标准中的求值顺序规则：在同一个表达式中，对同一个对象（比如global或local）进行多次修改，且这些修改之间没有明确的序列点（C11及以后称为“顺序约束”）来确定执行顺序。这种情况下，编译器可以自由选择任何它认为合适的求值顺序，结果完全取决于编译器的实现细节，没有统一的预期。

为什么g++中全局和局部变量结果不同？ #

在你的g++ 9.3.0环境中，编译器对全局变量和局部变量采用了不同的优化/求值策略：

• 全局变量：存储在静态存储区，编译器可能在编译阶段就尝试计算这个表达式。它的求值顺序可能是：先执行第一个++global（global变为1），再执行第二个++global（global变为2），最后把这两个中间值相加（1+2=3），赋值给global，所以最终结果是3。
• 局部变量：存储在栈上，编译器可能选择先执行两次++local操作（local变为2），再把这个最终值相加（2+2=4），赋值给local，所以结果是4。

但要注意：这只是这个特定版本编译器的特定行为，换个编译器（比如Clang）或者调整g++的优化级别（比如加-O2），结果可能完全不一样——比如全局变量也可能得到4，或者局部变量得到3，甚至出现其他奇怪的数值，这都是未定义行为的典型表现。

正确的写法：避免依赖求值顺序 #

永远不要写这种依赖不确定求值顺序的代码，如果你想要实现两次自增后相加的逻辑，应该把操作拆成明确的步骤：

// 全局变量的正确写法
++global;
++global;
global = global + global; // 此时global是2，相加后为4

// 或者更直接（如果只是想让global增加2）：
global += 2;

// 局部变量的正确写法
++local;
++local;
local = local + local; // 结果为4

这样代码的行为完全符合预期，不会受编译器实现的影响。

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