在C++中，异常安全是编写健壮程序的关键部分。当异常发生时，程序应保持一致的状态，避免资源泄漏或数据损坏。下面从异常安全的三个级别出发，结合常见场景和最佳实践，给出实用的综合指南。
理解异常安全的三个级别异常安全通常分为三个层次，理解它们有助于评估和设计代码的可靠性：
- 基本保证：如果异常抛出，程序不会泄漏资源，对象保持有效状态，但具体值可能未知。
- 强保证：操作要么完全成功，要么回到调用前的状态（即“提交-回滚”语义）。
- 无异常保证：操作不会抛出异常，通常用于析构函数和移动赋值（如noexcept）。
理想情况下，应尽量提供强保证，至少确保基本保证。无异常保证适用于关键路径或资源清理操作。
使用RAII管理资源RAII（Resource Acquisition Is Initialization）是C++异常安全的基石。核心思想是将资源绑定到对象的生命周期上，利用构造函数获取资源，析构函数自动释放。
- 用std::unique_ptr管理动态内存，避免手动delete。
- 用std::lock_guard或std::scoped_lock管理互斥量，防止死锁。
- 自定义类中，确保析构函数能安全释放所有资源，且不抛出异常。
只要所有资源都通过RAII对象管理，即使中间抛出异常，已构造的对象仍会被正确析构，从而避免泄漏。
复制再交换（Copy-and-Swap）实现强异常安全对于赋值操作符等需要强保证的场景，推荐使用“复制再交换”惯用法。
做法是：先创建对象的副本，在副本上完成修改，最后通过无异常的swap交换数据。
class MyClass {private:
std::vector data;
public:
MyClass& operator=(const MyClass& other) {
MyClass temp(other);
swap(temp);
return *this;
}
void swap(MyClass& other) noexcept {
data.swap(other.data);
}
};
由于复制可能失败（抛出异常），但只影响临时对象，原对象不受影响。swap操作应标记为noexcept，确保不会抛出异常。
谨慎处理函数抛出异常的时机不是所有函数都应抛出异常。以下建议有助于控制异常传播：
- 析构函数绝不应抛出异常，否则可能导致程序终止（栈展开中析构抛异常是未定义行为）。
- 移动构造函数和移动赋值尽量标记为noexcept，尤其是用于标准容器时（如vector扩容依赖此属性）。
- 在公共接口中明确文档化哪些操作可能抛出异常，便于调用者处理。
- 使用try-catch局部捕获异常并转换为错误码或安全状态，避免异常向外扩散。
例如，在容器的push_back中，若内存分配失败会抛出std::bad_alloc，但通过预留空间或使用智能指针可降低风险。
基本上就这些。异常安全不是一蹴而就的，而是通过RAII、合理的设计模式和严格的编码习惯逐步构建的。关键是始终思考：如果这里抛出异常，程序是否仍处于有效状态？只要资源被正确封装，大多数问题都能自然化解。
以上就是C++异常安全总结 最佳实践综合指南的详细内容，更多请关注知识资源分享宝库其它相关文章！
发表评论:
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。