本文深入解析go语言defer语句的参数求值机制，明确指出defer仅在声明时对函数**参数**进行求值，而函数体内的变量访问则延迟到实际执行时——这是理解defer行为偏差的关键。
在Go中，defer语句常被用于资源清理、状态恢复等场景，例如临时修改结构体字段后自动回滚。但若未准确理解其求值规则，极易引发逻辑错误——正如问题中所示：看似简单的“保存旧值→修改→defer恢复”，却意外恢复了修改后的新值。
根本原因在于：defer仅对其函数调用的参数（arguments）进行立即求值，而defer函数体（function body）中的所有表达式（包括变量读取、赋值、方法调用等）均延迟至函数返回时才执行。
来看原始错误代码的关键片段：
defer func() {
t.q = t.q // ❌ 错误！此处t.q在defer执行时才读取，此时已被改为t.m（即1）
fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m // 此行先执行，t.q变为1虽然defer语句在此刻声明，但func(){...}内部的t.q = t.q完全未被求值；等到test()函数返回、defer真正触发时，t.q早已是1，因此赋值操作实际执行的是 t.q = 1。
立即学习“go语言免费学习笔记（深入）”；
✅ 正确做法是：将需要捕获的“快照值”作为参数传入defer函数，利用参数求值的即时性完成值的固化：
defer func(q int) {
t.q = q // ✅ 此处q是调用defer时t.q的瞬时值（50）
fmt.Println("assigned", t.q, "to t.q")
}(t.q) // ← 参数t.q在此刻求值！
t.q = t.m另一种等效方式是使用闭包变量捕获：
qtmp := t.q // 立即读取并保存
defer func() {
t.q = qtmp // ✅ 使用已捕获的局部变量
fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m⚠️ 注意事项：
- defer不支持对函数体内任意表达式做“快照”，仅参数求值具备此能力；
- 多个defer按后进先出（LIFO）顺序执行，但每个defer的参数求值仍独立发生在各自defer语句执行时刻；
- 在循环中使用defer需格外谨慎——若直接引用循环变量（如for i := range s { defer f(i) }），所有defer将共享同一变量地址，最终可能全部捕获最后一次迭代的值；应改用i := i显式复制。
总结：defer不是魔法，而是有明确求值契约的控制流工具。牢记 “参数即刻求值，函数体延迟执行” 这一核心原则，即可避免绝大多数defer相关陷阱，写出清晰可靠的资源管理逻辑。
