栈展开是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 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(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原则，就能确保异常情况下的正确清理。理解这一机制有助于写出更健壮、可维护的代码。