Go 方法值捕获指针后为什么修改了原对象

把指针接收者的方法保存成方法值时，Go 保存的是“指针这个值”，不是把指针指向的结构体再复制一份。因此，f := c.Increase 之后，即使稍后通过 f() 调用，方法仍然能沿着保存的指针找到原来的 Counter，修改也会写回原对象。真正需要区分的是：保存指针副本，不等于复制指针指向的数据。

指针接收者的方法值为什么会改到原对象

先看一个小型计数器。Increase 的接收者类型是 *Counter，它修改的是接收者指向的结构体字段。

package main

import "fmt"

type Counter struct {
	count int
}

// Increase 使用指针接收者，把变化写回同一个 Counter 对象。
func (c *Counter) Increase(step int) {
	if c == nil { // 防止空指针接收者导致不可读的故障。
		return
	}
	c.count += step // 修改指针指向的原对象字段。
}

func main() {
	c := &Counter{count: 10}
	f := c.Increase // 创建方法值时保存指针 c 的副本。
	f(3)            // 调用时仍通过该指针修改同一个 Counter。
	f(2)
	fmt.Println(c.count) // 15
}

这里的 f 不是一个把 Counter 深拷贝进去的闭包。它携带的是接收者指针；指针复制后，目标地址没有改变，所以 f(3) 和直接写 c.Increase(3) 的对象边界相同。

方法值保存接收者，调用时读取指针指向的数据

“捕获”这个词容易让人想到闭包变量，但方法值的规则更直接：计算 x.M 时，表达式 x 会被求值并保存。对指针而言，保存的是地址值；地址所指向的字段仍是同一份可变数据。

package main

import "fmt"

type Counter struct{ count int }

// Set 只通过指针接收者改变原对象。
func (c *Counter) Set(value int) {
	c.count = value // 这里写入保存指针所指向的对象。
}

func main() {
	c := &Counter{count: 1}
	f := c.Set

	other := &Counter{count: 100}
	c = other // 只改变变量 c 当前保存的指针，不会改写 f 的接收者。
	f(7)

	fmt.Println(c.count)     // 100
	fmt.Println(other.count) // 7
}

这个例子还揭示了另一个边界：f 保存的是创建当时的旧指针副本。后来把变量 c 改指向 other，不会让 f 自动改绑；f(7) 修改的仍是最初的对象。也就是说，方法值既不会复制指针指向的结构体，也不会跟踪外层变量之后的重新赋值。

值接收者会保存结构体副本

把接收者改成值类型，结果就不同了。计算 c.Read 时，Counter 的字段值会作为接收者保存下来。之后原对象发生变化，方法值里的那份值仍然独立。

package main

import "fmt"

type Counter struct{ count int }

// Read 使用值接收者，方法调用拿到的是 Counter 的一份值。
func (c Counter) Read() int {
	return c.count // 返回绑定时保存的值接收者字段。
}

func main() {
	c := Counter{count: 10}
	f := c.Read       // 保存 count=10 的结构体副本。
	c.count = 20     // 修改原对象，不会改写 f 内部的副本。

	fmt.Println(f())  // 10
	fmt.Println(c.count) // 20
}

这就是标题中“指针后为什么能修改原对象”的答案：判断关键不是方法值这个形式，而是接收者的类型。指针接收者把写入路径保留到原对象；值接收者则把当前结构体值固定成一份副本。

排查方法值行为时先看这张表

遇到“方法值怎么改了原对象”，按三个问题检查即可：方法声明是 (t T) 还是 (t *T)？创建方法值时接收者变量指向哪个地址？创建后是否只是修改了外层指针变量，而不是方法值携带的对象？这三点通常比追踪调用栈更快。

相关问题

方法值和方法表达式有什么区别？

p.Update 会把接收者绑定进去，调用时只传普通参数；(*Counter).Update 是方法表达式，接收者不会预先绑定，调用时需要显式传入指针。

值接收者方法值一定不会影响原对象吗？

如果结构体字段本身是切片、映射或指针，值拷贝仍可能共享底层数据。不能只看接收者是值类型，还要看字段是否包含引用语义。

为什么重新给原指针变量赋值后，方法值不跟着变化？

因为方法值创建时已经保存了当时的指针副本。外层变量的重新赋值只改变外层变量，不会修改已经生成的函数值。