有关C++析构函数的异常(Exceptions in Destructors)

 

今天修复了一个系统的bug，原因在于析构函数中抛出了异常，而且该异常未被捕获，从而导致程序的终止。

我想很多做c++开发的人都知道，最好不要在析构函数里抛出异常。我查了一下 c++ programming language，书上是这样说的 ：

通常情况下，析构函数在一下两种情况下会被调用：

1. 正常调用：

                1).  局部变量离开作用范围后，析构函数被调用

                2).  调用delete，析构函数被调用

2. 在异常处理过程中被调用：

                   在堆栈解退的过程中，异常处理机制退出作用范围，但是该作用范围里含有带有析构函数的局部对象。

第二种情况下，异常有可能不会从析构函数中被抛出。如果是这样的话，这会被视作异常处理机制的失败，此时std::terminate()被调用，程序终止。

c++并未从语法上禁止析构函数里抛出异常，但是在实际使用的过程中，千万不要从析构函数中抛出异常，这是非常危险的。

因为对于抛出的异常，调用者必须要处理，不处理的话会导致程序的退出。然而在很多情况下析构函数是自动调用的，调用者需要在每一个析构函数被调用之后捕获这个异常。这样很不方便。万一忘记了某处，后果是灾难性的。尤其是在堆栈解退的过程中，简直就是灾难。

如果在析构函数里调用了可能会抛出异常的函数， 务必要在析构函数里就处理掉该异常。千万不要让这个异常逃出析构函数之外。

以上是我个人的一些心得，如有不正确的地方，还需要大家多多指教。

 

                                                                                                                        2009-04-22 18:36:47

                                                                                                                         david