c# Interlocked.Exchange 和 volatile 赋值的区别_技术教程

Interlocked.Exchange 提供原子交换和全内存栅栏，适用于读-改-写、需返回旧值或强顺序保障场景；volatile 仅保证单次读/写的可见性与禁止重排，不保证原子性，仅适用于单写多读纯状态通知。

Interlocked.Exchange 会原子交换并保证内存可见性，volatile 赋值只保证可见性和禁止重排，不保证原子性

这是最根本的区别：如果你需要“读旧值 → 算新值 → 写入”这一整套动作不可打断（比如实现无锁栈、状态切换、引用替换），Interlocked.Exchange 是唯一安全选择；而 volatile 只是告诉编译器和 CPU：“这个变量别缓存，每次都要从主内存读/写”，它连 i++ 都保护不了——因为 i++ 本身包含读、加、写三步，volatile 对其中任意一步都“原子”，但对整个序列毫无约束。

什么时候该用 Interlocked.Exchange，而不是 volatile 赋值？

看操作是否涉及“读-改-写”逻辑或需要返回旧值：

要替换一个引用并拿到被替换掉的旧对象（比如无锁队列头节点更新）→ 必须用 Interlocked.Exchange
多个线程可能同时尝试设置同一个标志（如 _currentHandler），且你希望只让第一个成功者生效 → 用 Interlocked.CompareExchange 更合适，但 Exchange 也常用于“强制覆盖”场景
需要确保写入后，其他线程立刻看到新值，**同时还要确保写入动作本身不会被其他线程的并发写入干扰** → Interlocked.Exchange 提供完整栅栏（full memory barrier），volatile 没有这种保障
给 volatile 字段赋值（如 _flag = true）仅适合单写多读、纯状态通知场景，且写入方唯一、无依赖前序状态

volatile 写入和 Interlocked.Exchange(ref, value) 的实际行为差异

哪怕目标字段已声明为 volatile，也不能把 Interlocked.Exchange 替换成普通赋值——它们底层语义完全不同：

volatile 字段赋值（如 _ptr = newValue）：生成的是带 acquire-release 语义的单次写入，但不阻止其他线程在同一时刻执行自己的写入
Interlocked.Exchange(ref _ptr, newValue)：不仅写入，还返回原值；且整个操作在硬件层面是原子的（x86 上对应 XCHG 指令），天然具备 full barrier 效果，等效于加了 Thread.MemoryBarrier()
传参限制：Interlocked.Exchange **不能接受 volatile 字段直接作为 ref 参数**（编译报错 CS0190），必须先去掉 volatile 修饰，或用局部变量中转——这是很多人踩坑的第一步

private volatile object _cache;
private object _cacheNonVolatile; // 实际存储用非 volatile 字段
// ❌ 错误：不能将 volatile 字段传给 ref 参数
// Interlocked.Ex
change(ref _cache, newValue);
// ✅ 正确：用非 volatile 字段 + Interlocked
Interlocked.Exchange(ref _cacheNonVolatile, newValue);
// ✅ 或用临时变量（但失去 volatile 的可见性保障，需配合其他同步）
var temp = _cache;
Interlocked.Exchange(ref temp, newValue);
_cache = temp; // 这里又需要 volatile 写入来通知读者