首頁 > 軟體

Go程式設計師踩過的defer坑錯誤處理

2022-06-15 18:02:25

前言

先宣告：我被坑過。

之前寫 Go 專欄時，寫過一篇文章：Go 專欄｜錯誤處理：defer，panic 和 recover。有小夥伴留言說：道理都懂，但還是不知道怎麼用，而且還總出現莫名奇妙的問題。

出問題就對了，這個小東西壞的很，一不留神就出錯。

所以，面對這種情況，我們今天就不講道理了。直接把我珍藏多年的程式碼一把梭，憑藉多年踩坑經歷和寫 BUG 經驗，我要站著把這個坑邁過去。

一、簡單的例子

先來一個簡單的例子熱熱身：

package main
import (
    "fmt"
)
func main() {
    defer func() {
        fmt.Println("first")
    }()
    defer func() {
        fmt.Println("second")
    }()
    fmt.Println("done")
}

輸出：

done
second
first

這個比較簡單，defer 語句的執行順序是按呼叫 defer 語句的倒序執行。

二、一定不要在 for 迴圈中使用 defer 語句

看看這段程式碼有什麼問題？

for _, filename := range filenames {
    f, err := os.Open(filename)
    if err != nil {
        return err
    }
    defer f.Close()
}

這段程式碼其實很危險，很可能會用盡所有檔案描述符。因為 defer 語句不到函數的最後一刻是不會執行的，也就是說檔案始終得不到關閉。所以切記，一定不要在 for 迴圈中使用 defer 語句。

那怎麼優化呢？可以將回圈體單獨寫一個函數，這樣每次迴圈的時候都會呼叫關閉函數。

如下：

for _, filename := range filenames {
    if err := doFile(filename); err != nil {
        return err
    }
}
func doFile(filename string) error {
    f, err := os.Open(filename)
    if err != nil {
        return err
    }
    defer f.Close()
}

三、定義函數時就不要使用命名返回值

看看這三個函數的輸出結果是什麼？

package main
import (
    "fmt"
)
func a() (r int) {
    defer func() {
        r++
    }()
    return 0
}
func b() (r int) {
    t := 5
    defer func() {
        t = t + 5
    }()
    return t
}
func c() (r int) {
    defer func(r int) {
        r = r + 5
    }(r)
    return 1
}
func main() {
    fmt.Println("a = ", a())
    fmt.Println("b = ", b())
    fmt.Println("c = ", c())
}

公佈答案：

a =  1
b =  5
c =  1

你答對了嗎？

說實話剛開始看到這個結果時，我是相當費解，完全不知道怎麼回事。

但可以看到，這三個函數都有一個共同特點，它們都有一個命名返回值，並且都在函數中參照了這個返回值。

參照的方式分兩種：分別是閉包和函數引數。

先看 a() 函數：

閉包通過 r++ 修改了外部變數，返回值變成了 1。

相當於：

func aa() (r int) {
    r = 0
    // 在 return 之前，執行 defer 函數
    func() {
        r++
    }()
    return
}

再看 b() 函數：

閉包內修改的只是區域性變數 t，而外部變數 t 不受影響，所以還是返回 5。

相當於：

func bb() (r int) {
    t := 5
    // 賦值
    r = t
    // 在 return 之前，執行 defer 函數
    // defer 函數沒有對返回值 r 進行修改，只是修改了變數 t
    func() {
        t = t + 5
    }()
    return
}

最後是 c 函數：

引數傳遞是值拷貝，實參不受影響，所以還是返回 1。

相當於：

func cc() (r int) {
    // 賦值
    r = 1
    // 這裡修改的 r 是函數形參的值
    // 值拷貝，不影響實參值
    func(r int) {
        r = r + 5
    }(r)
    return
}

那麼，為了避免寫出這麼令人意外的程式碼，最好在定義函數時就不要使用命名返回值。或者如果使用了，就不要在 defer 中參照。

再看下面兩個例子：

func d() int {
    r := 0
    defer func() {
        r++
    }()
    return r
}
func e() int {
    r := 0
    defer func(i int) {
        i++
    }(r)
    return 0
}

d =  0
e =  0

返回值符合預期，再也不用絞盡腦汁猜了。

四、defer 表示式的函數如果在 panic 後面，則這個函數無法被執行。

func main() {
    panic("a")
    defer func() {
        fmt.Println("b")
    }()
}

輸出如下，b 沒有列印出來。

panic: a
goroutine 1 [running]:
main.main()
    xxx.go:87 +0x4ce
exit status 2

而如果 defer 在前，則可以執行。

func main() {
    defer func() {
        fmt.Println("b")
    }()
    panic("a")
}

輸出：

b
panic: a
goroutine 1 [running]:
main.main()
    xxx.go:90 +0x4e7
exit status 2

五、執行順序

看看下面這段程式碼的執行順序：

func G() {
    defer func() {
        fmt.Println("c")
    }()
    F()
    fmt.Println("繼續執行")
}
func F() {
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("捕獲異常:", err)
        }
        fmt.Println("b")
    }()
    panic("a")
}
func main() {
    G()
}

順序如下：

  • 呼叫 G() 函數；
  • 呼叫 F() 函數；
  • F() 中遇到 panic，立刻終止，不執行 panic 之後的程式碼；
  • 執行 F() 中 defer 函數，遇到 recover 捕獲錯誤，繼續執行 defer 中程式碼，然後返回；
  • 執行 G() 函數後續程式碼，最後執行 G() 中 defer 函數。

輸出：

捕獲異常: a
b
繼續執行
c

五、捕獲異常執行順序

看看下面這段程式碼的執行順序：

func G() {
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("捕獲異常:", err)
        }
        fmt.Println("c")
    }()
    F()
    fmt.Println("繼續執行")
}
func F() {
    defer func() {
        fmt.Println("b")
    }()
    panic("a")
}
func main() {
    G()
}

順序如下：

  • 呼叫 G() 函數；
  • 呼叫 F() 函數；
  • F() 中遇到 panic，立刻終止，不執行 panic 之後的程式碼；
  • 執行 F() 中 defer 函數，由於沒有 recover，則將 panic 拋到 G() 中；
  • G() 收到 panic 則不會執行後續程式碼，直接執行 defer 函數；
  • defer 中捕獲 F() 丟擲的異常 a，然後繼續執行，最後退出。

輸出：

b
捕獲異常: a
c

六、函數執行順序

看看下面這段程式碼的執行順序：

func G() {
    defer func() {
        fmt.Println("c")
    }()
    F()
    fmt.Println("繼續執行")
}
func F() {
    defer func() {
        fmt.Println("b")
    }()
    panic("a")
}
func main() {
    G()
}

順序如下：

  • 呼叫 G() 函數；
  • 呼叫 F() 函數；
  • F() 中遇到 panic，立刻終止，不執行 panic 之後的程式碼；
  • 執行 F() 中 defer 函數，由於沒有 recover，則將 panic 拋到 G() 中；
  • G() 收到 panic 則不會執行後續程式碼，直接執行 defer 函數；
  • 由於沒有 recover，直接丟擲 F() 拋過來的異常 a，然後退出。

輸出：

b
c
panic: a
goroutine 1 [running]:
main.F()
    xxx.go:90 +0x5b
main.G()
    xxx.go:82 +0x48
main.main()
    xxx.go:107 +0x4a5
exit status 2

七、外部函數捕獲異常執行順序

看看下面這段程式碼的執行順序：

func G() {
    defer func() {
        // goroutine 外進行 recover
        if err := recover(); err != nil {
            fmt.Println("捕獲異常:", err)
        }
        fmt.Println("c")
    }()
    // 建立 goroutine 呼叫 F 函數
    go F()
    time.Sleep(time.Second)
}
func F() {
    defer func() {
        fmt.Println("b")
    }()
    // goroutine 內部丟擲panic
    panic("a")
}
func main() {
    G()
}

順序如下：

  • 呼叫 G() 函數；
  • 通過 goroutine 呼叫 F() 函數；
  • F() 中遇到 panic，立刻終止，不執行 panic 之後的程式碼；
  • 執行 F() 中 defer 函數，由於沒有 recover，則將 panic 拋到 G() 中；
  • 由於 goroutine 內部沒有進行 recover，則 goroutine 外部函數，也就是 G() 函數是沒辦法捕獲的，程式直接崩潰退出。

輸出：

b
panic: a
goroutine 6 [running]:
main.F()
    xxx.go:96 +0x5b
created by main.G
    xxx.go:87 +0x57
exit status 2

八、recover 的返回值問題

defer func() {
    if err := recover(); err != nil {
        fmt.Println("捕獲異常:", err.Error())
    }
}()
panic("a")

recover 返回的是 interface {} 型別，而不是 error 型別，所以這樣使用的話會報錯：

err.Error undefined (type interface {} is interface with no methods)

可以這樣來轉換一下：

defer func() {
    if err := recover(); err != nil {
        fmt.Println("捕獲異常:", fmt.Errorf("%v", err).Error())
    }
}()
panic("a")

或者直接列印結果：

defer func() {
    if err := recover(); err != nil {
        fmt.Println("捕獲異常:", err)
    }
}()
panic("a")

輸出：

捕獲異常: a

以上就是本文的全部內容，其實寫過其他的語言的同學都知道，關閉檔案控制程式碼，釋放鎖等操作是很容易忘的。而 Go 語言通過 defer 很好地解決了這個問題，但在使用過程中還是要小心。

原始碼地址：https://github.com/yongxinz/gopher/tree/main/sc

以上就是Go程式設計師踩過的defer坑錯誤處理的詳細內容，更多關於Go defer錯誤處理的資料請關注it145.com其它相關文章！


相關文章

  • 德漢姆中學就讀條件 德漢姆中學就讀條件

    <em>Mac</em>Book项目 2009年学校开始实施<em>Mac</em>Book项目,所有师生配备一本<em>Mac</em>Book,并同步更新了校园无线网络。学校每周进行电脑技术更新,每月发送技术支持资料,极大改变了教学及学习方式。因此2011

    2021-06-01 09:32:01

  • 黑科技的輕簡出行，告別「電量焦慮症」：Anker氮化鎵超能充系列 黑科技的輕簡出行，告別「電量焦慮症」：Anker氮化鎵超能充系列

    综合看Anker超能充系列的性价比很高，并且与不仅和iPhone12/苹果<em>Mac</em>Book很配，而且适合多设备充电需求的日常使用或差旅场景，不管是安卓还是Switch同样也能用得上它，希望这次分享能给准备购入充电器的小伙伴们有所

    2021-06-01 09:31:42

  • 吳亦凡廠牌首秀，L4WUDU居然忘詞了，Rapper和明星比還是有差距！ 吳亦凡廠牌首秀，L4WUDU居然忘詞了，Rapper和明星比還是有差距！

    除了L4WUDU与吴亦凡已经多次共事，成为了明面上的厂牌成员，吴亦凡还曾带领20XXCLUB全队参加2020年的一场音乐节，这也是20XXCLUB首次全员合照，王嗣尧Turbo、陈彦希Regi、<em>Mac</em> Ova Seas、林渝植等人全部出场。然而让

    2021-06-01 09:31:34

  • IPFS、Chia、Bzz和ICP挖礦該怎麼選？哪一個更有優勢？ IPFS、Chia、Bzz和ICP挖礦該怎麼選？哪一個更有優勢？

    目前应用IPFS的机构：1 谷歌<em>浏览器</em>支持IPFS分布式协议 2 万维网 (历史档案博物馆)数据库 3 火狐<em>浏览器</em>支持 IPFS分布式协议 4 EOS 等数字货币数据存储 5 美国国会图书馆，历史资料永久保存在 IPFS 6 加

    2021-06-01 09:31:24

  • 有哪些事是買了雪佛蘭後才知道的？美事偷著樂，開拓者車主隨聊 有哪些事是買了雪佛蘭後才知道的？美事偷著樂，開拓者車主隨聊

    开拓者的车机是兼容苹果和<em>安卓</em>，虽然我不怎么用，但确实兼顾了我家人的很多需求：副驾的门板还配有解锁开关，有的时候老婆开车，下车的时候偶尔会忘记解锁，我在副驾驶可以自己开门：第二排设计很好，不仅配置了一个很大的

    2021-06-01 09:30:48

  • iPhone12在618最新定價，跌價幅度超過1400元，還等iPhone13嗎？ iPhone12在618最新定價，跌價幅度超過1400元，還等iPhone13嗎？

    不仅是<em>安卓</em>手机，苹果手机的降价力度也是前所未有了，iPhone12也“跳水价”了，发布价是6799元，如今已经跌至5308元，降价幅度超过1400元，最新定价确认了。iPhone12是苹果首款5G手机，同时也是全球首款5nm芯片的智能机，它

    2021-06-01 09:30:45

IT145.com E-mail:sddin#qq.com