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

先直接给个核心结论：在开启-O2及以上优化级别的前提下，你的四个函数示例，对于int这种原生类型，现代编译器（GCC/Clang/MSVC）几乎都会生成完全相同的最优汇编——把a + b的结果缓存到寄存器，重复使用，不会做多余计算或内存操作。但你的直觉里关于“意图明确的代码更易优化”这个点，在复杂场景下确实成立。

咱们逐个分析每个函数：

1. 直接重复表达式（MyFunction1） #

void MyFunction1(int a, int b) {
    SubFunction1(a + b);
    SubFunction2(a + b);
    SubFunction3(a + b);
}

现代编译器会自动识别a + b是纯表达式——没有副作用、输入相同结果就相同，所以会自动把计算结果缓存到寄存器里，不会重复计算。你担心的“复杂类型优化难度提升”是对的：如果a + b是带副作用的操作（比如重载了operator+且里面有日志输出、或者调用了非纯函数），编译器就没法做这个缓存优化，必须每次都执行表达式。但对于int这种原生类型，完全没压力。

2. 修改参数变量（MyFunction2） #

void MyFunction2(int a, int b) {
    a += b;
    SubFunction1(a);
    SubFunction2(a);
    SubFunction3(a);
}

你担心的“修改栈内存”其实在优化后不会发生。编译器会做逃逸分析：发现修改后的a只是被传值给SubFunction，没有被取地址或者泄露到函数外，所以会直接把修改后的a当成寄存器变量处理，和后面的sum没区别。但如果SubFunction接受的是int&（引用），那编译器必须确保栈上的参数值真的被修改，这时候就没法优化成寄存器了。

3. 普通临时变量（MyFunction3） #

void MyFunction3(int a, int b) {
    int sum = a + b;
    SubFunction1(sum);
    SubFunction2(sum);
    SubFunction3(sum);
}

编译器会通过常量传播和死代码分析，发现sum在函数内从未被修改，所以直接把它放到寄存器里，不会分配栈空间。只要没有代码取sum的地址，它和const版本的优化效果完全一致。

4. const临时变量（MyFunction4） #

void MyFunction4(int a, int b) {
    const int sum = a + b;
    SubFunction1(sum);
    SubFunction2(sum);
    SubFunction3(sum);
}

这确实是对编译器最友好的写法——你明确告诉编译器“这个值绝对不会变”，它不需要额外检查sum有没有被修改，直接就能把它当成常量塞进寄存器。在你的简单示例里，它和MyFunction3的优化结果一样，但如果代码更复杂（比如sum的作用域更大、或者涉及分支判断），const能帮编译器排除更多不确定性，优化更彻底。

对于int这种原生类型，你说的没错——C和C编译器的优化逻辑几乎完全一致，因为原生类型的运算都是纯操作，没有构造/析构等C专属的副作用。

但如果换成C++的类类型，差异就明显了：

• 比如如果a和b是自定义类对象，a + b会生成临时对象。MyFunction1里三次调用会生成三个临时对象，除非编译器能做**返回值优化（RVO）**消除临时对象——但如果类的构造/析构有副作用（比如打印日志），编译器就没法消除，必须执行三次构造+析构。
• 而MyFunction3/4里只生成一次临时对象，赋值给sum，编译器可以直接把临时对象的结果放到sum的寄存器里，避免额外拷贝。
• C里没有类和临时对象的概念，所以不存在这个问题。

• 优化级别：如果是-O0（默认调试模式），四个版本的代码会生成完全不同的汇编——比如MyFunction1会重复计算a + b，MyFunction2会修改栈上的参数，MyFunction3/4会在栈上分配sum的空间。只有-O2及以上的优化级别，编译器才会做这些高级优化。
• 变量逃逸：如果任何版本里的变量（比如sum或者修改后的a）被取地址（比如&sum传递给SubFunction），编译器就没法把它放到寄存器里，必须分配栈空间，因为地址必须指向内存。
• 函数内联：如果SubFunction1/2/3被编译器内联了，整个MyFunction的优化会更彻底——编译器可能直接把a + b的结果嵌入到内联后的代码里，连寄存器都不用，直接当成常量处理。

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