欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

聊聊golang中多个defer的执行顺序

程序员文章站 2022-07-08 22:13:09
golang 中多个 defer 的执行顺序引用 ture go 中的一个示例:package mainimport "fmt"func main() { fmt.println("counti...

golang 中多个 defer 的执行顺序

引用 ture go 中的一个示例:

package main
import "fmt"
func main() {
    fmt.println("counting")
    for i := 0; i < 10; i++ {
        defer fmt.println(i)
    }
    fmt.println("done")
}

程序执行结果为:

counting

done

9

8

7

6

5

4

3

2

1

0

从结果可以看出,defer 的执行可以看做是一个 filo(first in last out) 栈。

在编写程序时,如果遇到下面的执行流程,id1 先获取资源,然后 id2 通过 id1 获取,而 id2 的释放 close 必须要在 id1 之前,如下:

func fun() {
    id1 := open()
    ...
    id2 := id1.open()
    ...
    id2.close()
    id1.close()
}

如果使用defer,其执行顺序和上面完全相同的,所以我们通常在 open 打开资源后,立即使用 defer close,不会引起释放顺序问题。

func fun() {
    id1 := open()
    defer id1.close()
    ...
    id2 := id1.open()
    id2.close()
    ...
}

defer 压入栈的是值,如果为函数,则可以修改变量值

func c() (i int) {
    defer func() { i++ }()
    return 1
}

如上代码,压入栈的是一个函数地址,函数执行完后,执行i++,会改变返回值,函数返回值为 2。

从上面的通过defer修改返回值,defer也可以用于控制恢复panic断言。

package main
import "fmt"
func main() {
    f()
    fmt.println("returned normally from f.")
}
func f() {
    defer func() {
        if r := recover(); r != nil {
            fmt.println("recovered in f", r)
        }
    }()
    fmt.println("calling g.")
    g(0)
    fmt.println("returned normally from g.")
}
func g(i int) {
    if i > 3 {
        fmt.println("panicking!")
        panic(fmt.sprintf("%v", i))
    }
    defer fmt.println("defer in g", i)
    fmt.println("printing in g", i)
    g(i + 1)
}

执行结果为:

calling g.

printing in g 0

printing in g 1

printing in g 2

printing in g 3

panicking!

defer in g 3

defer in g 2

defer in g 1

defer in g 0

recovered in f 4

returned normally from f.

补充:golang中defer的三个实战要点

前言

golang中的defer是使用频次比较高的,能创造出延迟生效特效的一种方式。

defer也有自己的矫情,需要注意的。

本文将从通过代码的方式来说明defer的三点矫情。

1.defer的生效顺序

2.defer与return,函数返回值之间的顺序

3.defer定义和执行两个步骤,做的事情。

正文

1.defer的生效顺序

先说结论:defer的执行顺序是倒序执行(同入栈先进后出)

func main() {
 defer func() {
  fmt.println("我后出来")
 }()
 defer func() {
  fmt.println("我先出来")
 }()
}

执行后打印出:

我先出来

我后出来

2.defer与return,函数返回值之间的顺序

先说结论:return最先执行->return负责将结果写入返回值中->接着defer开始执行一些收尾工作->最后函数携带当前返回值退出

返回值的表达方式,我们知道根据是否提前声明有两种方式:一种是func test() int 另一种是 func test() (i int),所以两种情况都来说说

func test() int
func main() {
 fmt.println("main:", test())
}
func test() int {
 var i int
 defer func() {
  i++
  fmt.println("defer2的值:", i)
 }()
 defer func() {
  i++
  fmt.println("defer1的值:", i)
 }()
 return i
}

输出:

defer1的值: 1

defer2的值: 2

main: 0

详解:return的时候已经先将返回值给定义下来了,就是0,由于i是在函数内部声明所以即使在defer中进行了++操作,也不会影响return的时候做的决定。

func test() (i int)
func main() {
 fmt.println("main:", test())
}
func test() (i int) {
 defer func() {
  i++
  fmt.println("defer2的值:", i)
 }()
 defer func() {
  i++
  fmt.println("defer1的值:", i)
 }()
 return i
}

输出:

defer1的值: 1

defer2的值: 2

main: 2

详解:由于返回值提前声明了,所以在return的时候决定的返回值还是0,但是后面两个defer执行后进行了两次++,将i的值变为2,待defer执行完后,函数将i值进行了返回。

3.defer定义和执行两个步骤,做的事情

先说结论:会先将defer后函数的参数部分的值(或者地址)给先下来【你可以理解为()里头的会先确定】,后面函数执行完,才会执行defer后函数的{}中的逻辑

func test(i *int) int {
 return *i
}
func main(){
 var i = 1
 // defer定义的时候test(&i)的值就已经定了,是1,后面就不会变了
 defer fmt.println("i1 ="  , test(&i))
 i++
 // defer定义的时候test(&i)的值就已经定了,是2,后面就不会变了
 defer fmt.println("i2 ="  , test(&i))
 // defer定义的时候,i就已经确定了是一个指针类型,地址上的值变了,这里跟着变
 defer func(i *int) {
  fmt.println("i3 ="  , *i)
 }(&i)
 // defer定义的时候i的值就已经定了,是2,后面就不会变了
 defer func(i int) {
  //defer 在定义的时候就定了
  fmt.println("i4 ="  , i)
 }(i)
 defer func() {
  // 地址,所以后续跟着变
  var c = &i
  fmt.println("i5 ="  , *c)
 }()
 
 // 执行了 i=11 后才调用,此时i值已是11
 defer func() {
  fmt.println("i6 ="  , i)
 }()
 i = 11
}

以上为个人经验,希望能给大家一个参考,也希望大家多多支持。如有错误或未考虑完全的地方,望不吝赐教。