前言

大家都知道go語(yǔ)言的defer功能很強(qiáng)大，對(duì)于資源管理非常方便，但是如果沒(méi)用好，也會(huì)有陷阱哦。Go 語(yǔ)言中延遲函數(shù) defer 充當(dāng)著 try...catch 的重任，使用起來(lái)也非常簡(jiǎn)便，然而在實(shí)際應(yīng)用中，很多 gopher 并沒(méi)有真正搞明白 defer、return、返回值、panic 之間的執(zhí)行順序，從而掉進(jìn)坑中，今天我們就來(lái)揭開(kāi)它的神秘面紗！話不多說(shuō)了，來(lái)一起看看詳細(xì)的介紹吧。

先來(lái)運(yùn)行下面兩段代碼：

A. 匿名返回值的情況

package main

import (
 "fmt"
)

func main() {
 fmt.Println("a return:", a()) // 打印結(jié)果為 a return: 0
}

func a() int {
 var i int
 defer func() {
  i++
  fmt.Println("a defer2:", i) // 打印結(jié)果為 a defer2: 2
 }()
 defer func() {
  i++
  fmt.Println("a defer1:", i) // 打印結(jié)果為 a defer1: 1
 }()
 return i
}

B. 有名返回值的情況

package main

import (
 "fmt"
)

func main() {
 fmt.Println("b return:", b()) // 打印結(jié)果為 b return: 2
}

func b() (i int) {
 defer func() {
  i++
  fmt.Println("b defer2:", i) // 打印結(jié)果為 b defer2: 2
 }()
 defer func() {
  i++
  fmt.Println("b defer1:", i) // 打印結(jié)果為 b defer1: 1
 }()
 return i // 或者直接 return 效果相同
}

先來(lái)假設(shè)出結(jié)論（這是正確結(jié)論），幫助大家理解原因：

• 多個(gè) defer 的執(zhí)行順序?yàn)椤昂筮M(jìn)先出/先進(jìn)后出”；
• 所有函數(shù)在執(zhí)行 RET 返回指令之前，都會(huì)先檢查是否存在 defer 語(yǔ)句，若存在則先逆序調(diào)用 defer 語(yǔ)句進(jìn)行收尾工作再退出返回；
• 匿名返回值是在 return 執(zhí)行時(shí)被聲明，有名返回值則是在函數(shù)聲明的同時(shí)被聲明，因此在 defer 語(yǔ)句中只能訪問(wèn)有名返回值，而不能直接訪問(wèn)匿名返回值；
• return 其實(shí)應(yīng)該包含前后兩個(gè)步驟：第一步是給返回值賦值（若為有名返回值則直接賦值，若為匿名返回值則先聲明再賦值）；第二步是調(diào)用 RET 返回指令并傳入返回值，而 RET 則會(huì)檢查 defer 是否存在，若存在就先逆序插播 defer 語(yǔ)句，最后 RET 攜帶返回值退出函數(shù)；

因此，‍‍defer、return、返回值三者的執(zhí)行順序應(yīng)該是：return最先給返回值賦值；接著 defer 開(kāi)始執(zhí)行一些收尾工作；最后 RET 指令攜帶返回值退出函數(shù)。

如何解釋兩種結(jié)果的不同：

上面兩段代碼的返回結(jié)果之所以不同，其實(shí)從上面的結(jié)論中已經(jīng)很好理解了。

• a()int 函數(shù)的返回值沒(méi)有被提前聲名，其值來(lái)自于其他變量的賦值，而 defer 中修改的也是其他變量（其實(shí)該 defer 根本無(wú)法直接訪問(wèn)到返回值），因此函數(shù)退出時(shí)返回值并沒(méi)有被修改。
• b()(i int) 函數(shù)的返回值被提前聲名，這使得 defer 可以訪問(wèn)該返回值，因此在 return 賦值返回值 i 之后，defer 調(diào)用返回值 i 并進(jìn)行了修改，最后致使 return 調(diào)用 RET 退出函數(shù)后的返回值才會(huì)是 defer 修改過(guò)的值。

C. 下面我們?cè)賮?lái)看第三個(gè)例子，驗(yàn)證上面的結(jié)論：

package main

import (
 "fmt"
)

func main() {
 c:=c()
 fmt.Println("c return:", *c, c) // 打印結(jié)果為 c return: 2 0xc082008340
}

func c() *int {
 var i int
 defer func() {
  i++
  fmt.Println("c defer2:", i, &i) // 打印結(jié)果為 c defer2: 2 0xc082008340
 }()
 defer func() {
  i++
  fmt.Println("c defer1:", i, &i) // 打印結(jié)果為 c defer1: 1 0xc082008340
 }()
 return &i
}

雖然 c()int 的返回值沒(méi)有被提前聲明，但是由于 c()int 的返回值是指針變量，那么在 return 將變量 i 的地址賦給返回值后，defer 再次修改了 i 在內(nèi)存中的實(shí)際值，因此 return 調(diào)用 RET 退出函數(shù)時(shí)返回值雖然依舊是原來(lái)的指針地址，但是其指向的內(nèi)存實(shí)際值已經(jīng)被成功修改了。

即，我們假設(shè)的結(jié)論是正確的！

D. 補(bǔ)充一條，defer聲明時(shí)會(huì)先計(jì)算確定參數(shù)的值，defer推遲執(zhí)行的僅是其函數(shù)體。

package main

import (
 "fmt"
 "time"
)

func main() {
 defer P(time.Now())
 time.Sleep(5e9)
 fmt.Println("main ", time.Now())
}

func P(t time.Time) {
 fmt.Println("defer", t)
 fmt.Println("P ", time.Now())
}

// 輸出結(jié)果：
// main 2017-08-01 14:59:47.547597041 +0800 CST
// defer 2017-08-01 14:59:42.545136374 +0800 CST
// P  2017-08-01 14:59:47.548833586 +0800 CST

E. defer 的作用域

1. defer 只對(duì)當(dāng)前協(xié)程有效（main 可以看作是主協(xié)程）；
2. 當(dāng)任意一條（主）協(xié)程發(fā)生 panic 時(shí)，會(huì)執(zhí)行當(dāng)前協(xié)程中 panic 之前已聲明的 defer；
3. 在發(fā)生 panic 的（主）協(xié)程中，如果沒(méi)有一個(gè) defer 調(diào)用 recover()進(jìn)行恢復(fù)，則會(huì)在執(zhí)行完最后一個(gè)已聲明的 defer 后，引發(fā)整個(gè)進(jìn)程崩潰；
4. 主動(dòng)調(diào)用 os.Exit(int) 退出進(jìn)程時(shí)，defer 將不再被執(zhí)行。

package main

import (
 "errors"
 "fmt"
 "time"
 // "os"
)

func main() {
 e := errors.New("error")
 fmt.Println(e)
 // （3）panic(e) // defer 不會(huì)執(zhí)行
 // （4）os.Exit(1) // defer 不會(huì)執(zhí)行
 defer fmt.Println("defer")
 // （1）go func() { panic(e) }() // 會(huì)導(dǎo)致 defer 不會(huì)執(zhí)行
 // （2）panic(e) // defer 會(huì)執(zhí)行
 time.Sleep(1e9)
 fmt.Println("over.")
 // （5）os.Exit(1) // defer 不會(huì)執(zhí)行
}

F. defer 表達(dá)式的調(diào)用順序是按照先進(jìn)后出的方式執(zhí)行

defer 表達(dá)式會(huì)被放入一個(gè)類似于棧( stack )的結(jié)構(gòu)，所以調(diào)用的順序是先進(jìn)后出/后進(jìn)先出的。

下面這段代碼輸出的結(jié)果是 4321 而不是 1234 。

package main

import (
 "fmt"
)

func main() {
 defer fmt.Print(1)
 defer fmt.Print(2)
 defer fmt.Print(3)
 defer fmt.Print(4)
}

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論