3.7 Go語言中的異常處理(Panic和recovering)

基本文法

異常處理是程式健壯性的關鍵，往往開發人員的開發經驗的多少從異常部分處理上就能得到展現。如何适度的添加異常，往往是整個産品體驗成敗的關鍵。

Go語言中沒有Try Catch Exception機制，但是提供了panic-and-recover機制。

Panic

• 内置函數panic()
• 類似raise，能夠停止正常的流程
• 當函數内調用panic，正常的流程将被終止，defer函數仍然會被執行
• Panic引起的原因可以是主動調用，也可以是運作時錯誤，例如數組越界

Recover

• 内置函數，用于處理panic(panicking goroutine)
• 在defer函數中使用有意義，正常執行過程中，recover隻會傳回nil，而且沒有其他副作用
• 如果目前Goroutine(後面講到并發時會重點講解，這裡就是了解成程式的執行過程中)發生panicking，将自動捕獲panic值給recover，同時恢複正常執行

示例一：recover()使用方法

本示例主要說明如何捕獲異常，先來模拟一種異常情況，在一些項目中，經常有數組下标越界的情況，我們來人為構造一下

package main

import "fmt"

func MyPanic() {
    fmt.Println("Running in MyPanic...")
    var a[]int
    a[3] = 5
}

func main() {
    MyPanic()
}
           

此時運作程式，很明顯會出現如下問題：

Running in MyPanic...
panic: runtime error: index out of range [3] with length 0

goroutine 1 [running]:
main.MyPanic()
	/root/workspace/go/test_panic_recover_basic.go:14 +0x5e
main.main()
	/root/workspace/go/test_panic_recover_basic.go:18 +0x17
exit status 2
           

嘗試用recover進行異常處理

package main

import "fmt"

func MyPanic() {
    defer func() {
        if x := recover(); x != nil {
            fmt.Printf("[ERROR]: My panic handle error: %s\n", x)
        }
    }()

    fmt.Println("Running in MyPanic...")
    var a[]int
    a[3] = 5
}

func main() {
    MyPanic()
}
           

就上面的代碼進行一下分析：

• 首先增加了一個defer函數
• 在defer中，使用x := recover(); x != nil方式捕獲異常，如果擷取的值不為空，則證明有異常發生
• 擷取異常資訊時，直接用剛剛的變量就可以輸出詳細的錯誤資訊，執行結果如下所示

Running in MyPanic...
[ERROR]: My panic handle error: runtime error: index out of range [3] with length 0
           

執行個體二：panic()使用方法

本示例除了介紹panic()，還實作了一種統一的ErrorHandler方法(有點像Python中的裝飾器)，來統一處理函數的異常

package main

import "fmt"

func ErrorHandler(f func()) (b bool) {
    defer func() {
        if x := recover(); x != nil {
            fmt.Printf("[ERROR]Handle error here: %s\n", x)
            b = true
        }
    }()
    f()
    return
}

func CallPanic() {
    panic("Call panic")
}

func main() {
    fmt.Println(ErrorHandler(CallPanic))
}
           

我們來對代碼進行一下分析：

• 定義了兩個函數，一個是CallPanic()産生異常，一個是ErrorHandler()來捕獲所有函數的異常
• CallPanic()邏輯很簡單，就是用panic()内置函數産生異常，後面的參數就是異常的具體内容
• ErrorHandler的參數是一個函數，也就是利用函數作為值的特性，而傳回值為bool類型
• ErrorHandler中對于異常捕獲與示例一種相同，利用defer函數完成，而在函數體内，執行被調用的函數f()
• 從執行結果來看，ErrorHandler中輸出了Call panic的異常和傳回結果true