如何在析构函数期间检测到异常是否处于活动状态？

Question

在C ++中，我如何在析构函数的主体中检测是否由于抛出异常而取消了堆栈的堆栈？ 一旦检测到，是否可以引用活动异常？

我之所以问是因为我想添加一些调试代码来解释为什么可能会出现某种情况以及它是否是由于异常引起的。

Answer 1

std::uncaught_exception告诉您堆栈是否由于引发异常而被取消缠绕，这就是您所要求的。

但是，它并没有告诉您您可能想知道的内容：您从中调用其析构函数的对象是处于正在解卷的堆栈部分中，还是由于非重载而通常被破坏的堆栈部分中异常退出正在展开的其他某些析构函数下的作用域：

struct A {
    ~A();
};

struct B {
    ~B();
}

int main() {
    try {
        A a;
        throw 1;
    } catch(...) {}
}

A::~A() {
    std::uncaught_exception(); // true
    B b;
}

B::~B() {
    std::uncaught_exception(); // also true, but "b" isn't being "unwound",
      // because ~A() returned, it didn't throw.
}

与DeadMG和Xeo所说的相反，您无法获得对尚未捕获的异常的引用。 不带操作数的throw抛出“当前处理的异常”，即您所在的catch-handler或其catch-handler调用了您的异常。 它不会抛出未捕获的异常。

Answer 2

C ++ 17的新std::uncaught_exceptions()呢？ 我认为您可以构建如下代码：

class ExceptionSentinel
{
    int prev_uncaught;

public:
    ExceptionSentinel() : prev_uncaught(std::uncaught_exceptions()) {}

    ~ExceptionSentinel()
    {
        int cur_uncaught = std::uncaught_exceptions();
        if (cur_uncaught > prev_uncaught)
        {
            // ... ExceptionSentinel is being destructed by an stack unwinding process
        }
        else
        {
            // ... Normal destruction of ExceptionSentinel
        }
    }
};

在这种情况下， std::uncaught_exceptions()在调用代码之前跟踪未捕获的异常数。 可以在其cppreference页面上找到更多信息。

Answer 3

在C ++中，我如何在析构函数的主体中检测是否由于抛出异常而取消了堆栈的堆栈？

不。

一旦检测到，是否可以引用活动异常？

没有。

Answer 4

有一个std::uncaught_exception()函数。 但是，要尝试获得对异常对象的访问权，唯一有用的事情就是将其重新抛出并尝试捕获它。 通常，您永远不应抛出任何析构函数的异常。