深入理解Go中defer的機制

更新時間：2025年02月05日 09:05:31 作者：叫我DPT

本文主要介紹了Go中defer的機制,包括執(zhí)行順序、參數(shù)預計算、閉包和與返回值的交互,具有一定的參考價值,感興趣的可以了解一下

defer 是 Go 語言中用于延遲執(zhí)行函數(shù)調(diào)用的關(guān)鍵字，常用于資源清理（如關(guān)閉文件、釋放鎖）和異常處理。但其行為機制存在一些隱蔽的細節(jié)，稍有不慎可能導致難以察覺的 Bug。本文通過多個直觀示例，深入剖析 defer 的核心機制。

一、defer 的執(zhí)行順序：后進先出（LIFO）

多個 defer 語句按逆序執(zhí)行，類似于棧的“后進先出”原則。

示例：多個 defer 的執(zhí)行順序

func main() {
    defer fmt.Println("defer 1")
    defer fmt.Println("defer 2")
    fmt.Println("main 邏輯")
}

輸出：

main 邏輯
defer 2
defer 1

結(jié)論：

defer 語句按注冊順序的逆序執(zhí)行，確保依賴資源按正確順序釋放（如先打開的文件后關(guān)閉）。

二、defer 的參數(shù)預計算：值拷貝的陷阱

defer 的參數(shù)在注冊時即被預計算并拷貝，而非執(zhí)行時動態(tài)獲取。

示例：參數(shù)預計算的影響

func main() {
    x := 10
    defer fmt.Println("defer 中的 x:", x) // x 的值在注冊時被拷貝
    x = 20
    fmt.Println("main 中的 x:", x)
}

輸出：

main 中的 x: 20
defer 中的 x: 10

結(jié)論：

若參數(shù)是值類型（如 int、string），defer 會拷貝當前值，后續(xù)修改不影響已注冊的 defer。
若參數(shù)是指針或引用類型（如 *int、slice），拷貝的是地址，后續(xù)修改會影響 defer 的執(zhí)行結(jié)果。

三、defer 與閉包：動態(tài)綁定的變量

defer 函數(shù)若使用外部變量（閉包），會引用變量的最新值，而非注冊時的值。

示例：閉包中的變量綁定

func main() {
    x := 10
    defer func() {
        fmt.Println("defer 中的 x:", x) // 閉包引用最新值
    }()
    x = 20
    fmt.Println("main 中的 x:", x)
}

輸出：

main 中的 x: 20
defer 中的 x: 20

結(jié)論：

閉包中的變量在 defer 執(zhí)行時才求值，因此會反映變量的最終狀態(tài)。
若需固定閉包中的值，需在注冊時通過參數(shù)傳遞（如 defer func(a int) { ... }(x)）。

四、defer 與返回值：隱式的賦值邏輯

defer 中修改返回值的行為取決于返回值的定義方式（值返回 vs 指針返回）。

示例 4：值返回與指針返回的差異

// 值返回：defer 修改不影響返回值
func f1() int {
    x := 10
    defer func() { x++ }()
    return x // 實際返回的是 x 的拷貝
}

// 指針返回：defer 修改影響返回值
func f2() *int {
    x := 10
    defer func() { x++ }()
    return &x // 返回 x 的地址
}

func main() {
    fmt.Println(f1()) // 輸出 10
    fmt.Println(*f2()) // 輸出 11
}

結(jié)論：