条款 08

一，析构函数中抛出异常带来的危害

class Widget{
public:
    ...
    ~Widget(){...};  //假设这个析构函数可能抛出异常
};

void doSomething(){
    vector<Widget> v;
    ...
}  //v在这里被自动销毁

程序分析：

当v被销毁时，其中放置的Widget对象会被逐个销毁。假设v中包含10个Widget对象，而在销毁第一个元素期间，有个异常被抛出。其他9个Widget对象还应该被销毁，因此v会调用它们各个析构函数。假设在那些调用期间，第二个Widget析构函数又抛出异常。现在有两个同时作用的异常，在两个异常同时存在的情况下，程序若不是结束执行就是导致不明确行为。

二，如果在析构函数中进行的操作有可能引发异常，应当如何处理？

下面是一个例子：

class DBConnection{
public:
    ...
    static DBConnection create();  //创建一个DBConnection对象
    void close();  //关闭连接
};

class DBConn{
private:
    DBConnection db;
public:
    ...
    ~DBConn(){
        db.close();
    };
};

为了确保用户不会忘记在DBConnection对象身上调用close()，我们创建一个用来管理资源的class，并在其析构函数中调用close()。

1，如果close抛出异常就结束程序

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

2，吞下调用close()的异常

DBConn::~DBConn(){
    try{
        db.close();
    } catch(...){
        //记下对close()调用失败;
    }
}

 

3，重新设计DBConn接口，提供一个dealMethod()函数，使用户有机会对可能抛出的异常进行处理

class DBConn{
private:
    DBConnection db;
    bool isClosed;
public:
    ...
    void dealMethod{
        db.close();
        isClosed = true;
    }
    ~DBConn(){
        if(!isClosed){
            try{
                db.close();
            } catch(...){
                //记下对close()调用失败;
            }
        }
    };
};

程序分析：

上面在DBConn中定义了一个普通函数dealMethod()，在这个普通的函数中，执行可能会引发异常的操作，这样做就把调用close()的责任，从DBConn析构函数手上移到DBConn客户手中。这样用户就有机会对可能抛出的异常进行处理。