defer 是 go 中延迟调用、后进先出执行的机制:定义时立即求值参数并入栈,返回前按逆序执行;支持修改命名返回值,执行时机包括 return、panic 或函数自然结束。

defer 是 Go 语言中一个看似简单但容易误解的关键特性。它的核心行为是:延迟调用,后进先出(LifO)执行。也就是说,defer 语句不是在写的时候立刻执行,而是在当前函数即将返回(包括正常 return、panic 导致的提前退出)前,按它们被声明的**逆序**集中执行。
defer 的注册时机:定义即入栈
每遇到一条 defer 语句,Go 运行时就将其“登记”进当前函数的 defer 链表(本质是一个栈)。此时会立即求值 defer 后面函数的参数(注意:是参数值,不是函数体),但函数本身不执行。
例如:
func f() {
i := 10
defer fmt.println(“i =”, i) // 此时 i=10 被捕获,存为常量
i = 20
defer fmt.Println(“i =”, i) // 此时 i=20 被捕获
return
}
立即学习“go语言免费学习笔记(深入)”;
输出是:
i = 20
i = 10
执行时机:函数返回前统一触发
defer 只在函数控制流真正要离开该函数时才执行——这包括:
- 执行到 return 语句(哪怕有返回值)
- 发生 panic 并尚未被当前函数 recover
- 函数自然执行到最后一条语句结束
关键点:return 不是原子操作。它分为两步:赋值返回值 → 执行 defer → 跳出函数。所以 defer 可以读取甚至修改命名返回值(前提是函数有命名返回参数)。
执行顺序:严格后进先出(LIFO)
多个 defer 按书写顺序压栈,出栈执行时就是倒序。这是确定且唯一的规则,不受作用域、if 分支或循环影响。
例如:
func g() {
defer fmt.Print(“A”)
if true {
defer fmt.Print(“B”)
}
for i := 0; i defer fmt.Print(“C”)
}
}
输出一定是:CCBA(两个 C 先注册,后注册的先执行;B 在 A 之后注册,所以 B 在 A 前执行)。
常见陷阱与注意事项
- 参数在 defer 时求值,而非执行时:闭包捕获变量需小心,建议用匿名函数包裹或显式传参
- 不要在 defer 中依赖可能已失效的资源:比如 defer 关闭一个在 return 前已被置为 nil 的指针
- panic + defer + recover 要在同一层函数中配合使用:外层函数的 defer 看不到内层 panic,除非内层没 recover
- defer 开销虽小,但在高频循环中应避免滥用:每次 defer 都涉及内存分配和链表操作
基本上就这些。理解 defer 的“注册即求参、返回前逆序执行”两点,就能避开绝大多数误区。