C++异常机制核心：栈展开、异常传播与异常安全
C++异常（Exception）是一种错误处理机制，允许函数在遇到无法继续执行的情况时“抛出”异常，由调用链上层的函数来“捕获”并处理。它依赖编译器和运行时库（RTTI、异常表等）来实现。
1. 异常抛出与传播（Exception Propagation）
当代码执行到 throw expr; 时：
expr被用于构造异常对象（通常是临时对象，按值抛出时会复制/移动）。- 控制权立即离开当前函数，异常开始向上传播（propagate）。
- 传播路径是调用栈（call stack）：从当前函数 → 调用者 → 调用者的调用者 … 直到找到匹配的
catch子句或到达main()之外（导致std::terminate）。
传播规则：
- 异常对象在传播过程中保持存活，直到被
catch完全处理完毕。 - 如果
catch参数是按值接收，会再次发生复制/移动（推荐按const reference捕获以避免不必要的复制）。 - 异常可以跨多个函数、甚至跨模块传播（只要异常类型可见）。
void deepest() {
throw std::runtime_error("出错啦！"); // 抛出
}
void middle() {
deepest(); // 异常从这里开始向上传播
}
void top() {
try {
middle();
} catch (const std::exception& e) { // 捕获
std::cout << e.what();
}
}
2. 栈展开（Stack Unwinding）
这是异常机制最关键的部分，也是它与 setjmp/longjmp 的本质区别。
过程：
- 抛出异常后，运行时系统查找当前函数的异常表（编译器生成的）。
- 如果当前函数没有匹配的
catch，则开始栈展开：
- 调用当前栈帧中所有已构造但尚未析构的自动（局部）对象的析构函数。
- 释放该栈帧。
- 回到上一层调用者，重复上述过程。
- 直到找到匹配的
catch子句，进入catch块执行。 catch块执行完毕后，异常对象被销毁，程序从catch之后的语句继续正常执行。
重要特性：
- RAII 友好的：所有遵循 RAII 的资源（智能指针、锁、文件句柄等）在栈展开时会自动释放，因为析构函数会被调用。
- 析构函数中抛出异常是致命的（通常导致
std::terminate）。因此析构函数必须是noexcept（C++11 起默认是noexcept）。 - 栈展开期间如果发生第二次异常（例如某个局部对象的析构函数抛出），程序会立即调用
std::terminate。
示例演示栈展开：
class Resource {
public:
~Resource() { std::cout << "资源释放\n"; } // 栈展开时自动调用
};
void func() {
Resource r;
throw std::runtime_error("error");
// r 的析构函数会在展开时被调用
}
int main() {
try {
func();
} catch (...) {
std::cout << "已捕获\n";
}
}
输出会显示“资源释放”然后“已捕获”。
3. 异常安全保证（Exception Safety）
这是库作者和健壮代码必须考虑的问题。异常安全有四个经典等级（由 Herb Sutter 和 David Abrahams 提出）：
| 等级 | 保证内容 | 典型实现方式 | 示例 |
|---|---|---|---|
| No-throw | 绝不抛出异常（noexcept） | 简单操作、析构函数 | std::swap（某些特化） |
| Strong | 提交语义：要么完全成功，要么状态完全不变 | 复制-交换 idiom（copy-and-swap） | std::vector::push_back（强保证版本） |
| Basic | 异常发生后，对象处于有效状态（不泄漏资源，不违反类不变式） | 尽量使用 RAII | 大多数标准库操作 |
| No guarantee | 可能导致资源泄漏、对象处于无效状态 | 裸指针、手动管理资源 | 不安全的旧代码 |
实现强异常安全的常用技巧：
// Copy-and-Swap idiom（强异常安全赋值）
class Widget {
std::vector<int> data;
public:
Widget& operator=(const Widget& other) {
Widget tmp(other); // 可能抛出，但*this不变
tmp.swap(*this); // swap 是 noexcept
return *this;
}
void swap(Widget& other) noexcept {
data.swap(other.data);
}
};
4. 现代 C++ 中的最佳实践
- 优先使用
noexcept：告诉编译器函数不会抛出，能优化栈展开表、启用 move 语义等。 - 按
const std::exception&或const auto&捕获。 - 不要用异常做控制流（性能开销、代码可读性差）。
- 异常规范：
- C++11 前：
throw(type1, type2)已废弃。 - C++11 起：
noexcept/noexcept(true/false)。 std::exception_ptr、std::current_exception()、std::rethrow_exception()用于跨线程传播异常。- 性能：异常路径通常被优化为“零开销”（正常路径几乎无额外代价），但抛出/展开本身仍有成本。
5. 常见陷阱
- 析构函数抛出 →
terminate。 - 异常从构造函数中抛出 → 对象未完全构造，析构函数不会被调用（只有已构造的子对象/成员会被析构）。
catch(...)后忘记rethrow（throw;）会导致异常被“吞掉”。- 多线程中异常未传播到主线程。
掌握栈展开 + RAII 是写出异常安全代码的核心。一旦理解了“抛出 → 展开析构 → 找到 catch → 继续执行”这个流程，你就能自然地写出健壮的 C++ 代码。
如果你需要更深入的某个部分（比如异常表实现原理、与协程的交互、std::expected / std::variant 替代方案等），随时告诉我！
