在析构函数中处理异常

在整个异常处理部分中， “未定义的行为”仅出现一次：在构造函数的 function-try-block 处理程序中使用非静态类成员时：

在处理程序中为该对象的构造函数或析构函数的函数尝试块引用对象的任何非静态成员或基类会导致未定义的行为。

那。即使没有详细说明，在您的情况下也没有谈论 UB。

关于在析构函数中堆栈展开过程中可以调用和处理新异常的事实的直接说法，我在标准中没有找到。但是，有一个注释：

如果堆栈展开直接调用的析构函数通过异常退出，std​::​terminate则调用。

我的翻译：

如果堆栈展开直接调用的析构函数以异常结束，则std​::​terminate.

std::terminate假设如果析构函数没有以异常结束（包括如果它被调用并立即处理），那么这不会导致调用是合乎逻辑的。对于未定义的行为，这更加困难，因为 形式上，如果没有明确描述行为，则可以预期隐式未定义。在这种情况下，这仍然不太可能适用，tk。析构函数捕获方法也在isocpp.org上的 C++ Super-FAQ 中描述：

您可以在析构函数中抛出异常，但该异常不能离开析构函数；

为什么析构函数中的异常会受到如此多的关注？在两种情况下会自动隐式调用析构函数：

• 在对象生命的正常结束时（退出块时，如果对象是在堆栈上创建的；或者在调用时delete，如果通过创建new）；
• 如果由于异常（所谓的堆栈展开）而从块中紧急退出。

在后一种情况下，在析构函数中添加一个新异常（不在那里处理它）将导致它会飞到主异常处理程序中。但是，在这种情况下，如何处理同时出现的两个异常是完全无法理解的，因此标准决定简单地放弃并通过std::terminate.

如果在析构函数中发生的异常在其中处理，那么即使堆栈展开（存在主异常），一个处理程序（即catch块）将遇到两个活动异常的情况也不会出现。在这种情况下程序的行为可以以完全可以理解的方式实现。

通常，您可以从析构函数中抛出异常。至少，您需要添加noexcept(false)，因为 默认情况下，析构函数被隐式视为非抛出。但最重要的是确保我们此时没有处于堆栈展开模式。或多或少是这样的：

#include <iostream>
#include <exception>

struct X {
    X() : except_count(std::uncaught_exceptions()) {}
    ~X() noexcept(false) { 
        if (except_count == std::uncaught_exceptions()) {
            std::cout << "X can throw in destructor\n";
            throw 1; 
        }
        std::cout << "X stack unwinding, can't throw out\n";
    }
    
    int except_count;
};

int main() {
    try {
        X x;
        throw 2; // в зависимости от наличия этой строки будем попадать в разные ветки
    }
    catch(...) {
        std::cout << "caught in main\n";
    }
}

这里最难的部分是确保异常只能通过检查将析构函数留在适当的块中，并且该块中没有其他嵌套对象从它们的析构函数中抛出异常，而不依赖于类似的检查主动堆栈展开。否则，这一切将再次导致未处理的异常，并std::terminate最终导致。因此，防止异常从析构函数中逃逸要容易得多。

一般来说，在 C++ 的析构函数中使用异常的困难在于，当抛出异常时，堆栈首先被解除，然后我们才进入处理程序。如果我们立即点击处理程序，并将堆栈展开推迟到以后，则可以避免双重活动异常。