异常发生时栈展开确保局部对象按构造逆序析构,继承体系中构造顺序为基类→成员→派生类,析构则相反;若构造中抛异常,已构造部分仍会正确析构,结合虚析构与RAII可保障资源安全。

当C++中发生异常时,异常会沿着函数调用栈向上传播,直到被合适的catch块捕获。在这个过程中,局部对象会被自动析构,析构顺序遵循栈的“后进先出”原则。对于继承体系中的对象,其构造和析构顺序有明确规则,尤其在异常传播场景下,这些规则对资源管理和析构行为至关重要。
当抛出异常后,程序开始“栈展开”(stack unwinding):
因此,析构函数应尽量避免抛出异常,推荐使用noexcept声明。
对于派生类对象,其构造和析构顺序是固定的,不受异常影响:
立即学习“C++免费学习笔记(深入)”;
即使在异常传播过程中析构,该顺序依然保持。例如,若在派生类构造函数体执行期间抛出异常,已构造的基类部分和成员子对象会按逆序析构。
在继承体系中,若基类指针指向派生类对象并通过异常传播释放资源,需注意:
#include <iostream>
struct 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和虚析构原则,确保资源安全释放。
以上就是C++异常传播与继承类对象析构顺序的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号