Go Wiki:PanicAndRecover
目录
Panic
panic
和 recover
函数的行为类似于其他一些语言中的异常和 try/catch,因为 panic
会导致程序堆栈开始展开,而 recover
可以停止它。延迟函数在堆栈展开时仍然会执行。如果在这样的延迟函数中调用 recover
,堆栈将停止展开,并且 recover
会返回传递给 panic
的值(作为 interface{}
)。在非常情况下,运行时也会引发 panic,例如对数组或切片进行越界索引。如果 panic
导致堆栈在任何正在执行的 goroutine 之外展开(例如,main
或传递给 go
的顶级函数无法从中恢复),程序将退出,并显示所有正在执行的 goroutine 的堆栈跟踪。不同的 goroutine 无法 recover
panic
。
在软件包中的用法
根据惯例,不允许任何显式的 panic()
跨越软件包边界。应通过返回错误值向调用者指示错误条件。然而,在软件包中,尤其是当有对非导出函数的深度嵌套调用时,使用 panic 来指示应转换为调用函数的错误的错误条件(并提高可读性)可能很有用。下面是一个公认的人为构造的示例,说明嵌套函数和导出函数如何通过这种 panic-on-error 关系进行交互。
// A ParseError indicates an error in converting a word into an integer.
type ParseError struct {
Index int // The index into the space-separated list of words.
Word string // The word that generated the parse error.
Error error // The raw error that precipitated this error, if any.
}
// String returns a human-readable error message.
func (e *ParseError) String() string {
return fmt.Sprintf("pkg: error parsing %q as int", e.Word)
}
// Parse parses the space-separated words in input as integers.
func Parse(input string) (numbers []int, err error) {
defer func() {
if r := recover(); r != nil {
var ok bool
err, ok = r.(error)
if !ok {
err = fmt.Errorf("pkg: %v", r)
}
}
}()
fields := strings.Fields(input)
numbers = fields2numbers(fields)
return
}
func fields2numbers(fields []string) (numbers []int) {
if len(fields) == 0 {
panic("no words to parse")
}
for idx, field := range fields {
num, err := strconv.Atoi(field)
if err != nil {
panic(&ParseError{idx, field, err})
}
numbers = append(numbers, num)
}
return
}
为了演示行为,请考虑以下主函数
func main() {
var examples = []string{
"1 2 3 4 5",
"100 50 25 12.5 6.25",
"2 + 2 = 4",
"1st class",
"",
}
for _, ex := range examples {
fmt.Printf("Parsing %q:\n ", ex)
nums, err := Parse(ex)
if err != nil {
fmt.Println(err)
continue
}
fmt.Println(nums)
}
}
参考
https://golang.ac.cn/ref/spec#Handling_panics
https://golang.ac.cn/ref/spec#Run_time_panics
此内容是 Go Wiki 的一部分。