AI 辅助：Rust 错误处理模式：什么时候用 Result，什么时候该 panic

AI 辅助：Rust 错误处理模式：什么时候用 Result，什么时候该 panic

一、错误处理要先区分是否可恢复

Rust 的错误处理很明确：可恢复错误用 Result，不可恢复或程序逻辑错误才使用 panic。初学时容易把所有错误都 unwrap，代码跑样例没问题，一到真实输入就崩。生产级 Rust 代码应该让错误沿调用链清晰传播，并在边界处转换成用户能理解的信息。

Result<T, E> 表示函数可能成功返回 T，也可能失败返回 E。调用方必须处理两种情况。? 运算符可以简化错误传播，但前提是错误类型能转换。对于命令行工具、服务端接口和文件处理，绝大多数失败都应使用 Result。

二、传播链路：底层错误到用户提示要有转换

flowchart TD
    A[函数执行] --> B{是否可恢复}
    B -- 是 --> C[返回 Result]
    B -- 否 --> D[panic 或 abort]
    C --> E[上层处理]
    E --> F[用户可读错误]

三、配置读取示例：失败路径也要可维护

下面是一个读取配置文件的例子。文件不存在、格式错误都属于可恢复错误，应该返回给调用方。

use std::fs;

#[derive(Debug)]
enum ConfigError {
    Io(std::io::Error),
    Empty,
}

fn read_config(path: &str) -> Result<String, ConfigError> {
    let content = fs::read_to_string(path).map_err(ConfigError::Io)?;
    if content.trim().is_empty() {
        return Err(ConfigError::Empty);
    }
    Ok(content)
}

panic 适合表达“不应该发生”的程序错误，例如数组索引越界、内部状态不一致、测试断言失败。它不适合处理用户输入错误。用户输入错路径，程序崩溃是不友好的；内部不变量被破坏，panic 可以帮助尽快暴露 bug。

四、类型设计：应用层和库层的取舍不同

错误类型设计要避免过度复杂。小工具可以使用 anyhow 快速聚合上下文，库代码更适合使用自定义错误或 thiserror，让调用方能匹配具体错误。应用层关注可读性，库层关注可组合性。

还有一个好习惯：给错误加上下文。单纯的 “No such file or directory” 不如 “failed to read config from ./app.toml”。上下文能极大降低排障成本。错误处理不是写更多模板代码，而是让失败路径也可维护。

测试也要覆盖错误路径。很多 Rust 项目只测成功输入，结果真正部署后才发现配置缺失、权限不足和网络失败时提示混乱。把错误分支写进单元测试，可以强迫接口保持稳定，也能避免以后重构时把上下文信息删掉。

错误边界还要分层。底层模块保留具体错误，方便上层判断是重试、降级还是提示用户；命令行边界再把错误转换成一句可读信息和合适退出码。不要在底层直接打印错误，也不要在顶层丢掉原因链。这样既方便自动化调用，也方便人工排查。

unwrap 并非完全不能用，但应限制在测试、原型或确认不变量的地方。例如测试中构造临时文件失败可以直接 unwrap，业务路径读取用户文件就不应该这样处理。把 unwrap 的出现位置当作代码审查点，是提升 Rust 项目可靠性的简单办法。

生产落地补充：从能跑到可维护

从生产落地角度看，这类方案不能只停留在主流程。更关键的是把输入校验、失败分支、资源上限和回滚路径提前写清楚。主流程通常容易在演示环境里跑通，真正暴露问题的是异常输入、依赖抖动、并发放大和权限边界。一篇技术方案如果没有解释这些约束，读者很难判断它能否放进真实系统。

评估时建议先定义三类指标：正确性指标、稳定性指标和成本指标。正确性指标回答结果是否可信，稳定性指标回答失败时是否可控，成本指标回答持续运行是否划算。三类指标要同时进入验收清单，不能只用平均耗时或单次成功率证明方案有效。

实现层面还需要把观测数据留出来。日志至少包含请求标识、关键参数摘要、耗时、状态和错误类型；指标至少覆盖成功率、超时率、重试次数和队列长度；必要时再补 Trace 关联上下游调用。这样排查问题时不用靠猜，也能区分是代码逻辑、外部依赖还是容量配置导致的故障。

五、总结

Rust 中可恢复错误应使用 Result，不可恢复的逻辑错误才考虑 panic。少用 unwrap，为错误增加上下文，并根据应用层或库层选择合适的错误类型，是写生产级 Rust 的基础。