Item 08: Prevent exceptions from leaving destructors
对C++而言,在两个异常同时存在的情况下,程序若不是结束执行就是导致不明确行为。这就意味着,当你使用容器或是数组来存放classes时,如果其中2个classes的析构函数抛出异常,那将会导致不明确行为。而容器和数组并非遇上麻烦的必要条件,C++不喜欢析构函数吐出异常。
假设你要使用一个class负责数据库连接:
class DBConnection
{
public:
...
static DBConnection creat();//这个函数返回DBConnection对象;
void close();//关闭联机;失败则抛出异常
}
为确保客户不忘记在DBConnection对象身上调用close(),一个合理的想法是创建一个用来管理DBConnection资源的class,并在其析构函数中调用close。
class DBCorn
{
public:
...
void close() //供客户使用的新函数
{
db.close();
closed=true;
}
~DBCorn()
{
if(!closed)
{
db.close();//关闭连接(如果客户不这么做的话)
}
catch(...)
{
...
制作运转记录,记下对close的调用失败 //如果关闭动作失败
//记录下来并结束程序或吞下异常
}
}
private:
DBConnection db;
bool closed;
};
如果某个操作可能在失败时抛出异常,而又存在某种必须处理该异常,那么该异常必须来自析构函数以外的某个函数。因为析构函数吐出异常就是危险,总会带来“过早结束程序”或“发生不明确行为”的风险。
请记住:
1.析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
2.如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作。