Go defer 打印的值为什么不是函数退出时的值

Go 里 defer 打印的值不是函数退出时的值，通常不是 defer 失效，而是参数求值时机被误解了。写成 defer fmt.Println(i) 时，i 会在这条语句执行的瞬间求值并保存；函数真正返回前只负责调用已经保存好的参数。想读取退出前的最新值，要把读取动作放进匿名函数里。

一、先用最小例子复现打印结果

先看一个只改变局部变量的函数：

func demo() {
    n := 1
    defer fmt.Println("参数", n)
    n = 2
}

// 输出：参数 1

很多人预期输出 2，是因为把“调用被延后”误认为“整条表达式被延后”。实际上，执行到 defer fmt.Println("参数", n) 时，fmt.Println 和参数 n 已经完成求值，保存的是数值 1。函数走到末尾时，defer 只调用保存好的那次调用。

这个规则也适用于表达式。例如 defer log(buildMessage()) 会在 defer 语句处执行 buildMessage()，而不是等函数退出才执行。若构造消息本身有副作用，也应该把它算进注册 defer 的时间点。

二、区分立即求值的参数和延后读取的闭包

如果业务需要的是函数返回前的最新值，可以让 defer 保存一个不带参数的匿名函数，把读取动作放进函数体：

func demo() {
    n := 1
    defer func() {
        fmt.Println("闭包", n)
    }()
    n = 2
}

// 输出：闭包 2

这里被保存的是匿名函数本身。匿名函数执行时才读取闭包里的 n，所以得到 2。两种写法没有谁更“正确”，它们表达的是不同的调用契约：显式参数适合记录注册时快照，闭包适合记录退出时状态。

排查时不要只看 defer 这三个字符，先看括号里有没有已经执行的参数表达式。把 defer report(err) 改成闭包并不能自动修复所有问题，还要确认闭包捕获的是哪个变量，以及变量是否在其他分支被重新赋值。

三、把 LIFO 顺序和 return 阶段放进判断

多个 defer 会倒序调用。下面的输出不是 1、2、3，而是 3、2、1：

func order() {
    defer fmt.Println(1)
    defer fmt.Println(2)
    defer fmt.Println(3)
}

// 输出：3
//       2
//       1

对命名返回值，还要再加一层判断：显式 return 会先把结果写入命名结果参数，然后执行 defer，最后才把结果交给调用方。

func result() (n int) {
    defer func() { n++ }()
    return 1
}

// result() == 2

这里的匿名函数读取并修改的是命名结果参数 n，所以返回值会从 1 变成 2。若写成 defer add(n)，add 收到的则是 return 前已经保存的旧值，不能用同一套直觉推断。

四、用检查清单排查日志误读

1. 先标出 defer 注册点：参数中是否包含函数调用、方法调用或表达式。
2. 判断你需要的是快照值，还是退出时状态；前者直接传参，后者使用匿名函数。
3. 从最后一条 defer 反向列出调用顺序，不要按代码从上到下猜输出。
4. 检查 return 是否给命名结果参数赋值，以及 defer 是否修改了它。
5. 最后再看指针、切片或 map 等引用对象：参数值可能已保存，但对象内部内容仍可能在后续被修改。

可以把关键日志写成明确的形式，例如 defer func(start int) { log(start, time.Since(begin)) }(begin)：需要快照的值作为参数传入，需要退出时计算的耗时放在闭包内部。这样读代码的人不必猜作者想要哪个时刻的状态。

相关问题

为什么 defer 在循环里打印出来是倒序？

每次循环都会注册一条新的 defer，函数返回前按后进先出执行，因此最后一次注册的调用最先打印。

把 defer 改成匿名函数后一定会拿到最新值吗？

只在匿名函数执行时读取的变量才会反映当时状态；如果又把变量作为匿名函数参数传进去，参数仍然会在注册时求值。

defer 能不能修改普通返回值？

只有能访问到命名结果参数的 defer 才能直接修改最终返回值；普通返回表达式的临时值不会因为 defer 自动变成可修改变量。

判断 Go defer 的关键不是“什么时候执行”，而是拆成两个问题：函数值和参数什么时候求值，保存的调用什么时候真正执行。先分清这两个时刻，打印值、清理资源和统计耗时的结果就都能推导出来。