17370845950

go语言中defer语句的参数在defer执行时即刻求值，而函数体内的表达式则延迟到实际调用时才求值——这是理解defer行为的关键，也是避免状态恢复逻辑出错的核心要点。

在Go中，defer 的设计遵循“参数求值即时，函数执行延迟”原则：当 defer 语句被执行（即运行到该行代码）时，其后匿名函数的所有传入参数会立即求值并捕获当前值；但函数体内部的变量访问、赋值、方法调用等操作，全部推迟到外围函数真正返回前才执行。

这解释了原始代码为何输出 assigned 1 to t.q：

defer func() {
    t.q = t.q  // ❌ 错误：t.q 在 defer 执行时未求值，而是在最终调用时读取——此时 t.q 已被改为 1
    fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m // 此行将 t.q 改为 1

此处 t.q = t.q 是一条赋值语句，而非参数传递。t.q 的右侧表达式在 defer 实际执行时（即函数返回前）才被计算，此时 t.q 已是 1，因此相当于 t.q = 1，无法恢复原始值。

✅ 正确做法是将需要保存的原始值作为参数传入 defer 函数，利用参数求值的即时性完成快照：

func (t *tss) test() {
    if true {
        defer func(q int) { // ✅ 参数 q 在 defer 语句执行时即求值为 t.q 当前值（50）
            t.q = q         //
 此处 q 是已捕获的副本，安全可靠
            fmt.Println("assigned", t.q, "to t.q")
        }(t.q) // ← 关键：t.q 在这里被立即读取并传入
        t.q = t.m // 修改不影响已捕获的参数
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

另一种等效写法是先显式捕获变量再闭包引用：

qOrig := t.q
defer func() {
    t.q = qOrig // ✅ qOrig 是局部变量，在 defer 声明时已确定
    fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m

⚠️ 注意事项：

• 不要依赖闭包内对结构体字段的直接读取来“记住旧值”，除非该值已提前存入局部变量或作为参数传入；
• defer 不是“作用域快照”，而是“参数快照 + 延迟执行”；
• 在循环中使用 defer 时，同样需警惕变量复用问题（如 for i := range s { defer func(){...}() } 中的 i 需显式传参）；
• 多个 defer 按后进先出（LIFO）顺序执行，但每个 defer 的参数求值彼此独立、互不影响。

总结：defer 的本质是「延迟调用」而非「延迟求值」；真正被延迟的只有函数体，参数永远在 defer 语句执行那一刻锁定。掌握这一机制，才能写出可预测、可维护的状态管理逻辑——尤其在资源清理、锁释放、上下文还原等关键场景中。