golang的defer是怎么工作的?defer在golang里是一个很基础的关键字,在函数内部使用defer声明的语句会在函数退出时执行,那具体是怎么工作的那?这里通过一个例子给大家讲解下。
首先大家需要理解函数的执行过程。我理解代码在编译的时候就已经确定了函数的执行过程,当解析到defer关键字时,将defer函数放在defer堆栈的栈底,这样如果一个函数有多个defer声明时,就遵循先进后出的原则,倒叙输出,这也就是下面这个例子的输出结果:
func defer_call() {
deferfunc() {
fmt.Println("打印前")
}()
defer func() {
fmt.Println("打印中")
}()
defer func() {
fmt.Println("打印后")
}()
panic("触发异常")
}
输出结果:
打印后
打印中
打印前
上面的例子相对比较好理解,和我们的堆栈以一摸一样。下面再和大家一起解析一个经典的例子,如下:
func calc(index string,a,b int) int {
ret := a+b
fmt.Println(index,a,b,ret)
return ret
}
func main() {
a:=1
b:=2
defer calc("1",a,calc("10",a,b))
a=0
defer calc("2",a,calc("20",a,b))
b=1
}
大家可以有兴趣的跑一下这个demo。看看输出结果。输出如下:
10 1 2 3
20 0 2 2
2 0 2 2
1 1 3 4
下面带领大家一起解析下。
第一步 解析上面的main函数
a =1 b =2 ,然后遇到defer关键字,将defer声明的calc压入栈底,此时获取变量的值分别为calc(1,1,calc("10",a,b)),发现第三个变量是一个函数,因此继续将该函数解析运算。
即第一次输出calc("10",1,2)==>> 10,1,2,3, 结果ret=3.将上一步的calc(1,1,calc("10",a,b))替换为calc(1,1,3),然后压入到栈底。
第二步 程序继续解析,a=0,然后遇到第二个defer关键字,解析defer后的函数calc("2",a,calc("20",a,b)),和第一步的情况一样,先进行数值替换上式替换为calc("2",0,calc("20",0,b)),然后再将第三个参数函数calc("20",0,b)展开为calc("20",0,2),==>>20,0,2,2,结果ret=2.将上一步的calc("2",a,calc("20",a,b))替换为calc("2",0,2),然后压入到栈底。
经过上面两步骤,已经输出了10,1,2,3和20,0,2,2。第一个例子里已经说了 defer是按照先入后出的顺序执行,那程序先执行calc("2",0,2)==》2,0,2,2.然后再执行calc(1,1,3)==>1,1,3,4.
支持整个程序输出完成。
下面继续说下defer与return的关系,通过下面一个经典的例子,大家请看下:
func DeferFunc1(i int) (t int) {
t = i
defer func() {
t +=3
}()
return t
}
func DeferFunc2(i int) int {
t := i
defer func() {
t +=3
}()
return t
}
func DeferFunc3(i int) (t int) {
defer func() {
t += i
}()
return 2
}
package main
func main() {
println(DeferFunc1(1))
println(DeferFunc2(1))
println(DeferFunc3(1))
}
上面这个例子输出信息是什么那?如果大家能够打出来4 1 3就可以跳过下面的信息了,接下来给大家详解下。
先说下defer与return的执行顺序,defer的执行顺序是在return之后,也就是说return操作执行完之后,再执行defer函数,然后函数执行结束。
先说下defer与return的执行顺序,defer的执行顺序是在return之后,也就是说return操作执行完之后,再执行defer函数,然后函数执行结束。
先说下defer与return的执行顺序,defer的执行顺序是在return之后,也就是说return操作执行完之后,再执行defer函数,然后函数执行结束。
重要的事情说3遍,本着上面的原则,下面的
解析DeferFunc1
看下函数返回值,声明了t变量,说明t变量的作用域为整个函数体
1、将t赋值i,也就是1
2、执行return t,此时t=t=1
3、执行defer,t+=3,这样t=4
4、然后函数结束,经过第三步的操作 t已经变成了4,所以函数结束后,t变量为4
解析DeferFunc2
变量t的作用域为函数内
1、将t赋值i,也就是1
2、执行return t,此时t=1
3、执行defer,t+=3,这样t=4
4、然后函数结束,因为变量t的作用域为函数内,所以函数结束后,经过第2步,将return值赋为1,第三步的4并不会返回。说到这里可能比较难懂,下面将DeferFunc2修改一下,大家就会恍然大悟
func DeferFunc2(i int) (result int) {
t := i
defer func() {
t +=3
}()
return t
}
之前返回值的name给隐藏了,我显示的定义一个result。然后我们再一步步的解析下
1、将t赋值i,也就是1
2、执行return t,此时result = t => result=1
3、执行defer,t+=3,这样t=4
大家再看看函数执行完之后,返回值是多少,这样大家很容易就知道应该是1了吧?还不懂的同学从头再读一遍吧 😂
解析DeferFunc3
1、执行return 2,return t = 2
2、执行defer,t+=1=》t = 3
函数执行结束,t=3。