2.3 函数、defer 与 panic 恢复

2.3 函数、defer 与 panic 恢复

本节摘要：Go 的函数是一等公民：多返回值让错误随数据一起返回，命名返回值给裸 return 语义，可变参数吸收切片，匿名函数与闭包让行为可以当值传递。defer 把"清理动作"钉在函数出口按后进先出执行，panic/recover 则是最后的熔断机制。本节讲清这三组机制的精确语义与工程边界。

核心问题

阅读完本节，你应当能够：

1. 用多返回值与命名返回值写出地道的 Go 函数签名；
2. 解释 defer 的求值时机与执行顺序；
3. 用匿名函数与闭包构造计数器、装饰器式逻辑；
4. 说明 panic 的传播路径与 recover 生效的条件；
5. 判断一个场景该用 error 返回还是 panic。

一、函数签名：多返回值是设计而不是技巧

func divide(a, b float64) (float64, error) {
    if b == 0 {
        return 0, fmt.Errorf("除数为零")
    }
    return a / b, nil
}

// 可变参数：args 在函数内是切片
func sum(nums ...int) int {
    total := 0
    for _, n := range nums {
        total += n
    }
    return total
}
​

多返回值的价值在第 4 章错误处理里会全面展开，这里先立一个观念：返回值列表是函数契约的一部分，(T, error) 这种"值加错误"的签名是 Go 世界的通用货币。可变参数必须放在最后，调用时传切片要加省略号展开：sum(nums...)。

命名返回值把返回变量提前声明，裸 return 返回当前值。它有两个真实用途：一是在 defer 里修改返回值（后面马上看到），二是在长函数里省掉重复的变量声明。但滥用会让"返回了什么"变得难追，我建议只在 defer 改写返回值的场景使用。

二、defer：出口处的清理队列

func readFile(path string) error {
    f, err := os.Open(path)
    if err != nil {
        return err
    }
    defer f.Close() // 无论从哪个return离开，都会执行
    // ... 正常读写逻辑
    return nil
}
​

三条精确语义必须刻进肌肉：

1. 参数立即求值。defer 后面函数的参数在 defer 语句执行那一刻就定死，不是运行时才算。
2. 后进先出。多个 defer 像栈，最后注册的最先执行——正好匹配"后打开的资源先关闭"的自然顺序。
3. 函数返回前执行。确切说是返回值赋值之后、真正返回之前，所以 defer 里能通过命名返回值改写最终结果。

图：defer 的栈式执行

⚠️ 常见坑：循环里 defer 文件关闭。defer 绑定的是函数退出而不是块退出，一千次循环会攒一千个未执行的关闭动作，文件描述符当场爆掉。解法是把循环体抽成函数，或在循环内显式关闭。

三、匿名函数与闭包：行为即数据

counter := func() func() int {
    count := 0
    return func() int {
        count++ // 捕获外层变量，是引用不是拷贝
        return count
    }
}()

fmt.Println(counter(), counter(), counter()) // 1 2 3
​

闭包捕获的是变量的引用，所以多个闭包共享同一变量时会产生联动——第 5 章并发章节里"循环变量捕获"导致 goroutine 全拿到同一个值的事故，根源就在这里。函数还能当参数与返回值传递，标准库的排序接口就接收一个比较函数，这是没有继承的语言里做策略注入的标准姿势。

四、panic 与 recover：熔断与兜底

panic 是不可恢复错误的信号：数组越界、空指针解引用、断言失败，或你自己主动调用。它会沿调用栈向上展开，逐层执行各函数已注册的 defer，没人拦截就崩溃退出。recover 是唯一的拦截手段，且只在 defer 的函数里直接调用才有效：

func safeWork() (result int, err error) {
    defer func() {
        if r := recover(); r != nil {
            err = fmt.Errorf("内部异常已恢复: %v", r) // 改写命名返回值
        }
    }()
    panic("boom")
}
​

注意 recover 被"直接调用在 defer 的函数内"这个限定——包一层普通函数再调用 recover 会拿到 nil，这是面试常客。

什么时候用哪个？我的边界很清楚：业务可预期的失败走 error 返回（文件不存在、网络超时、参数非法），程序员的 bug 与不变量崩坏走 panic（数组该有元素却没有）。库代码几乎永远不该替调用方 panic；框架最外层（HTTP 服务的中间件）用 recover 兜住 panic 转 500，防止一个请求拖死整个进程。

五、机制对照表

💡 关键直觉：defer 管"怎么退场"，error 管"能不能继续"，panic 管"还能不能信自己"。三者各司其职，混用任何两个都是设计味道。

六、一次调用的时间线

再补三个进阶细节。defer 的开销：早期版本 defer 较重，新版本对常见形态做了开放编码优化（近乎零成本），但"循环里攒 defer"的害处与速度无关，是资源滞留问题。recover 后的执行流：recover 所在的 defer 函数正常返回，被 panic 打断的那个函数"假装正常返回"（返回命名返回值的当前值），上层若无感继续跑——所以恢复后一定要把错误信息传出去，别静默吞掉。panic 里带什么：惯例是带一个字符串或错误值，带复杂结构没有意义——它只该被打印，不该被解析。

重点提炼

• 多返回值是错误处理契约的载体，(T, error) 是通用签名。
• 可变参数收成切片，传切片要加省略号展开。
• defer 三语义：参数立即求值、后进先出、返回前执行；可在命名返回值上改写结果。
• 循环内 defer 是事故高发区，抽函数或显式关闭。
• 闭包按引用捕获，跨 goroutine 使用要警惕。
• recover 只在 defer 函数内直接调用有效；业务失败用 error，崩坏才 panic。
• 框架边缘 recover 兜底，防单请求拖垮进程。

下一章进入数据建模：切片、map、指针、方法与接口。