Golang--defer的mi魂汤

先来看看几个例子。

例 1：

func f() (result int) {
    defer func() {
        result++
    }()
    return 0
}

例 2：

func f() (r int) {
     t := 5
     defer func() {
       t = t + 5
     }()
     return t
}

例 3：

func f() (r int) {
    defer func(r int) {
          r = r + 5
    }(r)
    return 1
}

要使用 defer 时不踩坑，最重要的一点就是要明白， return xxx 这一条语句并不是一条原子指令!

其实使用 defer 时，用一个简单的转换规则改写一下，就不会迷糊了。改写规则是将 return 语句拆成两句写，return xxx 会被改写成:

返回值 = xxx
调用defer函数
空的return

先看例 1，它可以改写成这样：

func f() (result int) {
     result = 0  //return语句不是一条原子调用，return xxx其实是赋值＋ret指令
     func() { //defer被插入到return之前执行，也就是赋返回值和ret指令之间
         result++
     }()
     return
}

所以这个返回值是 1。
再看例 2，它可以改写成这样：

func f() (r int) {
     t := 5
     r = t //赋值指令
     func() {        //defer被插入到赋值与返回之间执行，这个例子中返回值r没被修改过
         t = t + 5
     }
     return        //空的return指令
}

所以这个的结果是 5。

最后看例 3，它改写后变成：

func f() (r int) {
     r = 1  //给返回值赋值
     func(r int) {        //这里改的r是传值传进去的r，不会改变要返回的那个r值
          r = r + 5
     }(r)
     return        //空的return
}

所以这个例子的结果是 1。

defer 确实是在 return 之前调用的。但表现形式上却可能不像。本质原因是 return xxx 语句并不是一条原子指令，defer 被插入到了赋值 与 ret 之间，因此可能有机会改变最终的返回值。

参考： https://tiancaiamao.gitbooks.io/go-internals/content/zh/03.4.html