Effective C++ 条款8

别让异常逃离析构函数

为什么别让异常逃离析构函数,异常逃离析构函数会引发哪些问题?很明显,异常会带来不明确的行为。
如下代码:
当容器销毁时会调用析构函数,这时如果析构函数抛出异常,容器中剩余的元素还是应该被销毁,否则可能会有内存泄露。这时如果继续销毁其他元素,又出现异常的话,会同时存在两个异常。两个异常同时存在会导致不明确的行为。使用标准库的其他容器或TR1的任何容器或者array,也会遇到类似的问题。我们此时需要做的一般情况下就是终止程序,以防止程序出现不明确行为

class Widget{
public:
……
~Widget(){……}
};

void doSomething()
{
    std::vector<Widget> v;
    ……
    //v要析构,会调用Widget的析构函数
}

在析构函数中,有的时候难免会抛出异常,如书上例子:
当数据库关闭失败时我们应该怎么办?

class DBConnection
{ public: …… void close();//关闭数据库 };

class DBConnection
{ public: …… ~DBConn()//析构函数关闭连接 { db.close(); }
private:    
    DBConnection db;
};

有两个方法可以避免这个问题:
1、如果close抛出异常,就终止这个程序。通常通过调用abort完成。
2.吞下这个异常,这是个坏方法。

~DBConn()//析构函数关闭连接
    {
        try{
            db.close();
        }
        catch(……)
        {
            //记录下对close调用的失败
            std::abort();//退出
        }

    }

~DBConn()//析构函数关闭连接
    {
        try{
            db.close();
        }
        catch(……)
        {
            //记录下对close调用的失败
        }

    }

你可能感兴趣的:(Effective C++ 条款8)