Go語言defer的使用

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

轉載：http://cloudnil.com/2014/05/19/defer-in-go/

Go語言中沒有類似於java中的try…catch…finally的語句塊，但是卻有一個非常優雅的defer。

defer關鍵字用來標記最後執行的Go語句，一般用在資源釋放、關閉串連等操作，會在函數關閉前調用。

多個defer的定義與執行類似於棧的操作：先進後出，最先定義的最後執行。

在defer的使用中，碰到過許多坑，尤其是在defer與匿名函數搭配使用的時候，本文就來講講這些坑。

請先看下邊幾段代碼，然後判斷一下各自輸出內容：

1234567891011121314151617181920212223242526272829303132

#範例程式碼一：func funcA() int {    x := 5    defer func() {        x += 1    }()    return x}#範例程式碼二：func funcB() (x int) {    defer func() {        x += 1    }()    return 5}<!--more-->#範例程式碼三：func funcC() (y int) {    x := 5    defer func() {        x += 1    }()    return x} #範例程式碼四：func funcD() (x int) {    defer func(x int) {        x += 1    }(x)    return 5}

將代碼運行一下試試看，相信有不少讀者都會發現自己給出的答案是錯誤的。

解析這幾段代碼，主要需要理解清楚以下幾點知識：
1、return語句的處理過程
return xxx 語句並不是一條原子指令，其在執行的時候會進行語句分解成 返回變數=xxx return，最後執行return
2、defer語句執行時機
上文說過，defer語句是在函數關閉的時候調用，確切的說是在執行return語句的時候調用，注意，是return 不是return xxx
3、函數參數的傳遞方式
Go語言中普通的函數參數的傳遞方式是值傳遞，即新辟記憶體拷貝變數值，不包括slice和map，這兩種類型是引用傳遞
4、變數賦值的傳遞方式
Go語言變數的賦值跟函數參數類似，也是值拷貝，不包括slice和map，這兩種類型是記憶體引用

按照以上原則，解析代碼：

123456789

#範例程式碼一：func funcA() int {    x := 5    temp=x      #temp變數表示未顯示聲明的return變數    func() {        x += 1    }()    return}

返回temp的值，在將x賦值給temp後，temp未發生改變，最終傳回值為5

12345678

#範例程式碼二：func funcB() (x int) {    x = 5    func() {        x += 1    }()    return}

返回x的值，先對其複製5，接著函數中改變為6，最終傳回值為6

123456789

#範例程式碼三：func funcC() (y int) {    x := 5    y = x       #這裡是值拷貝    func() {        x += 1    }()    return}

返回y的值，在將x賦值給y後，y未發生改變，最終傳回值為5

12345678

#範例程式碼四：func funcD() (x int) {    x := 5    func(x int) { #這裡是值拷貝        x += 1    }(x)    return}

返回x的值，傳遞x到匿名函數中執行的時候，傳遞的是x的拷貝，其內部修改不影響外部x的值，最終傳回值為5

可以看到，defer語句都插到了分解後的return語句前執行，結合賦值及參數值傳遞方式，可以很清晰的理解最後的結果。