条款08:别让异常逃离析构函数

class Widget

{

public:

....

~Widget(){....}

};

void doSomething()

{

std::vector<Widget> v;

...

}//v到这里被自动销毁

假设v中含有十个Widgets,但在析构第一个元素时,有个异常抛出,当第二个Widget析构又抛出异常,这对C++而言太多了,在两个异常同时存在的情况下,程序不是结束执行就是导致不明确行为。

理想情况下:

class DBConn

{

public:

...

~DBConn()

{

db.close(); //把关闭放在析构函数里,如果正常还好,如果close失败,析构函数就会抛出异常,就是允许它离开这个析构函数。

}

private:

DBConnection db;

};

解决办法:

1,如果close抛出异常就结束程序。通常使用abort完成:

DBConn::~DBConn()

{

try {db.close();}

       catch(...){

                             //捕捉异常

       std::abort();

                      }

}

2,吞下因调用close而发生的异常:

DBConn::~DBConn()

{

             try{db.close();}

                catch(...)

               {//记录close调用失败

               }

}

以上两种方法都无法对close抛出异常进行处理;

较佳策略是把调用DBConn析构函数手上移到客服手上。

class DBConn

{

        ....

void close();

cosled=true;

}

~DBConn()

{

               if(!closed)

               {

                       try

                        {db.close();

                         }

                       catch(...)

                       {//记录close的调用失败

                         ...

                        }

                 }

     }

private:

DBConnection db;

bool closed;

};

如果某个操作可能在失败时抛出异常,而又存在某种必须处理该异常,那么这个异常必须来自析构函数以外的某个函数。