前言
大家都知道go語言的defer功能很強大，對于資源管理非常方便，但是如果沒用好，也會有陷阱哦。Go 語言中延遲函數 defer 充當著 try...catch 的重任，使用起來也非常簡便，然而在實際應用中，很多 gopher 并沒有真正搞明白 defer、return、返回值、panic 之間的執行順序，從而掉進坑中，今天我們就來揭開它的神秘面紗！話不多說了，來一起看看詳細的介紹吧。
先來運行下面兩段代碼：
A. 匿名返回值的情況
package mainimport ( "fmt")func main() { fmt.Println("a return:", a()) // 打印結果為 a return: 0}func a() int { var i int defer func() { i++ fmt.Println("a defer2:", i) // 打印結果為 a defer2: 2 }() defer func() { i++ fmt.Println("a defer1:", i) // 打印結果為 a defer1: 1 }() return i}B. 有名返回值的情況
package mainimport ( "fmt")func main() { fmt.Println("b return:", b()) // 打印結果為 b return: 2}func b() (i int) { defer func() { i++ fmt.Println("b defer2:", i) // 打印結果為 b defer2: 2 }() defer func() { i++ fmt.Println("b defer1:", i) // 打印結果為 b defer1: 1 }() return i // 或者直接 return 效果相同}先來假設出結論（這是正確結論），幫助大家理解原因：
因此，defer、return、返回值三者的執行順序應該是：return最先給返回值賦值；接著 defer 開始執行一些收尾工作；最后 RET 指令攜帶返回值退出函數。
如何解釋兩種結果的不同：
上面兩段代碼的返回結果之所以不同，其實從上面的結論中已經很好理解了。
a()int 函數的返回值沒有被提前聲名，其值來自于其他變量的賦值，而 defer 中修改的也是其他變量（其實該 defer 根本無法直接訪問到返回值），因此函數退出時返回值并沒有被修改。b()(i int) 函數的返回值被提前聲名，這使得 defer 可以訪問該返回值，因此在 return 賦值返回值 i 之后，defer 調用返回值 i 并進行了修改，最后致使 return 調用 RET 退出函數后的返回值才會是 defer 修改過的值。C. 下面我們再來看第三個例子，驗證上面的結論：
package mainimport ( "fmt")func main() { c:=c() fmt.Println("c return:", *c, c) // 打印結果為 c return: 2 0xc082008340}func c() *int { var i int defer func() { i++ fmt.Println("c defer2:", i, &i) // 打印結果為 c defer2: 2 0xc082008340 }() defer func() { i++ fmt.Println("c defer1:", i, &i) // 打印結果為 c defer1: 1 0xc082008340 }() return &i} 雖然 c()int 的返回值沒有被提前聲明，但是由于 c()int 的返回值是指針變量，那么在 return 將變量 i 的地址賦給返回值后，defer 再次修改了 i 在內存中的實際值，因此 return 調用 RET 退出函數時返回值雖然依舊是原來的指針地址，但是其指向的內存實際值已經被成功修改了。
即，我們假設的結論是正確的！
D. 補充一條，defer聲明時會先計算確定參數的值，defer推遲執行的僅是其函數體。
package mainimport ( "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())}// 輸出結果：// 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 CSTE. defer 的作用域
recover()進行恢復，則會在執行完最后一個已聲明的 defer 后，引發整個進程崩潰；os.Exit(int) 退出進程時，defer 將不再被執行。package mainimport ( "errors" "fmt" "time" // "os")func main() { e := errors.New("error") fmt.Println(e) // （3）panic(e) // defer 不會執行 // （4）os.Exit(1) // defer 不會執行 defer fmt.Println("defer") // （1）go func() { panic(e) }() // 會導致 defer 不會執行 // （2）panic(e) // defer 會執行 time.Sleep(1e9) fmt.Println("over.") // （5）os.Exit(1) // defer 不會執行}F. defer 表達式的調用順序是按照先進后出的方式執行
defer 表達式會被放入一個類似于棧( stack )的結構，所以調用的順序是先進后出/后進先出的。
下面這段代碼輸出的結果是 4321 而不是 1234 。
package mainimport ( "fmt")func main() { defer fmt.Print(1) defer fmt.Print(2) defer fmt.Print(3) defer fmt.Print(4)}總結
以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，如果有疑問大家可以留言交流，謝謝大家對VEVB武林網的支持。
新聞熱點
疑難解答
