Go 錯誤處理新思路?用左側函式和表示式

煎魚發表於2022-05-31

大家好,我是煎魚。

錯誤處理一直是 Go 一個很有爭議的地方,大家在該類提案上貢獻了各種各樣的想法。在五一假期期間,我也發現了一個有趣的技術提案,那就是:左側函式;還有 Go+ 的新思路。

今天就由煎魚帶大家一起來看看。

Go 新提案:左側函式

在現有 Go1 的錯誤處理機制下,我們一般處理錯誤都需要寫大量的 if err != nil 的邏輯。

有人笑稱 100 行裡有 50 行是以下程式碼:

func main() {
 x, err := foo()
 if err != nil {
   // handle error
 }
 y, err := foo()
 if err != nil {
   // handle error
 }
 z, err := foo()
 if err != nil {
   // handle error
 }
 s, err := foo()
 if err != nil {
   // handle error
 }
}

於是在社群裡有多位小夥伴就提出了左側函式這種想法。

希望藉此來解決錯誤處理的問題,減少每次多寫的 3 行左右的程式碼,實現一致的錯誤處理方法。

涉及如下提案:

提案中的新程式碼如下:

fmt.Errof("%v, %w", a, err) := simple()

簡化寫法:

errorHandle(err) = io.Copy(w, r)

新的處理思路,就是加一層(萬能的軟體架構處理方式),用左側函式來處理所有的錯誤。

Go+:錯誤表示式

與 Go 有關係的一員:Go+,也做出了自己的《ErrWrap expressions》錯誤處理方案,在前面的提案中有一定的人進行了討論,因此大家可以一起評估看看。

表示式介紹

核心的思路是對錯誤處理增加了表示式的語法機制。如下:

expr! // panic if err
expr? // return if err
expr?:defval // use defval if err

下面我們一個個展開介紹。

表示式 expr! 檢查 valN 是否為零。如果沒有,它會恐慌。對應的 Go 程式碼:

val1, val2, ..., valN1, valN := expr
if valN != nil {
    panic(errors.NewFrame(valN, ...))
}
val1, val2, ..., valN1 // value of `expr!`

表示式 expr? 檢查 valN 是否為 nil,如果不是,它將返回錯誤。對應的 Go 程式碼:

val1, val2, ..., valN1, valN := expr
if valN != nil {
    _ret_err = errors.NewFrame(valN, ...)
    return
}
val1, val2, ..., valN1 // value of `expr?`

表示式 expr?:defval 檢查 valN 是否為 nil。如果不是,它使用 defval 作為expr的值。對應的 Go 程式碼:

val1, val2 := expr
if val2 != nil {
    val1 = defval
}
val1 // value of `expr?:defval`

演示程式碼

具體的示例程式碼:

import (
    "strconv"
)

func add(x, y string) (int, error) {
    return strconv.Atoi(x)? + strconv.Atoi(y)?, nil
}

func addSafe(x, y string) int {
    return strconv.Atoi(x)?:0 + strconv.Atoi(y)?:0
}

println(`add("100", "23"):`, add("100", "23")!)

sum, err := add("10", "abc")
println(`add("10", "abc"):`, sum, err)

println(`addSafe("10", "abc"):`, addSafe("10", "abc"))

輸出結果:

add("100", "23"): 123
add("10", "abc"): 0 strconv.Atoi: parsing "abc": invalid syntax

===> errors stack:
main.add("10", "abc")
    /Users/xsw/goplus/tutorial/15-ErrWrap/err_wrap.gop:6 strconv.Atoi(y)?

addSafe("10", "abc"): 10

基於表示式進行錯誤處理的機制優化之餘,還增加了錯誤堆疊的資訊跟蹤。

總結

今天這篇文章中,我們針對 Go 現在 “焦頭爛額” 的錯誤處理機制的提案進行了討論,前有 try-catch、panic 替代等,現有左側函式、表示式等新的思路。

你覺得這幾種錯誤處理方式怎麼樣呢,可以解決不?

歡迎在評論區和留言和交流。

文章持續更新,可以微信搜【腦子進煎魚了】閱讀,本文 GitHub github.com/eddycjy/blog 已收錄,學習 Go 語言可以看 Go 學習地圖和路線,歡迎 Star 催更。

閱讀更多

Go 圖書系列

相關文章