C/C++编译器优化：复用变量、新建变量还是直接用表达式？

你的直觉大部分都很准确！现代编译器的优化能力虽然很强，但代码写法确实会给它传递不同的“意图信号”，尤其是在复杂场景下。咱们逐个拆解你给出的四个函数，再补充一些关键细节：

函数4：用const变量存储计算结果 #

你说得完全对——这种写法是对编译器最友好的。const int sum = a + b明确告诉编译器：这个值只会被计算一次，后续所有使用都是同一个只读结果，绝对不会被修改。编译器根本不需要额外推导，直接就能把sum放进寄存器（甚至可能在编译阶段就把计算结果内联到后续的函数调用里），完全不会涉及内存读写。而且这种写法对人类可读性也极佳，是最推荐的写法。

函数1：重复使用表达式 #

开启-O2及以上优化的现代编译器（比如GCC、Clang）完全能识别a + b是无副作用的纯表达式，会自动把计算结果缓存到寄存器中，不会重复计算。不过你提到的复杂场景确实是个例外：如果a和b是重载了operator+的C++对象，且这个运算符带有副作用（比如修改全局变量），那编译器就不敢优化重复计算了——它必须保证代码行为和原写法完全一致。但对于int这类基本类型，函数1和函数4优化后的汇编代码几乎没有区别。

函数3：用普通变量存储计算结果 #

编译器同样能轻松发现sum在整个函数中没有被修改（只要后续的SubFunction1/2/3没有接收sum的非const引用/指针，或者即使接收了也没有修改它），所以优化效果和函数4几乎相同。唯一的小区别是：如果后续代码不小心修改了sum（比如加了一行sum += 1），编译器就无法再做“只计算一次”的优化；而const写法从语法上杜绝了这种可能性，相当于给编译器吃了颗定心丸。

函数2：复用函数参数变量 #

这是最不推荐的写法——不是说编译器完全不能优化，而是它给编译器的信号太模糊。首先，修改函数参数本身会让编译器多一层顾虑：如果函数后续还有地方用到原始的a值（你的例子里没有，但实际维护中很容易出现），修改a就会改变代码行为；即使编译器能确定a之后没被用到，它还要考虑参数的传递方式：比如某些调用约定下参数存在栈上，修改a可能触发栈内存写入（虽然开启优化后大概率还是会放到寄存器）。更关键的是，这种写法可读性极差——谁能一眼看出原来的a被覆盖成了a+b？维护起来很容易踩坑。

补充：C和C++的差异 #

对于int这类基本类型，C和C编译器的优化逻辑几乎完全一致，因为它们对纯表达式的判断规则是相同的。但在C的复杂对象场景下差异会显现：

• 如果a和b是带有自定义拷贝构造/赋值运算符的对象，函数2里的a += b会触发赋值运算符调用，而函数3/4里的sum = a + b会触发拷贝构造，这两种操作的副作用可能不同，编译器无法随意替换。
• C的const语义比C更严格，比如C里的const int sum可以通过指针绕过修改（属于未定义行为），但C编译器会更信任const变量的只读属性，优化时会更激进。

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