C++ 中抛出后是否调用析构函数？

Question

我运行了一个示例程序，确实调用了堆栈分配对象的析构函数，但这是否由标准保证？

Answer 1

是的，这是有保证的（前提是捕获了异常），具体取决于调用析构函数的顺序：

C++11 15.2 构造函数和析构函数 [except.ctor]

1 当控制从 throw 表达式传递到处理程序时，将为所有对象调用析构函数
自进入 try 块以来构造的自动对象。这
自动对象按照与完成相反的顺序销毁
他们的建设。

此外，如果在对象构造期间抛出异常，则保证部分构造的对象的子对象被正确销毁：

2 任何存储持续时间的对象，其初始化或
销毁由异常终止将有析构函数
对其所有完全构造的子对象执行（不包括
类联合类的变体成员），即对于子对象
其中主构造函数（12.6.2）已完成执行并且
析构函数尚未开始执行。同样，如果
对象的非委托构造函数已完成执行并且
该对象的委托构造函数退出时出现异常，
对象的析构函数将被调用。如果该对象被分配在
new-expression，匹配的释放函数（3.7.4.2、5.3.4、
12.5）（如果有）被调用以释放对象占用的存储空间。

整个过程称为“堆栈展开”：

3 自动构造对象调用析构函数的过程
从 try 块到 throw 表达式的路径称为“堆栈”
放松。”如果在堆栈展开期间调用的析构函数退出时
一个例外，std::terminate 被调用（15.5.1）。

堆栈展开构成了广泛使用的技术的基础，该技术称为资源获取即初始化(RAII)。

请注意，如果未捕获异常，则不一定完成堆栈展开。在这种情况下，是否完成堆栈展开取决于实现。但无论堆栈展开是否完成，在这种情况下，您都可以保证最终调用 std::terminate。

C++11 15.5.1 std::terminate() 函数 [ except.terminate]

2 ...在没有找到匹配的handler的情况下，
在调用 std::terminate() 之前是否展开堆栈是由实现定义的。

Answer 2

是的，保证在堆栈展开时调用析构函数，包括由于抛出异常而展开。您只需记住几个有关异常的技巧：

• 如果在类的构造函数中抛出异常，则不会调用该类的析构函数。
• 如果在构造初始化列表 catch 块中捕获到异常，则会自动重新抛出异常。

Answer 3

如果抛出异常，则 cpp 操作通常会继续。这包括析构函数和堆栈弹出。但是，如果未捕获异常，则无法保证堆栈弹出。

我的移动编译器也无法捕获裸露抛出或空抛出。

例子：

#include <Jav/report.h>

int main()
{
 try { throw; }
 catch(...) { rep("I bet this is not caught"); }
 }