条款8：别让异常逃离析构函数

条款8：别让异常逃离析构函数

        C++不禁止析构函数吐出异常，但一般不鼓励这样做，因为这是一个危险的操作。

下面看段代码

class Widget
{
public:
	~Widget(){...} //假设这个可能吐出一个异常
};
void dosomething()
{
	vector<Widget> v;
} //v在这里被自动销毁

      当vector跳出作用域被销毁，它有责任销毁其内含的所有Widget。假设v内含多个个Widgets，而在析构第一个元素期间，有个异常被抛出。其他九个widgets还是应该被销毁，因此v应该调用它们各个析构函数。但假设在那些调用期间，第二个widget析构函数又抛出异常。现在有两个同时作用的异常，这对c++而言太多了。
在两个异常同时存在的情况下，程序若不是结束执行就是导致不明确行为。本例中会导致不明确的行为。使用标准程序库的任何其他容器或TR1的任何容器或甚至array，也会出现相同情况。容器或array并非遇上麻烦的必要条件。

        上面这段话详细说明一种问题：只要析构函数吐出异常，即使并非使用容器或arrays，程序也可能过早结束或出现不明确行为。

再看一段关于数据库操作的代码

class DBConnection { 
　　 public:
　　 ...
　　 static DBConnection create(); //这个函数返回DBConnection对象；为求简化暂略参数。
　　 void close(); //关闭联机；失败则抛出异常。
};

     为确保客户不忘记在DBConnection对象身上调用close()，一个合理的想法是创建一个用来管理DBConection资源的class，并在其析构函数中调用close

于是在定义如下析构函数

class DBConn { //这个class用来管理DBConnection对象 
public:
　　 ...
　 ~DBConn() //确保数据库连接总是会被关闭
   {
       db.close();
   }
private:   DBConnection db;
 };

             当客户创建DBConn对象并操作数据库后，退出该对象作用域，析构函数会自动关闭数据库连接。

    只要调用close成功，一切都美好。但如果该调用导致异常，DBConn析构函数会传播该异常，也就是允许它离开这个析构函数。那会造成问题，因为那就是抛出了难以驾驭的麻烦。　　两个办法可以避免这个问题。DBConn的析构函数可以：   1、 如果close抛出异常就结束程序，通常调用abort显示关闭程序：

我们可以将析构函数改成如下：

DBConn::~DBconn()
{
	try { db.close(); }
	catch(...)
	{
		abort();
	}
}

    2、吞下因调用close而发生的异常：

我们可以将析构函数改成如下：

DBConn::~DBConn
{
	try{ 
		db.close(); 
	} catch(...)
	{
		//制作运转记录，记下对close的调用失败！
	}
}

     3、更好的方法

       一个较佳的策略是重新设计DBConn接口，使其客户有机会对可能出现的问题作出反应。例如DBConn自己可以提供一个close函数，因而赋予客户一个机会可以处理“因该操作而发生的异常”。把调用close的责任从DBConn析构函数手上移到DBConn客户手中。

我们重新定义DBConn类

class DBConn {
public:
<span style="white-space:pre">	</span>void close() //供客户使用的新函数
<span style="white-space:pre">	</span>{
<span style="white-space:pre">		</span>db.close();
<span style="white-space:pre">		</span>closed = true;
<span style="white-space:pre">	</span>}
<span style="white-space:pre">	</span>~DBConn()
<span style="white-space:pre">	</span>{
<span style="white-space:pre">		</span>if(!closed) {
<span style="white-space:pre">			</span>try { //关闭连接(如果客户不那么做的话)
<span style="white-space:pre">				</span>db.close();
<span style="white-space:pre">			</span>} catch(...) { //如果关闭动作失败，记录下来并结束程序或吞下异常。
<span style="white-space:pre">				</span>//制作运转记录，记下对close的调用失败；
<span style="white-space:pre">			</span>}
<span style="white-space:pre">		</span>}
<span style="white-space:pre">	</span>}
private:
<span style="white-space:pre">	</span>DBConnection db;
<span style="white-space:pre">	</span>bool closed;
};

    为什么会有前面那些可恶的格式？？？？

记住

1.析构函数绝对不要吐出异常，如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们（不传播）或结束程序。
2.如果客户需要对某个操作函数运行期间抛出的异常作出反应，那么class应该提供一个普通函数（而非在析构函数中）执行该操作。