Go atomic.Uint64.And 怎么做位掩码更新：原子读改写与并发可见性

如果一个服务把多个开关压进一个 uint64，清除其中一位时最容易误用的是“先 Load、再计算、最后 Store”。两个 goroutine 同时改不同状态位时，这段普通读改写会互相覆盖。atomic.Uint64.And 把清除位的动作收成一次原子操作，而且返回修改前的旧值，正好可以用来判断这次更新前状态是什么。

只要需求是“无条件清除某些位”，优先使用 atomic.Uint64.And；如果还要根据旧值决定是否写入，就先用 Load 读快照，再用 CompareAndSwap 做条件更新。

先把位掩码的目标说清楚

下面用三个状态位表示一个连接：第 0 位是 ready，第 1 位是 draining，第 2 位是 enabled。清除 enabled 并不是把整个数值设为 0，而是只把第 2 位变成 0，同时保留其他位。

package main

import (
    "fmt"
    "sync/atomic"
)

const enabled uint64 = 1 

这里的 ^enabled 会让第 2 位为 0，其余位为 1。假设旧值是 5，AND 之后的新值就是 1；And 返回的 old 仍然是 5。这个返回值适合做审计或一次性状态判断，但不要把它误当成更新后的结果。

为什么不用 Load 加 Store 拼接

下面这种写法看起来直观，却把一次更新拆成了三个阶段：

old := state.Load()
next := old & ^enabled
state.Store(next)

如果 goroutine A 刚完成 Load，goroutine B 在此期间设置了另一个状态位，A 随后执行 Store 就可能把 B 的修改覆盖掉。问题不在位运算，而在“读取快照”和“提交结果”之间存在并发窗口。

And 将这个按位更新作为一个原子操作完成。Go 官方 sync/atomic 文档还规定，原子操作之间按顺序一致的顺序运行；这解决的是原子读改写和可见性，不等于自动保护业务对象里的其他字段。

返回旧值时该怎么判断本次是否真的清掉了位

如果只想知道调用前 enabled 是否为 1，可以检查 And 返回的旧值。清除掩码不会改变其他位，所以判断表达式仍然针对旧值：

old := state.And(^enabled)
wasEnabled := old&enabled != 0
if wasEnabled {
    fmt.Println("enabled was set before And")
}

多个 goroutine 同时执行这段逻辑时，只有拿到包含 enabled 的旧值的调用方能判断“自己观察到清除前是开启的”。后续调用可能仍返回旧值但 enabled 已经是 0，这不是错误，而是原子操作返回值的定义。

需要条件更新时换成 CompareAndSwap

And 适合无条件清除。如果规则是“只有 enabled 仍然打开且 draining 没打开时才清除”，就要把判断和提交绑定起来：

func disableWhenReady(state *atomic.Uint64) bool {
    for {
        old := state.Load()
        if old&enabled == 0 || old&(1

这里的控制流是 Load 得到快照，条件不满足就退出，满足则计算 next；如果其他 goroutine 先改过值，CompareAndSwap 返回 false，循环重新读取。这个循环才表达了“基于我看到的旧状态更新”的业务语义。

三个容易踩到的边界

掩码方向写反

And(enabled) 会保留 enabled 位并清掉其他位，不是关闭 enabled。清除某位需要让该位为 0，所以常见写法是 ^enabled。

复制已经使用的 atomic.Uint64

把包含 atomic.Uint64 的结构体按值传参、放进会复制元素的容器，都可能复制已经使用的原子值。让它保持指针或固定所有权，避免在第一次 Load、Store、And 后复制。

把原子状态当成完整锁

原子值只覆盖这个状态字。若状态变化还要求同步修改连接对象、计数器或错误信息，仍需要明确的锁、消息传递或不可变快照设计。

相关问题

And 返回的是新值吗

不是。And 返回修改前的旧值；需要新值时，在原子操作之后调用 Load，但这次读取可能已经看到其他 goroutine 的后续更新。

什么时候应该用 Or

要原子设置某些位时使用 Or(mask)。它和 And 一样返回旧值，掩码中的 1 表示要设置的位。

And 能替代 CompareAndSwap 吗

不能。And 没有“旧值必须等于某个值”的条件，适合无条件位清除；状态机需要条件提交和失败重试时应使用 CompareAndSwap。

小结

atomic.Uint64.And 解决的是一个很具体的问题：在共享位集合中原子清除目标位，并把清除前的状态交给调用方。记住掩码方向、旧值语义和不可复制边界；一旦更新动作带有条件，就把逻辑提升为 Load、计算、CompareAndSwap 的重试循环。