優化 Go 錯誤處理，魔改 Go recover 靠譜嗎？

煎魚發表於2022-07-09
優化Go

大家好，我是煎魚。

Go 的錯誤處理一直是表現最突出的一塊地方，許許多多的同學都提出了各種提案，例如：引入 try-catch、用 panic 代替 if err != nil、引入新的關鍵字等。但這些都被一一駁回了。

不過社群依然還沒放棄，週末看到有一個新的提案《proposal: runtime: add parameters to recover to only return specific types》挺有意思。

今天就由煎魚帶大家一起學習。

語法說明

Go 的 panic、recover、defer 的基本使用方式。如下程式碼：

package main

import "fmt"

func mayPanic() {
    panic("a problem")
}

func main() {

    defer func() {
        if r := recover(); r != nil {

            fmt.Println("Recovered. Error:\n", r)
        }
    }()

    mayPanic()

    fmt.Println("After mayPanic()")
}

輸出結果：

Recovered. Error:
 a problem

新提案

由於有 Go1 相容性保障，新提案是在原有的 recover 函式上動小手術。希望可以現在執行時的 recover 中加入引數，僅支援返回特定的型別。

函式簽名：

recover(except ...interface{})

案例程式碼：

defer func(){
    if err := recover(&MyError{}, &HelloError{}); err != nil {
        switch e := err.(type) {
        case *MyError:
            fmt.Println(e)
        case *HelloError:
            fmt.Println(e)
        }
    }
}

上面程式碼中，recover 函式只支援傳入 MyError 和 HelloError 的指標型別。再在處理邏輯中根據所傳入的錯誤型別，進行斷言分類，實際上去做不同的邏輯處理。

重點就是限定 recover 入參型別。

討論

有些小夥伴可能發現了，對比看看 PHP 的 try-catch 的用法，與前面的提案程式碼是不是有好幾分神似呢？

如下程式碼：

try {
    ...
}
catch (Exception $e) {
    echo $e->getMessage();
}
catch (InvalidArgumentException $e) {
    echo $e->getMessage();
}
catch (BarException $ex)
{
    echo $e->getMessage();
}
catch (FooException $ex)
{
    echo $e->getMessage();
}

本質上這個新的提案是想在不破壞 Go1 相容性的情況下，在 Go 中實現 try-catch 的方式。

社群在交流時，也發現了使用者在現有機制下可以自主實現 Go 的類 try-catch 的模式。

如下程式碼：

func Recover(expect ...interface{}) interface{} {
    if err := recover(); err != nil {
        if len(expect) == 0 {
            return err
        }
        rv1 := reflect.Indirect(reflect.ValueOf(err))
        for _, e := range expect {
            rv2 :=  reflect.Indirect(reflect.ValueOf(e))
            if rv1.Type() == rv2.Type() {
                return err
            }
        }
        panic(err)
    }
    return nil
}

這個自制方法的問題是每次 Recover panic 都會將堆疊深度增加 2。因此還是寄希望於 Go 官方能夠在執行時支援。

在 Go 標準庫的用途對比上，也有產生一定的作用，其涉及到的程式碼基本為：

標準庫中至少有以下地方可以複用：

總結

這個提案本質上是希望通過在 recover 函式中增加入參控制，再配合內部邏輯實現類似 Go 版本的 try-catch 的錯誤處理機制模型，且實際在 Go 標準庫中有複用的空間。

但現階段該提案也是贊同和反對參半，也有人認為可以使用者自己實現，那就沒必要加大複雜度，去做這個收益不夠大的實現。

你覺得這能補全 Go 錯誤處理的一些機制缺陷嗎？

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

Go 圖書系列

相關文章