是什么导致在取消try-block期间抛出析构函数的奇怪行为？

Question

当try块遇到异常时，将取消堆栈堆栈。如果在try块内部创建了对象，则调用析构函数。如果析构函数引发另一个异常，则不会捕获此异常，并且程序将终止。

因此，如果您有：

struct A {
    ~A () noexcept(false) {
        std::cout << "A::~A" << std::endl;
        throw std::runtime_error("A::~A ERROR");
    }
};

然后您的try-catch块类似于：

try {
    A a1;
    A a2;
} catch (...) {}

然后，当try块完成时，a2抛出异常的析构函数，捕获异常，然后抛出异常的析构函数a1并终止程序。一切正常。

但是，如果您引入另一个结构，该结构也抛出了析构函数，但从成员继承A或具有A成员实例，事情就会变得混乱。例如，如果您有：

struct B : A {
    ~B () noexcept(false) {
        std::cout << "B::~B" << std::endl;
        throw std::runtime_error("B::~B ERROR");
    }
};

然后，如果您这样做：

try {
    B b;
    A a;
} catch (...) {}

预期的结果应该A::~A是称为异常捕获，然后B::~B称为程序终止。但是，相反，在我尝试过的所有编译器中，除MSVC之外，输出为：

A::~A

B::~B

A::~A

抛出的实例后终止调用 std::runtime_error

  what():  A::~A ERROR

好像捕获了两个异常，第三个异常终止了程序。

如果定义B为：

struct B {
    ~B () noexcept(false) {
        std::cout << "B::~B" << std::endl;
        throw std::runtime_error("B::~B ERROR");
    }
    A a;
};

我还尝试了其他一些具有更多结构的组合。

不要费心把任何东西放在catch块中，因为该程序甚至永远不会去那里。

是的，我知道理想上析构函数甚至不应该抛出异常。在阅读了一篇有关抛出析构函数的文章之后，这更多是出于好奇。

Answer 1

我认为您观察到的行为取决于实现。从std :: terminate（）上的c ++参考（强调我的）：

由于以下任何原因导致异常处理失败时，C ++运行时将调用std :: terminate（）：

1）引发而不捕获异常（在这种情况下，是否完成堆栈的展开是实现定义的）

在第一种情况下，退出范围：