一、背景
早期管理资源（如数据库连接、锁、文件句柄、网络连接）和状态清理异常麻烦。必须在每个可能的返回点（return、err、panic）手动重复清理代码，极易遗漏且打断主要逻辑思路！
像 Java 语言虽然用了 Try-Catch，但缺点是逻辑不清晰、臃肿、不容易判断错误出在什么地方。
作为新生代的 Go，及众多语言之精华，推出了 defer 处理机制。尤其是在 Go 1.14 版本时，性能开销接近零，更无后顾之忧。
二、定义
1. 语法
defer functionCall(..arguments..)
defer 后面直接跟一个函数调用（可以是命名函数、匿名函数、方法等）。
2. 定义
当函数执行到 defer 语句时（注册时），它会立即求值此时该函数调用的参数，并将此次函数调用（包括已求值的参数）放到一个延迟调用表中。这个调用函数与 goroutine 关联，采用 LIFO（后进先出）的方式调用。切记这个延迟调用表不会立即执行，而是会等到函数真正结束之前——函数 (return 或 panic) 之后——再调用。
3. 特性
- 延迟执行：运行到 defer 时，只是将求值后的参数与调用的函数一并打包到延迟调用表中，需等到函数体结束之后在执行。
- LIFO 方式执行：后进先出的方式执行。
- 参数求值时机：defer 语句中的函数参数的值，是在执行到 defer 语句时（即注册时）就确定并保存下来的，而不是在延迟函数实际执行时才求值。
- 作用域：自各函数体。
三、应用
1. 临近释放（逻辑清晰）
mu.Lock()
defer mu.Unlock() // 好习惯！确保解锁
// ... 操作共享数据 ...
2. panic 捕获（防止程序崩溃）
特殊情况，根据源码分析——协程中出现 panic，若不能再该协程中捕获，则会导致整个程序崩溃。
func test() {
defer func() {
if r := recover(); r != nil {
fmt.Println(r)
}
}()
panic(1)
}
3. 循环函数释放（利用完资源后，及时释放资源）
// 正确做法：将文件处理封装到函数，defer 在每次循环的匿名函数结束时执行
func outerFunc() {
for _, filename := range filenames {
func() {
// 匿名函数
f, err := os.Open(filename)
if err != nil {
log.Println(err)
return // 退出匿名函数
}
defer f.Close() // 延迟到当前匿名函数结束时执行 (即本次循环结束)
// ... 处理 f ...
}()
// 立即调用匿名函数
}
}
4. 查看执行顺序
package main
import (
"fmt"
"log"
)
func g(i int) {
if i > 1 {
fmt.Println("Panicking!")
panic(1)
}
defer fmt.Println("Defer in g", i)
fmt.Println("Printing in g", i)
g(i + 1)
}
func f() {
defer func() {
if r := recover(); r != nil {
log.Println("Recovered in f", r)
}
}()
fmt.Println("Calling g.")
g(0)
fmt.Println("Returned normally from f.")
}
func main() {
f()
}
四、底层
底层源码重点了解 heap、link 这两个字段。
type _defer struct {
heap bool // 表示是分配在堆上还是栈上。
rangefunc bool // true for rangefunc
list sp uintptr // 栈指针
pc uintptr // 程序计数器
fn func() // 表示需要被延迟执行的函数。
link *_defer // 指向下一个 _defer 结构体的指针。
// If rangefunc is true, *head is the head of the atomic linked list
// during a range-over-func execution.
head *atomic.Pointer[_defer]
}
- defer 语句注册时，会创建一个 _defer 结构体实例。
- 多个 defer 通过 link 字段形成一个单链表（LIFO 栈），挂载到当前 goroutine 的结构上 (g._defer)。新的 defer 总是插入链表头部。
主要有两大种分配方式。
-
堆栈分配 区别：分配位置的不同。获取到 runtime_defer 结构体，它都会被追加到所在 Goroutine
_defer链表的最前面。 -
开放编码 不建额外结构，直接把 defer 代码塞到函数退出前，用位掩码控制执行，开销几乎和普通调用一样。
-
选择 首先考虑开放编码（已经优化到：实际消耗跟调用普通函数差不多的地步），后栈分配，保底堆分配。
以下是整理的 Go 版本迭代全史，供参考。
📅 Go 版本迭代全史（2009–2025）
⭐ 早期阶段
| 版本 | 发布时间 | 核心特性 |
|---|---|---|
| 初始开源 | 2009-11-10 | 正式开源，获得 TIOBE 年度语言称号 |
| Go r56 | 2011-03-16 | 首个稳定版本 |
| Go 1.0 | 2012-03-28 | 首个正式版本，承诺向后兼容性；引入 go tool pprof、go vet |
🔄 每半年发布周期（2013 年起）
| 版本 | 发布时间 | 核心特性 |
|---|---|---|
| Go 1.1 | 2013-05-13 | 重写调度器（支持 Work-Stealing 算法）；引入竞态检测器 |
| Go 1.2 | 2013-12-01 | 支持全切片表达式；go test 支持覆盖率统计 |
| Go 1.3 | 2014-06-18 | 栈模型改为连续栈；引入 sync.Pool |
| Go 1.4 | 2014-12-10 | 支持 Android；运行时从 C 改为 Go；移除 src/pkg 层级 |
| Go 1.5 | 2015-08-19 | 自举（移除 C 代码）；优化 GC（延迟降至 30ms）；引入 vendor 机制 |
| Go 1.6 | 2016-02-17 | 默认支持 HTTP/2；GC 延迟进一步降低 |
| Go 1.7 | 2016-08-15 | 引入 context 包；SSA 后端优化（性能提升 5–35%） |
| Go 1.8 | 2017-02-17 | GC 延迟降至亚毫秒级；defer 性能提升 50% |
| Go 1.9 | 2017-08-24 | 引入类型别名；新增并发安全的 sync.Map |
| Go 1.10 | 2018-02-16 | 构建缓存（Build Cache）默认开启 |
| Go 1.11 | 2018-08-25 | 引入 Go Modules；支持 WebAssembly |
| Go 1.12 | 2019-03-01 | 优化 TLS 1.3 支持；改进模块机制 |
| Go 1.13 | 2019-09-03 | 支持二进制/八进制字面量；错误处理增强（errors.Is/As/Unwrap） |
| Go 1.14 | 2020-02-25 | 接口允许方法集重叠；Goroutine 支持异步抢占调度；defer 性能接近零开销 |
| Go 1.15 | 2020-08-11 | 优化链接器；改进内联策略 |
| Go 1.16 | 2021-02 | 支持静态文件嵌入；默认启用 Go Modules |
🚀 重大革新阶段（2022–2025）
| 版本 | 发布时间 | 核心特性 |
|---|---|---|
| Go 1.18 | 2022-03-15 | 引入泛型；支持模糊测试（Fuzzing）；工作区模式（Multi-Module Workspaces） |
| Go 1.23 | 2025 年初 | 引入迭代器（seq/seq2）；gopls 现代化工具链；go get 管理工具链 |
| Go 1.24 | 2025 年中 | 标准库支持 strings/slices/maps 迭代器；增强 WebAssembly 安全性与性能 |
| Go 1.25 | 2025-08 (预计) | 移除核心类型（Core Types）；简化泛型规范；优化错误提示 |
建议重点关注以下节点：
- 初始开源 -2009-11-10，Go 降生到了这个世界上。
- Go 1.5：2015，Go 开始用母语了，实现自举（Go 编译 Go），GC 延迟从 300ms 降至 30ms，奠定现代 Go 基础。
- Go 1.11：2018，引入了 Go Module 解决了依赖问题。
- Go 1.18：2022，泛型、模糊测试、工作区多模块，等均进行了新功能的填充与优化。