使用-O3编译时g++是否会优化相同参数的sin/cos等函数调用？

核心结论 #

使用-O3编译标志时，g++会对参数相同的std::sin、std::cos等标准库三角函数调用进行优化——具体是通过公共子表达式消除（CSE），只执行一次函数调用，将结果复用给所有相同参数的后续调用。

针对示例代码的验证 #

你提供的示例代码中，printSinTwice函数里两次调用std::sin(x)，用g++ -O3 -S生成汇编代码后可以看到：汇编中只会出现一次sin函数的调用指令，两次结果的赋值都会复用这次调用的返回值，不会重复计算。

官方文档依据 #

g++的优化逻辑在官方手册中有明确说明：

1. -O3包含了-O2的所有优化选项，而-O2默认开启公共子表达式消除（CSE）优化；
2. 标准库中的sin、cos等数学函数被gcc标记为纯函数（pure function）——这类函数满足“输入相同则输出固定，且无任何副作用（比如不修改全局变量、不进行IO操作）”的特性；
3. 对于纯函数，编译器会主动应用CSE、函数内联、常量传播等优化，包括复用相同参数的调用结果。

注意事项 #

• 如果是自定义的sin/cos重载函数，若未被编译器判定为纯函数（比如存在副作用），则不会触发这类优化；
• 如果参数是volatile修饰的变量，编译器会放弃优化，因为volatile要求每次访问都必须重新求值；
• 若参数是复杂表达式（比如涉及指针、动态内存或不确定的计算），编译器无法确认两次调用的参数完全相同时，也不会进行优化。

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