Exception Safety

释义 Definition

（编程，尤指 C++）异常安全：指代码在发生异常（exception）时，仍能保持程序状态的正确性与可预测性，不泄漏资源、不破坏数据结构，并满足一定的“保证等级”（如基本保证、强保证、无抛出保证）。

发音 Pronunciation (IPA)

/ɪkˈsɛpʃən ˈseɪfti/

例句 Examples

Writing exception safety into your code prevents resource leaks when something goes wrong.
在代码中保证异常安全，可以在出错时防止资源泄漏。

To provide strong exception safety, the function updates shared state only after all operations that may throw have completed successfully.
为了提供强异常安全，函数会在所有可能抛出异常的操作都成功完成之后，才更新共享状态。

词源 Etymology

exception 来自拉丁语 exceptio（“例外、排除”），在现代编程语境中指“异常/异常事件”；safety 来自古法语 sauf/salv 相关词根，表示“安全、无害”。组合成 exception safety，用于描述“面对异常时仍保持安全与一致”的代码性质，尤其在 C++ 社区与工程实践中成为重要术语。

相关词 Related Words

• Exception
• Safety
• RAII
• Strong Guarantee
• Basic Guarantee
• No-throw Guarantee
• Resource Management
• Stack Unwinding
• Try-catch

文学与著作中的用例 Literary Works

• The C++ Programming Language（Bjarne Stroustrup）——讨论异常机制与资源管理时涉及异常安全思想。
• *Effective C++*（Scott Meyers）——在条款中强调异常安全与资源管理（常与 RAII 一起出现）。
• *Exceptional C++*（Herb Sutter）——以“异常”为核心主题，系统讲解异常安全与保证等级。
• C++ Core Guidelines（Stroustrup & Sutter）——指南中多处提及异常安全的实践建议与模式。