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

Question

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

http://www.parashift.com/c++-faq-lite/exceptions.html#faq-17.9声明:

"在堆栈展开期间,所有这些堆栈帧中的所有本地对象都被破坏.如果其中一个析构函数抛出一个异常(比如它抛出一个Bar对象),那么C++运行时系统就处于一个无法获胜的情况:它应该忽略Bar并最终进入} catch(Foo e){它最初的位置？它应该忽略Foo并寻找} catch(Bar e){handler？没有好的答案 - 任何选择都会丢失信息.

IE:如果在堆栈展开期间抛出另一个异常,那么运行时系统处于不赢状态,因为"查找"的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()函数.以下示例演示了这一点:"

Answer 1

您的组件析构函数是安全的.您引用的规则仅适用于从析构函数中抛出异常(即,析构函数的调用者).

编辑:这是标准中的一个相关引用(强调添加)

注意:如果在堆栈展开期间调用的析构函数以异常退出,则调用std :: terminate(15.5.1).