Golang中defer、return、傳回值之間執行順序的坑

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

Go語言中延遲函數defer充當著 cry...catch 的重任，使用起來也非常簡便，然而在實際應用中，很多gopher並沒有真正搞明白defer、return和傳回值之間的執行順序，從而掉進坑中，今天我們就來揭開它的神秘面紗！

先來運行下面兩段代碼：

A. 無名傳回值的情況

package mainimport ("fmt")func main() {fmt.Println("return:", a()) // 列印結果為 return: 0}func a() int {var i intdefer func() {i++fmt.Println("defer2:", i) // 列印結果為 defer: 2}()defer func() {i++fmt.Println("defer1:", i) // 列印結果為 defer: 1}()return i}

B. 有名傳回值的情況

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

先來假設出結論，協助大家理解原因：

1. 多個defer的執行順序為“後進先出”；

2. defer、return、傳回值三者的執行邏輯應該是：return最先執行，return負責將結果寫入傳回值中；接著defer開始執行一些收尾工作；最後函數攜帶當前傳回值退出。

如何解釋兩種結果的不同：

上面兩段代碼的返回結果之所以不同，其實從上面第2條結論很好理解。

a()int 函數的傳回值沒有被提前聲名，其值來自於其他變數的賦值，而defer中修改的也是其他變數，而非傳回值本身，因此函數退出時傳回值並沒有被改變。

b()(i int) 函數的傳回值被提前聲名，也就意味著defer中是可以調用到真實傳回值的，因此defer在return賦值傳回值 i 之後，再一次地修改了 i 的值，最終函數退出後的傳回值才會是defer修改過的值。

C. 下面我們再來看第三個例子，驗證上面的結論：

package mainimport ("fmt")func main() {fmt.Println("c return:", *(c())) // 列印結果為 c return: 2}func c() *int {var i intdefer func() {i++fmt.Println("c defer2:", i) // 列印結果為 c defer: 2}()defer func() {i++fmt.Println("c defer1:", i) // 列印結果為 c defer: 1}()return &i}

雖然 c()*int 的傳回值沒有被提前聲明，但是由於 c()*int 的傳回值是指標變數，那麼在return將變數 i 的地址賦給傳回值後，defer再次修改了 i 在記憶體中的實際值，因此函數退出時傳回值雖然依舊是原來的指標地址，但是其指向的記憶體實際值已經被成功修改了。

即，我們假設的結論是正確的！