EC读书笔记系列之4：条款8 别让异常逃离析构函数

条款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;
};