为何主流C++编译器未优化这类检查值是否已设置的条件存储？

先看被调侃的两段代码：

void f(int& x) {
    if (x != 1) {
        x = 1;
    }
}
void g(int& x) {
    x = 1;
}

很多人会觉得主流编译器应该把f()优化成和g()一样的汇编，但实际并非如此。核心原因是这两个函数在C++标准语义下并不等价，编译器必须严格遵守语义规则，不能擅自做等价假设。

语义上的本质差异 #

参数int& x可以绑定到特殊对象，此时读写操作的副作用完全不同：

• volatile限定对象：比如硬件寄存器、多线程共享的标记变量。C++标准规定，volatile对象的每一次读写都是必须保留的可见副作用：
  • f()只会在读取x不等于1时执行写入；
  • g()会无条件执行写入，哪怕x已经是1。
    如果x是volatile对象，这两个函数的行为有本质区别——g()会强制触发一次可能影响硬件的写入，而f()不会，编译器不能省略这个条件判断。
• 内存映射IO地址：比如外设的控制寄存器，写入操作可能触发硬件动作（如重置设备），此时无条件写入和条件写入的硬件影响完全不同，编译器必须保留原有的逻辑。

关于性能的疑问解答 #

你提到的“无条件存储大概率更快”的结论，只适用于x绑定普通非volatile内存的场景：此时读取和写入都是普通内存操作，分支预测的开销确实可能超过无条件写入的成本。但编译器不能默认假设所有引用都指向普通内存，必须优先保证在所有合法场景下的行为正确性。

如果能通过代码上下文、函数属性或编译选项明确x指向的是普通非volatile内存，部分编译器确实会进行这种优化，但默认情况下必须保留条件判断以兼容所有符合标准的使用场景。

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