使用指针接收器方法复制实例的陷阱
在 Go 中,如果命名类型 T 的所有方法都有 T 本身的接收器类型(不是 *T),复制该类型的实例被认为是安全的。这是因为任何方法调用都必须对副本进行操作,以确保原始值保持不变。但是,如果 T 的任何方法具有指针接收器,则复制 T 的实例可能会很危险。
说明
调用方法时,调用该方法的值on首先被复制,并将副本作为接收者传递。如果类型仅具有带有值接收器的方法,则它保证这些方法无法修改原始值,无论其操作如何。这是因为始终使用副本,从而保护原始值免受无意的更改。
但是,如果类型具有带有指针接收器的方法,则这些方法可以修改原始指向的值而不是其副本。这是因为该方法接收指向原始值的指针,从而允许它更改基础数据。
示例
考虑一个包装器类型 Wrapper:
type Wrapper struct { v int p *int }
使用 Set() 方法确保两个字段包含相同的值:
func (w *Wrapper) Set(v int) { w.v = v *w.p = v }
如果我们创建一个 Wrapper 实例:
a := Wrapper{v: 0, p: new(int)}
然后创建一个a 的 (b) 副本:
b := a
使用 Set() 将 a 设置为 1 后:
a.Set(1)
我们期望 a 和 b 的字段都设置为 1。然而,打印它们的值揭示了一个不同的故事:
fmt.Printf("a.v=%d, a.p=%d; b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)
输出:
a.v=1, a.p=1; b.v=0, b.p=1
造成这种差异的原因是,虽然复制了 b 中的指针,但它仍然引用相同的指针底层数据作为 a 中的指针。当 Set() 修改指向的值时,它会影响 Wrapper 的两个副本。但是,a 和 b 之间的非指针字段 v 仍然是不同的。
最佳实践
为了避免此问题,建议不要复制类型的实例指针接收器方法。如果需要使用指针值,复制指针本身 (*T) 是一个可行的替代方案。
以上是## 为什么使用指针接收器方法复制 Go 类型的实例是危险的?的详细内容。更多信息请关注PHP中文网其他相关文章!