Go vet 提示复制锁时怎么修改方法接收者

如果 go vet 报告“passes lock by value”或“copies lock value”，而你的类型里有 sync.Mutex，通常应把方法接收者从 T 改成 *T。不要为了消除提示把锁字段改成 *sync.Mutex：真正需要修正的是对象被按值复制，指针接收者能让方法始终访问同一份状态和同一把锁。

先定位复制锁的真正发生点

先看一个最小的反例。Counter 的方法看起来只是给数字加一，但值接收者 (c Counter) 会在进入方法前复制 c，所以复制动作发生在 Lock 之前。

type Counter struct {
	mu sync.Mutex // 锁保护 n，不能随对象复制
	n  int
}

func (c Counter) Add(delta int) {
	c.mu.Lock() // 这里锁住的是接收者副本
	defer c.mu.Unlock()
	c.n += delta // 修改的也是副本里的 n
}

这类代码既可能得到 copylocks 提示，也可能让调用者误以为修改了原对象。Go 官方的 copylocks 分析器会检查锁被按值传递的情况；sync.Mutex 的价值在于它与受保护的数据属于同一个对象，而副本会破坏这个关系。

用指针接收者让方法始终操作同一把锁

把所有会读取或修改受保护状态的方法改为指针接收者，并把锁保持为值字段。锁的零值即可使用，不需要额外初始化。

type Counter struct {
	mu sync.Mutex // 保留值字段，和 Counter 一起分配
	n  int
}

func (c *Counter) Add(delta int) {
	c.mu.Lock() // 锁住原对象中的同一把锁
	defer c.mu.Unlock()
	c.n += delta // 修改原对象状态
}

func (c *Counter) Value() int {
	c.mu.Lock() // 读取也要经过同一保护边界
	defer c.mu.Unlock()
	return c.n
}

普通的可寻址变量仍可写成 c.Add(1)，编译器会自动取地址；但不要把 c 作为值塞进接口。改用 var service Counter 后，应让接口保存 &service，否则指针方法不在 Counter 的方法集里。

比较值接收者、指针接收者和快照方法

三种写法的边界可以这样判断：

如果业务确实需要复制结果，定义不含锁的快照类型，把读取动作放在锁内完成。这样返回值可复制，但并发对象本身没有被复制。

type CounterSnapshot struct {
	Value int
}

func (c *Counter) Snapshot() CounterSnapshot {
	c.mu.Lock() // 在一致性边界内读取字段
	defer c.mu.Unlock()
	return CounterSnapshot{Value: c.n} // 只返回无锁数据
}

用 go vet 和接口检查收尾

修改接收者后，先检查同一类型是否还有值传递入口：

# 检查整个模块中的按值复制锁问题
go vet -copylocks ./...

# 检查接口只接受指针实现
go test ./...

重点搜索四类位置：值接收者、把 Counter 当参数的函数、for range 产生的值副本，以及 dst = src 或返回整个对象的代码。接口可以用编译期断言固定边界：

type Incrementer interface {
	Add(int)
}

var _ Incrementer = (*Counter)(nil) // 明确要求指针实现接口

最后要记住，go vet 是静态提示，不等于完整的并发正确性证明；它消除了常见的锁复制入口，但仍应根据共享数据访问情况安排测试和竞态检查。

相关问题

只读方法也必须用指针接收者吗？

如果类型包含 sync.Mutex 或其他不可复制同步状态，建议统一使用指针接收者，包括只读方法，避免一次读取调用就复制整个对象。

可以把 sync.Mutex 改成指针字段吗？

通常不必。指针字段会增加初始化、共享和空指针管理成本；保留锁的零值字段，再用指针接收者通常更直接。

改成指针接收者后为什么接口赋值报错？

因为 T 的方法集不包含 *T 方法。把接口变量初始化为 &value，或让构造函数直接返回 *T 即可。