Go语言defer与return执行的先后顺序详解

时间:2022-12-12 捶捶自己人气:0

先了解什么是defer

Go语言中的defer与return执行的先后顺序

Go语言的 defer 语句会将其后面跟随的语句进行延迟处理，在 defer 归属的函数即将返回时，将延迟处理的语句按 defer 的逆序进行执行.也就是说，先被 defer 的语句最后被执行，最后被 defer 的语句，最先被执行。（与栈的先入后出是一个道理，也可以将其理解为入栈和出栈）

举一个简单的例子

func main() {
   a, b := 111, 333
   defer fmt.Println("b= ", b)
   fmt.Println("a= ", a)
}
打印结果:
a=  111
b=  333

可以看到虽然执行语句时b在前，但是输出结果为b在最后被输出。

defer 的用法

(简单讲解，细节请自行查阅资料)

一般用来释放资源或者读写操作,当处理业务或逻辑中涉及成对的操作是一件比较烦琐的事情，比如打开和关闭文件、接收请求和回复请求、加锁和解锁等。在这些操作中，最容易忽略的就是在每个函数退出处正确地释放和关闭资源。比如下面一个例子

func main(){
    a := 1
    out := bufio.NewWriter(os.Stdout)
    defer out.Flush()
    fmt.Fprintln(out, a)
}
输出结果:
1

就可以在最后将结果打印到控制台中去,类似的用法如关闭数据库资源等等。如果这个例子太过于简单，那么来看下个例子。

var a bool = true
defer func() {
   fmt.Println("1")
}()
if a == true {
   fmt.Println("2")
   return
}
defer func() {
   fmt.Println("3")
}()
输出结果:
2
1

我们会发现defer语句也是需要被执行的，如果在defer函数执行之前就执行return。defer后的语句就不会再被执行了。但是如果是在return之前defer已经执行，则defer中的语句将会在return执行之前先一步进行执行.

那么defer 和 return有什么联系？

defer 是延迟执行语句，return是返回语句，那么肯定出现谁先谁后的问题。下面看一个经典的例子吧

func increaseA() int {
	var i int
	defer func() {
		i++
	}()
	return i
}
func increaseB() (r int) {
	defer func() {
		r++
	}()
	return r
}
func main() {
	fmt.Println(increaseA())
	fmt.Println(increaseB())
}
输出结果为:
0
1

肯定有人觉得有疑惑，为什么A函数没有输出，B函数却输出了呢？为什么答案不是1和0呢？

原因:

先说结论:defer 修饰的匿名函数，只能更新具名返回值.那么这会导致什么问题呢？我们来逐步分析这个例子。

在increaseA()函数中有一个声明i，表示i在该函数内已经被生成，是有名称的变量。但该函数返回参数为匿名参数.
在increaseB()函数中没有声明r，是匿名变量。但该函数返回参数为具名参数.
func increaseA() int，返回值i=0的时候该值已经被绑定到返回值里了，defer再去改i已经没用了.
func increaseB() (r int), 返回值r先把返回变量设为0，defer又把r改为1.这时候还能生效. 因此答案很明显为 1 和 0.

更进一步理解

我们若想要进一步理解也可以去输出汇编语句，然后进行研读，可惜我是个菜鸟读不懂汇编语言！但我们可以从return入手

我们要理解return 返回值的运行机制:

return并非原子操作，分为赋值，和返回值两步操作.实际上return 执行了两步操作，因为返回值没有命名，所以return默认指定了一个返回值（假设为a），首先将i赋值给a,后续的操作因为是针对i进行的,所以不会影响a, 此后因为a不会更新，所以return a不会改变.

var i int  
a := i  
return a

但是如果return的参数a是具名参数，就像上述例子中increaseB()函数一样。a就相当于命名的变量i, 因为所有的操作都是基于命名变量i(a),返回值也是i, 所以每一次defer操作，都会更新返回值i.

省流小结

return会将返回值先保存起来，对于无名返回值来说，保存在一个临时对象中，defer是看不到这个临时对象的;而对于有名返回值来说，就保存在已命名的变量中。

加载全部内容