Go Wiki:PanicAndRecover

目录

Panic

panicrecover 函数的行为类似于其他一些语言中的异常和 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)
    }
}

参考

Defer、Panic 和 Recover

https://golang.ac.cn/ref/spec#Handling_panics

https://golang.ac.cn/ref/spec#Run_time_panics


此内容是 Go Wiki 的一部分。