go函数return与defer执行顺序

首先要理解在go函数中，返回值可以匿名，也可以指定（我们简称为有名）。

如果是匿名返回值，则底层也会给个变量用来承接返回值，我们假定这个变量名叫做n（哪怕叫做阿猫阿狗都行，就是一个代号而已）

对于匿名返回值变量，拿下面的代码举例下：

func f0(a int) int { //传入a=10
	a += 2  //a=12
	return a //输出12，逻辑是：1、先将a赋值给匿名的返回值变量（假设为n），这时n=12；2、函数携带n，返回给调用者，所以输出是12
}

而对于有名返回值变量，那下面的简单代码举例下：

func f1(a int) (r int) { //传入a=10
	r = 1
	a += 2   //12
	return a //输出12，逻辑是：1、将变量a赋值给返回值r，此时r=12；2、将r返回，输出12
}
func f2(a int) (r int) { //传入a=10
	r = 1
	a += 2
	return //输出1，逻辑是：1、对r赋值为1；2、将r返回，输出1
}

总结：

1. 匿名返回值和有名返回值，函数的执行逻辑是一样的！就像你女朋友换了个网名，还是你女朋友
2. return a，这个语句底层执行的是将变量a赋值给底层的返回值，然后最终函数再将返回值返回给调用者

明确了go函数中return基本的底层逻辑后，接下来我们结合defer关键字更加深入探讨一下

这里主要以有名返回值的来展开讲。

defer是在函数体的return语句执行后才执行，也就是对于函数体中有defer语句，执行顺序是：

return语句（相当于将临时变量赋值给底层的返回值） ==》defer语句 ==》最后再将返回值返回给调用者

看下面的代码就懂了：

package main

import "fmt"

func main() {
	fmt.Printf("f0 输出=%v\n", f0(10))     // f0 输出=12
	fmt.Printf("f1 输出=%v\n", f1(10))     // f1 输出=12
	fmt.Printf("f2 输出=%v\n", f2(10))     //f2 输出=1
	fmt.Printf("f1_1 输出=%v\n", f1_1(10)) //f1_1 输出=10
	fmt.Printf("f2_1 输出=%v\n", f2_1(10)) //f1_1 输出=10
	fmt.Printf("f1_2 输出=%v\n", f1_2(10)) //f1_2 输出=12
}

func f0(a int) int { //传入a=10
	a += 2   //a=12
	return a //输出12，逻辑是：1、先将a赋值给匿名的返回值变量（假设为n），这时n=12；2、函数携带n，返回给调用者，所以输出是12
}
func f1(a int) (r int) { //传入a=10
	r = 1
	a += 2   //12
	return a //输出12，逻辑是：1、将变量a赋值给返回值r，此时r=12；2、将r返回，输出12
}
func f2(a int) (r int) { //传入a=10
	r = 1
	a += 2
	return //输出1，逻辑是：1、对r赋值为1；2、将r返回，输出1
}
func f1_1(a int) (r int) { //传入a=10
	r = 1
	defer func(b int) {
		r = b //将a赋值给返回值r
	}(a) //在编译时，a=10，是值拷贝，编译时已经先把a传入了闭包函数
	a += 2   //12
	return a //输出10，逻辑是：1、将变量a赋值给返回值r，此时r=12；2、执行defer的闭包函数，将a赋值给r，此时r=10；3、将r返回，输出10
}
func f2_1(a int) (r int) { //传入a=10
	r = 1
	defer func(b int) {
		r = b //将a赋值给返回值r
	}(a) //在编译时，a=10，是值拷贝，编译时已经先把a传入了闭包函数
	a += 2 //12
	return //输出10，逻辑是：1、先执行r=1；2、执行defer的闭包函数，将a赋值给r，此时r=10；3、将r返回，输出10
}
func f1_2(a int) (r int) { //传入a=10
	r = 1
	defer func() {
		r = a // 细节：此处的赋值不是值拷贝，发生了内存逃逸，导致 闭包中a为指针引用
	}()
	a += 2   //12
	return a //输出12，逻辑是：1、将变量a赋值给返回值r，此时r=12；2、执行defer的闭包函数，将a赋值给r，此时r=12；3、将r返回，输出12
}

最后一个函数f1_2(a int){}，要注意，是由于发生了内存逃逸，导致闭包中a为指针引用