c++从析构函数抛出异常

C++ throwing an exception from a destructor

本文关键字:抛出异常 析构函数 c++      更新时间:2023-10-16

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

http://www.parashift.com/c + + -faq-lite/exceptions.html #常见问题- 17.9:

"在堆栈展开期间,所有这些堆栈帧中的所有局部对象都将被销毁。如果其中一个析构函数抛出了一个异常(比如抛出了一个Bar对象),c++运行时系统就陷入了两难的境地:它是否应该忽略这个Bar,并在它最初指向的}catch (Foo e){中结束?它应该忽略Foo并寻找}catch (Bar e){处理程序吗?没有好的答案——两种选择都会丢失信息。"

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()函数。下面的例子演示了这一点:"

你的组件析构函数是安全的。你引用的规则只适用于异常被抛出析构函数(即,抛出析构函数的调用者)

EDIT:这里有一个来自标准的相关引用(强调添加)

注意:如果析构函数在栈展开用一个退出异常,std::terminate被调用(15.5.1)。