C语言中某表达式是否等价于复合赋值？非volatile/atomic类型A的替换验证

咱们直接说重点哈——如果讨论的是类似A += B这类复合赋值表达式和对应的A = A + B普通赋值表达式之间的替换，只要操作数A的类型没有被volatile或atomic修饰，那么这种替换在语义上是完全等价的，不会影响代码的执行结果。

为什么非volatile/atomic的A可以放心替换？ #

对于普通的变量（没有volatile/atomic修饰），复合赋值操作（比如+=、-=、*=这些）的底层语义，就是先计算A + B的结果，再把结果赋值给A，和咱们手动拆解成普通赋值的逻辑完全一致。编译器在优化的时候，也不会因为写法不同产生额外的副作用，最终生成的执行逻辑是一模一样的。

那volatile/atomic的A为啥不行？ #

• volatile类型：被volatile修饰的变量，编译器会保证对它的每次读写都直接操作内存，不会做缓存优化。复合赋值可能会被编译成单次内存读写的指令（比如某些硬件架构的原子加法指令），而拆解成A = A + B后，会变成先读A到寄存器、计算、再写回内存两次操作。如果中间有其他线程或者硬件修改了A的值，这两种写法的结果就会不一样。
• atomic类型：原子变量的操作本身是保证原子性的，复合赋值对应的是原子操作（比如atomic_fetch_add这类），拆解成普通赋值会直接破坏原子性，导致多线程场景下出现数据竞争，完全改变了原有的语义。

简单测试用例 #

测试用例1：普通变量场景

#include <iostream>
using namespace std;

int main() {
    int a = 5;
    int b = 3;
    
    // 写法1：复合赋值
    a += b;
    cout << "a after +=: " << a << endl; // 输出8
    
    // 重置a，改用普通赋值写法
    a = 5;
    a = a + b;
    cout << "a after = a+b: " << a << endl; // 同样输出8
    return 0;
}

运行后两次输出都是8，完全一致，证明两种写法语义等价。

测试用例2：volatile变量场景

#include <iostream>
using namespace std;

volatile int a = 5; // 用volatile修饰变量a

// 模拟外部线程/硬件修改a的值
void external_modify() {
    a = 10;
}

int main() {
    int b = 3;
    
    // 测试拆解后的写法
    a = 5;
    int temp = a; // 先读取a的值到临时变量
    external_modify(); // 模拟外部修改a为10
    a = temp + b; // 用之前缓存的a值计算，结果是5+3=8
    cout << "a after = temp + b: " << a << endl; // 输出8
    
    // 测试复合赋值写法
    a = 5;
    temp = a;
    external_modify(); // 同样修改a为10
    a += b; // 直接操作内存中的当前值10，结果是10+3=13
    cout << "a after += b: " << a << endl; // 输出13
    return 0;
}

这个例子里，两种写法的输出完全不同，明显能看到volatile类型下替换会改变语义。

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