defer语句在声明时立即求值函数参数，但函数体内的表达式（如赋值、字段访问等）直到实际执行defer时才求值——这是理解defer行为的关键误区。
在Go中，defer 的执行机制常被误解为“整个函数体在defer声明时被快照”，但实际上，只有传递给defer函数的参数在defer语句执行时被求值；而defer函数内部的代码（包括变量读取、字段访问、赋值操作等）全部延迟到外围函数返回前才执行。
以原始问题为例：
defer func() {
t.q = t.q // ❌ 错误认知：以为此处 t.q 在 defer 声明时就被“固定”为50
fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m // 此行将 t.q 改为 1这里 defer func(){...}() 是一个无参闭包，没有参数参与求值。当 defer 语句执行时，Go 仅记录该匿名函数的地址和闭包环境，但 t.q = t.q 中的两个 t.q 都未被求值——它们会在最终调用该defer函数时，按当时 t.q 的实际值（即 1）进行读取和赋值，因此输出 assigned 1 to t.q。
✅ 正确做法是：显式将需要“捕获”的值作为参数传入defer函数，利用参数求值时机实现状态快照：
立即学习“go语言免费学习笔记（深入）”；
defer func(q int) {
t.q = q // ✅ q 在 defer 语句执行时已被求值为 50
fmt.Println("assigned", t.q, "to t.q")
}(t.q) // ← 关键：t.q 在此处被求值并传入
t.q = t.m // 后续修改不影响已传入的参数同样有效的方案是使用局部变量提前保存：
qBackup := t.q // 立即读取当前值（50）
defer func() {
t.q = qBackup // 使用已确定的局部变量，安全可靠
fmt.Println("assigned", t.q, "to t.q")
}()
t.q = t.m⚠️ 注意事项：
- 闭包捕获的变量（如 t 或 t.q）本身不会被快照，只有显式传入的参数或局部变量副本才是“冻结”的；
- 循环中使用 defer 时，若未通过参数或局部变量隔离，极易出现所有defer都操作同一最终值的问题（如经典的 for i:=0; i<3; i++ { defer fmt.Println(i) } 输出 2 2 2）；
- defer 不适用于需要精确控制执行顺序或依赖中间状态的复杂清理逻辑，此时建议显式调用清理函数。
总结：defer不是“代码快照”，而是“带参数的延迟调用”。要确保恢复原始状态，请始终通过函数参数或局部变量显式传递所需值，而非在defer函数体内直接访问可能被后续修改的变量。
