Go 方法表达式和方法值调用结果不同怎么理解

Go 里把 T.M 和 x.M 都当成“拿到一个方法”很容易混淆，但它们的调用结果并不是由点号决定的。真正的区别是：方法表达式把接收者留在函数参数里，方法值在表达式求值时就保存了接收者。值接收者保存的是一份副本，指针接收者保存的是同一个对象的指针。

先看函数类型：T.M 和 x.M 不是一回事

方法表达式使用类型加方法名，例如 Profile.Label。它得到的是普通函数，接收者成为第一个参数，所以调用写成 Profile.Label(p)。如果方法的接收者是指针，就写成 (*Profile).Hit，调用时传入 *Profile。

方法值使用具体对象加方法名，例如 p.Label。求值时接收者已经被保存，得到的函数不再要求调用者补传接收者，因此调用写成 labelValue()。这也是二者最容易被误认为“只是简写”的地方：它们的函数类型已经不同。

值接收者的方法值会保存一份当时的副本

下面的 Label 使用值接收者。labelValue := p.Label 执行时，会把当时的 p 作为接收者保存下来；之后再修改原变量的 Name，不会改变已经保存的那份副本。方法表达式则不同，它直到调用时才接收当前的 p。

package main

import "fmt"

type Profile struct {
	Name string
	Hits int
}

// 值接收者只读取自身副本，适合不需要写回对象的方法。
func (p Profile) Label() string {
	return p.Name
}

// 指针接收者修改原对象，调用后状态会留在 p 中。
func (p *Profile) Hit() int {
	p.Hits++
	return p.Hits
}

func main() {
	p := Profile{Name: "before"}
	labelExpr := Profile.Label // 接收者仍是第一个参数
	labelValue := p.Label      // 保存 Name 为 before 的副本

	p.Name = "after"
	fmt.Println(labelExpr(p)) // after：调用点传入当前 p
	fmt.Println(labelValue()) // before：方法值保存了旧副本
}

这里的两个输出都符合规则，并不是编译器随机选择了不同对象。labelExpr 的类型是 func(Profile) string，每次调用都可以传入不同的 Profile；labelValue 的类型是 func() string，它已经没有接收者参数。

指针接收者的方法值会继续观察同一个对象

指针接收者的边界不同。对可寻址的变量 p 使用 p.Hit 时，Go 可以按方法调用规则取得 &p，方法值保存的是这块对象的指针。因此，方法值和方法表达式都能作用于同一份可变状态，只是接收者参数放置的位置不同。

// 继续放在 main 中，比较指针接收者的两种调用形状。
hitExpr := (*Profile).Hit // 类型是 func(*Profile) int
hitValue := p.Hit         // 类型是 func() int，保存 &p

fmt.Println(hitExpr(&p)) // 1：显式传入对象指针
fmt.Println(hitValue())   // 2：方法值继续修改同一对象
fmt.Println(p.Hits)       // 2：状态写回原来的 p

不要把“方法值一定复制对象”当成结论。复制与否取决于接收者类型：值接收者保存值，指针接收者保存指针。若接收者本身指向共享资源，方法值仍然可能改变外部可见状态。

写回调时按接收者生命周期选择调用形式

如果回调要在多个对象之间复用，方法表达式更合适，因为对象在真正调用时才传入。例如批量处理多个 Profile 时，可以把 Profile.Label 交给接收相同签名的函数。若回调只服务一个已经确定的对象，方法值更直观，也能把接收者从回调参数中隐藏起来。

排查“调用结果不对”时按这张清单走：先用 fmt.Printf("%T\n", fn) 看函数类型；再看方法是值接收者还是指针接收者；最后确认方法值创建前后，原对象是否发生了修改。若需要让调用点决定对象，就不要提前保存方法值；若需要绑定一个对象，也不要把方法表达式误当成无参回调。

相关问题

方法表达式能不能直接替代方法值？

不能直接替代。二者函数签名不同，只有在外层再包一层函数、补齐或隐藏接收者参数后，才能适配同一个回调接口。

为什么 p.Hit 能调用而 (*Profile).Hit 需要传参数？

p.Hit 已经保存了接收者；(*Profile).Hit 是方法表达式，接收者参数仍由调用者提供。

方法值会不会让对象逃逸？

不能仅凭写法下结论。方法值会保存接收者，具体是否逃逸由编译器结合使用方式分析；需要性能判断时再用编译器的逃逸分析结果验证。

记住一句话即可：方法表达式把“对象”留到调用时决定，方法值把“对象”提前放进函数里；值接收者放进去的是副本，指针接收者放进去的是指向原对象的连接。