Go语言中的defer


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

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