异常传播时C++通过栈展开自动调用已构造局部对象的析构函数，确保RAII资源安全，异常对象被复制到特殊内存区，按调用栈逆序查找匹配的catch块，若无匹配则调用std::terminate，析构函数不应抛出异常，noexcept函数若抛异常将导致程序终止。
当C++程序抛出异常时，运行时系统需要沿着函数调用栈向上查找匹配的异常处理代码（catch块）。这个过程不仅涉及控制权的转移，还包括局部对象的自动清理——这就是所谓的“栈展开”（stack unwinding）。理解异常传播和栈展开机制，对编写异常安全的C++代码至关重要。
异常传播的基本流程
当执行到throw语句时，C++会创建一个异常对象，并开始在调用栈中向上搜索能够处理该异常类型的catch块。
搜索过程从当前函数开始，逐层回退到调用者，直到找到匹配的异常处理器。如果没有任何函数包含匹配的catch块，程序将调用std::terminate终止。
异常传播的关键点包括：
立即学习“C++免费学习笔记（深入）”；
栈展开：局部对象的析构保障
在异常传播过程中，C++保证所有已构造但尚未销毁的局部对象都会被正确析构。这一机制称为栈展开。
栈展开按对象构造的逆序调用析构函数，确保资源管理类（如std::unique_ptr、std::lock_guard）能及时释放资源。
例如：
void risky_function() {
std::ofstream file("data.txt");
std::lock_guard lock(mtx);
if (error) throw std::runtime_error("something went wrong");
// file和lock在此处正常析构
}
// 异常抛出后，file和lock仍会被自动析构
注意：只有已成功构造的对象才会被析构。若对象构造过程中抛出异常，其析构函数不会被调用。
异常安全与RAII原则
栈展开机制是RAII（Resource Acquisition Is Initialization）原则得以成立的基础。通过将资源管理绑定到对象生命周期，C++能在异常发生时自动释放资源。
编写异常安全代码时应：
- 优先使用智能指针、容器等标准库组件管理资源
- 避免在裸指针或原始资源操作中直接使用throw
- 确保自定义类的析构函数不抛出异常（否则可能引发std::terminate）
若析构函数中必须执行可能失败的操作，应将其封装在普通函数中供用户显式调用。
noexcept与异常传播的限制
标记为noexcept的函数承诺不抛出异常。若此类函数内部发生异常，或调用了可能抛出的函数而未捕获，程序将直接终止。
编译器可对noexcept函数进行优化，例如选择不抛出异常的移动构造函数路径。
合理使用noexcept有助于提高性能并明确接口契约，但需谨慎评估函数体内的调用链是否真正安全。
基本上就这些。掌握异常传播和栈展开机制，能帮助我们写出更健壮、资源安全的C++代码。关键是依赖RAII，避免在析构中抛异常，合理使用noexcept。不复杂但容易忽略细节。
