CSE 是编译器在优化阶段自动进行的公共子表达式消除，不依赖手动代码触发；它仅对无副作用、可重排、内存访问不冲突且生命周期重叠的表达式生效，需通过查看IR或汇编验证。
什么是 C++ 编译器里的 CSE，它真由你手动写代码触发吗？
不是。C++ 标准不规定公共子表达式消除（CSE）行为，g++、clang++ 等编译器只在开启优化（如 -O2）时，在 IR 层（如 GCC 的 GIMPLE、LLVM 的 LLVM IR）自动做 CSE，且仅对无副作用、可重排的表达式生效。你用 int a = x * y + x * y; 写代码，不等于就能看到汇编里只算一次 x * y——它取决于是否满足别名、浮点精度、函数调用等约束。
哪些表达式能被编译器真正 CSE？看这几个关键条件
编译器只对满足全部下述条件的子表达式做 CSE：
- 计算结果完全相同：操作数类型、值、求值顺序一致，比如
a + b和b + a在整数下可合并，但浮点下因结合律不成立，-ffast-math才可能合并 - 无可观测副作用：不能含
volatile访问、I/O 调用、std::atomic操作等 - 内存访问不冲突：若两个
*p出现在不同位置，编译器需证明p指向同一地址且中间无写入，否则不敢合并 - 生命周期重叠：两个表达式必须在同一个基本块或支配关系明确的控制流路径中；跨函数调用、循环迭代边界通常不合并
怎么验证你的代码是否被 CSE 了？别靠猜
直接看编译器生成的中间表示或汇编最可靠：
- 用
g++ -O2 -fdump-tree-optimized输出优化后 GIMPLE，搜索重复表达式是否只剩一个赋值节点 - 用
clang++ -O2 -S -emit-llvm生成 LLVM IR，检查类似%1 = mul nsw i32 %x, %y是否只出现一次，后续用%1多次 - 用
g++ -O2 -S生成汇编，对比-O0版本：若某乘法/加法指令从两次变一次，且寄存器复用明显，大概率已 CSE
注意：调试宏、assert、未内联的函数调用会打断 CSE；constexpr 函数在编译期求值，不属于运行时 CSE 范畴。
立即学习“C++免费学习笔记（深入）”；
手动“模拟” CSE 有时反而有害
显式提取变量如 auto tmp = expensive_func(x); return tmp + tmp; 看似安全，但可能引入额外存储、阻碍寄存器分配，甚至让编译器放弃更激进的优化（比如把 tmp 拆成向量化计算）。真实收益场景极少，典型例外是：
- 表达式含多次
std::vector::at()或带边界检查的访问，手动缓存可避免重复检查 - 调用纯函数但编译器因内联失败无法识别其纯度（如跨 TU 调用），且你能保证无副作用
- 目标平台寄存器极度紧张（如嵌入式 DSP），且你确认复用比重算省周期
多数情况下，信任 -O2 或 -O3 的自动 CSE 更稳妥；强行“优化”常暴露对编译器能力的低估，也掩盖了真正该优化的瓶颈——比如算法复杂度或缓存局部性。
