atomic.CompareAndSwapPointer总返回false的根本原因是old参数非当前内存地址的精确快照——可能是过期值、nil而实际非空，或类型转换错误；必须用unsafe.Pointer显式转换，old须由atomic.LoadPointer获取，目标变量类型必须为unsafe.Pointer。
atomic.CompareAndSwapPointer 为什么总返回 false
根本原因是传入的 old 参数不是当前内存地址的精确快照——它要么是过期值，要么是 nil 而实际非空，或者用了错误的类型转换。Go 的 atomic.CompareAndSwapPointer 是严格按位比较的，哪怕只差一个字节，也失败。
常见错误现象：CompareAndSwapPointer 在多 goroutine 竞争下反复失败，日志里看到大量 false 返回，但逻辑上“应该能换”。
- 必须用
unsafe.Pointer显式转换，不能依赖隐式指针赋值（比如*T直接转unsafe.Pointer会触发 go vet 报错） -
old值必须来自同一地址的最新读取（推荐用atomic.LoadPointer获取，别用普通变量缓存） - 目标变量必须是
unsafe.Pointer类型，不能是*T或interface{}；否则编译不过或运行时 panic - 如果结构体字段是
*T，需先取其地址再转：unsafe.Pointer(&p.field)，而不是unsafe.Pointer(p.field)
如何安全地用 CAS 更新一个 *Node 指针
典型场景：无锁链表插入、状态机指针切换（如从 idle → running）、配置热更新。关键不在“怎么写”，而在“怎么保证 old 值有效”。
使用场景：你有一个全局变量 head，类型是 *Node，想原子地把它替换成新节点 newNode，但只在当前确实是 oldNode 时才换。
立即学习“go语言免费学习笔记（深入）”；
- 声明必须是
var head unsafe.Pointer，然后用*Node和unsafe.Pointer互相转换 - 每次 CAS 前，先用
atomic.LoadPointer(&head)读当前值，再转成*Node判断业务逻辑是否允许更新 - CAS 循环里不要 sleep，而是立即重试（自旋），但要加最大重试次数防死循环
- 示例核心片段：
for i := 0; i < 100; i++ { old := atomic.LoadPointer(&head) oldNode := (*Node)(old) if shouldReplace(oldNode) { newNodePtr := unsafe.Pointer(newNode) if atomic.CompareAndSwapPointer(&head, old, newNodePtr) { break } } }
uintptr vs unsafe.Pointer：传给 CAS 的指针类型选哪个
必须用 unsafe.Pointer。传 uintptr 会导致 GC 无法追踪目标对象，可能在 CAS 执行中途被回收，引发不可预测 crash 或静默数据损坏。
性能 / 兼容性影响：两者底层都是机器字长整数，但语义完全不同。Go 编译器对 unsafe.Pointer 有特殊处理，保证它指向的对象不会被提前回收；而 uintptr 是纯数值，GC 完全无视。
- 所有
atomic包中涉及指针的函数（LoadPointer、StorePointer、CompareAndSwapPointer）参数和返回值类型都是unsafe.Pointer - 如果你有
uintptr，必须先转回unsafe.Pointer才能传给 CAS，但前提是这个uintptr来自合法的unsafe.Pointer转换且未逃逸出作用域 - 错误示范：
atomic.CompareAndSwapPointer(&p, uintptr(unsafe.Pointer(old)), ...)—— 这会编译失败，因为类型不匹配
为什么 CAS 成功后还要检查业务状态
硬件级 CAS 只保证“内存地址值匹配就替换”，不保证业务逻辑正确。比如两个 goroutine 同时想把状态从 running 改成 done，第一个成功了，第二个也成功了（因为第一次改完还是 done，它误以为还是 running），结果状态被覆盖丢失。
容易踩的坑：把 CAS 当作业务锁用，忽略状态跃迁合法性校验。
- CAS 只是工具，状态机约束必须由上层代码显式检查（例如用
if oldState == StateRunning && newState == StateDone） - 如果业务要求“仅首次变更生效”，需要配合额外字段（如版本号、时间戳）或使用
atomic.Value封装带校验的结构 - 注意：CAS 本身不提供内存屏障外的顺序保证，读写相关字段时仍需确保没有数据竞争（比如状态字段和关联数据字段要一起保护）
最常被忽略的一点：CAS 不等于线程安全。它只是原子操作 primitives，组合成正确并发逻辑还得靠设计——比如忘记在 CAS 失败后重新加载依赖字段，就会基于过期状态做错误决策。
