随笔- 428 文章- 3 评论- 209 阅读- 222万

Golang入门教程（十三）延迟函数defer详解

前言

　　大家都知道go语言的defer功能很强大，对于资源管理非常方便，但是如果没用好，也会有陷阱哦。Go 语言中延迟函数 defer 充当着 try...catch 的重任，使用起来也非常简便，然而在实际应用中，很多 gopher 并没有真正搞明白 defer、return、返回值、panic 之间的执行顺序，从而掉进坑中，今天我们就来揭开它的神秘面纱！话不多说了，来一起看看详细的介绍吧。

基本介绍

延时调用函数的语法如下：

1	`defer func_name(param-list)`

当一个函数调用前有关键字 defer 时, 那么这个函数的执行会推迟到包含这个 defer 语句的函数即将返回前才执行. 例如：

package main
 
import (
    "fmt"
)
 
func main() {
    defer fmt.Println("我是最后执行的")
        fmt.Println("我是第一个")
        fmt.Println("我是第二个")
}

执行结果

小结：defer 调用的函数参数的值 defer 被定义时就确定了

案例2

package main
 
import "fmt"
 
func main() {
    i := 1
    defer fmt.Println("Deferred print:",i)
    i++
    fmt.Println("Normal print:", i)
}

在 "defer fmt.Println("Deferred print:", i)" 调用时, i 的值已经确定了, 因此相当于 defer fmt.Println("Deferred print:", 1)了

小结：需要强调的时, defer 调用的函数参数的值在 defer 定义时就确定了, 而 defer 函数内部所使用的变量的值需要在这个函数运行时才确定

案例3

package main
 
import "fmt"
 
func f1() (r int) {
    r = 1
    defer func() {
        r++
        fmt.Println(" r value = ",r)
    }()
    r = 2
    return
}
 
func main() {
    f1()
}

小结：上面的例子中, 最终打印的内容是 "3", 这是因为在 "r = 2" 赋值之后, 执行了 defer 函数, 因此在这个函数内, r 的值是2了, 自增后变为3

函数定义

func function_name( [parameter list] ) [return_types] {
   函数体
}

或者

func funcName(形参1 type[, 形参2 type...]) [([[返回变量1] type[, [返回变量2] type...]])] {
　　[return [返回变量1[, 返回变量2...]]]
}

defer 顺序

如果有多个defer 调用, 则调用的顺序是先进后出的顺序, 类似于入栈出栈一样（后进先出/先进后出）　

案例4

package main
 
import "fmt"
 
func f3() (r int) {
    defer func() {
        r++
    }()
    return 0
}
 
func main() {
    fmt.Println(f3())
}

上面 fmt.Println(f1()) 打印的是什么呢? 很多朋友可能会认为打印的是0, 但是正确答案是 1. 这是为什么呢?
要弄明白这个问题, 我们需要牢记两点：

defer 函数调用的执行时机是外层函数设置返回值之后, 并且在即将返回之前
return XXX 操作并不是原子的

匿名返回值

案例5

package main
 
import "fmt"
 
func main() {
    fmt.Println("a return:", a()) // 打印结果为 a return: 0
}
 
func a() int {
    var i int
 
    defer func() {
        i++
        fmt.Println("a defer2:", i) // 打印结果为 a defer2: 2
    }()
 
    defer func() {
        i++
        fmt.Println("a defer1:", i) // 打印结果为 a defer1: 1
    }()
 
    return i
}