Golang循环中defer调用值方法与指针方法的差异及编译疑问

问题描述 #

编写并运行如下Go代码：

type Test struct {
    Name string
}

func (t Test) hello() {
    fmt.Printf("Hello, %s\n", t.Name)
}

func (t *Test) hello2() {
    fmt.Printf("pointer: %s\n", t.Name)
}

func runT(t Test) {
    t.hello()
}

func main() {
    mapt := []Test{
        {Name: "A"},
        {Name: "B"},
        {Name: "C"},
    }

    for _, t := range mapt {
        defer t.hello()
        defer t.hello2()
    }
}

运行输出为：

pointer: C
Hello, C
pointer: C
Hello, B
pointer: C
Hello, A

疑问：循环结束后指针指向"C"，所以hello2输出三次"C"，但hello的defer调用却保留了每次循环的对应值，想知道值方法(t Test)如何影响该行为，以及Go对此的编译实现。

核心原因分析 #

1. for range循环的变量复用特性 #

Go里的for range循环有个容易踩坑的特性：循环变量t是同一个变量被重复使用的。每次循环只是把切片里的元素值赋值给这个变量，而不是每次循环新建一个t。这是理解整个问题的基础。

2. 值方法与指针方法的调用差异 #

• 值方法(t Test) hello()：值方法的接收者是值类型，调用时Go会自动把当前t的完整副本作为参数传给方法。当你在defer里写t.hello()时，这行代码会立刻把当前循环迭代的t值拷贝一份，和hello()方法绑定在一起存起来。等defer触发执行时，用的就是这个当时的副本，所以每个defer的hello()都保留了对应循环的t值（A、B、C）。又因为defer是后进先出的执行顺序，所以输出顺序是C、B、A。

• 指针方法(t *Test) hello2()：指针方法的接收者是指针类型，调用时Go会自动取当前t的地址作为参数。但因为循环变量t是复用的，所有defer的hello2()绑定的都是同一个变量的地址。循环结束后，t的值被最后一次迭代的"C"覆盖，所以所有defer的hello2()执行时，读取的都是这个地址指向的最新值——也就是"C"，所以三次输出全是"pointer: C"。

3. 编译层面的实现细节 #

• 处理值方法的defer调用时，编译器会生成代码，将接收者的当前值直接拷贝到defer的参数栈中，确保后续执行时使用的是调用defer那一刻的副本，不受后续循环变量修改的影响。
• 处理指针方法的defer调用时，编译器会生成取循环变量地址的指令，把这个地址存入defer的参数栈。由于循环变量的内存地址始终不变，后续所有defer调用都会访问这个地址的最新值，也就是循环结束后的最终值。

内容的提问来源于stack exchange，提问作者Derzart Ampere