Golang Defer基礎操作詳解
defer的執(zhí)行順序
多個defer出現(xiàn)的時候,它是一個“棧”的關系,也就是先進后出。一個函數(shù)中,寫在前面的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")
}
輸出結果:
C
B
A
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()
}執(zhí)行結果為:
return func called
defer func called
結論為:return之后的語句先執(zhí)行,defer后的語句后執(zhí)行
函數(shù)的返回值初始化
該知識點不屬于defer本身,但是調用的場景卻與defer有聯(lián)系,所以也算是defer必備了解的知識點之一。
如 : func DeferFunc1(i int) (t int) {}
其中返回值t int,這個t會在函數(shù)起始處被初始化為對應類型的零值并且作用域為整個函數(shù)。

示例代碼
package main
import "fmt"
func DeferFunc1(i int) (t int) {
fmt.Println("t = ", t)
return 2
}
func main() {
DeferFunc11(10)
}結果
t = 0
證明,只要聲明函數(shù)的返回值變量名稱,就會在函數(shù)初始化時候為之賦值為0,而且在函數(shù)體作用域可見。
有名函數(shù)返回值遇見defer情況
在沒有defer的情況下,其實函數(shù)的返回就是與return一致的,但是有了defer就不一樣了。
我們通過知識點2得知,先return,再defer,所以在執(zhí)行完return之后,還要再執(zhí)行defer里的語句,依然可以修改本應該返回的結果。
package main
import "fmt"
func returnButDefer() (t int) { //t初始化0, 并且作用域為該函數(shù)全域
defer func() {
t = t * 10
}()
return 1
}
func main() {
fmt.Println(returnButDefer())
}該returnButDefer()本應的返回值是1,但是在return之后,又被defer的匿名func函數(shù)執(zhí)行,所以t=t*10被執(zhí)行,最后returnButDefer()返回給上層main()的結果為10
$ go run test.go
10
defer遇見panic
我們知道,能夠觸發(fā)defer的是遇見return(或函數(shù)體到末尾)和遇見panic。
根據(jù)知識點2,我們知道,defer遇見return情況如下:

那么,遇到panic時,遍歷本協(xié)程的defer鏈表,并執(zhí)行defer。在執(zhí)行defer過程中:遇到recover則停止panic,返回recover處繼續(xù)往下執(zhí)行。如果沒有遇到recover,遍歷完本協(xié)程的defer鏈表后,向stderr拋出panic信息

A. 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("異常內容") //觸發(fā)defer出棧
defer func() { fmt.Println("defer: panic 之后,永遠執(zhí)行不到") }()
}defer: panic 之前2
defer: panic 之前1
panic: 異常內容
//... 異常堆棧信息
B. 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("異常內容") //觸發(fā)defer出棧
defer func() { fmt.Println("defer: panic 之后, 永遠執(zhí)行不到") }()
}defer: panic 之前2, 不捕獲
defer: panic 之前1, 捕獲異常
異常內容
main 正常結束
defer 最大的功能是 panic 后依然有效
所以defer可以保證你的一些資源一定會被關閉,從而避免一些異常出現(xiàn)的問題。
defer中包含panic
編譯執(zhí)行下面代碼會出現(xiàn)什么?
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僅有最后一個可以被revover捕獲。
觸發(fā)panic(“panic”)后defer順序出棧執(zhí)行,第一個被執(zhí)行的defer中 會有panic(“defer panic”)異常語句,這個異常將會覆蓋掉main中的異常panic(“panic”),最后這個異常被第二個執(zhí)行的defer捕獲到。
defer下的函數(shù)參數(shù)包含子函數(shù)
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))
}這里,有4個函數(shù),他們的index序號分別為1,2,3,4。
那么這4個函數(shù)的先后執(zhí)行順序是什么呢?這里面有兩個defer, 所以defer一共會壓棧兩次,先進棧1,后進棧2。 那么在壓棧function1的時候,需要連同函數(shù)地址、函數(shù)形參一同進棧,那么為了得到function1的第二個參數(shù)的結果,所以就需要先執(zhí)行function3將第二個參數(shù)算出,那么function3就被第一個執(zhí)行。同理壓棧function2,就需要執(zhí)行function4算出function2第二個參數(shù)的值。然后函數(shù)結束,先出棧fuction2、再出棧function1.
所以順序如下:
1.defer壓棧function1,壓棧函數(shù)地址、形參1、形參2(調用function3) --> 打印3
2.defer壓棧function2,壓棧函數(shù)地址、形參1、形參2(調用function4) --> 打印4
3.defer出棧function2, 調用function2 --> 打印2
4.defer出棧function1, 調用function1–> 打印1
3
4
2
1
defer面試真題
了解以上6個defer的知識點,我們來驗證一下網(wǎng)上的真題吧。
下面代碼輸出什么?
package main
import "fmt"
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
}
func DeferFunc4() (t int) {
defer func(i int) {
fmt.Println(i)
fmt.Println(t)
}(t)
t = 1
return 2
}
func main() {
fmt.Println(DeferFunc1(1))
fmt.Println("................")
fmt.Println(DeferFunc2(1))
fmt.Println("................")
fmt.Println(DeferFunc3(1))
fmt.Println("................")
DeferFunc4()
/*
4
................
1
................
3
................
0
2
*/
}DeferFunc1:
func DeferFunc1(i int) (t int) {
t = i
defer func() {
t += 3
}()
return t
}1.將返回值t賦值為傳入的i,此時t為1
2.執(zhí)行return語句將t賦值給t(等于啥也沒做)
3.執(zhí)行defer方法,將t + 3 = 4
4.函數(shù)返回 4
因為t的作用域為整個函數(shù)所以修改有效。
DeferFunc2:
func DeferFunc2(i int) int {
t := i
defer func() {
t += 3
}()
return t
}1.創(chuàng)建變量t并賦值為1
2.執(zhí)行return語句,注意這里是將t賦值給返回值,此時返回值為1(這個返回值并不是t)
3.執(zhí)行defer方法,將t + 3 = 4
4.函數(shù)返回返回值1
也可以按照如下代碼理解
func DeferFunc2(i int) (result int) {
t := i
defer func() {
t += 3
}()
return t
}
上面的代碼return的時候相當于將t賦值給了result,當defer修改了t的值之后,對result是不會造成影響的。
DeferFunc3:
func DeferFunc3(i int) (t int) {
defer func() {
t += i
}()
return 2
}
1.首先執(zhí)行return將返回值t賦值為2
2.執(zhí)行defer方法將t + 1
3.最后返回 3
DeferFunc4:
func DeferFunc4() (t int) {
defer func(i int) {
fmt.Println(i)
fmt.Println(t)
}(t)
t = 1
return 2
}
1.初始化返回值t為零值 0
2.首先執(zhí)行defer的第一步,賦值defer中的func入?yún)為0
3.執(zhí)行defer的第二步,將defer壓棧
4.將t賦值為1
5.執(zhí)行return語句,將返回值t賦值為2
6.執(zhí)行defer的第三步,出棧并執(zhí)行
因為在入棧時defer執(zhí)行的func的入?yún)⒁呀?jīng)賦值了,此時它作為的是一個形式參數(shù),所以打印為0;相對應的因為最后已經(jīng)將t的值修改為2,所以再打印一個2
到此這篇關于Golang Defer基礎操作詳解的文章就介紹到這了,更多相關Golang Defer內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家!
相關文章
Go語言在終端打開實現(xiàn)進度條處理數(shù)據(jù)方法實例
這篇文章主要介紹了Go語言在終端打開實現(xiàn)進度條處理數(shù)據(jù)方法實例詳解,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進步,早日升職加薪2023-12-12

