Go 对错误处理的态度非常直白：错误就是一种值（Values），不是异常（Exceptions）。我们通过函数返回值来传递错误，并显式地检查它们。只有在真正的不可恢复情况（如数组越界）下，才会使用 panic。

示例代码

package main

import (
    "errors"
    "fmt"
)

// 定义一个除法函数，返回 result 和 error
func divide(a, b int) (int, error) {
    if b == 0 {
        // 使用 errors.New 创建一个简单的错误对象
        return 0, errors.New("cannot divide by zero")
    }
    return a / b, nil
}

// 演示 panic 和 recover
func safeCall() {
    // defer 必须在 panic 发生前定义
    defer func() {
        // recover() 捕获 panic，如果返回值不为 nil，说明发生了 panic
        if r := recover(); r != nil {
            fmt.Println("Recovered from panic:", r)
        }
    }()

    panic("Something went wrong terribly!")
    fmt.Println("This line will not execute")
}

func main() {
    // 1. 标准错误处理
    res, err := divide(10, 0)
    if err != nil {
        fmt.Println("Error:", err)
    } else {
        fmt.Println("Result:", res)
    }

    // 2. 演示从 panic 中恢复
    fmt.Println("Starting safeCall...")
    safeCall()
    fmt.Println("Program continues...")
}

关键点解释

error 接口

Go 内置的 error 是一个接口，只包含一个方法 Error() string。 * errors.New("msg")：创建一个简单错误。 * fmt.Errorf("code %d", 500)：创建格式化的错误消息。

处理流程

习惯写法是：

result, err := someFunction()
if err != nil {
    // 处理错误（返回、日志、重试等）
    return err
}
// 正常逻辑

这种卫语句（Guard Clause）风格让正常逻辑保持在最左侧，避免了嵌套地狱。

Panic 和 Recover

  • Panic：导致程序崩溃，打印堆栈信息。一般用于逻辑无法继续执行的情况。

  • Recover：仅在 defer 函数中有效。可以捕获 panic，阻止程序崩溃，类似于 Java 的 catch。

小结

显式的错误检查虽然增加了一些代码量，但它迫使开发者在编写代码时就考虑错误情况，从而构建出更加健壮的系统。

练习题

  1. 编写一个函数，打开一个不存在的文件（使用 os.Open），并打印返回的错误信息。

  2. 定义一个自定义错误类型（结构体），包含 Code 和 Msg 字段，实现 error 接口。

相关阅读