Go go vet 报 copylocks 时为什么复制带锁结构体危险

看到 go vet 报 copylocks，通常不是要给锁加一层“特殊初始化”，而是某个值语义操作把包含 sync.Mutex、sync.RWMutex 或 sync.WaitGroup 的结构体复制了。最稳妥的处理是：共享且会变化的对象使用指针接收者或指针参数；需要对外返回数据时，复制已经解锁后的普通快照，而不是复制整个业务对象。

copylocks 检查的不是“锁能不能加指针”

Go 官方的 copylocks 分析器用于发现“锁被错误地按值传递”。它会关注方法接收者、函数参数、赋值、返回值、复合字面量和 range 变量等位置。sync 文档对 Mutex 的原话是“首次使用后不得复制”，因为复制的是锁的内部状态，不会产生一个与原锁协作的新锁。

所以，这条诊断表达的是设计风险：两个结构体看上去都保护同一份业务字段，实际上却各自携带一份锁状态。即使代码暂时没有死锁，也可能出现互不互斥、等待错误对象或方法修改了副本等问题。go vet 是启发式检查，报告需要逐条判断，但 copylocks 通常值得优先修复。

值接收者和赋值为什么会复制锁

最常见的源头是值接收者。调用 c.Add(1) 时，下面的方法签名会先复制 Counter，连同其中的 mu 一起复制：

type Counter struct {
	mu sync.Mutex
	n  int
}

// 值接收者会复制 Counter，不应在副本上加锁。
func (c Counter) Add(delta int) {
	c.mu.Lock()
	defer c.mu.Unlock()
	c.n += delta
}

// 值参数同样会在调用边界复制带锁对象。
func bump(c Counter) {
	c.Add(1)
}

除了参数和接收者，显式赋值也会触发同一问题：

// 这里复制了整个 Counter，包括 mu 的内部状态。
copyOfCounter := original

// range 的值变量会复制切片中的元素；元素带锁时要特别小心。
for i := range counters {
	// 通过下标取原元素，避免把元素复制到循环变量。
	counters[i].Add(1)
}

排查时可以先按这个表定位复制点：

修复时怎样保留值语义又避免复制

如果对象代表一份会被多个调用方修改的状态，先把方法和调用链改成指针语义：

// 指针接收者让所有调用方锁住同一个 Counter。
func (c *Counter) Add(delta int) {
	c.mu.Lock()
	defer c.mu.Unlock()
	c.n += delta
}

// Snapshot 不携带锁，适合跨层返回或序列化。
type Snapshot struct {
	N int
}

// 先在锁内读取，再返回独立的普通值。
func (c *Counter) Snapshot() Snapshot {
	c.mu.Lock()
	defer c.mu.Unlock()
	return Snapshot{N: c.n}
}

这里有两个边界要分开：Counter 是受锁保护的共享对象，不能随意复制；Snapshot 是读取结果，可以安全地按值返回。若必须批量处理带锁元素，优先使用索引访问，或者把批量接口设计成接收指针切片，避免把元素复制到临时变量。

不要为了让检查安静而删掉锁，也不要用注释屏蔽所有 copylocks。只有在能够证明复制发生在锁首次使用之前，并且复制后的对象从此独立时，才有理由评估是否保留值复制；公共类型和长期维护的业务代码通常更适合直接改成指针语义。

把 go vet copylocks 变成提交前检查

修复后在模块根目录执行默认检查即可，go vet 的默认分析集合包含 copylocks：

# 在当前模块检查所有包，报告新的按值传锁路径。
go vet ./...

若输出仍指向值接收者、函数参数或 range 变量，先修调用边界，再看是否有结构体返回或复合字面量复制。最后把“共享对象是否为指针、快照是否无锁、循环是否按下标访问”加入代码评审清单。这样处理的重点不是消灭一条提示，而是让锁和它保护的数据始终属于同一个对象。

常见问题

只复制零值的带锁结构体也一定错误吗？

不一定。官方规则强调的是首次使用后不得复制；但静态分析器通常无法可靠证明所有路径，因此会保守报告。若复制边界复杂，改成指针或拆出无锁数据通常比依赖隐含前置条件更稳。

把方法改成指针接收者后，调用方必须手写取地址吗？

对可寻址变量，Go 会在方法调用处自动取地址；但不能对不可寻址的临时值这样做。让构造函数返回 *Counter，可以从源头减少临时值和复制。

copylocks 和竞态检测是同一件事吗？

不是。copylocks 静态检查锁是否被复制，go test -race 运行时检查数据竞争；前者通过不代表后者一定安全，反过来也一样。