defer 语句中，函数参数在 defer 被声明时立即求值（即“快照”当前值），而闭包内自由变量则在 defer 实际执行时动态读取——这是理解 defer 行为差异的关键。

defer 语句中，函数参数在 defer 被声明时立即求值（即“快照”当前值），而闭包内自由变量则在 defer 实际执行时动态读取——这是理解 defer 行为差异的关键。

在 Go 中，defer 是实现资源清理、错误处理和状态恢复的重要机制，但其行为细节常被初学者误解，尤其是涉及参数传递与变量捕获时。核心要领只有一条：defer 后函数的参数在 defer 语句执行（即被注册）时求值；而函数体内部引用的外部变量，则在 defer 实际运行时才读取最新值。

以下代码清晰展示了这一区别：

func a() {
    var err error
    // 第一个 defer：无参数，直接捕获变量 err（闭包引用）
    defer func() {
        if err != nil {
            fmt.Printf("1st defer: %s\n", err) // ✅ 运行时读取：此时 err 已被赋值为 "new error"
        } else {
            fmt.Println("1st defer: defer not error")
        }
    }()

    // 第二个 defer：显式传入参数 err
    defer func(err error) {
        if err != nil {
            fmt.Printf("2nd defer: %s\n", err) // ❌ 声明时求值：此时 err 仍为 nil
        } else {
            fmt.Println("2nd defer: defer not error")
        }
    }(err) // ← 注意：此处的 (err) 在 defer 语句执行时立即求值！

    err = errors.New("new error") // 此赋值发生在两个 defer 注册之后
    return
}

输出结果为：

2nd defer: defer not error
1st defer: new error

原因解析：

• defer func(err error) { ... }(err) 中的 (err) 是函数调用参数，Go 在该 defer 语句执行（即注册到 defer 栈）的那一刻就对 err 求值并保存副本（此时 err == nil）。后续 err 的任何修改都不会影响该副本。
• defer func() { ... }() 不带参数，其函数体中对 err 的访问属于闭包对外部变量的引用，Go 会保留对该变量内存地址的绑定，直到 defer 执行时才读取其当前值（此时 err 已被赋值为 errors.New("new error")）。

✅ 正确实践建议：

• 若需延迟处理变化中的变量（如错误、状态），优先使用无参闭包（即第一种写法），确保读取最新值；
• 若需固化某一时刻的值（如日志记录入口参数、资源初始句柄），可显式传参，但需明确这是“快照”而非“引用”。

⚠️ 注意事项：

• defer 的执行顺序是 LIFO（后进先出），因此第二个 defer 先于第一个执行（输出顺序印证了这点）；
• 不要在 defer 中修改被闭包捕获的变量本身（如 err = nil），虽语法合法，但易引发逻辑混乱，应避免副作用；
• 对于指针或结构体字段等复合类型，参数传递仍是值拷贝（指针值被拷贝，但指向的内存不变），需结合具体类型分析语义。

掌握 defer 参数求值时机，是写出健壮、可预测的 Go 错误处理与清理逻辑的基础。