异常安全确保C++程序在抛出异常时仍保持有效状态，分为基本、强和无异常三个级别；通过copy-and-swap等技术可实现强保证，而noexcept关键字用于声明不抛异常的函数，提升性能与安全性，尤其应用于移动操作和swap，合理使用能增强代码可靠性。

在C++中，异常安全（Exception Safety）指的是当程序抛出异常时，程序仍能保持正确的状态，不会出现资源泄漏、数据损坏或未定义行为。理解异常安全和合理使用 noexcept 是编写健壮C++代码的关键。

异常安全的三个级别

C++社区通常将异常安全分为三个等级，从弱到强依次是：

• 基本异常安全（Basic Guarantee）：如果操作中途抛出异常，对象仍处于有效状态，没有资源泄漏，但状态可能改变。
• 强异常安全（Strong Guarantee）：操作要么完全成功，要么不改变对象状态——即“提交/回滚”语义。
• 无异常保证（No-throw Guarantee）：操作一定不会抛出异常，通常用于关键路径或移动操作等场景。

例如，在实现 vector 的赋值操作时，采用拷贝再交换（copy-and-swap）技术可以提供强异常安全保证：

noexcept 关键字的作用

noexcept 是C++11引入的关键字，用来声明某个函数不会抛出异常。它的主要用途包括：

• 帮助编译器进行优化，因为无需准备异常栈展开机制。
• 影响标准库的行为选择，比如 std::vector 在扩容时，若元素的移动构造函数标记为 noexcept，则优先使用移动而非拷贝。
• 提升性能的同时增强异常安全性。

例如：

这个 swap 被标记为 noexcept 后，STL算法在需要交换对象时会更放心地调用它。

如何设计强异常安全的接口

要实现强异常安全，关键是确保修改状态的操作具有原子性。常用策略包括：

• 使用局部临时对象完成所有可能抛异常的操作。
• 仅在所有操作成功后，通过不抛异常的方式提交变更（如 swap 指针）。
• 利用 RAII 管理资源，确保即使异常发生也能自动清理。

典型模式如下：

MyClass& operator=(const MyClass& other) { MyClass temp(other); // 可能抛异常，但不影响当前对象 swap(*this, temp); // swap 标记为 noexcept，不会抛出 return *this; }

这种写法天然具备强异常安全，也易于维护。

noexcept 的使用建议

不是所有函数都该标记为 noexcept。只有确定不会抛异常的函数才应使用它，尤其是：

• 析构函数必须不抛异常（否则程序终止）。
• 移动构造函数和移动赋值运算符，如果确实不抛异常，应标记 noexcept，以便标准容器高效使用。
• swap 函数强烈建议 noexcept，它是很多算法的基础构件。

可以用 noexcept(true) 或 noexcept(false) 做条件判断，例如：

基本上就这些。异常安全不是可有可无的细节，而是高质量C++系统设计的一部分。合理使用 noexcept 和遵循强异常安全原则，能让代码更可靠、更高效。