Go语言中的方法接收器
Go语言允许为自定义类型定义方法，这些方法通过一个特殊的参数——“接收器”——与类型绑定。接收器可以是值类型（T）或指针类型（*T）。
- 值接收器 (T): 当方法使用值接收器时，方法内部操作的是接收器的一个副本。这意味着对接收器的修改不会影响原始值。
- *指针接收器 (`T`)**: 当方法使用指针接收器时，方法内部操作的是接收器所指向的原始值。这意味着对接收器的修改会影响原始值。
选择哪种接收器取决于方法的行为：如果方法需要修改接收器状态，或者接收器是一个大型结构体，使用指针接收器可以避免不必要的复制，提高效率。如果方法仅读取接收器状态，值接收器通常是安全的。
方法集的规则与影响
理解Go语言的方法集（Method Set）是解决这个问题的关键。Go语言规范明确定义了类型的方法集：
- 类型 T 的方法集：包含所有接收器为 T 的方法。
- *类型 `T的方法集**：包含所有接收器为T` 或* T 的方法。
这条规则意味着，如果一个方法 M 定义在值类型 T 上，那么它不仅是 T 的方法集的一部分，同时也是 *T 的方法集的一部分。
立即学习“go语言免费学习笔记（深入）”；
示例分析：
考虑以下场景，我们定义一个 Vertex 结构体和一个 Abs 方法：
package main
import (
"fmt"
"math"
)
type Vertex struct {
X, Y float64
}
// 定义一个值接收器的方法
func (v Vertex) Abs() float64 {
return math.Sqrt(v.X*v.X + v.Y*v.Y)
}
func main() {
v := Vertex{3, 4}
vPtr := &v
// 即使Abs方法定义在值类型Vertex上，
// 也可以通过Vertex的指针vPtr来调用
fmt.Printf("Value receiver call: %.2f\n", v.Abs()) // 输出: Value receiver call: 5.00
fmt.Printf("Pointer receiver call: %.2f\n", vPtr.Abs()) // 输出: Pointer receiver call: 5.00
}在上面的例子中，Abs() 方法仅定义在 Vertex 值类型上。然而，无论是 Vertex 类型的变量 v 还是 *Vertex 类型的变量 vPtr，都可以成功调用 Abs() 方法。这是因为 *Vertex 的方法集包含了所有接收器为 Vertex 或 *Vertex 的方法。当 vPtr 调用 Abs() 时，Go语言会自动对其进行解引用，以匹配值接收器的方法。
为什么不能同时定义？
现在，如果我们尝试同时为 Vertex 和 *Vertex 定义同名同签名的 Abs() 方法，就会遇到编译错误：
package main
import (
"math"
)
type Vertex struct {
X, Y float64
}
// 定义一个值接收器的方法
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)
}
func main() {
// ...
}编译器会报错：
prog.go:17: method redeclared: Vertex.Abs
method(*Vertex) func() float64
method(Vertex) func() float64这个错误清楚地表明 Vertex.Abs 方法被重复声明了。由于 Vertex 类型上定义的 Abs 方法已经自动包含在 *Vertex 的方法集中，再次为 *Vertex 定义一个同名同签名的 Abs 方法就构成了重定义。Go语言不允许在一个类型的方法集中存在同名同签名的方法，无论其接收器是值类型还是指针类型。
接口满足性
这种方法集规则也深刻影响了接口的满足性。如果一个接口要求一个方法 M()，并且这个方法定义在值类型 T 上，那么：
- T 类型的值可以满足这个接口。
- *T 类型的值也可以满足这个接口（因为 *T 的方法集包含了 T 的方法）。
示例：
package main
import (
"fmt"
"math"
)
type Abser interface {
Abs() float64
}
type Vertex struct {
X, Y float64
}
// 方法定义在值类型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}
a = v // Vertex值可以满足Abser接口
fmt.Printf("Interface satisfied by value: %.2f\n", a.Abs())
vPtr := &v
a = vPtr // *Vertex指针也可以满足Abser接口
fmt.Printf("Interface satisfied by pointer: %.2f\n", a.Abs())
}这个例子进一步证明了，当方法定义在值类型上时，其值和指针都可以满足包含该方法的接口。
注意事项与总结
- 唯一性原则：Go语言中，对于一个给定的方法名和签名，一个类型（包括其指针类型）只能有一个实现。
- 方法集的自动包含：记住 *T 的方法集包含 T 的方法，这是导致重定义错误的核心原因。
-
选择接收器：
- 如果方法需要修改接收器的数据，必须使用指针接收器。
- 如果方法只读取接收器的数据，并且结构体较小，可以使用值接收器。
- 如果结构体较大，即使只读取数据，为了避免复制开销，也可以考虑使用指针接收器。
- Go的隐式转换：Go语言在方法调用时，会在必要时自动进行值到指针（取地址）或指针到值（解引用）的转换，以匹配接收器类型。这使得无论方法定义在 T 还是 *T 上，通常都可以通过 T 或 *T 的变量来调用。
总之，Go语言的方法集规则设计得非常精妙，它避免了冗余的方法定义，并简化了接口的实现。理解并遵循这些规则，是编写高效、清晰Go代码的基础。
