go语言中defer 匿名函数和barn return之间的坑

 在go语言圣经中deferred函数一节中提到被延迟执行的匿名函数甚至可以修改函数返回给调用者的返回值，但是原文关于这里并不是讲的很清楚，可以观察以下函数以验证此说法

func main() {
    fmt.Println("a return:", a())// 打印结果为 areturn: 0
}
 
func a() (i int) {
    // var i int
 
    defer func() {
        i++
        fmt.Println("a defer2:", i)// 打印结果为 a defer2: 2
    }()
 
    defer func() {
        i++
        fmt.Println("a defer1:", i)// 打印结果为 a defer1: 1
    }()
 
    return i
}

 输出如下:

a defer1: 1
a defer2: 2
a return: 2

 而返回值为2的原因就是两次defer函数的执行，这里验证了两个点：

• 首先defer的执行顺序是先进后出，可以看到a defer1在a defer2前面输出
• defer匿名函数的执行是在返回值声明之后，即在return i语句之后但又没有退出的时候defer匿名函数才执行，因此返回的i的值是进行两次i++之后的结果。这里可能不大明确defer函数的具体执行位置在哪儿，因为如果defer函数在return i之前执行返回值也是2，因此去看下一个例子

package main
 
import "fmt"
 
func main() {
    fmt.Println("a return:", a())// 打印结果为 areturn: 0
}
 
func a() int {
    var i int
 
    defer func() {
        i++
        fmt.Println("a defer2:", i)// 打印结果为 a defer2: 2
    }()
 
    defer func() {
        i++
        fmt.Println("a defer1:", i)// 打印结果为 a defer1: 1
    }()
 
    return i
}

输出:

a defer1: 1
a defer2: 2
a return: 0

 可以看到这次的返回值是0而不是上面的2，两份程序的唯一区别就是，前者用了barn return,后者用的匿名返回模式。

 而产生这样结果的原因就是变量的作用域，匿名返回值是在return执行时被声明，barn return（有名返回值）则是在函数声明的同时被声明，因此在defer语句中只能访问有名返回值，而不能直接访问匿名返回值。因此，可以得出返回值不一样的具体原因如下:

• a()int 函数的返回值没有被提前声明，其值来自于其他变量(var i int)的赋值，而defer中修改的也是其他变量（其实该defer根本无法直接访问到返回值），因此函数退出时返回值并没有被修改。
• a()(i int) 函数的返回值被提前声明，这使得defer可以访问该返回值，因此在return赋值返回值 i 之后，defer调用返回值 i 并进行了修改，最后致使return调用RET退出函数后的返回值才会是defer修改过的值。

 这里也侧面印证了defer的执行位置是在return i对返回值声明之后，因为如果在return i对返回值声明之前执行，第二份代码的返回值应该也是2。