C++ 的本质·第6篇 异常安全与错误处理：C++ 的三条铁律
核心命题
为什么 C++ 异常安全比“不用异常”更重要？
异常安全（Exception Safety）不是关于是否使用try...catch，而是关于在错误发生时，如何保持程序状态的完整性、资源的不泄漏以及逻辑的稳定性。在 C++ 这种强调 RAII（资源获取即初始化）和零成本抽象的语言中，异常安全是衡量代码质量的最高标准。
第一部分：异常安全是 C++ 的“终极契约”
1. 为什么异常比错误码更适合 C++
在 C++ 中，大部分资源管理依赖于 RAII，即通过对象的构造和析构来管理资源。
- RAII 机制：资源获取发生在构造函数中；资源释放发生在析构函数中。
如果操作过程中发生错误（如内存不足），且错误以异常形式抛出，栈会被自动展开（Stack Unwinding）。在栈展开过程中，所有局部对象都会被调用析构函数。
📌核心优势：异常机制确保了 RAII 机制在错误发生时也能被激活，从而自动释放资源（如锁和内存），避免了资源泄漏。
2. 什么是异常安全？
异常安全是一种保证。它承诺：即使在某个操作过程中抛出了异常，系统状态也能维持在可预测的、无损害的状态。
第二部分：异常安全的三条铁律（Three Guarantees）
C++ 社区将异常安全分为三个核心级别，您必须在代码中明确定义和追求其中之一。
铁律一：基本保证 (Basic Guarantee) - 永远不泄漏
核心：异常抛出后，程序中的所有不变量（Invariants）可能被破坏，但不会发生资源泄漏，并且所有对象都处于可析构的状态。
| 状态 | 保证 |
|---|---|
| 资源 | 所有已获取的资源（内存、文件句柄、锁）都会被释放。 |
| 数据 | 对象数据可能处于一个无效状态，但程序逻辑不会崩溃。 |
适用场景：这是所有生产级 C++ 代码的最低要求。
铁律二：强保证 (Strong Guarantee) - 要么成功，要么不动
核心：异常抛出后，程序状态回滚到操作发生前的状态（Transactional Semantics）。
| 状态 | 保证 |
|---|---|
| 回滚 | 如果操作失败并抛出异常，所有可见状态都保持不变，仿佛该操作从未发生。 |
| 数据 | 保证数据的完整性（原子性）。 |
适用场景：数据库事务、修改共享状态的锁保护代码。强保证通常通过 “Copy-and-Swap” 技术来实现。
铁律三：不抛出保证 (Nothrow Guarantee / No-Fail)
核心：该函数或操作保证永远不会抛出异常。
| 状态 | 保证 |
|---|---|
| 异常 | 函数可能通过错误码或终止程序来处理错误，但绝不以异常形式抛出。 |
适用场景：析构函数、释放资源的操作、移动构造函数（必须使用
noexcept关键字）。
第三部分：实现强保证的终极技巧——Copy-and-Swap
强保证是最高级的异常安全形式，它通过Copy-and-Swap（复制并交换）的惯用法来实现事务性语义。
1. Copy-and-Swap 原理
为了修改一个复杂的对象AAA，我们不直接在原地修改，而是：
- 复制 (Copy)：创建对象AAA的副本BBB。
- 修改 (Modify)：在副本BBB上执行所有操作和潜在的异常抛出点。
- 交换 (Swap)：如果修改成功，将AAA的内容与BBB的内容原子性地交换。
2. 经典实现模式
在以下模式中，最关键的是swap操作必须提供不抛出保证 (Nothrow Guarantee)，否则强保证将失效。
classMyContainer{public:// 核心操作：实现 Strong Guaranteevoidreplace_content(constMyContainer&other){// 1. 复制：如果复制 (MyContainer temp = other) 过程中抛出异常，*this 状态保持不变。MyContainer temp=other;// 2. 交换内容：swap 必须是 noexceptusingstd::swap;swap(*this,temp);// 3. 析构旧内容：temp 离开作用域时，安全释放旧数据。}// 关键：提供 non-throwing 的 swap 函数friendvoidswap(MyContainer&lhs,MyContainer&rhs)noexcept{// 仅交换内部指针/资源句柄，保证不抛出}};第四部分：现代 C++ 的异常安全工具箱
1.noexcept关键字：编译期性能核爆的触发器
- 安全保证：必须用于所有析构函数和移动操作，以避免程序在双重异常时被
std::terminate终止。 - 性能核爆：如果移动构造函数没有标记为
noexcept，编译器在将对象放入std::vector时，可能会选择性能更差的拷贝而不是移动。这是因为编译器需要保证容器状态的强保证，而noexcept标记就是告诉编译器可以安全地进行零成本优化。
2. C++ 容器与异常安全
C++ 标准库容器（如std::vector）都提供以下保证：
- 操作异常安全：插入、删除等操作，即使抛出异常，容器本身也处于有效状态（至少是基本保证）。
- 强保证条件：只有当容器内元素的移动操作是
noexcept时，std::vector::push_back遇到重新分配内存失败时，才能提供强保证。
第五部分：面试官听了会沉默的三连 (2025 终极答案)
Q1：析构函数中可以抛出异常吗？
A：绝不应该。在栈展开过程中，如果一个析构函数再次抛出异常，会导致双重异常，C++ 标准会立即调用std::terminate()终止程序。析构函数必须是noexcept的。
Q2：请解释一下 C++ 异常安全的三条铁律。
A：
- 不抛出保证 (Nothrow)：保证函数绝不抛出异常。
- 强保证 (Strong)：保证函数要么完全成功，要么状态完全不变（回滚）。
- 基本保证 (Basic)：保证不发生资源泄漏，所有对象状态保持在可析构。
Q3：在 C++ 容器中，什么时候push_back会提供强保证？
A：当容器需要扩容但内存分配失败时，std::vector::push_back要提供强保证，要求被存入的元素必须具有noexcept的移动构造函数。这是编译器确保安全回滚的关键。
本篇金句
异常安全不是关于阻止错误，而是关于如何确保在错误发生时，RAII 的契约和状态的完整性依旧得到履行。