GCC编译器是否会保留代码中表达式的原始书写形式？

作为常年和GCC优化打交道的开发者，我太懂你这种顾虑了——尤其是做物理计算这类精度敏感的工作时，表达式结构的变动很可能直接影响最终结果的准确性。下面就针对你的问题拆解说明：

• GCC在-O2级别下确实会主动改写表达式
  -O2属于中等偏激进的优化级别，编译器会执行一系列代数优化：比如常量折叠（把编译期能算出来的常量直接替换结果）、公共子表达式消除（避免重复计算同一个子式）、指令重排（调整运算顺序让CPU执行更高效）、甚至是结合性调整（比如把(a*b)*c改成a*(b*c)，如果目标架构下这种顺序的乘法吞吐量更高）。这些操作都是为了提升代码运行速度，大部分时候是编译器认为"不会影响结果正确性"的前提下进行的。

• 浮点表达式的改写有特殊限制
  你用的是双精度变量，这里要重点说：GCC默认遵循IEEE 754浮点标准，但-O2下依然会做一些不违反标准的优化。不过有两种情况编译器不会随便改动你的表达式：

  • 如果表达式涉及有副作用的操作（比如调用带副作用的函数、访问volatile修饰的变量），编译器会严格按照你写的顺序执行，因为副作用的顺序是程序语义的一部分。
  • 如果改写会导致明显的精度损失，编译器会更谨慎——不过这里的"明显"是编译器的判断，如果你对精度有极致要求，还是不能完全依赖它的判断。

• 如何强制保留你写的表达式结构？
  如果你必须让编译器严格遵循你编写的表达式逻辑，有几个实用方法：

  • 用volatile修饰变量：比如把double a改成volatile double a，这样编译器会放弃对涉及该变量的运算做激进优化，严格按照代码顺序执行读写和运算，但这会牺牲部分性能。
  • 添加编译选项-ffloat-store：这个选项强制编译器把浮点运算结果存回内存，而不是留在精度更高的寄存器（比如x87的80位扩展精度）里，同时也会限制很多表达式重排操作，避免隐式的精度变化。
  • 给特定函数单独关闭优化：如果只是某个函数里的表达式需要保留原样，可以给函数加上__attribute__((optimize("O0")))属性，这样这个函数会用-O0编译，其他函数依然享受-O2的优化收益。

最后提个小建议：如果不确定编译器有没有改动你的表达式，可以用gcc -S -O2 your_code.c生成汇编代码，直接查看运算指令的顺序和结构，这样就能直观确认是否符合你的预期。

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