Golang中Defer的工作原理及执行栈与线程行为解析

Golang中Defer的工作原理及执行栈与线程行为解析 Go语言中Defer的工作原理 - 我观察到defer函数即使在调用者函数的return语句之后也会执行，因此问题是它在后端如何工作，执行栈的行为是怎样的？

2 回复

如果defer函数能够访问调用者函数的数据，这意味着defer函数与调用者函数形成了闭包，或者GC将调用者函数中定义且被defer函数使用的数据存储在堆上。Go程序首先将调用者函数压入栈中，并开始执行调用者函数内部的代码。当调用者函数遇到defer语句时，它会将defer函数调用压入栈中，并继续执行后续代码。一旦调用者函数执行完除defer函数调用外的所有代码，执行线程将开始按照LIFO（后进先出）的顺序执行defer函数调用。当所有defer函数执行完毕并从栈中弹出后，调用者函数也会从栈中弹出。

更多关于Golang中Defer的工作原理及执行栈与线程行为解析的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


在Go语言中，defer的工作原理基于延迟执行栈（deferred function stack）和运行时调度机制。当函数执行到defer语句时，不会立即调用被延迟的函数，而是将其压入当前goroutine的延迟调用栈中。在函数返回前（包括通过return返回或发生panic），运行时系统会按后进先出（LIFO）顺序执行栈中的延迟函数。

执行栈行为的关键点在于，return语句实际上分为两个步骤：首先计算返回值并保存到栈帧中，然后执行延迟函数，最后函数携带返回值返回。这意味着延迟函数可以访问并修改已命名的返回值。

示例代码：

package main

import "fmt"

func main() {
    fmt.Println("返回值:", example()) // 输出: 返回值: 2
}

func example() (result int) {
    defer func() {
        result++ // 修改命名返回值
    }()
    return 1 // 1. 设置result=1 2. 执行defer 3. 返回result
}

线程行为方面，延迟函数在当前goroutine中执行，与创建它的函数在同一线程（但Go调度器可能在不同时间将goroutine调度到不同线程）。延迟函数的执行时机严格遵循：

  1. 函数正常返回前
  2. 发生panic时（在panic传播前执行）
  3. 不会在goroutine被强制终止时执行

运行时实现上，每个goroutine维护一个_defer结构体链表，存储延迟函数指针、参数和栈指针。编译器会将defer语句转换为运行时调用，如runtime.deferproc注册延迟函数，runtime.deferreturn执行延迟调用。

以下示例展示多个defer的执行顺序：

func multiDefer() {
    defer fmt.Println("第一个defer")
    defer fmt.Println("第二个defer")
    defer func() {
        fmt.Println("第三个defer（闭包）")
    }()
}
// 输出顺序：
// 第三个defer（闭包）
// 第二个defer
// 第一个defer

对于性能敏感的场景，需要注意：

  • 延迟调用涉及运行时内存分配（Go 1.14后部分场景优化为栈分配）
  • 在循环中使用defer可能导致累积延迟调用，应在循环内包装函数或手动管理

panic时的defer行为：

func panicExample() {
    defer fmt.Println("延迟执行（即使panic）")
    panic("触发异常")
    // 输出: 延迟执行（即使panic）
    // 随后panic传播
}

这种设计确保了资源清理的可靠性，同时保持了函数返回流程的明确性。

回到顶部