在java或php等不少面向对象的语言中, 异常处理是依靠throw、catch来进行的。在go语言中,panic和recover函数在做用层面分别对等throw和catch语句,固然也存在不一样之处。php
从设计层面来看,panic和recover函数适用于那些真正的异常(例如整数除0),而throw catch finally机制经常被用来处理一些业务层面的自定义异常。所以在go语言中,panic和recover要慎用。java
上述两种异常机制的使用中,在处理异常时控制流程
的走向也是类似的。数组
下面将分别举例说明:函数
try catch finally机制设计
try{ throw new Exception(); } catch(Exception $e) { do something ... } finally { }
这种机制中,咱们把可能抛出异常的语句或抛出自定义异常的语句放置到try语句块中,而在catch块中,咱们将上述语句抛出的异常捕获,针对不一样的异常进行报警或log等处理。以后,控制流程进入到finally语句块中。若没有finally语句,控制流程将进入到catch以后的语句中。也就是说,在这种机制中,控制流程是转移到同一层级中异常捕获以后的语句中。code
panic recover defer机制对象
在go的异常机制中,panic能够将原有的控制流程中断,进入到一个"恐慌"流程。这种恐慌流程能够显式调用panic()函数产生或者由运行时错误产生(例如访问越界的数组下标)。panic会在调用它的函数中向本层和它的全部上层逐级抛出,若一直没有recover将其捕获,程序退出后会产生crash;若在某层defer语句中被recover捕获,控制流程将进入到recover以后的语句中。进程
/* example 1 */ package main import ( "fmt" ) func f() { defer func() { fmt.Println("b") if err := recover();err != nil { fmt.Println(err) } fmt.Println("d") }() fmt.Println("a") panic("a bug occur") fmt.Println("c") } func main() { f() fmt.Println("x") }
在上述举例中,输出结果为:io
a b a bug occur d x
这说明,在f函数中抛出的panic被本身defer语句中的recover捕获,而后控制流程进入到recover以后的语句中,即打印d、打印x,以后进程正常退出。import
/* example 2 */ package main import ( "fmt" ) func g() { defer func() { fmt.Println("b") if err := recover();err != nil { fmt.Println(err) } fmt.Println("d") }() f() fmt.Println("e") } func f() { fmt.Println("a") panic("a bug occur") fmt.Println("c") } func main() { g() fmt.Println("x") }
上述案例的输出结果是:
a b a bug occur d x
进程经历了这样一个过程:f()中抛出panic,因为自身没有定义defer语句,panic被抛到g()中。g()的defer语句中定义了recover,捕获panic后并执行完defer剩余的语句,以后控制流程被转交到main()函数中,直至进程结束。