C++异常抛出后，运行时系统沿调用栈向上查找匹配catch块，触发栈展开，自动析构已构造的局部对象，确保RAII资源安全释放，析构顺序为后进先出，构造未完成的对象不析构；多层传播中异常跨越函数边界，每层未捕获则继续向外传递，内层catch可处理或重新throw；析构函数应声明noexcept，避免抛出异常导致程序终止；嵌套try-catch中局部处理不影响栈展开流程，重新throw继续传播异常；掌握该机制对编写异常安全代码至关重要。
当C++程序抛出异常时，运行时系统会沿着函数调用栈向上查找匹配的异常处理代码（即catch块）。这个过程伴随着栈展开（stack unwinding），即在控制权从异常抛出点转移到匹配catch块之前，自动析构所有已构造但尚未销毁的局部对象。多层异常处理涉及多个函数层级中的try-catch结构，理解其栈展开机制对编写异常安全代码至关重要。
异常抛出与栈展开的触发
当执行到throw语句时，C++运行时开始栈展开过程。系统会从当前函数开始，逐层回退调用栈，检查每个函数是否包含能够处理该异常类型的catch块。在此过程中：
- 每个离开作用域的局部对象（已构造）会自动调用其析构函数
- 析构顺序遵循C++的“后进先出”原则，与构造顺序相反
- 只有完全构造的对象才会被析构，构造中途抛出异常的对象不会调用析构函数
这一机制确保了资源的正确释放，如动态内存、文件句柄、锁等，前提是使用RAII（资源获取即初始化）模式管理资源。
多层函数调用中的异常传播
在多层函数调用中，异常可能跨越多个函数边界。例如：
立即学习“C++免费学习笔记（深入）”；
void func3() {
auto ptr = std::make_unique<int>(42); // RAII资源
throw std::runtime_error("error in func3");
} // ptr自动释放
void func2() {
std::vector<int> data(1000);
func3();
} // data析构
void func1() {
try {
func2();
} catch (const std::logic_error&) {
// 不处理runtime_error
throw; // 异常继续向外传播
}
}
在这个例子中，异常从func3抛出，经过func2（无try-catch），到达func1。虽然func1有catch块，但类型不匹配，因此异常继续向外传播。在整个过程中，func3中的ptr和func2中的data都被正确析构。
栈展开中的异常安全保证
栈展开过程本身必须是异常安全的。C++要求析构函数不应抛出异常（或应自行处理），否则可能导致程序终止。原因如下：
- 若在栈展开过程中析构函数抛出新异常，而当前已有未处理异常，会调用std::terminate()
- 多个异常同时存在会导致程序状态不可预测
因此，良好的实践是将析构函数声明为
noexcept，并在内部捕获所有可能异常，避免在析构中抛出。
嵌套try-catch与局部处理
在多层结构中，内层catch可以处理异常，阻止其继续传播；也可以重新抛出（throw;），让外层处理。例如：
void inner() {
try {
may_throw();
} catch (const std::exception& e) {
log_error(e.what());
throw; // 重新抛出，栈展开继续
}
}
此时，inner函数中的局部对象在进入catch块前已完成析构。重新throw不会再次触发栈展开，而是继续向上传播当前异常。
基本上就这些。掌握栈展开机制有助于编写资源安全、行为可预测的C++代码，尤其是在复杂调用链中处理异常时。关键在于依赖RAII和避免在析构中抛出异常。不复杂但容易忽略。
