为什么带有指针接收器的 Go 方法会修改非指针参数？

为什么带有指针接收器的方法在接收非指针时仍然改变值？

在 Go 中，带有指针接收器的方法会保留其操作的变量的原始值在。然而，当一个方法需要一个指针参数并传递一个非指针值时，似乎存在明显的矛盾。

考虑 Go 之旅中练习 51 的以下代码片段：

func (v *Vertex) Scale(f float64) {
    v.X *= f
    v.Y *= f
}

func main() {
    v := &Vertex{3, 4}
    v.Scale(2)
    fmt.Println(v) // Output: &{6 8}
}

根据解释，Scale方法不应该修改v，因为它接收的是指向Vertex（*Vertex）的指针而不是Vertex

但是，当我们将 main 中的 v := &Vertex{3, 4} 行更改为 v := Vertex{3, 4} 时，输出从 &{6 8} 更改为 {6 8 （注意缺少 &）。这表明 v 已被修改，即使它作为非指针值传递。

解释

关键在于 Go 的强类型性质和编译器优化。即使 Scale 方法需要一个指针接收器，它仍然可以接受非指针值，因为 Go 会隐式地将它们转换为指针。

具体来说，编译器重写以下代码：

v := Vertex{3, 4}
v.Scale(2)

to:

(&v).Scale(2)

这意味着该方法实际上是用指向 v 的指针调用的，这允许它修改原始的

以下特定于 Go 的规则解释了此行为：

如果 x（的类型）的方法集包含 m 并且参数列表可以，则方法调用 x.m() 是有效的被分配给m的参数列表。如果 x 是可寻址的，并且 &x 的方法集包含 m，则 x.m() 是 (&x).m() 的简写。

综上所述，具有指针接收器的方法仍然可以修改非指针变量，因为编译器会自动转换它们指向指针以保持方法类型安全。

以上是为什么带有指针接收器的 Go 方法会修改非指针参数？的详细内容。更多信息请关注PHP中文网其他相关文章！