当前位置： 技术文章>> 100道Go语言面试题之-Go语言的defer关键字是如何工作的？请解释它在函数执行流程中的作用。

文章标题：100道Go语言面试题之-Go语言的defer关键字是如何工作的？请解释它在函数执行流程中的作用。
  • 文章分类: 后端
  • 4601 阅读

Go语言的defer关键字是一个非常强大且独特的特性，它允许你延迟函数的执行直到包含它的函数即将返回。无论函数是通过return语句正常结束，还是由于panic导致的异常结束，defer语句都会被执行。这对于资源的清理、解锁互斥锁、记录时间、关闭文件等操作特别有用。

defer的工作机制

  1. 后进先出（LIFO）原则：defer语句的执行顺序与它们的声明顺序相反。也就是说，最后出现的defer语句会最先执行。

  2. 参数在defer语句时确定：虽然defer的函数调用是延迟的，但传递给该函数的参数在defer语句被执行时就已经确定了。这意味着，如果传递给defer函数的参数是变量，那么这个变量的值将是defer语句执行时的值，而不是函数实际返回时的值。

  3. 多个defer：一个函数中可以有多个defer语句，它们将按照后进先出的顺序执行。

  4. 返回语句的时机：当函数执行到return语句时，会先处理defer语句，然后再返回。这意呀着defer可以修改返回值（如果返回值是命名返回参数的话）。

示例

package main

import "fmt"

func a() {
    i := 0
    defer fmt.Println(i) // 这里i的值是0，因为defer语句执行时i的值已经确定
    i++
    return
}

func b() (int, int) {
    x := 0
    defer func() { x++ }() // 注意：这里的x是局部变量的副本，因为defer中的匿名函数捕获了x的当前值
    return x, x
}

func c() (y int) {
    defer func() { y++ }() // 命名返回值y，defer可以修改它
    return 1
}

func main() {
    a() // 输出: 0
    x, y := b() // x和y都是0，因为defer中的匿名函数捕获的是x的副本，不影响返回值
    fmt.Println(x, y) // 输出: 0 0
    z := c() // c的返回值y在返回前被defer中的函数修改为2
    fmt.Println(z) // 输出: 2
}

总结

defer是Go语言中用于延迟函数执行到包含它的函数即将返回的一个非常有用的特性。它遵循后进先出的执行顺序，参数在defer语句执行时确定，并且可以用来修改命名返回参数的值。这种机制使得Go语言在处理资源清理、解锁等操作时更加简洁和安全。

推荐文章