golang defer那些坑

defer以下几个特性,使用时需要关注下。

  • 即时的参数传递
  • 调用os.Exit()时defer不会被执行
  • defer与return的先后顺序

1.即时的参数传递

定义defer时传入的参数,是作为拷贝传递的。
也就是说,如果原来的变量值发生变化,不会影响传给defer的参数。

例子如下:

package main

import (
        "fmt"
)


func main(){

        test()

}

func test() {
        a := 0

        defer func (i int) {
                fmt.Println("in defer i:", i)
        }(a)

        a += 1
        fmt.Println("a:", a)
}

输出结果:

a: 1
in defer i: 0

可以看到,即使变量a发生变化,延迟执行时变量的值仍然是0,与定义defer时传入的值一样。

2.调用os.Exit()时defer不会被执行

当发生panic时,defer会被执行,但是当调用os.Exit()方法退出程序时,defer并不会被执行。

package main

import (
        "fmt"
        "os"
)


func main(){
        fmt.Println("main start")
        test()
}

func test() () {
        defer func () {
                fmt.Println("in defer ... ")
        }()

        os.Exit(0)
}

输出结果:

main start

defer定义的内容没有输出。

3.defer 与 return先后顺序

先来看两个例子:一个是返回匿名变量,一个是返回命名变量。

3.1 返回匿名变量

package main

import (
        "fmt"
)


func main(){
        i := test()
        fmt.Println("main i:", i)
}

func test() int {
        a := 0
        defer func () {
                a = 2
        }()

        a = 1
        return a
}

定义a为0, 接着修改为1,最后在defer中将a修改为2。

在main中返回的值仍然是1.

输出结果:

main i: 1

3.2 返回命名变量

package main

import (
        "fmt"
)


func main(){
        i := test()
        fmt.Println("main i:", i)
}

func test() (a int) {
        defer func () {
                a = 2
        }()

        a = 1
        return a
}

defer中修改a为2,能够返回给调用方。

输出结果:

main i: 2

实际上,defer 函数的执行既不是在 return 之后也不是在 return 之前,而是 return 语句包含了对 defer 函数的调用,即 return 会被翻译成如下几条伪指令:

保存返回值到栈上(如果是匿名变量,需要定义变量并赋值)
调用defer函数(如果有defer函数,则调用并执行)
调整函数栈
retq指令返回(如果是匿名变量,直接返回新定义的变量,如果是命名变量,直接返回命名变量)

命名变量返回时,不会创建新的变量,所以defer的修改会返回去。
而匿名变量,会创建新的变量,defer中的修改,还是修改原来的变量,所以修改不能返回去。

4.参考

Defer, Panic, and Recover

https://juejin.im/post/5b9b4acde51d450e5071d51f

https://my.oschina.net/henrylee2cn/blog/505535

猜你喜欢

转载自www.cnblogs.com/lanyangsh/p/11074304.html