异常发生时栈展开确保局部对象按构造逆序析构，继承体系中构造顺序为基类→成员→派生类，析构则相反；若构造中抛异常，已构造部分仍会正确析构，结合虚析构与RAII可保障资源安全。
当C++中发生异常时，异常会沿着函数调用栈向上传播，直到被合适的catch块捕获。在这个过程中，局部对象会被自动析构，析构顺序遵循栈的“后进先出”原则。对于继承体系中的对象，其构造和析构顺序有明确规则，尤其在异常传播场景下，这些规则对资源管理和析构行为至关重要。
异常传播过程中的栈展开
当抛出异常后，程序开始“栈展开”（stack unwinding）：
- 控制流从异常抛出点向外层函数回退
- 在回退过程中，所有已构造但尚未析构的局部对象会被自动调用析构函数
- 析构顺序与构造顺序相反，即后构造的对象先析构
- 若析构函数中抛出未被捕获的异常，程序将调用std::terminate()
因此，析构函数应尽量避免抛出异常，推荐使用noexcept声明。
继承类对象的构造与析构顺序
对于派生类对象，其构造和析构顺序是固定的，不受异常影响：
立即学习“C++免费学习笔记（深入）”；
- 构造顺序：基类 → 成员对象 → 派生类
- 析构顺序：派生类 → 成员对象 → 基类
即使在异常传播过程中析构，该顺序依然保持。例如，若在派生类构造函数体执行期间抛出异常，已构造的基类部分和成员子对象会按逆序析构。
异常安全与析构函数设计
在继承体系中，若基类指针指向派生类对象并通过异常传播释放资源，需注意：
- 基类应声明虚析构函数，确保通过基类指针delete时正确调用派生类析构函数
- 异常传播过程中的栈展开不依赖delete，而是自动调用析构函数，但仍需虚析构函数支持多态对象的正确清理
- RAII类（如智能指针）能有效保障异常安全，自动管理资源生命周期
示例说明
#includestruct Base { Base() { std::cout << "Base constructed\n"; } virtual ~Base() { std::cout << "Base destructed\n"; } }; struct Member { Member() { std::cout << "Member constructed\n"; } ~Member() { std::cout << "Member destructed\n"; } }; struct Derived : Base { Member m; Derived() { std::cout << "Derived constructed\n"; throw std::runtime_error("error"); } ~Derived() { std::cout << "Derived destructed\n"; } }; int main() { try { Derived d; } catch (...) { std::cout << "Caught exception\n"; } }
输出为：
Base constructed Member constructed Derived constructed Derived destructed Member destructed Base destructed Caught exception
可见即使构造失败，已构造部分仍按正确顺序析构。
基本上就这些。异常传播和继承析构的结合要求我们严格遵循RAII和虚析构原则，确保资源安全释放。
