2011-04-27 103 views
3

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

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

“在堆栈展开,所有的本地在所有这些堆栈帧中的对象是自毁如果这些析构函数之一抛出异常(假定它抛出一个Bar对象),C++运行时系统是在一个不成功的情况下:它是否应该忽视酒吧并最终进入}捕捉(Foo e){它最初是在哪里引导的?它应该忽略Foo并寻找} catch(Bar e){handler?没有好的答案 - 任何选择都会丢失信息。“

IE:如果在堆栈展开期间抛出了另一个异常,那么运行时系统处于非赢局面,因为'查找'的捕获处理器不明确。

当堆栈展开期间引发的异常本身位于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

“如果堆在心情放松的析构函数抛出异常,并且异常没有被处理,将终止()函数被调用下面的例子说明了这一点:”

回答

7

您的组件的析构函数是安全的。如果异常被抛出析构函数的你只是引用该规则适用

编辑(即析构函数的调用者):下面是来自standard(强调)一个相关报价

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