上一篇，我們講到了Go中的字符串為什么不能被修改，這一篇來(lái)總結(jié)defer語(yǔ)句中的幾個(gè)隱藏的細(xì)節(jié)。

關(guān)于Go中的defer，是做什么的？執(zhí)行順序是怎么樣的？相信學(xué)過(guò)Go語(yǔ)言的同學(xué)，已經(jīng)不在陌生，今天就來(lái)講講其中需要掌握的幾個(gè)知識(shí)點(diǎn)。

要講到這幾個(gè)知識(shí)點(diǎn)，還是大致總結(jié)一下defer這個(gè)內(nèi)置關(guān)鍵字。

1、defer是一種延遲處理機(jī)制，是在函數(shù)進(jìn)行return之前進(jìn)行執(zhí)行。

2、defer是采用棧的方式執(zhí)行，也就是說(shuō)先定義的defer后執(zhí)行，后定義的defer最先被執(zhí)行。

正因?yàn)閐efer具備這種機(jī)制，可以用在函數(shù)返回之前，關(guān)閉一些資源。例如在某些操作中，連接了MySQL、Redis這樣的服務(wù)，在函數(shù)返回之前，就可以使用defer語(yǔ)句對(duì)連接進(jìn)行關(guān)閉。就類(lèi)似oop語(yǔ)言中的 finally 操作一樣，不管發(fā)生任何異常，最終都會(huì)被執(zhí)行。

其語(yǔ)法格式也非常的簡(jiǎn)單。

package main
import "fmt"

func main() {
    function1()
}

func function1() {
    fmt.Printf("1")
    defer function2()
    fmt.Printf("2")
}

func function2() {
    fmt.Printf("3")
}

上述代碼執(zhí)行的結(jié)果是：

1
2
3

下面就來(lái)總結(jié)這六個(gè)小知識(shí)點(diǎn)：

1、defer 的執(zhí)行順序。 采用棧的方式執(zhí)行，先定義后執(zhí)行。

2、defer 與 return 誰(shuí)先誰(shuí)后。return 之后的語(yǔ)句先執(zhí)行，defer 后的語(yǔ)句后執(zhí)行。

3、函數(shù)的返回值初始化與 defer 間接影響。defer中修改了返回值，實(shí)際返回的值是按照defer修改后的值進(jìn)行返回。

4、defer 遇見(jiàn) panic。按照defer的棧順序，輸出panic觸發(fā)之前定義好的defer。

5、defer 中包含 panic。按照defer的棧順序，輸出panic觸發(fā)之前的defer。并且defer中會(huì)接收到panic信息。

6、defer 下的函數(shù)參數(shù)包含子函數(shù)。會(huì)先進(jìn)行子函數(shù)的結(jié)果值，然后在按照棧的順序進(jìn)行輸出。

defer的執(zhí)行順序是什么樣的

關(guān)于這個(gè)問(wèn)題，前面的示例代碼也提到過(guò)了，采用棧的順序執(zhí)行。在定義時(shí)，壓入棧中，執(zhí)行是從棧中獲取。

defer與return誰(shuí)先誰(shuí)后

先來(lái)看如下一段代碼，最終的執(zhí)行結(jié)果是怎么樣的。

func main() {
    fmt.Println(demo2())
}

func demo2() int {
    defer func() {
        fmt.Println("2")
    }()
    return func() int {
        fmt.Println("1")
        return 4
    }()
}

運(yùn)行上述代碼，得到的結(jié)果是：

1
2
4

可能你會(huì)有一個(gè)疑問(wèn) ，既然都提到了defer是在函數(shù)返回之前執(zhí)行，為什么還是先輸出1，然后在輸出2呢？關(guān)于defer的定義，就是在函數(shù)返回之前執(zhí)行。這一點(diǎn)毋庸置疑，肯定是在return之前執(zhí)行。需要注意的是，return 是非原子性的，需要兩步，執(zhí)行前首先要得到返回值 (為返回值賦值)，return 將返回值返回調(diào)用處。defer 和 return 的執(zhí)行順序是先為返回值賦值，然后執(zhí)行 defer，然后 return 到函數(shù)調(diào)用處。

函數(shù)的返回值初始化與defer間接影響

同樣的方式，我們先看一段代碼，猜測(cè)一下最終的執(zhí)行結(jié)果是什么。

func main() {
    fmt.Println(demo3())
}

func demo3() (a int) {
    defer func() {
        a = 3
    }()
    return 1
}

上訴代碼，最終的運(yùn)行結(jié)果如下：

3

跟上第2個(gè)知識(shí)點(diǎn)類(lèi)似，函數(shù)在return之前，會(huì)進(jìn)行返回值賦值，然后在執(zhí)行defer語(yǔ)句，最終在返回結(jié)果值。

1、在定義函數(shù)demo3()時(shí)，為函數(shù)設(shè)置了一個(gè)int類(lèi)型的變量a，此時(shí)int類(lèi)型初始化值默認(rèn)是0。

2、定義一個(gè)defer語(yǔ)句，在函數(shù)return之前執(zhí)行，匿名函數(shù)中對(duì)返回變量a進(jìn)行了一次賦值，設(shè)置 a=3。

3、此時(shí)執(zhí)行return語(yǔ)句，因?yàn)閞eturn語(yǔ)句是執(zhí)行兩步操作，先為返回變量a執(zhí)行一次賦值操作，將a設(shè)置為3。緊接著執(zhí)行defer語(yǔ)句，此時(shí)defer又將a設(shè)置為3。

4、最終return進(jìn)行返回，由于第3步的defer對(duì)a進(jìn)行了重新賦值。因此a就變成了3。

5、最后main函數(shù)打印結(jié)果，打印的其實(shí)是defer修改之后的值。

如果將變量a的聲明放回到函數(shù)內(nèi)部聲明呢，其運(yùn)行的結(jié)果會(huì)根據(jù)return的值進(jìn)行返回。

func main() {
    fmt.Println(demo7())
}

func demo7() int {
    var a int
    defer func(a int) {
        a = 10
    }(a)

    return 2
}

上述的最終結(jié)果返回值如下：

10
2

為什么會(huì)發(fā)生兩種不同的結(jié)果呢？這是因?yàn)?，這是因?yàn)榘l(fā)生了值拷貝現(xiàn)象。在執(zhí)行defer語(yǔ)句時(shí)，將參數(shù)a傳遞給匿名函數(shù)時(shí)進(jìn)行了一個(gè)值拷貝的過(guò)程。由于值拷貝是不會(huì)影響原值，因此匿名函數(shù)對(duì)變量a進(jìn)行了修改，不會(huì)影響函數(shù)外部的值。當(dāng)然傳遞一個(gè)指針的話，結(jié)果就不一樣了。在函數(shù)定義時(shí)，聲明的變量可以理解為一個(gè)全局變量，因此defer或者return對(duì)變量a進(jìn)行了修改，都會(huì)影響到該變量上。

defer遇見(jiàn)panic。

panic是Go語(yǔ)言中的一種異?，F(xiàn)象，它會(huì)中斷程序的執(zhí)行，并拋出具體的異常信息。既然會(huì)中斷程序的執(zhí)行，如果一段代碼中發(fā)生了panic，最終還會(huì)調(diào)用defer語(yǔ)句嗎？

func main() {
    demo4()
}

func demo4() {
    defer func() {
        fmt.Println("1")
    }()
    defer func() {
        fmt.Println("2")
    }()
    panic("panic")
    defer func() {
        fmt.Println("3")
    }()
    defer func() {
        fmt.Println("4")
    }()
}

運(yùn)行上述代碼，最終得到的結(jié)果如下：

╰─ go run defer.go
2
1
panic: panic

goroutine 1 [running]:
main.demo4()

從上面的結(jié)果不難看出，雖然發(fā)生了panic異常信息，還是輸出了defer語(yǔ)句中的信息，這說(shuō)明panic的發(fā)生，還是會(huì)執(zhí)行defer操作。那為什么后面的兩個(gè)defer沒(méi)有被執(zhí)行呢。這是因?yàn)閜ani的發(fā)生，會(huì)中斷程序的執(zhí)行，因此后續(xù)的代碼根本沒(méi)有拿到執(zhí)行權(quán)。

當(dāng)函數(shù)中發(fā)生了panic異常，會(huì)馬上中止當(dāng)前函數(shù)的執(zhí)行，panic之前定義的defer都會(huì)被執(zhí)行，所有的 defer 語(yǔ)句都會(huì)保證執(zhí)行并把控制權(quán)交還給接收到 panic 的函數(shù)調(diào)用者。這樣向上冒泡直到最頂層，并執(zhí)行（每層的） defer，在棧頂處程序崩潰，并在命令行中用傳給 panic 的值報(bào)告錯(cuò)誤情況：這個(gè)終止過(guò)程就是 panicking。

defer中包含panic

上一個(gè)知識(shí)點(diǎn)提到了，程序中雖然發(fā)生了panic，但是在panic之前定義的defer語(yǔ)句，還是會(huì)被執(zhí)行。要想在defer中獲取到具體的panic信息，需要使用 recover() 進(jìn)行獲取。

func main() {
    demo5()
}

func demo5() {
    defer func() {
        fmt.Println("1")
        if err := recover(); err != nil {
            fmt.Println(err)
        }
    }()
    defer func() { fmt.Println("2") }()
    panic("panic")
    defer func() { fmt.Println("defer: panic 之后, 永遠(yuǎn)執(zhí)行不到") }()
}

上述代碼執(zhí)行的結(jié)果如下：

2
1
panic

這個(gè)（recover）內(nèi)建函數(shù)被用于從 panic 或 錯(cuò)誤場(chǎng)景中恢復(fù)：讓程序可以從 panicking 重新獲得控制權(quán)，停止終止過(guò)程進(jìn)而恢復(fù)正常執(zhí)行。

defer下的函數(shù)參數(shù)包含子函數(shù)

對(duì)于這種場(chǎng)景，可能大家很少遇見(jiàn)，也不是很清楚實(shí)際的調(diào)用邏輯。先來(lái)看一段代碼。

func main() {
    demo6()
}

func function(index int, value int) int {
    fmt.Println(index)
    return index
}

func demo6() {
    defer function(1, function(3, 0))
    defer function(2, function(4, 0))
}

上訴代碼最終執(zhí)行的結(jié)果是：

3
4
2
1

其執(zhí)行的邏輯是：

1、執(zhí)行第1個(gè)defer時(shí)，壓入defer棧中，該defer會(huì)執(zhí)行一個(gè)function的函數(shù)，在函數(shù)返回之前執(zhí)行。

2、因?yàn)樵摵瘮?shù)中又包含了一個(gè)函數(shù)(子函數(shù))，Go語(yǔ)言處理的機(jī)制是，先執(zhí)行該子函數(shù)。

3、執(zhí)行完子函數(shù)，接著再執(zhí)行第2個(gè)defer語(yǔ)句。此時(shí)，第2個(gè)defer中也有一個(gè)子函數(shù)，按照第2點(diǎn)的邏輯，這個(gè)子函數(shù)會(huì)被直接執(zhí)行。

4、定義完defer語(yǔ)句之后，此時(shí)結(jié)束該函數(shù)的調(diào)用。所有被定義的defer語(yǔ)句，按照棧順序進(jìn)行輸出。

因此可以得出的結(jié)論是，當(dāng)defer中存在子函數(shù)時(shí)，子函數(shù)會(huì)按照defer定義的語(yǔ)句順序，優(yōu)先執(zhí)行。defer最外層的邏輯，則按照棧的順序執(zhí)行。。

總結(jié)

對(duì)于defer的使用，是非常簡(jiǎn)單的。這里需要注意幾點(diǎn)。

1、defer是在函數(shù)返回之前執(zhí)行，defer的執(zhí)行順序是優(yōu)先于return。return的執(zhí)行是一個(gè)兩步操作，先對(duì)return返回的值進(jìn)行賦值，然后執(zhí)行defer語(yǔ)句，最后將結(jié)果進(jìn)行返回給函數(shù)的調(diào)用者。

2、即使函數(shù)內(nèi)發(fā)生了panic異常，panic之前定義的defer仍然會(huì)被執(zhí)行。

3、defer中存在子函數(shù)，子函數(shù)會(huì)按照defer的定于順序執(zhí)行。

以上就是Golang中關(guān)于defer的盲區(qū)梳理的詳細(xì)內(nèi)容，更多關(guān)于Golang defer盲區(qū)的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！