GO底层——defer

1.defer简介

defer语句用于延迟函数的调用，每次defer都会把一个函数压入栈中，函数返回前再把延迟的函数取出并执行。为了方便描述，我们把创建defer的函数称为主函数，defer语句后面的函数称为延迟函数。

2.规则

2.1延迟函数的参数在参数定义时已经确定

func a() {
    i := 0
    defer fmt.Println(i)
    i++
    return
}

输出结果：0

原因：延迟函数传入的参数在定义（i：=0）时就已经确定 ，实际上是拷贝了一份。后面对变量i的修改不会影响fmt.Println()函数的执行，仍然打印”0”。

2.2延迟函数执行顺序：先进后出

在执行defer时，对每一个延迟函数进行“压栈”操作，即先出现的函数最后执行。设计defer的初衷是简化函数返回时资源清理的动作，资源往往有依赖顺序，比如先申请A资源，再根据A资源申请B资源，根据B资源申请C资源，即申请顺序是:A–>B–>C，释放时往往又要反向进行。这也是为了避免依赖关系被清理，所以反方向顺序执行。

每申请到一个用完需要释放的资源时，立即定义一个defer来释放资源是个很好的习惯。

2.3defer与return顺序

函数的返回值初始化：

有一个事实必须要了解，关键字return不是一个原子操作，实际上return只代理汇编指令ret，即将跳转程序执行。比如语句return i，实际上分两步进行，即将i值存入栈中作为返回值，然后执行跳转，而defer的执行时机正是跳转前，所以说defer执行时还是有机会操作返回值的。

例1: 返回值有名字

func deferFuncReturn() (result int) {
    i := 2

    defer func() {
       result++
    }()

    return i
}

 而延迟函数的执行正是在return之前，即加入defer后的执行过程如下：

result = i
result++
return

所以上面函数实际返回i++值：3。

例2: 返回值为常量

func foo() int {
    var i int

    defer func() {
        i++
    }()

    return 1
}

 

上面的return语句，直接把1写入栈中作为返回值，延迟函数无法操作该返回值，所以就无法影响返回值。

例3: 返回值为匿名

func foo() int {
    var i int

    defer func() {
        i++
    }()

    return i
}

一个主函数拥有一个匿名的返回值，返回使用本地或全局变量，这种情况下defer语句可以引用到返回值，但不会改变返回值。所以返回0。

return后为函数：