禁止让异常逃离析构函数

禁止让异常逃离析构函数

1.说明

当对象在其生命周期结束时（例如对象所在的函数已调用完毕）或抛出异常（前提是对象构造成功，即构造函数无异常），系统会自动调用析构函数。析构函数往往用来做“清理善后” 的工作（例如在建立对象时用new开辟了一片内存空间，应在退出前在析构函数中用delete释放）。

2.析构函数发生异常的危害

如果析构函数发生异常，那么将导致，发生异常之后的代码无法执行，也就会导致有些资源没有释放，造成资源泄露。

3.防止异常逃离析构函数

下述代码：进行数据库连接和关闭的管理，当close出现异常，异常会逃离析构函数，后面的资源没有释放，这种方式容易导致资源泄露

class DBCon
{
public:
        ...
       ~DBCon()
       {
              m_db.close();       //关闭数据库连接
       }

private:
       DBConnection m_db;
}

方法一：异常捕获机制，根据实际需要，吞下异常（后面能够继续执行，资源自然能够释放）

或者中断程序（整个进程终止，内存回归系统，资源自然能够释放）, 以保证资源的正常释放

DBCon::~DBCon()
{
      try
     {  
             m_db.close();        //关闭数据库连接
     }
     catch(...)
     {
                                           //吞下异常，以保证后面资源能继续释放
           ...                            //或者abort()中断程序，防止不明确行为
     }
}

方法二：如果用户需要对异常做出处理，那么就不应该放在析构函数里面, 
而是应该独立出一个模块来给用户处理，如果用户不想处理，那么再到析构去处理, 
这种方式提供了手动和自动两种处理方式

class DBCon
{
public:
       ...
      ~DBCon()
     {
            if(! m_judge)                        //没有手动关闭连接, 则自动释放
           {
                  try
                  {
                             m_db.close();        //关闭数据库连接
                   }
                  catch(...)
                  {
                                                   //吞下异常，以保证后面资源能继续释放
                           ...//或者abort(),中断程序，防止不明确行为
                  }
          }
     }


      void close()                   //手动关闭连接, 用户可以根据异常进一步处理
     {
            m_db.close();
            m_judge = true;
     }

private:
      bool m_judge;
      DBConnection m_db;
}