Go defer 传参为什么不是退出时才计算

很多人第一次看到下面的输出，会以为 defer 把整次调用都推迟了：函数返回时才读取参数。实际规则更细：执行 defer fmt.Println(i) 的那一刻，i 已经被求值并保存；只有 fmt.Println 的函数体留到外围函数返回前。匿名函数则不同，它保存的是函数体和闭包关系，执行时才读取被捕获的变量。

普通 defer 调用保存参数值，闭包 defer 通常读取执行时的变量值。先看调用形式，再判断求值时机，不能把两者混为一谈。

defer 先保存什么：函数值与参数

Go 规范把 defer 拆成两个时刻：语句执行时，函数值和参数按普通调用规则求值并保存；外围函数返回前，保存的调用才真正执行。因此下面的 i 是 1，不会因为后面赋值为 2 而改变。

package main

import "fmt"

func show() {
	i := 1
	defer fmt.Println("普通参数:", i) // defer 登记时保存 i 的值
	i = 2
}

func main() {
	show() // 返回前打印：普通参数: 1
}

这里没有把 fmt.Println 立刻执行，但它的实参列表已经计算完毕。也正因为参数被保存，函数中途走到多个 return，都不会改变这次 defer 调用要使用的参数。

变量变化时，闭包为什么会表现不同

匿名函数的参数是空的，变量 i 出现在函数体里。它不是在外层 defer 语句处变成一个普通参数快照，而是由匿名函数在执行时读取。再加上 defer 的后进先出规则，下面会先输出闭包看到的 2，再输出普通参数保存的 1。

func compare() {
	i := 1
	defer fmt.Println("参数:", i) // 这里立即保存 1
	defer func() {
		fmt.Println("闭包:", i) // 函数返回前读取当前的 i
	}()
	i = 2
}

// 输出：
// 闭包: 2
// 参数: 1

排查时可以把问题分成两层：defer f(x) 看括号里的表达式何时求值；defer func(){...}() 看函数体里引用了哪些外部变量。若希望日志记录登记瞬间的值，就显式传参；若希望记录返回前的最终状态，闭包才更合适。

三个边界决定你该用参数还是闭包

命名返回值是另一个常见边界：返回表达式先给结果参数赋值，之后才执行 defer。因此闭包可以读取并修改命名结果。指针参数也要单独判断：保存的是指针这个参数值，指针指向对象的内容是否变化，取决于之后是否修改了同一对象。

func finalStatus() (status string) {
	status = "ok"
	defer func() {
		status = "closed" // 命名返回值在 defer 中仍可访问
	}()
	return status
}

// 调用者拿到 closed，而不是 return 表达式中的 ok。

遇到 defer 输出异常时的检查清单

1. 先看 defer 后面是直接调用，还是匿名函数调用。
2. 直接调用检查参数表达式；匿名函数检查函数体引用的外部变量。
3. 多个 defer 从最后登记的开始执行，不要只按源码从上到下猜输出。
4. 涉及命名返回值时，确认 defer 是否在结果参数写入之后运行。
5. 涉及指针、切片或 map 时，区分“参数本身的值”与“它指向或引用的数据”。

记忆口诀可以很短：括号里的值先存，函数体里的变量晚读；登记顺序正着看，执行顺序反着来。

延伸问答

defer fmt.Println(i) 会不会打印函数退出时的 i？

不会。i 在 defer 语句执行时就作为参数求值并保存；想读退出前的值，应把读取写进匿名函数体。

为什么两个 defer 的输出顺序和参数值看起来都反了？

因为 defer 使用后进先出。顺序反转只解释“谁先执行”，参数是否是旧值还要看它是在直接调用中保存，还是在闭包体中读取。

怎么让闭包也固定住当前值？

把值作为匿名函数参数传入，例如 defer func(saved int){ fmt.Println(saved) }(i)，这样 saved 会在登记时保存。