defer的執(zhí)行順序

多個(gè)defer出現(xiàn)的時(shí)候，它是一個(gè)“棧”的關(guān)系，也就是先進(jìn)后出。一個(gè)函數(shù)中，寫(xiě)在前面的defer會(huì)比寫(xiě)在后面的defer調(diào)用的晚。

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")
}

輸出結(jié)果：

C
B
A

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

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í)行結(jié)果為：

return func called
defer func called

結(jié)論為：return之后的語(yǔ)句先執(zhí)行，defer后的語(yǔ)句后執(zhí)行

函數(shù)的返回值初始化

該知識(shí)點(diǎn)不屬于defer本身，但是調(diào)用的場(chǎng)景卻與defer有聯(lián)系，所以也算是defer必備了解的知識(shí)點(diǎn)之一。

如 ： func DeferFunc1(i int) (t int) {}

其中返回值t int，這個(gè)t會(huì)在函數(shù)起始處被初始化為對(duì)應(yīng)類(lèi)型的零值并且作用域?yàn)檎麄€(gè)函數(shù)。

示例代碼

package main
import "fmt"
func DeferFunc1(i int) (t int) {
    fmt.Println("t = ", t)
    return 2
}
func main() {
    DeferFunc11(10)
}

結(jié)果

t = ?0

證明，只要聲明函數(shù)的返回值變量名稱(chēng)，就會(huì)在函數(shù)初始化時(shí)候?yàn)橹x值為0，而且在函數(shù)體作用域可見(jiàn)。

有名函數(shù)返回值遇見(jiàn)defer情況

在沒(méi)有defer的情況下，其實(shí)函數(shù)的返回就是與return一致的，但是有了defer就不一樣了。

我們通過(guò)知識(shí)點(diǎn)2得知，先return，再defer，所以在執(zhí)行完return之后，還要再執(zhí)行defer里的語(yǔ)句，依然可以修改本應(yīng)該返回的結(jié)果。

package main
import "fmt"
func returnButDefer() (t int) {  //t初始化0， 并且作用域?yàn)樵摵瘮?shù)全域
    defer func() {
        t = t * 10
    }()
    return 1
}
func main() {
    fmt.Println(returnButDefer())
}

該returnButDefer()本應(yīng)的返回值是1，但是在return之后，又被defer的匿名func函數(shù)執(zhí)行，所以t=t*10被執(zhí)行，最后returnButDefer()返回給上層main()的結(jié)果為10

$ go run test.go
10

defer遇見(jiàn)panic

我們知道，能夠觸發(fā)defer的是遇見(jiàn)return(或函數(shù)體到末尾)和遇見(jiàn)panic。

根據(jù)知識(shí)點(diǎn)2，我們知道，defer遇見(jiàn)return情況如下：

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

A. defer遇見(jiàn)panic，但是并不捕獲異常的情況

package main
import (
    "fmt"
)
func main() {
    defer_call()
    fmt.Println("main 正常結(jié)束")
}
func defer_call() {
    defer func() { fmt.Println("defer: panic 之前1") }()
    defer func() { fmt.Println("defer: panic 之前2") }()
    panic("異常內(nèi)容")  //觸發(fā)defer出棧
	defer func() { fmt.Println("defer: panic 之后，永遠(yuǎn)執(zhí)行不到") }()
}

defer: panic 之前2
defer: panic 之前1
panic: 異常內(nèi)容
//... 異常堆棧信息

B. defer遇見(jiàn)panic，并捕獲異常

package main
import (
    "fmt"
)
func main() {
    defer_call()
    fmt.Println("main 正常結(jié)束")
}
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("異常內(nèi)容")  //觸發(fā)defer出棧
	defer func() { fmt.Println("defer: panic 之后, 永遠(yuǎn)執(zhí)行不到") }()
}

defer: panic 之前2, 不捕獲
defer: panic 之前1, 捕獲異常
異常內(nèi)容
main 正常結(jié)束

defer 最大的功能是 panic 后依然有效

所以defer可以保證你的一些資源一定會(huì)被關(guān)閉，從而避免一些異常出現(xiàn)的問(wèn)題。

defer中包含panic

編譯執(zhí)行下面代碼會(huì)出現(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")
}

結(jié)果

defer panic

分析

panic僅有最后一個(gè)可以被revover捕獲。

觸發(fā)panic(“panic”)后defer順序出棧執(zhí)行，第一個(gè)被執(zhí)行的defer中 會(huì)有panic(“defer panic”)異常語(yǔ)句，這個(gè)異常將會(huì)覆蓋掉main中的異常panic(“panic”)，最后這個(gè)異常被第二個(gè)執(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個(gè)函數(shù)，他們的index序號(hào)分別為1，2，3，4。

那么這4個(gè)函數(shù)的先后執(zhí)行順序是什么呢？這里面有兩個(gè)defer， 所以defer一共會(huì)壓棧兩次，先進(jìn)棧1，后進(jìn)棧2。 那么在壓棧function1的時(shí)候，需要連同函數(shù)地址、函數(shù)形參一同進(jìn)棧，那么為了得到function1的第二個(gè)參數(shù)的結(jié)果，所以就需要先執(zhí)行function3將第二個(gè)參數(shù)算出，那么function3就被第一個(gè)執(zhí)行。同理壓棧function2，就需要執(zhí)行function4算出function2第二個(gè)參數(shù)的值。然后函數(shù)結(jié)束，先出棧fuction2、再出棧function1.

所以順序如下：

1.defer壓棧function1，壓棧函數(shù)地址、形參1、形參2(調(diào)用function3) --> 打印3

2.defer壓棧function2，壓棧函數(shù)地址、形參1、形參2(調(diào)用function4) --> 打印4

3.defer出棧function2, 調(diào)用function2 --> 打印2

4.defer出棧function1, 調(diào)用function1–> 打印1

3
4
2
1

defer面試真題

了解以上6個(gè)defer的知識(shí)點(diǎn)，我們來(lái)驗(yàn)證一下網(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，此時(shí)t為1

2.執(zhí)行return語(yǔ)句將t賦值給t（等于啥也沒(méi)做）

3.執(zhí)行defer方法，將t + 3 = 4

4.函數(shù)返回 4

因?yàn)閠的作用域?yàn)檎麄€(gè)函數(shù)所以修改有效。

DeferFunc2:

func DeferFunc2(i int) int {
    t := i
    defer func() {
        t += 3
    }()
    return t
}

1.創(chuàng)建變量t并賦值為1

2.執(zhí)行return語(yǔ)句，注意這里是將t賦值給返回值，此時(shí)返回值為1（這個(gè)返回值并不是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的時(shí)候相當(dāng)于將t賦值給了result，當(dāng)defer修改了t的值之后，對(duì)result是不會(huì)造成影響的。

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語(yǔ)句，將返回值t賦值為2

6.執(zhí)行defer的第三步，出棧并執(zhí)行

因?yàn)樵谌霔r(shí)defer執(zhí)行的func的入?yún)⒁呀?jīng)賦值了，此時(shí)它作為的是一個(gè)形式參數(shù)，所以打印為0；相對(duì)應(yīng)的因?yàn)樽詈笠呀?jīng)將t的值修改為2，所以再打印一個(gè)2