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,golang,后端)