条款8 别让异常逃离析构函数
记住:
★析构函数绝对不要吐出异常。若一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
★若客户需对某个操作函数运行期间抛出的异常做出反应,那么class应提供一个普通函数(而非在析构函数)执行该操作。
-----------------------------------------------------------------------------------------------------------------------------------------
问题背景:
class Widget {
public:
...
~Widget() {...} //假设这个可能吐出一个异常
}; void doSomething() {
std::vector<Widget> v;
...
}
当容器v被销毁时,其有责任销毁其内含的所有Widgets。假设v内含十个Widgets,而在析构第一个元素期间,有个异常被抛出,此时其他九个Widgets还是应该被销毁,因此v应该调用它们各个析构函数。但假设在那些调用期间,第二个Widget析构函数又抛出异常。现在有两个同时作用的异常,在此情况下,程序若不是结束执行就是导致不明确行为!!!
若你的析构函数必须执行一个动作,而该动作可能会抛出异常,该怎么办?举例如下:
class DBConnection { //此类负责数据库连接 public:
...
static DBConnection create();
void close(); //关闭数据库连接,失败时会抛出异常
}; class DBConn { //此class用来管理DBConnection对象 public:
...
~DBConn() { db.close(); //确保数据库连接总会被关闭
} private:
DBConnection db;
}
客户很可能会写出如下代码:
{
DBConn dbc( DBConnection::create() )
...
//在区块结束点,DBConn对象被销毁,∴自动为DBConnection对象调用close
}
若调用close()成功一切好说;若该调用导致异常,DBConn析构函数会传播该异常,也即允许它离开这个析构函数,这就会造成问题!!!
三个办法可以解决:(前两个方法无吸引力,第三个是较佳策略)
方法一:若close抛出异常就结束程序:
DBConn::~DBConn() { try { db.close();
}
catch(...) { //...表示捕获所有的异常
只做运转记录,记下对close的调用失败
std::abort();
}
}
方法二:吞下因调用close而发生的异常
DBConn::~DBConn() { try { db.close();
}
catch(...) {
制作运转记录,记下对close的调用失败
}
}
方法三:较佳策略
重新设计DBConn接口,使其客户有机会对可能出现的问题作出反应(即让客户自己参与!):
class DBConn { public:
...
void close() { //供客户使用的新函数 db.close();
closed = true;
} ~DBConn() { if( !closed ) {//若客户忘了调用close函数,则由destructor来关闭,这是双保险 try { db.close();
}
catch(...) { //吞下所有异常 制作运转记录,记下对close的调用失败
}
} } private:
DBConnection db;
bool closed;
};