compareandswap 不能直接比较指针或结构体，因其仅支持固定大小整数和 *unsafe.pointer 类型，cas 指令要求机器字长对齐且只比较地址值；结构体需转为指针交换并确保不可变或线程安全，避免 aba 和 use-after-free 问题。
CompareAndSwap 为什么不能直接比较指针或结构体
Go 的 atomic.CompareAndSwap 系列函数只支持固定大小的整数类型（int32、int64、uint32、uint64、uintptr）和指针（*unsafe.Pointer），不支持 struct、string 或任意指针值比较。这是因为原子操作必须在 CPU 指令层面完成，而 CAS 指令只对机器字长对齐的内存块有效。
常见错误是试图用 atomic.CompareAndSwapInt64 去“模拟”结构体字段更新——比如把两个 int32 字段打包成 int64，但若字段内存布局不对齐或含 padding，会触发未定义行为；更糟的是，它无法防止其他 goroutine 同时修改同一结构体的其他字段。
- 安全做法：只对单个原子变量做 CAS，例如用
atomic.CompareAndSwapInt32(&state, 0, 1)控制状态机流转 - 替代方案：结构体变更应封装为指针交换，配合
atomic.CompareAndSwapPointer，且确保新旧值都是堆上分配、不可变或线程安全的 - 注意：
unsafe.Pointer的 CAS 不检查所指对象内容是否相等，只比地址值——所以必须保证旧指针确实指向你期望的那个旧对象实例
CompareAndSwapInt64 在 32 位系统上的陷阱
在 GOARCH=386（x86 32 位）环境下，atomic.CompareAndSwapInt64 不是单条 CPU 指令，而是通过锁总线的 cmpxchg8b 实现，性能明显低于 64 位平台；更重要的是，它要求操作的 int64 变量地址必须是 8 字节对齐的，否则 panic 报错：fatal error: fault 或 unexpected signal during runtime execution。
- 结构体内嵌
int64字段时，需显式对齐：用_ [0]uint64或align64 int64字段前置填充，或用//go:align 8注释（Go 1.21+） - 全局变量或堆上分配的变量通常自动满足对齐，但栈上局部变量（如函数内
var x int64）可能不保证，不应对其做CompareAndSwapInt64 - 可改用
atomic.Value存储int64值（底层仍用指针交换），规避对齐问题，但会带来一次堆分配和间接访问开销
CompareAndSwapPointer 实现无锁栈或队列的关键细节
用 atomic.CompareAndSwapPointer 构建无锁数据结构时，最易忽略的是「ABA 问题」和「内存释放时机」——旧指针被 CAS 成功替换后，原对象可能已被回收，但另一个 goroutine 仍持有该指针并尝试再次 CAS，造成逻辑错误或 use-after-free。
- 标准解法不是靠 CAS 本身，而是配合
runtime.KeepAlive或对象池（sync.Pool）延迟回收；更健壮的做法是引入版本号，把指针和计数器打包进uintptr（如atomic.Value内部的ifaceWords拆解方式） - CAS 失败后不要盲目重试：需重新读取最新 head/tail 指针再计算，否则可能跳过中间插入节点
- 务必用
unsafe.Pointer转换时保持类型一致：比如(*Node)(unsafe.Pointer(ptr))和unsafe.Pointer(node)必须对应同一类型，混用会导致 segfault
CompareAndSwapBool 并不存在，但可以这样安全替代
Go 标准库没有 atomic.CompareAndSwapBool，因为 bool 不是原子操作的原生支持类型。有人用 atomic.CompareAndSwapInt32(&flag, 0, 1) 模拟，但这依赖 bool 和 int32 的内存表示一致，且无法防止非原子写入（比如直接赋值 flag = true）。
- 正确方式：声明为
int32，用atomic.LoadInt32/atomic.StoreInt32配合atomic.CompareAndSwapInt32，并始终通过原子函数访问 - 若需语义清晰，可封装为类型：
type AtomicBool struct { v int32 }<br><code>func (a *AtomicBool) Swap(old, new bool) bool {</code><br><code> var o, n int32</code><br><code> if old { o = 1 }</code><br><code> if new { n = 1 }</code><br><code> return atomic.CompareAndSwapInt32(&a.v, o, n)</code><br><pre class="brush:php;toolbar:false;">} - 注意：
atomic.CompareAndSwapInt32 对 <code>0/1的判断是数值比较，不是布尔逻辑——所以old=false传0，old=true传1，别传其他值
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
