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

先了解什么是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是看不到这个临时对象的;而对于有名返回值来说,就保存在已命名的变量中。

以上就是Go语言defer与return执行的先后顺序详解的详细内容,更多关于Go defer return执行顺序的资料请关注脚本之家其它相关文章!

你可能感兴趣的:(Go语言defer与return执行的先后顺序详解)