defer 语句在执行时立即对函数参数进行求值并保存副本，而非延迟到实际调用时再取值；因此，即使后续修改了变量（尤其是结构体值类型），defer 中已捕获的参数仍为原始快照。
defer 语句在执行时立即对函数参数进行求值并保存副本，而非延迟到实际调用时再取值；因此，即使后续修改了变量（尤其是结构体值类型），defer 中已捕获的参数仍为原始快照。
在 Go 中，defer 是一个强大但容易被误解的控制流机制。其核心语义是：每次执行 defer 语句时，会立即求值函数名和所有实参，并将这些值（而非变量本身）保存为“快照”，待外围函数返回前按后进先出（LIFO）顺序执行。
这解释了你观察到的现象：
func main() {
aValue := new(int) // 指向 int 的指针，初始值为 0
defer fmt.Println(*aValue) // ✅ 立即解引用：*aValue == 0 → 保存整数 0
for i := 0; i <p>此处 <code>*aValue</code> 是一个<strong>表达式求值</strong>，结果是 <code>int</code> 类型的值 <code>0</code>，属于<strong>传值捕获</strong>。无论 <code>aValue</code> 后续如何修改，defer 调用时使用的始终是这个已保存的 <code>0</code>。</p><p>真正体现“传引用陷阱”的，是<strong>值类型（如 struct）的直接传递</strong>：</p><pre class="brush:php;toolbar:false;">type User struct {
Name string
}
func main() {
user := User{} // 值类型变量
defer fmt.Printf("%#v\n", user) // ✅ 立即复制整个 struct：User{Name: ""}
user.Name = "AJ" // 修改原变量，不影响已保存的副本
}
// 输出：main.User{Name:""} —— 不是预期的 "AJ"⚠️ 关键点：defer fmt.Printf(..., user) 中的 user 是值拷贝，不是引用。Go 没有“传引用”语义（除指针、slice、map、chan、func、interface 等引用类型外），所谓“传引用”实则是传递包含指针的复合类型（如 *User）。
✅ 正确做法一：传递指针（利用引用类型特性）
func main() {
user := &User{} // *User 类型（引用类型）
defer fmt.Printf("%#v\n", user) // 保存的是指针值（内存地址），非结构体内容
user.Name = "AJ"
}
// 输出：&main.User{Name:"AJ"} —— 解引用后看到更新后的值✅ 正确做法二：使用闭包（延迟求值）
func main() {
user := User{}
defer func() {
fmt.Printf("%#v\n", user) // user 在闭包内按需读取，非 defer 时刻快照
}()
user.Name = "AJ"
}
// 输出：main.User{Name:"AJ"} —— 因为闭包捕获的是变量名，访问发生在 defer 实际执行时? 总结与最佳实践：
-
defer的参数在defer语句执行时严格求值并固化，与变量后续变化无关； - 对于需要反映最终状态的场景，优先考虑：
- 使用指针类型参数（确保 defer 内部解引用时读到最新值）；
- 使用匿名函数闭包（实现真正的延迟求值）；
- 避免对可变的值类型（如
struct{}、[3]int）直接传参给 defer，除非明确希望捕获初始状态； - 可借助
go vet或静态分析工具识别潜在的“stale defer argument”问题。
理解 defer 的求值时机，是写出可预测、健壮并发代码的重要基础。
