【后端百科】Golang defer的实现原理和常见面试问题

原创已于 2025-05-23 11:03:24 修改 · 713 阅读

3 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

收录于

后端百科

于 2024-12-11 13:17:05 首次发布

前言

在Go语言中，defer关键字用于延迟函数的执行，即在包含defer语句的函数返回之前执行。这一特性使得defer在资源释放、文件关闭、解锁资源等场景中非常有用。本文将深入探讨defer的实现原理，并总结一些常见的面试问题。

基本使用

defer通常用于在函数执行完毕后执行一些清理操作。例如：

func processFile(filename string) error {
    f, err := os.Open(filename)
    if err != nil {
        return err
    }
    defer f.Close() // 确保文件在函数执行完毕后被关闭
    // 处理文件的逻辑
    return nil
}

在这个例子中，defer f.Close()确保了文件在函数返回前被关闭，从而避免了资源泄露。

defer的实现原理

defer的实现依赖于Go语言的运行时系统。每当遇到defer语句时，Go编译器会将其转换为对runtime.deferproc函数的调用。deferproc函数负责创建一个_defer结构体对象，并将其链接到当前goroutine的_defer链表中。

_defer结构体包含以下几个关键字段：

siz：表示延迟函数的参数和结果的大小。
sp和pc：分别表示延迟函数注册时的栈指针和程序计数器。
fn：指向需要延迟执行的函数。
link：指向下一个_defer结构体对象，形成链表。

当包含defer语句的函数准备返回时，Go运行时系统会调用runtime.deferreturn函数。deferreturn函数会按照后进先出的顺序执行所有延迟函数，并最终返回。

常见面试问题

defer的执行顺序是什么？

defer语句按照后进先出的顺序执行。例如：

func main() {
    defer fmt.Println("defer1")
    defer fmt.Println("defer2")
    defer fmt.Println("defer3")
}

输出顺序为：

defer3
defer2
defer1

defer中的变量值是如何计算的？

defer语句中的变量值在defer出现时就已经确定。例如：
```
func main() {
    i := 0
    defer fmt.Println(i) // 输出 0
    i++
}
```
即使i在defer之后被修改，defer语句中打印的仍然是修改前的值。
defer与命名返回值的关系？

当defer与命名返回值一起使用时，defer中的函数可以修改命名返回值的值。例如：
```
func f1() (r int) {
    defer func() { r++ }()
    return 1
}

func main() {
    fmt.Println(f1()) // 输出 2
}
```
在这个例子中，defer中的函数将命名返回值r从1修改为了2。

defer在panic和recover中的使用？

defer语句在panic发生时仍然会被执行，这使得defer成为处理panic和进行资源清理的理想场所。例如：

func main() {
    defer func() {
        if r := recover(); r != nil {
            fmt.Println("Recovered from panic:", r)
        }
    }()
    panic("something went wrong")
}

输出：

Recovered from panic: something went wrong

defer与闭包的关系？

当defer语句中包含闭包时，需要注意闭包中变量的作用域和生命周期。例如：
```
func main() {
    i := 0
    defer func() {
        fmt.Println(i) // 输出 1
    }()
    i++
}
```
在这个例子中，尽管i在defer之后被修改，但由于闭包捕获的是变量i的地址，因此在闭包执行时打印的是修改后的值。