异常c++中的堆栈展开

stack unwinding in exception c++

本文关键字：堆栈 c++ 异常      更新时间：2023-10-16

我开始学习C++中的异常主题。我遇到了术语"堆栈展开"，在我看来，这意味着，只要抛出异常，并且"抛出函数"内部没有catch块，函数堆栈就会"展开"，从而调用所有本地对象的d’tor（同样的情况也会发生在外部函数中，直到遇到合适的catch块为止）。

我的问题：

假设异常是在具有合适的后续catch的try块内抛出的，会为try块中定义的所有对象调用d’tor吗？还是应用于try块中定义的所有对象，直到出现异常？或者根本没有对象，然后他们会"等待"函数退出？

语义是，当控件离开块时，块中声明的任何局部变量都应该被销毁（函数是一个带有局部变量参数的命名块）。因此，当您离开try块时，任何本地创建的变量都将被销毁，并调用其相应的dtor。被创造的一切都被摧毁了，如果没有被创造，它就无法被摧毁。唯一没有被破坏的是异常对象本身，如果它被抛出的话（当然）。

来自C++规范：

15.2构造函数和析构函数1。当控件从抛出异常的点传递到处理程序，对所有构造的自动对象调用析构函数因为进入了try块。自动对象被销毁以完成的相反顺序

15.2构造函数和析构函数3.为自动构造的对象调用析构函数的过程在从try块到引发异常点的路径上称为"堆栈展开"

相关文章：