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

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

寫go有一段時間了,雖然也能完成一些api的和一些功能的開發。但是離成為一名真正的Go 開發人員還很遠。

今天就總結下Go語言中的錯誤處理吧。對於初學者來說很重要。Go語言中延遲函數defer充當著 try…catch 的重任，使用起來也非常簡便，然而在實際應用中，很多gopher並沒有真正搞明白defer、return和傳回值之間的執行順序，從而掉進坑中 。

匿名傳回值的情況：

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

12345678910111213141516171819202122

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

非匿名傳回值的情況:

package main import ( "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 效果相同}

123456789101112131415161718192021

package main import (    "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 效果相同}

1. 多個defer的執行順序為“後進先出”；
2. 所有函數在執行RET返回指令之前，都會先檢查是否存在defer語句，若存在則先逆序調用defer語句進行收尾工作再退出返回；
3. 匿名傳回值是在return執行時被聲明，有名傳回值則是在函式宣告的同時被聲明，因此在defer語句中只能訪問有名傳回值，而不能直接存取匿名傳回值；
4. return其實應該包含前後兩個步驟：第一步是給傳回值賦值（若為有名傳回值則直接賦值，若為匿名傳回值則先聲明再賦值）；第二步是調用RET返回指令並傳入傳回值，而RET則會檢查defer是否存在，若存在就先逆序插播defer語句，最後RET攜帶傳回值退出函數；

因此，defer、return、傳回值三者的執行順序應該是：return最先給傳回值賦值；接著defer開始執行一些收尾工作；最後RET指令攜帶傳回值退出函數。

a()int 函數的傳回值沒有被提前聲名，其值來自於其他變數的賦值，而defer中修改的也是其他變數（其實該defer根本無法直接存取到傳回值），因此函數退出時傳回值並沒有被修改。

b()(i int) 函數的傳回值被提前聲名，這使得defer可以訪問該傳回值，因此在return賦值傳回值 i 之後，defer調用傳回值 i 並進行了修改，最後致使return調用RET退出函數後的傳回值才會是defer修改過的值。

package main import ( "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}

1234567891011121314151617181920212223

package main import (    "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退出函數時傳回值雖然依舊是原來的指標地址，但是其指向的記憶體實際值已經被成功修改了。

參考：http://my.oschina.net/henrylee2cn/blog/505535

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