【复读EffectiveC++08】条款08：别让异常逃离析构函数

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

此条款，针对的是类析构内异常相关，其内容包括：
a、什么叫异常逃离析构函数
b、有什么方法解决

一、为什么要用虚析构

原书中的例子为：
当vector v被销毁，它有责任销毁其内含的所有Widget。
假设v内含十个Widget，而在析构第一个元素期间，有个异常被抛出。
其他九个Widget还是应该被销毁（否则它们保存的任何资源都会发生泄漏），因此v应该调用它们各个析构函数。
但假设在那些调用期间，第二个Widget析构函数又抛出异常。
现在有两个同时作用的异常，在这种两个异常同时存在的情况下，程序若不是结束执行就是导致不明确行为。

class Widget {
public:
	...
    ~Widget() { ... } //假设这个析构函数可能会抛出异常
};
 
int main() {
    std::vector<Widget> v;
    ...
    return 0;
}//v在这里自动销毁

个人很理解，如果工作是开发一个软件，就会遇到那种客户反馈用着用着软件，直接软件崩溃退出的情况。
在没有自动保存机制（也不一定管用）的情况下，可能客户直接一晚上的成功化为乌有，接下来就是开发者遭殃了，被骂都是轻的。
上述例子就是会引发崩溃的可能之一，莫名奇妙地崩溃而退出了，而且什么迹象也没有，极其不利于系统的错误排查。

二、有什么方法解决

解决方法都是围绕着怎么化被动崩溃变成主动处理，哪怕是主动退出，都可以在退出前做些保存，记录错误点等，当然，最好是确保析构函数的执行不抛出异常 。
但天不随人愿，如果你的析构函数必须执行一个动作，而该动作可能会在失败时抛出异常，该怎么办？
取原书例子：
先建立一个类负责连接数据库

class DBConnection {
public:
    //该函数返回一个DBConnection对象
    static DBConnection create();
 
    //关闭数据库连接（失败会抛出异常）
    void close();
};

再建立另一个用来管理数据库对象

class DBConnection {
public:
    //该函数返回一个DBConnection对象
    static DBConnection create();
 
    //关闭数据库连接（失败会抛出异常）
    void close();
};

最后主函数如此创建对象使用

int main() {
    //建立一个DBConnection对象并交给DBConn管理，使用DBConn的接口管理DBConnection
    DBConn dbc(DBConnection::create());
 	...
    return 0;
}//程序结束时，DBConn对象被销毁，因此会自动为DBConnection对象调用close

如果调用close()调用成功的话那么就一切都好。如果close()函数调用出错（有异常），那么DBConn析构函数也会传播该异常，导致程序出错。

1、主动结束程序

直接调用 abort 函数，主动的去结束程序，在此之前，可以做好最大限度的保存，记录错误等操作，尽量减少损失 。

DBConn::~DBConn()
{
    try{db.close();}
    catch(){
        //制作运转记录，记下对close的调用失败
        std::abort();//强迫结束程序
    }
}

2、跳过崩溃

如果不想主动结束程序，也可以先跳过崩溃， 利用 try-catch 只做好补救，但个人觉得适合此崩溃对后面影响不大的情况，毕竟本该销毁的空间要是没有销毁，再被别的地方的指针指向，一个调用，可能会影响整个软件的正常运行，造成大量数据错误。

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

3、自己选择

第三种属于折中方案了，通过 Close 成员函数，控制主动结束和跳过崩溃的时机，根据情况选取就好，先确定好你能否把握这个时机 。

class DBConn{
public:
    void close()
    {
        db.close();/供客户使用的新函数
        closed=true;
    }
    ~DBConn()
    {
        if(!closed){
            try{
                db.close();
            }
            catch(){//若关闭动作失败，记录下来并结束程序或吞下异常
                //制作运转记录，记下对close的调用失败
            }
        }
    }
private:
    DBConnection db;
    bool closed;
};

三、总结

析构函数绝对不要抛出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕获并处理该异常。
如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么类应该提供一个普通函数（而非在析构函数中）执行该操作。