3

我有以下代码：

#include <iostream>
using namespace std;

class A {
public:
    A()  { cout << "A::A()" << endl;}
    ~A() { cout << "A::~A()" << endl; throw "A::exception";}
};

class B {
public:
    B()  { cout << "B::B()" << endl; throw "B::exception";}
    ~B() { cout << "B::~B()";}
};

int main() {
    try {
        cout << "Entering try...catch block" << endl;
        A   objectA;
        B   objectB;
        cout << "Exiting try...catch block" << endl;
    } catch (char const * ex) {
        cout << ex << endl;
    }
    return 0;
}

现在，在陈述问题之前，我想指出这段代码是不好的做法（例如，从构造函数中抛出异常将导致对象没有被完全创建，因此不会调用析构函数并且可能导致内存泄漏或其他问题）。

现在，主要的顺序是这样的：

  1. 印刷"Entering try...catch block"。

  2. 调用A的构造函数，打印"A::A()"

  3. 调用B的构造函数，打印"B::B()"，并抛出异常。

  4. 抛出异常，该行将"Exiting try...catch block" 不被打印。块被退出，所以A's 的析构函数被调用。

  5. A的析构函数打印"A::~A()"并抛出另一个异常。

catch第二个异常（在 5 中）导致 main 在进入块之前抛出异常。

我的问题是 - 有没有办法在不改变类的情况下捕获主要的第二个A异常B？

我试图用另一个块包围整个try-catch街区和街区内部，但这没有用。catchtry-catch

谢谢。

4

1 回答 1

5

来自cppreference.com：

与任何其他函数一样，析构函数可以通过抛出异常来终止 [...] 但是，如果在堆栈展开期间碰巧调用了此析构函数，std::terminate则会改为调用该析构函数。

因此，尝试抛出异常~A()不会导致抛出第二个异常；它导致程序被终止。如果您需要“捕获”这个“第二个异常”，则需要干预终止处理程序。或者您可以找到一种不在析构函数中引发异常的方法。从 cppreference.com 继续：

尽管std::uncaught_exception有时可以用于检测正在进行的堆栈展开，但通常认为允许任何析构函数通过抛出异常来终止是不好的做法。

于 2018-06-20T10:55:39.917 回答