第7章展开（Unwinding） on 编程那些事儿

7.1 异常安全

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

原文链接: https://doc.rust-lang.org/nomicon/exception-safety.html

　　尽管程序应谨慎使用展开，仍有大量代码可能 panic。若你对 None 调用 unwrap、越界索引或除以 0，程序就会 panic。在 debug 构建中，每个算术运算在溢出时都可能 panic。除非你非常小心并严格控制运行的代码，否则几乎任何东西都可能展开，你需要做好准备。

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

原文链接: https://doc.rust-lang.org/nomicon/poisoning.html

　　尽管所有 unsafe 代码必须保证最低限度的异常安全，但并非所有类型都保证最大异常安全。即使类型本身保证了，你的代码也可能赋予它额外语义。例如，整数当然具备异常安全，但本身没有语义；panic 的代码可能未能正确更新该整数，导致程序状态不一致。