Go atomic.Int64 为什么不能复制：地址稳定、方法集与并发计数

把计数器塞进请求结构体后，代码看起来只是多了一个字段，但如果这个字段是 atomic.Int64，复制结构体就可能把同一个逻辑计数拆成两个地址。安全规则很简单：atomic.Int64 在首次使用后不要复制，业务对象尽量通过指针传递，计数器也不要放进会被值接收者频繁搬运的结构体。

atomic.Int64 的读写要围绕同一个实例完成；初始化阶段可以整体赋值，第一次调用 Add、Load 或 Store 后，就把它当作不可复制的状态对象。

为什么一次结构体赋值会改变原子计数的语义

atomic.Int64 不只是一个装着整数的普通字段。它内部维护着供原子操作使用的状态，第一次使用后，调用方应保持它的地址稳定。下面的代码把计数器放进 Counter，然后用值赋值复制整个对象：

type Counter struct {
    n atomic.Int64
}

func (c *Counter) Add(delta int64) {
    c.n.Add(delta)
}

original := Counter{}
original.Add(1)
copyOfOriginal := original // 使用后复制，风险从这里开始
copyOfOriginal.Add(1)

问题不在于编译器一定马上报错，而在于两个对象看起来像同一个计数器，实际却可能拥有不同的内部地址。复制还会让后续读者误以为 copyOfOriginal 与 original 共享状态。

最小安全写法：让 Counter 只沿指针调用

把对象的构造和使用边界固定下来，通常比在每个调用点提醒“不要复制”更可靠。方法使用指针接收者，创建后把 *Counter 交给并发任务：

type Counter struct {
    n atomic.Int64
}

func (c *Counter) Add(delta int64) {
    c.n.Add(delta)
}

func (c *Counter) Load() int64 {
    return c.n.Load()
}

func NewCounter() *Counter {
    return &Counter{}
}

这里的关键不是 NewCounter 这个函数名，而是返回值类型和方法接收者都明确表达了“这个对象有身份”。调用方拿到的是同一个地址，传入 goroutine 的也是同一个指针。

并发验证要看 Add、Load 和 WaitGroup 是否指向同一对象

只看最终数字还不够，测试代码要确认所有 goroutine 都完成，并且每个任务拿到的是同一个 *Counter。例如 8 个任务各累加 125 次，期望结果就是 1000：

var wg sync.WaitGroup
counter := NewCounter()

for worker := 0; worker 

这里的验收顺序是：counter 只有一个地址，Add 负责并发更新，WaitGroup 等待任务结束，最后才由 Load 读取。把 Load 放在 Wait 之前，得到的只是中间状态。

哪些复制方式最容易把问题带进代码审查

值接收者会隐式复制包含计数器的对象

如果把 Counter 作为值接收者，调用方法时就会复制接收者。即使方法体没有显式写赋值，代码审查也很难一眼看出这个隐式动作。包含 atomic.Int64 的类型统一使用指针接收者更稳妥。

返回结构体而不是指针会扩大复制范围

工厂函数返回 Counter 值，或者把它嵌在另一个按值传递的配置对象里，都会重新打开复制路径。要么返回 *Counter，要么把原子计数器放在不参与值语义的独立运行时对象中。

把静态检查当成“可以忽略的风格提示”

如果检查工具在赋值、返回或参数位置提示 copylock，先找出哪一步产生了副本，再决定调整接口。删掉检查配置只能隐藏路径，不会让两个地址重新合并。

相关问题：边界场景怎么判断

atomic.Int64 可以作为结构体的零值吗？

可以。声明后直接使用零值是常见写法，风险出现在它已经参与原子操作之后又被复制。

读取计数器能不能直接访问字段？

不要把内部字段当普通整数读写。通过 Load、Add、Store 等原子方法表达访问意图。

为什么 WaitGroup 不能替代 atomic.Int64？

WaitGroup 只负责等待任务完成，不负责保护共享计数；任务数量和共享数值是两种不同状态。

把复制边界留在初始化阶段

这类问题的修复重点不是记住某个警告名称，而是给运行时对象建立清晰的身份：初始化时完成结构体组装，首次使用后只通过指针访问；并发更新走 Add，最终核对走 WaitGroup 后的 Load。当一个类型同时承载原子状态和业务字段时，优先检查它的返回值、接收者和 goroutine 参数是否仍然是指针。