Go defer 参数求值时机为什么让日志打印旧值

Go 里写下defer fmt.Println(i)后再修改i，日志仍然打印旧值，并不是defer失效，而是参数已经在登记这一刻求值并保存了。真正延后的只是函数调用。若希望函数返回前读取变量的最终状态，应改成defer func() { fmt.Println(i) }()这类闭包写法。

先看一个会打印旧值的最小例子

下面两种写法只差一个匿名函数，观察重点却不同：第一种把i当作调用参数，第二种把读取动作放进闭包函数体。

package main

import "fmt"

func main() {
	i := 0
	defer fmt.Println(i) // 登记 defer 时先保存 i 的值
	defer func() {
		// 闭包在函数返回前执行，此时读取变量的当前值
		fmt.Println(i)
	}()
	i++ // 修改发生在两个 defer 登记之后
}

按后进先出顺序，闭包先读取到1，直接传参的调用随后打印保存的0。这里的“旧值”来自参数快照，不是因为fmt.Println在后台提前执行。

为什么 defer 参数会先保存，函数却最后才执行

可以把一条defer拆成两个阶段：第一阶段计算函数值和参数，并把这次调用登记到延迟栈；第二阶段等外围函数返回前再调用它们。每条defer都会独立保存一份参数，执行时按后进先出处理。

官方规范还指出，显式return会先设置结果参数，再执行延迟函数。因此命名返回值经常适合用闭包做统一收尾，但要把这段逻辑写得足够短，避免读者误以为参数也会自动跟随变化。

日志要打印最终状态时，改用闭包读取变量

排查日志问题时先问一句：你要的是“进入函数时看到了什么”，还是“函数退出时变成了什么”。前者使用参数快照更直观；后者使用闭包，或者先把最终值放入局部变量再传给日志函数。

func process() (err error) {
	started := false
	defer func() {
		// 返回前读取最终状态，适合记录收尾结果
		fmt.Printf("started=%t err=%v\\n", started, err)
	}()

	started = true // 闭包执行时会看到更新后的值
	return nil
}

如果日志必须固定记录某个时刻的值，可以显式制造快照，避免把意图藏在求值规则里：

snapshot := i
defer func(v int) {
	// v 是登记时传入的副本，后续修改不会改变这次日志
	fmt.Println(v)
}(snapshot)

循环、指针和返回值最容易混淆的地方

循环里每次执行defer fmt.Println(i)，每次都会保存当轮的参数，最后倒序打印；不要把它和“所有闭包共享同一个变量”的问题混为一谈。闭包是否读到预期值，还要看它捕获的是哪个变量，以及变量在执行前是否仍会被修改。

传入指针时保存的是指针值，不等于把指针指向的数据复制一份。若数据在返回前被改动，延迟函数通过指针访问时仍可能看到新内容。切片同样要区分切片描述符和底层数组：保存切片参数，不代表底层元素被冻结。

可以用这张检查表快速定位：

• 调用形式是否是defer f(x)，而不是把读取放进闭包？
• 需要快照的是值本身，还是指针、切片背后的可变数据？
• 多个 defer 是否按后进先出执行，日志顺序是否符合预期？
• 闭包是否修改命名返回值，调用方看到的结果是否因此变化？

常见问题

defer fmt.Println(i)会不会等到最后才计算 i？

不会。函数值和参数在defer语句执行时就会求值，最后只延迟调用动作。

怎样同时保留初始值和最终值？

把初始值作为普通参数登记，把最终值放进闭包在返回前读取；两者使用不同的日志字段，避免只看输出顺序猜含义。

传指针给defer能自动获得最新数据吗？

指针地址会被保存，但指向的数据是否变化取决于后续写入。需要不可变快照时，应复制数据或只传值类型副本。

多个defer为什么打印顺序反了？

延迟调用按后进先出执行。把资源释放、状态记录和错误包装按依赖关系登记，必要时在测试中明确期望顺序。

记住一个判断法就够了：参数表达式决定“登记时保存什么”，闭包函数体决定“返回前读取什么”。先明确日志要记录快照还是最终状态，再选对应写法，旧值问题通常就能一次定位。