Go——defer陷阱

defer陷阱

defer带来了两个副作用：

1. 对返回值的影响
2. 对性能的影响

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。

在函数章节已经了解到：

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

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

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

f1的程序指令虚列如下：

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

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

f2的程序指令序列如下：

最后分析函数3的逻辑：

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

f3的程序指令示例如下：

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

1. 执行return的值拷贝，将return语句返回的值复制到函数返回值栈区（如果只有一个return,不带任何变量或值，则此步骤不做任何动作)。
2. 执行defer语句，多个defer按照FILO顺序执行。
3. 执行调整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
}