Golang中的defer
目录
Golang中的Defer必掌握的7知识点
知识点1:defer的执行顺序
知识点2:defer与return谁先谁后
知识点3:函数的返回值初始化
知识点4:有名函数返回值遇见defer情况
知识点5:defer遇见panic
知识点6:defer中包含panic
知识点7:defer下的函数参数包含子函数
defer底层如何实现
Golang中的Defer必掌握的7知识点
知识点1:defer的执行顺序
多个defer出现的时候，它是一个“栈”的关系，也就是先进后出。一个函数中，写在前面的defer会比写在后面的defer调用的晚。
package main import "fmt" func main() { defer func1() defer func2() defer func3() } func func1() { fmt.Println("A") } func func2() { fmt.Println("B") } func func3() { fmt.Println("C") } 
知识点2:defer与return谁先谁后
测试代码:
package main import "fmt" func deferFunc() int { fmt.Println("defer func called") return 0 } func returnFunc() int { fmt.Println("return func called") return 0 } func returnAndDefer() int { defer deferFunc() return returnFunc() } func main() { returnAndDefer() } 执行结果:
[root@zyk main]# go run test.go return func called defer func called知识点3:函数的返回值初始化
该知识点不属于defer本身，但是调用的场景却与defer有联系
只要声明函数的返回值变量名称，就会在函数初始化时候为之赋值为0，而且在函数体作用域可见。
测试代码:
package main import "fmt" func DeferFunc1(i int) (t int) { fmt.Println("t = ", t) return 2 } func main() { DeferFunc1(10) } 执行结果:
t 被 初始化为 0
t = 0知识点4:有名函数返回值遇见defer情况
在没有defer的情况下，其实函数的返回就是与return一致的，但是有了defer就不一样了。
在知识点2中在执行完return之后，还要再执行defer里的语句,却依然可以修改本应该返回的结果。
测试代码:
package main import "fmt" func returnButDefer() (t int) { //t初始化0， 并且作用域为该函数全域 defer func() { t = t * 10 }() return 1 } func main() { fmt.Println(returnButDefer()) }执行结果:
该returnButDefer()本应的返回值是1，但是在return之后，又被defer的匿名func函数执行，
所以t=t*10被执行，最后returnButDefer()返回给上层main()的结果为10
10知识点5:defer遇见panic
结论 : defer 最大的功能是 panic 后依然有效
所以defer可以保证你的一些资源一定会被关闭，从而避免一些异常出现的问题。
情况一 defer遇见panic，但是并不捕获异常的情况
测试案例:
package main import ( "fmt" ) func main() { defer_call() fmt.Println("main 正常结束") } func defer_call() { defer func() { fmt.Println("defer: panic 之前1") }() defer func() { fmt.Println("defer: panic 之前2") }() panic("异常内容") //触发defer出栈 defer func() { fmt.Println("defer: panic 之后，永远执行不到") }() }结果:
defer: panic 之前2 defer: panic 之前1 panic: 异常内容情况二 defer 遇见 panic，并捕获异常
案例:
package main import ( "fmt" ) func main() { defer_call() fmt.Println("main 正常结束") } func defer_call() { defer func() { fmt.Println("defer: panic 之前1, 捕获异常") if err := recover(); err != nil { fmt.Println(err) } }() defer func() { fmt.Println("defer: panic 之前2, 不捕获") }() panic("异常内容") //触发defer出栈 defer func() { fmt.Println("defer: panic 之后, 永远执行不到") }() } 结果:
defer: panic 之前2, 不捕获 defer: panic 之前1, 捕获异常 异常内容 main 正常结束捕获异常后正常结束,但是在panic之后的defer 任然不执行,为什么呢,接下来defer底层实现时再说
知识点6:defer中包含panic
结论:panic仅有最后一个可以被revover捕获
案例:
package main import ( "fmt" ) func main() { defer func() { if err := recover(); err != nil{ fmt.Println(err) }else { fmt.Println("fatal") } }() defer func() { panic("defer panic") }() panic("panic") }结果:
defer panic分析:
触发panic("panic")后defer顺序出栈执行,
第一个被执行的defer中 会有panic("defer panic")异常语句，
这个异常将会覆盖掉main中的异常panic("panic")，最后这个异常被第二个执行的defer捕获到。
知识点7:defer下的函数参数包含子函数
结论: defer 将 函数压入栈之后,先执行子函数
案例:
package main import "fmt" func function(index int, value int) int { fmt.Println(index) return index } func main() { defer function(1, function(3, 0)) defer function(2, function(4, 0)) }结果:
3 4 2 1分析顺序如下：
- defer压栈function1，压栈函数地址、形参1、形参2(调用function3) --> 打印3
- defer压栈function2，压栈函数地址、形参1、形参2(调用function4) --> 打印4
- defer出栈function2, 调用function2 --> 打印2
- defer出栈function1, 调用function1--> 打印1
defer底层如何实现
结构体源码:
type _defer struct { sp uintptr //函数栈指针 pc uintptr //程序计数器 fn *funcval //函数地址 link *_defer //指向自身结构的指针，用于链接多个defer } 
异常解答:
