分析Go錯誤處理優(yōu)化go?recover機制缺陷

更新時間：2022年07月12日 15:20:01 作者：煎魚

這篇文章主要為大家介紹了分析Go錯誤處理優(yōu)化go?recover機制缺陷示例詳解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進步，早日升職加薪

引言

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

不過社區(qū)依然還沒放棄，周末看到有一個新的提案《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()")
}

輸出結(jié)果：

Recovered. Error:
a problem

新提案

由于有 Go1 兼容性保障，新提案是在原有的 recover 函數(shù)上動小手術(shù)。希望可以現(xiàn)在運行時的 recover 中加入?yún)?shù)，僅支持返回特定的類型。

函數(shù)簽名：

recover(except ...interface{})

案例代碼：

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

上面代碼中，recover 函數(shù)只支持傳入 MyError 和 HelloError 的指針類型。再在處理邏輯中根據(jù)所傳入的錯誤類型，進行斷言分類，實際上去做不同的邏輯處理。

重點就是限定 recover 入?yún)㈩愋汀?/p>

討論

有些小伙伴可能發(fā)現(xiàn)了，對比看看 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();
}

本質(zhì)上這個新的提案是想在不破壞 Go1 兼容性的情況下，在 Go 中實現(xiàn) try-catch 的方式。

社區(qū)在交流時，也發(fā)現(xiàn)了用戶在現(xiàn)有機制下可以自主實現(xiàn) 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 標(biāo)準(zhǔn)庫的用途對比上，也有產(chǎn)生一定的作用，其涉及到的代碼基本為：