Go——defer陷阱-蒲公英云

Go——defer陷阱

defer陷阱

defer带来了两个副作用：

对返回值的影响
对性能的影响

defer和函数返回值

defr中如果引用了函数的返回值，则因引用形式不同会导致不同的结果，这些结果往往给初学者造成很大的困惑，我们先来看一下如下三个函数的执行结果：

package main
func main() {
    println("f1=", f1())//f1= 1
    println("f2=", f2())//f2= 5
    println("f3=", f3())//f3= 1
}
func f1() (r int) {
    defer func() {
        r++
    }()
    return 0
}
func f2() (r int) {
    t := 5
    defer func() {
        t = t + 5
    }()
    return t
}
func f3() (r int) {
    defer func(r int) {
        r = r + 5
    }(r)
    return 1
}

绝大多数初学者看到执行结果都会很茫然，到底是什么原因导致的这个结果呢？我们接下来逐个分析。1、2、3三个函数的共同点就是它们都是带命名返回值的函数，返回值都是变量r。

在函数章节已经了解到：

函数调用方负责开辟栈空间，包括形参和返回值的空间。
有名的函数返回值相当于函数的局部变量，被初始化为类型的零值。

现在分析一下f1,defer语句后面的匿名函数是对函数返回值r的闭包引用，f1函数的逻辑如下：

r是函数的有名返回值，分配在栈上，其地址又被称为返回值所在栈区。首先r被初始化为0。
“return 0”会复制0到返回值栈区，返回值r被赋值为0。
执行defer语句，由于匿名函数对返回值r是闭包引用，所以r++执行后，函数返回值被修改为1。
defer语句执行完后RET返回，此时函数的返回值仍然为1。

f1的程序指令虚列如下：
在这里插入图片描述

同理来分析函数2的逻辑：

返回值r被初始化为0。
引入局部变量t,并初始化为5。
复制t的值5到返回值r所在的栈区。
defr语句后面的匿名函数是对局部变量t的闭包引用，t的值被设置为10。
函数返回，此时函数返回值栈区上的值仍然是5。

f2的程序指令序列如下：
在这里插入图片描述

最后分析函数3的逻辑：

返回值r被初始化为0。
复制1到函数返回值r所在的栈区。
执行defer,defer后匿名函数使用的是传参数调用，在注册defer函数时将函数返回值r作为实参传进去，由于函数调用的是值拷贝，所以defer函数执行后只是形参值变为5，对实参没有任何影响。
函数返回，此时函数返回值栈区上的值是1。

f3的程序指令示例如下：
在这里插入图片描述

综上所述，对于带defer的函数返回整体上有三个步骤。

执行return的值拷贝，将return语句返回的值复制到函数返回值栈区（如果只有一个return,不带任何变量或值，则此步骤不做任何动作)。
执行defer语句，多个defer按照FILO顺序执行。
执行调整RET指令。

如果对函数调用是值拷贝、函数闭包及dfr的特性有了解，以及对上面的三条规则熟悉，那么对于这类函数就不应该再有疑惑了。当然在defer中修改函数返回值不是一种明智的编程方法，在实际编程中应尽可能避免此种情况。还有一种彻底解决该问题的方法是，在定义函数时使用不带返回值名的格式。通过这种方式，defer就不能直接引用返回值的栈区，也就避免了返回值被修改的问题，看一下下面的代码。

package main
func main() {
    println("f4=", f4())//0
    println("f5=", f5())//0
}
func f4() int {
    r := 0
    defer func() {
        r++
    }()
    return r
}
func f5() int {
    r := 0
    defer func(i int) {
        i++
    }(r)
    return 0
}