Go语言中的defer

Posted 2022-02-20 dcz2015

可以用作一些资源的释放。

1.在一个函数内的defer执行顺序是先写的后执行，后写的先执行（遵循栈结构）

func DeferTest1()
   defer fmt.Println("我是 defer1")
   defer fmt.Println("我是 defer2")
   fmt.Println("我是DeferTest1")
   fmt.Println("我是DeferTest2")

结果：

我是DeferTest1
我是DeferTest2
我是 defer2
我是 defer1　

 

2.defer 执行语句的值和定义defer语句函数的关系

func DeferTest2()
   i:= 0
   defer fmt.Printf("defer i=%d\\t",i)
   for ;i<=10;i++
      fmt.Printf("i=%d\\t",i)
   
   fmt.Println()

执行结果

i=0	i=1	i=2	i=3	i=4	i=5	i=6	i=7	i=8	i=9	i=10	
defer i=0	

3.defer的原理

首先看下defer和return语句的区别，如下

可以看到 return 执行的时候 将结果x赋值给了返回值，然后执行了RET指令，而defer语句执行的时候，是在RET指令之前。所以这里注意一下。返回值和x的关系。如果x是一个值类型，这里是进行了拷贝的。可以看下下面几个例子：

①

func defer1() int 
　　x := 1
　　defer func() 
　　　x++
　　()
　　return x
　

②

func defer2() (x int) 
　　defer func() 
　　　　x++
　　()
　　return 1
　

③

func defer3() (y int) 
　　x := 1
　　defer func() 
　　　　x++
　　()
　　return x
　

④

func defer4() (x int) 
　　defer func(x int) 
　　　　x++
    (x)
    return 1
　

分别打印这几个方法的结果，返回值分别如下：

defer1: 1
defer2: 2
defer3: 1
defer4: 1

根据上面图上的解释：

①defer执行之前，将x赋值给了返回值（这是一个值拷贝），然后修改x的值，对返回值是无影响的，所以返回的是1

②返回值的名称就是x，此时defer执行前把x赋值为1，然后defer修改x的值， x被增加，故返回的是2

③返回值名称是y，defer执行前，y被赋值为1，defer执行修改x对y无影响，返回也是1

④返回值名称虽然是x，但是defer执行的func是一个带参数的函数，此时传入的参数x是一个值拷贝，作用域是内部，对于外部的x无影响，所以返回的也是1