本文深入探讨了Go语言中结构体及其指针类型的方法接收器机制，解释了为何不能同时为结构体值类型和指针类型定义同名方法。通过阐述Go语言方法集的规则，我们明确了当方法定义在值类型上时，其指针类型会自动拥有该方法，从而避免了重复定义，并展示了这一机制如何影响接口的实现。
Go语言方法接收器基础
在go语言中，我们可以为自定义类型定义方法。方法接收器（method receiver）决定了该方法是绑定到值类型还是指针类型。例如，对于一个结构体 vertex：
type Vertex struct { X, Y float64}
我们可以为其定义一个计算绝对值 Abs() 的方法。通常，如果方法需要修改接收器的状态，或者接收器是一个大型结构体以避免复制开销，我们会使用指针接收器：
func (v *Vertex) Abs() float64 { return math.Sqrt(v.X*v.X + v.Y*v.Y)}
这里的 *Vertex 表示 Abs 方法绑定到 Vertex 类型的指针。
方法重声明的困境
一个常见的疑问是，能否同时为 Vertex 的值类型和指针类型定义同名方法 Abs()？例如，尝试这样做：
// 已经定义了指针接收器方法func (v *Vertex) Abs() float64 { return math.Sqrt(v.X*v.X + v.Y*v.Y)}// 尝试再定义一个值接收器方法func (v Vertex) Abs() float64 { // 这会导致错误 return math.Sqrt(v.X*v.X + v.Y*v.Y)}
Go编译器会立即报错：
立即学习“go语言免费学习笔记（深入）”；
prog.go:41: method redeclared: Vertex.Abs method(*Vertex) func() float64 method(Vertex) func() float64
这个错误信息清晰地指出，Vertex.Abs 方法被重复声明了，一次是针对 *Vertex，另一次是针对 Vertex。这似乎与直觉相悖，因为它们是不同的接收器类型。
Go语言方法集的规则解析
理解这个问题的关键在于Go语言中关于“方法集”（Method Sets）的定义。Go语言规范明确指出：
类型 T 的方法集 包含所有接收器类型为 T 的方法。*类型 `T的方法集** 包含所有接收器类型为*T的方法，以及所有接收器类型为T` 的方法。
这意味着，如果一个方法 M 定义在值类型 T 上，那么 *T 类型会自动拥有方法 M。反之，如果方法 M 定义在指针类型 *T 上，则 T 类型不会自动拥有方法 M（除非 T 是可寻址的，Go会自动取地址调用）。
因此，当我们尝试同时为 Vertex 和 *Vertex 定义同名方法 Abs 时，Go编译器会认为 Vertex.Abs 这个方法名被重复定义了。因为一旦你为 Vertex 定义了 Abs 方法，那么 *Vertex 实际上也已经“拥有”了该方法（通过其方法集规则）。如果你再为 *Vertex 定义一个同名方法，就会造成冲突。
正确的实践方式
基于上述方法集规则，正确的做法是只选择一种接收器类型来定义方法。通常，如果方法不修改接收器的状态，或者修改状态但希望操作的是副本，则使用值接收器。如果方法需要修改接收器状态，或者接收器是大型结构体，则使用指针接收器。
以下示例展示了如何仅使用值接收器定义 Abs() 方法，并证明它对值类型和指针类型都有效：
package mainimport ( "fmt" "math")type Vertex struct { X, Y float64}// 只在值类型 Vertex 上定义 Abs 方法func (v Vertex) Abs() float64 { return math.Sqrt(v.X*v.X + v.Y*v.Y)}func main() { v := Vertex{5, 10} v_ptr := &v // 获取 v 的指针 // 可以直接通过值类型调用方法 fmt.Printf("Value type call: %.2fn", v.Abs()) // 也可以通过指针类型调用方法 // Go会自动将 v_ptr 解引用为 Vertex 类型来匹配方法 fmt.Printf("Pointer type call: %.2fn", v_ptr.Abs())}
输出：
Value type call: 11.18Pointer type call: 11.18
从上面的示例可以看出，即使 Abs 方法只定义在 Vertex 值类型上，我们仍然可以通过 *Vertex 类型的变量 v_ptr 来调用它。这是因为当 v_ptr 调用 Abs() 时，Go语言会自动将其解引用为 Vertex 值类型，然后调用相应的方法。
接口与方法集
Go语言的接口（Interface）也与方法集紧密相关。一个类型只有当其方法集包含了接口所需的所有方法时，才算实现了该接口。
考虑以下接口：
type Abser interface { Abs() float64}
如果我们将 Abs() 方法定义在 Vertex 值类型上：
func (v Vertex) Abs() float64 { return math.Sqrt(v.X*v.X + v.Y*v.Y)}
那么，Vertex 类型和 *Vertex 类型都将实现 Abser 接口。
package mainimport ( "fmt" "math")type Abser interface { Abs() float64}type Vertex struct { X, Y float64}// Abs 方法定义在值类型 Vertex 上func (v Vertex) Abs() float64 { return math.Sqrt(v.X*v.X + v.Y*v.Y)}func main() { var a Abser v := Vertex{3, 4} // Vertex 类型实现了 Abser 接口 a = v fmt.Printf("Vertex implements Abser: %.2fn", a.Abs()) ptr_v := &v // *Vertex 类型也实现了 Abser 接口 a = ptr_v fmt.Printf("*Vertex implements Abser: %.2fn", a.Abs()) // 假设我们有一个不同类型的结构体 // var f MyFloat = -math.Sqrt2 // a = f // 如果 MyFloat 也定义了 Abs()，则也可以赋值}
输出：
Vertex implements Abser: 5.00*Vertex implements Abser: 5.00
这个例子进一步证明了，当方法定义在值类型上时，其对应的指针类型也自动获得了该方法，并因此能够满足接口的要求。
总结与注意事项
方法重声明错误： Go语言不允许同时为结构体值类型 T 和指针类型 *T 定义同名方法。这是因为 *T 的方法集包含了 T 的所有方法。选择接收器类型：如果方法需要修改接收器状态，或接收器是大型结构体且希望避免复制，请使用*指针接收器 (`T`)**。如果方法不修改接收器状态，或操作的是副本，请使用值接收器 (T)。方法集的行为：如果方法定义在 T 上，那么 T 和 *T 都能调用该方法，且 T 和 *T 都能实现包含该方法的接口。如果方法定义在 *T 上，那么 *T 可以调用该方法，T 也可以在可寻址的情况下调用（Go会自动取地址），但只有 *T 能实现包含该方法的接口。最佳实践： 为了避免混淆和编译错误，通常只需选择一种接收器类型来定义方法。Go语言的这种设计旨在简化方法调用，并减少不必要的重复定义。理解方法集规则是编写高效和符合Go范式的代码的关键。
以上就是Go语言方法接收器与方法重声明深度解析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1408094.html
微信扫一扫 
支付宝扫一扫 
