栈展开是C++异常处理中自动清理局部对象的过程。当异常抛出时，程序沿调用栈回退，逐层调用已构造对象的析构函数，确保资源释放。例如，func中抛出异常后，string和MyClass对象会自动析构；多层调用中vector等RAII对象也被正确销毁，但裸指针如FILE*需手动管理，易导致泄漏。因此应优先使用智能指针、lock_guard等RAII类，避免资源泄漏。析构函数不应抛出异常，以防终止程序。栈展开依赖编译器生成的异常表和帧信息，实现零成本异常处理与安全回溯。它是异常安全的基础，保障复杂调用中资源的正确释放。
当C++程序抛出异常并开始在调用栈中向上寻找匹配的catch块时，会触发一个关键过程——栈展开（stack unwinding）。这个机制确保了在异常传播过程中，所有已构造但尚未析构的对象能被正确清理，避免资源泄漏。
什么是栈展开？
栈展开是C++异常处理机制中的核心环节。一旦throw语句被执行，程序控制流不再按正常顺序返回，而是沿着函数调用栈逐层回退，直到找到能处理该异常的catch块。在这个过程中：
- 每个退出的作用域中，已构造的局部对象会自动调用其析构函数（RAII原则）
- 函数参数和临时对象也会被正确销毁
- 只有完全构造的对象才会被析构（构造函数未完成的对象不会调用析构）
这个自动清理的过程就是“栈展开”。
栈展开如何工作？
考虑以下代码场景：
立即学习“C++免费学习笔记（深入）”；
void func() {
std::string s = "temporary";
MyClass obj; // 自动对象
throw std::runtime_error("error occurred");
} // s 和 obj 的析构函数在此处隐式调用（如果没被 catch 捕获）
当异常抛出后，func函数立即终止执行。但在控制权交给上层调用者前，编译器插入代码自动调用s和obj的析构函数。这就是栈展开的实际体现。
再看多层调用：
void level3() { throw std::exception{}; }
void level2() {
std::vector<int> v(1000);
level3();
}
void level1() {
FILE* f = fopen("data.txt", "r");
level2();
fclose(f);
}
int main() {
try {
level1();
} catch (...) {
// 异常被捕获
}
}
从level3到main的调用链中，虽然fopen之后没有fclose，但由于栈展开，level2退出时vector会被析构，接着回到level1。注意：FILE*是裸指针，不会自动释放文件句柄——这正是需要使用RAII类型（如智能指针或封装类）的原因。
异常安全与栈展开的关系
栈展开依赖于对象的析构函数被可靠调用。因此编写异常安全代码的关键包括：
- 优先使用资源持有类（如std::unique_ptr、std::lock_guard），它们在析构时自动释放资源
- 避免在可能抛出异常的代码路径中直接管理原始资源（new/delete, fopen/fclose）
- 确保自定义类的析构函数不抛出异常（否则可能导致std::terminate）
例如：
void risky() {
auto ptr = std::make_unique<int>(42); // 自动释放
std::ofstream file("log.txt"); // 析构时自动关闭
if (some_error)
throw std::runtime_error("");
// 即使抛出异常，ptr和file都会被正确清理
}
调用栈回溯原理简述
栈展开并不等同于调用栈回溯（backtrace），但二者相关。栈展开是语言运行时的行为，而回溯通常用于调试。现代系统通过以下方式实现回溯：
- 帧指针（Frame Pointer）：每个函数保存前一个栈帧地址，形成链表结构
- 异常表（Exception Tables）：由编译器生成，记录每个函数的try/catch信息及栈布局
- Zero-cost Exception Handling（如Itanium ABI）：异常未发生时不消耗性能，发生时查表定位处理代码
这些元数据帮助运行时确定如何展开栈、调用哪些析构函数、跳转到哪个catch块。
基本上就这些。栈展开是C++异常安全的基础保障，它让开发者能在复杂调用层级中放心使用局部资源，只要遵循RAII原则，就能确保异常情况下的正确清理。理解这一机制有助于写出更健壮、可维护的代码。
