Go语言 defer问题详解

2022-10-29 08:18:20

一、defer是什么

1、概念

defer是Golang中的一个关键字,简单用法:defer <函数func>

2、功能

用来声明其后的函数为延迟函数,可以定义多个延时函数,这些函数会放入到一个栈中,当函数执行 到最后时,这些defer语句会按照逆序执行,最后该函数返回。(具体栈结构见下文)
通常用defer来做一些资源的释放,比如关闭io操作。

二、defer数据结构

type _deferstruct{
    spuintptr//函数栈指针
    pcuintptr//程序计数器
    fn*funcval//函数地址
    link*_defer//指向自身结构的指针,用于链接多个defer}

由于defer后接一个函数,所以defer的数据结构跟一般函数类似,也有栈指针、程序计数器、函数地址等等。与函数不同的是它含有一个指针,可用于指向另一个defer,每个goroutine数据结构中实际上也有一个defer指针,该指针指向一个defer的链表,每次声明一个defer时就将defer插入到单链表表头,每次执行defer就从单链表表头取出一个defer执行。

如图所示:
defer链表结构

新声明的defer B()总是添加到链表头部,函数返回前执行defer则是从链表首部依次取出执行,形成一个栈结构。

三、defer使用的重点

以下内容部分来自: https://learnku.com/articles/42255#7fa787

1、defer 的执行顺序

一个函数中使用多个defer时,它们是一个 “栈” 的关系,也就是先进后出,先在后面的defer先执行。

funcmain(){deferfunc1()deferfunc2()deferfunc3()}funcfunc1(){
   fmt.Print("A")}funcfunc2(){
   fmt.Print("B")}funcfunc3(){
   fmt.Print("C")}

defer栈结构

执行输出为:C B A

2、defer 与 return 谁先谁后

根据代码运行情况可以理解为:return 之后的语句先执行,defer 后的语句后执行。不过,defer执行时是可以改变return中的返回值的。

3、当defer被声明时,其参数就会被实时解析

funca(){
	i:=0defer fmt.Println(i)
	i++return}

运行结果是0
这是因为defer后面定义的是一个带变量的函数: fmt.Println(i). 但这个变量(i)在defer被声明的时候,就已经确定值了,这里的变量为整型为值传递,个人理解是为defer后的函数拷贝了一个i变量且=0。

但若defer后的函数不带变量呢:

funca(){
	i:=0deferfunc(){//defer1
		i++//2+1
		fmt.Println("a defer1:", i)//i=3}()deferfunc(){//defer2
		i++//1+1
		fmt.Println("a defer2:", i)//i=2}()
	i++//i=1}funcmain(){a()}

运行结果:

a defer2: 2
a defer1: 3

无变量传入,即使defer的函数内部有外部定义的变量也不会在defer声明的时候确定值,将在外部函数执行完返回的时候依次执行相应操作(i++)。

4、有名函数返回值遇见 defer 情况

先 return,再 defer,所以在执行完 return 之后,还要再执行 defer 里的语句,依然可以修改本应该返回的结果。

(1).函数已定义返回值:

funcDeferFunc1(iint)(tint){
	t= ideferfunc(){
		t+=3}()return t}funcmain(){
	fmt.Println(DeferFunc1(1))}

运行结果:4

  • 将返回值 t 赋值为传入的 i,此时 t 为 1

  • 执行 return 语句将 t 赋值给 t(等于啥也没做)

  • 执行 defer 方法,将 t + 3 = 4

  • 函数返回 4

因为 t 的作用域为整个函数所以修改有效。

(2).函数未定义返回值:

funcDeferFunc2(iint)int{
	t:= ideferfunc(){
		t+=3}()return t}funcmain(){
	fmt.Println(DeferFunc2(1))}

运行结果:1

  • 创建变量 t 并赋值为 1

  • 执行 return 语句,注意这里是将 t 赋值给返回值,此时返回值为 1(这个返回值并不是 t)

  • 执行 defer 方法,将 t + 3 = 4

  • 函数返回返回值 1

5、defer 遇见 panic

(1).第一种情况:遇到panic不捕获

funcmain(){defer fmt.Println("defer1")defer fmt.Println("defer2")panic("发生异常")defer fmt.Println("defer3")}

运行结果:

defer2
defer1
panic: 发生异常

panic后的defer不会入栈(后面的代码运行不到)。

(2).第二种情况:defer 遇见 panic,并捕获异常

funcdefer_call(){deferfunc(){
		fmt.Println("defer: panic 之前1, 捕获异常")if err:=recover(); err!=nil{
			fmt.Println(err)}}()deferfunc(){ fmt.Println("defer: panic 之前2, 不捕获")}()panic("异常内容")//触发defer出栈deferfunc(){ fmt.Println("defer: panic 之后, 永远执行不到")}()}funcmain(){defer_call()

	fmt.Println("main 正常结束")}

运行结果:

defer: panic 之前2, 不捕获
defer: panic 之前1, 捕获异常
异常内容
main 正常结束

defer 最大的功能是 panic 后依然有效,main函数正常运行,所以 defer 可以保证你的一些资源一定会被关闭,从而避免一些异常出现的问题。

(3).第三种情况:defer中含panic

funcmain(){deferfunc(){if err:=recover(); err!=nil{
			fmt.Println(err)}else{
			fmt.Println("fatal")}}()deferfunc(){panic("defer panic1")}()deferfunc(){panic("defer panic2")}()panic("panic")}

运行结果:defer panic1

触发 panic(“panic”) 后 defer 顺序出栈执行,第一个被执行的 defer 中有 panic(“defer panic”) 异常语句,这个异常将会覆盖掉 main 中的异常 panic(“panic”),“defer panic1"又会覆盖掉"defer panic2”,最后这个异常被栈底的defer捕获到。

6、 defer 下的函数参数包含子函数

funcfunction(indexint, valueint)int{
	fmt.Print(index)return index}funcmain(){deferfunction(1,function(3,0))deferfunction(2,function(4,0))}

运行结果:3 4 2 1

这里,有 4 个函数,他们的 index 序号分别为 1,2,3,4。那么这 4 个函数的先后执行顺序是什么呢?这里面有两个 defer, 所以 defer 一共会压栈两次,先进栈 1,后进栈 2。 那么在压栈 function1 的时候,需要连同函数地址、函数形参一同进栈,那么为了得到 function1 的第二个参数的结果,所以就需要先执行 function3 将第二个参数算出,那么 function3 就被第一个执行。同理压栈 function2,就需要执行 function4 算出 function2 第二个参数的值。然后函数结束,先出栈 fuction2、再出栈 function1.

整理不易,希望对各位Gopher有所帮助。

  • 作者:Kjj_gopher
  • 原文链接:https://blog.csdn.net/m0_50889849/article/details/124697839
    更新时间:2022-10-29 08:18:20