C++在析构函数中抛出异常

Question

这不是一个关于从析构函数中抛出异常是否安全的问题。

http://www.parashift.com/c++-faq-lite/exceptions.html#faq-17.9指出：

“在堆栈展开期间，所有这些堆栈帧中的本地对象都将被销毁。如果其中一个析构函数引发异常（比如它引发了一个 Bar 对象），C++ 运行时系统处于无法取胜的境地：它应该忽略 Bar 并最终到达原来要去的 } catch (Foo e) { 吗？它应该忽略 Foo 并寻找一个 } catch (Bar e) { 处理程序吗？没有好的答案 - 任何一种选择都会丢失信息。”

也就是说，如果在堆栈展开期间抛出另一个异常，则运行时系统处于无法取胜的境地，因为要查找的 catch 处理程序是模棱两可的。

那么上述情况是否有“例外”，即在堆栈展开期间抛出的异常本身就在 try/catch 块中？在这种情况下，就不存在歧义：

#include <iostream>
using namespace std;

class Component
{
public:
    ~Component()
    {
        cout << "In component destructor" << endl;
        try
        {
            throw 1;
        }
        catch (...)
        {
            cout << "Caught exception in component destructor" << endl;
        }
    }

};

class Container
{
public:
    ~Container()
    {
        cout << "In container destructor" << endl;
        Component component;
    }
}
    ;

int main()
{
    try
    {
        Container cont;
        throw 'a';
    }
    catch (...)
    {
        cout << "Caught main exception ok" << endl;
    }
return 0;
}

以下内容意味着这一点，但我想知道是否有人知道相关的C++标准章节。

http://publib.boulder.ibm.com/infocenter/comphelp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8a.doc%2Flanguage%2Fref%2Fcplr155.htm

如果在堆栈展开期间析构函数抛出异常并且该异常未被处理，则会调用terminate()函数。以下示例演示了这一点：

- Trent

Answer 1

你的组件析构函数是安全的。你引用的规则只适用于异常被抛出到析构函数的调用者时（也就是说，抛出到析构函数外部）。

编辑：这里有一个相关引用来自 standard （强调已添加）

注意：如果在堆栈展开期间调用的析构函数以异常退出，则调用 std::terminate（15.5.1）。

- Dan Breslau