Golang中panic的异常处理

前言

Golang中当程序发生致命异常时（比如数组下标越界，注意这里的异常并不是error），Golang程序会panic（运行时恐慌）。当程序发生panic时，程序会执行当前栈中的defer 函数列表。然后打印引发panic的具体信息，最后进程退出，本篇文章我们一起探讨Golang中的panic以及如何利用defer 和 recover 来恢复这种致命的异常

分析造成panic堆栈信息

func main() {
    f1()
    fmt.Println("main func end")
}

func f1() {
    fmt.Println("func f1 start")
    arr := []int{}
    fmt.Println(arr[10])
    fmt.Println("func f1 end")
}

上述代码中，我在main函数(主协程)中调用了f1函数，在调用完该函数后，我打印了「main func end」,程序如果正常执行的话会输出

func f1 start
func f1 end
main func end

很明显我们可以看出 f1 函数中，切片arr是没有索引为10的元素的，这个时候程序运行时会造成panic，下面是程序panic时，console打印的堆栈信息

func f1 start
panic: runtime error: index out of range [10] with length 0
goroutine 1 [running]:
main.f1()
/Users/carlos/go/src/test/demo01.go:15 +0x78
main.main()
/Users/carlos/go/src/test/demo01.go:8 +0x20
Process finished with the exit code 2

我们从堆栈中可以发现：

程序会在造成panic所处的位置终止

我们可以看到错误信息中只输出了 func f1 start

产生panic的原因

panic: runtime error: index out of range [10] with length 0

是哪里造成的panic

goroutine 1 [running] // 运行该程序的协程
main.f1()
/Users/carlos/go/src/test/demo01.go:15 +0x78 // f1 函数，当前demo01文件的低15行
main.main()
/Users/carlos/go/src/test/demo01.go:8 +0x20 // main 函数，当前文件的弟8行

从上面的panic详情我们可以看出，错误链是通过栈的形式展现出来的（mian函数先调用，然后在mian中调用f1）,所以大家以后在程序发生panic时查看堆栈信息时可以先看最上层的错误，因为这里是造成panic的根本原因

如何恢复panic造成的程序崩溃

Golang中提供了recover函数用来恢复因panic造成的程序崩溃。recover函数有一个返回值来告诉我们panic产生的具体原因。下面我们通过代码来进行演示

func main() {
    f1()
    r := recover()
    fmt.Printf("%s \n", r)
    fmt.Println("main func end")
}

func f1() {
    fmt.Println("func f1 start")
    arr := []int{}
    fmt.Println(arr[10])
    fmt.Println("func f1 end")
}

上述代码中我只是在调用f1函数的下一行调用了recover函数，这样一来我们的理想状态了能够恢复程序，让程序执行完main函数中剩下的代码（打印panic信息，最后打印 main func end）,当我们运行该程序的时候发现recover并没有起到作用,这是因为当f1造成panic时，f1下方的recover函数根本没有机会执行。

下面我将上述代码进行一个简单的改造：

func main() {
    defer func() {
        fmt.Println("defer func start")
        if r := recover(); r != nil {
            fmt.Printf("%s \n", r)
        }
        fmt.Println("defer func end")
    }()
    f1()
    fmt.Println("main func end")
}

func f1() {
    fmt.Println("func f1 start")
    arr := []int{}
    fmt.Println(arr[10])
    fmt.Println("func f1 end")
}

输出

func f1 start
defer func start
runtime error: index out of range [10] with length 0 
defer func end

上述代码中，我只是在main函数最开头添加了一个defer 函数，并在该函数中调用了recover函数。注意，我们在文章的最开头已经说明了，当程序发生panic时，程序会依次执行栈中的defer函数（关于defer函数请阅读官网描述）。所以当前程序发生panic时在进程退出之前会走到defer函数中执行recover函数，recover函数会恢复当前进程并打印错误信息。

这里我需要特别提醒你一点，最好将defer语句写在函数的最前面。如果上述例子我将f1的调用写在defer函数之前，你会发现recover函数还是没有执行

func main() {
    f1()
    defer func() {
        fmt.Println("defer func start")
        if r := recover(); r != nil {
            fmt.Printf("%s \n", r)
        }
        fmt.Println("defer func end")
    }()
    fmt.Println("main func end")
}

这是因为f1造成panic时，defer函数根本就没有压入函数调用栈中。

何时使用panic

当你的项目中特别依赖一些组件时，比如一些web项目中经常会在进程启动之前初始化一些mysql，mq句柄。这些实例对业务来说是非常重要的，所以当这些实例初始化失败时我们可以直接让当前程序panic（手动panic），然后及时发现问题并解决。这样总比你带着问题上线后，然后一批流入打入进来，客户端疯狂报错要好

Golang中手动调用panic：

func main() {
    initMysql()
}

func initMysql() {
    panic("init mysql failed") // panic可以接收一个interface类型的参数
}

到此这篇关于Golang中panic的异常处理的文章就介绍到这了,更多相关Golang panic内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

最新评论