Go defer 闭包捕获变量的执行时机

Go 的 defer 容易被一句“函数退出时执行”概括得过于简单。真正需要分开的有两件事：普通调用的函数值和参数在登记 defer 的那一刻就完成求值；如果登记的是匿名函数，匿名函数体里读取的外部变量则通常等到函数返回前才读取。理解这条界线，就能解释日志为什么打印旧值、清理闭包为什么能看到最新状态，以及命名返回值为什么还能被修改。

本文只围绕参数求值、闭包变量和资源释放展开。语言规范入口：https://go.dev/ref/spec#Defer_statements；官方实践说明：https://go.dev/doc/effective_go。

先把 defer 拆成登记与执行

defer f(x) 不是把整行文字保存到函数末尾再重新解释，而是先确定函数值和参数，再把这次调用登记起来。函数真正返回前，已登记的调用按后进先出顺序执行。资源释放因此可以紧挨着资源获取，但参数时间点不能按“退出时再算”理解。

这里的“登记时”指当前 goroutine 执行到该条语句的时刻；“执行时”指外围函数通过 return、走到函数体末尾或发生 panic 展开时，开始运行已经登记的延迟调用。它们是同一次 defer 的两个时间点。

对比参数快照和闭包捕获

最小对比是让同一个变量先为 before，登记两个 defer，再改成 after。普通调用把值传给 Println 时已经得到参数快照；匿名函数只在登记时保存函数值，函数体读取的 value 仍指向外部变量。

package main

import "fmt"

func compare() {
	value := "before"

	// 普通调用的参数在 defer 登记时就完成求值
	defer fmt.Println("参数:", value)

	// 闭包体稍后执行，读取的是外围变量当前的值
	defer func() {
		fmt.Println("闭包:", value)
	}()

	// 这里改变的是闭包仍能访问的同一个变量
	value = "after"
}

func main() {
	compare()
}

按语言规则，外围函数返回前先执行后登记的匿名函数，再执行先登记的普通调用，因此输出顺序应体现“闭包读取 after，参数快照保留 before”。这里给出的是语义推导，不把文章中的代码块当成线上运行日志。

两种写法没有谁“更晚调用”这么简单。两者都会在外围函数返回前调用，但普通形式把参数值冻结在登记点，闭包形式把读取变量的动作留到了匿名函数真正执行时。若闭包还调用了其他函数，继续传递的参数又会按照那次调用的规则求值。

把闭包放在资源清理边界

资源释放通常应该使用函数级 defer，而不是把关闭动作放到每个成功返回分支。打开文件后立即登记关闭动作，后续读取失败、提前返回或正常结束时都共享同一条清理约定。若关闭本身也可能产生需要上报的错误，可以用命名返回值让清理闭包在返回前补充它。

package main

import (
	"io"
	"os"
)

func readFirstLine(path string) (line string, err error) {
	f, err := os.Open(path)
	if err != nil {
		return "", err
	}

	// 关闭动作靠近获取动作，所有返回路径都能经过这里
	defer func() {
		closeErr := f.Close()
		// 只有主体没有错误时，才把关闭错误作为函数结果交给调用方
		if err == nil && closeErr != nil {
			err = closeErr
		}
	}()

	buffer := make([]byte, 256)
	n, readErr := f.Read(buffer)
	if readErr != nil && readErr != io.EOF {
		return "", readErr
	}
	return string(buffer[:n]), nil
}

这个例子里的闭包读取的是命名返回值 err，并不是把 err 的初始值复制进闭包。显式 return 先把结果写入命名结果参数，然后 defer 闭包才有机会观察或修改它。至于是否把关闭错误覆盖主体错误，应由接口约定决定；这里选择主体已有错误时保留主体错误。

理解命名返回值的修改时机

命名返回值是函数作用域内的普通变量。执行带返回表达式的 return 时，表达式先计算并写入这些结果变量，然后才执行 defer。于是下面的闭包能够统一修整结果或补充错误。

import "strings"

func normalizedName() (name string, err error) {
	defer func() {
		// return 已经把结果写进 name，闭包现在可以统一清理空白
		name = strings.TrimSpace(name)
	}()

	name = " demo "
	return name, nil
}

这种能力适合集中处理“所有返回路径都必须遵守”的约定，例如清理、统一记录或给命名错误补充上下文。它也会增加阅读成本：调用方看到 return name, nil，还要知道函数末尾的闭包会再次改变 name。如果结果不需要统一后处理，直接返回更清楚。

形成稳定的调用契约

最终可以记成一句话：defer 让调用延后，但不让普通调用参数延后求值；匿名函数的函数体会延后，因此它读取的外部变量可能已经变化。把资源清理放在函数边界，把值快照和变量捕获的意图写进代码，调用方就不必猜测执行时机。

闭包会复制外部变量吗？

不能用“总是复制”概括。闭包可以访问外围变量，实际写法应按变量的共享语义理解；如果需要固定某次值，可以在登记前复制到一个新变量，或者把值作为匿名函数参数传入。

多个 defer 的执行顺序是什么？

同一函数中通常按后进先出执行。越晚登记的 defer 越早执行，因此清理多个有依赖关系的资源时，登记顺序要与希望的释放顺序相反。

什么时候不要用 defer 闭包修改结果？

如果后处理只服务单个分支，直接在返回前写出来更容易读；如果清理错误与主体错误的优先级没有明确约定，也不要让闭包悄悄覆盖调用方关心的错误。