defer 语句在执行时立即对函数参数进行求值并保存副本，而非延迟到实际调用时再取值；因此即使后续修改了被引用的变量（如结构体字段或指针所指内容），defer 调用仍使用最初求值时的快照值。

defer 语句在执行时立即对函数参数进行求值并保存副本，而非延迟到实际调用时再取值；因此即使后续修改了被引用的变量（如结构体字段或指针所指内容），defer 调用仍使用最初求值时的快照值。

在 Go 中，defer 的行为常被误解为“完全延迟执行”，但关键细节在于：参数求值（evaluation）发生在 defer 语句执行时，而非 defer 函数实际调用时。根据 Go 语言规范：

“Each time a defer statement executes, the function value and parameters to the call are evaluated as usual and saved anew.”

这意味着：无论参数是值类型还是指针类型，其当前值（或当前解引用结果）会在 defer 语句执行那一刻被计算并固化。

✅ 正确理解示例一：指针解引用

func main() {
    aValue := new(int) // *aValue 初始为 0
    defer fmt.Println(*aValue) // ← 此刻 *aValue == 0，该值被保存！

    for i := 0; i <p>你理解完全正确：<code>*aValue</code> 在 <code>defer</code> 行被求值为 <code>0</code>，这个整数值被拷贝保存；后续对 <code>*aValue</code> 的修改不影响已保存的参数。此处“传引用”本身不改变参数求值时机——真正重要的是<strong>求值表达式的内容是否依赖后续状态变化</strong>。</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4221" title="Golang Lint"><img
														src="https://img.php.cn/upload/skill/000/000/081/178996868679213.jpg" alt="Golang Lint" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill4221" title="Golang Lint" class="overflowclass">Golang Lint</a>
													<p class="overflowclass">Golang 项目 lint 最佳实践与 golangci‑lint 配置——运行 linter、编辑 .golangci.yml、使用 nolint指令抑制警告。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill4221" title="Golang Lint" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div><h3>⚠️ 易错示例：结构体值传递</h3><pre class="brush:php;toolbar:false;">type User struct { Name string }

func main() {
    user := User{}              // user = User{Name: ""}
    defer fmt.Printf("%#v\n", user) // ← user 值在此刻被完整拷贝！
    user.Name = "AJ"            // 修改不影响已保存的副本
    // 输出：main.User{Name:""}
}

这里 user 是值类型，defer 保存的是整个结构体的深拷贝（字段值快照），因此后续赋值无效。

✅ 解决方案一：传指针（显式延迟解引用）

func main() {
    user := &User{}             // user 指向堆上对象
    defer fmt.Printf("%#v\n", *user) // ← 仍保存 *user 的值（即初始空结构体）
    // ❌ 依然输出空结构体 —— 因为 *user 在 defer 时已被求值！

    // ✅ 正确做法：传递指针本身，并在 defer 函数内解引用
    defer func(u *User) {
        fmt.Printf("%#v\n", *u) // u 是参数，*u 在 defer 调用时才求值
    }(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 固定参数值：所有参数（包括 *ptr、struct.field 等表达式）在 defer 语句执行时求值并保存。
• “传引用” ≠ “延迟解引用”：defer fmt.Println(*p) 中 *p 立即解引用；若想延迟，需用闭包或显式函数参数包装。
• 安全实践：
  • 若需反映最终状态，优先使用匿名函数闭包；
  • 若必须用参数传递，确保传入的是可变容器的指针，并在 defer 函数内部再次解引用（如 func(p *T) { ... *p ... }）；
  • 避免在 defer 参数中直接写易变表达式（如 time.Now()、len(s)、*p），除非你明确需要其定义时刻的值。

理解这一机制，能帮你规避并发调试、资源清理、日志记录等场景中的隐蔽逻辑错误。