C++异常的理解

• 错误处理技术
  1.终止程序（段错误）
  2.返回错误码
  3.返回合法值
  4.调用一个预先设置的出现错误时调的函数（回调函数）

• 异常处理
  -当一个函数发现自己无法处理的错误时抛出异常，让函数的调用者直接或间接的处理这个问题。

• 异常的抛出和捕获
  - 异常是通过抛出对象而引发的，对象的类型决定了应该激活哪个处理代码。
  - 处理代码是与该对象类型匹配且离抛出异常位置最近的哪个
  - 抛出异常后会释放局部存储对象，所处被抛出的对象叶欢给操作系统了，throw会初始化一个抛出特殊的异常对象副本（匿名对象），异常对象由编译管理，对象传给对应的catch处理后撤销。

• 栈展开
  - 抛出异常的时候，暂停当前函数的执行，开始查找对应的匹配catch。
  - 首先在throw本身是否在团员块内部，如果是查找catch，如果有匹配的，就处理；如果没有匹配的，则退出当前函数栈，继续在调用函数的栈中查找；如果到main函数的栈依旧没有找到匹配的，就终止程序。
• 异常捕获的匹配规则
  -异常对象类型与catch的类型必须完全匹配
  例外：
  1.从非const对象到const对象。
  2.从派生类型到基类类型的转换。
  3.数组转换为指向数组的指针，函数转换为指向函数的指针。

#include <iostream>
#include <string>
using namespace std;

class Exception
{
public :
     Exception(int errId, const char * errMsg)
         : _errId(errId )
         , _errMsg(errMsg )
    {}

     void What () const
    {
          cout<<"errId:" <<_errId<< endl;
          cout<<"errMsg:" <<_errMsg<< endl;
    }
private :
     int _errId ;       // 错误码
     string _errMsg ;  // 错误消息
};

void Func1 (bool isThrow)
{
     // ...
     if (isThrow )
    {
          throw Exception (1, "抛出 Excepton对象" );
    }
     // ...

     printf("Func1(%d)\n" , isThrow);
}

void Func2 (bool isThrowString, bool isThrowInt)
{
     // ...
     if (isThrowString )
    {
          throw string ("抛出 string对象" );
    }
     // ...
     if(isThrowInt )
    {
          throw 7;
    }

     printf("Func2(%d, %d)\n" , isThrowString, isThrowInt );
}

void Func ()
{
     try
    {
          Func1(false );
          Func2(true , true);
    }
     catch(const string& errMsg)
    {
          cout<<"Catch string Object:" <<errMsg<< endl;
    }
     catch(int errId)
    {
          cout<<"Catch int Object:" <<errId<< endl;
    }
     catch(const Exception& e)
    {
          e.What ();
    }
     catch(...)
    {
          cout<<" 未知异常"<< endl;
    }

    printf ("Func()\n");
}

int main()
{
    Func();

    return 0;
}

运行结果如下：

• 异常的重新抛出
  有可能单个catch不能完全处理一个异常，在进行一些校正处理后，希望再交给更外层的调用链函数来处理，catch则可以通过重新将异常传递给上层的函数来进行处理。

#include <iostream>
#include <string>
using namespace std;

class Exception
{
public :
     Exception(int errId = 0, const char * errMsg = "" )
         : _errId(errId )
         , _errMsg(errMsg )
    {}

     void What () const
    {
          cout<<"errId:" <<_errId<< endl;
          cout<<"errMsg:" <<_errMsg<< endl;
    }
private :
     int _errId ;       // 错误码
     string _errMsg ;  // 错误消息
};

void Func1 ()
{
     throw string ("Throw Func1 string");
}

void Func2 ()
{
     try
    {
          Func1();
    }
     catch(string & errMsg)
    {
          cout<<errMsg <<endl;
          Exception e (1, "Rethorw Exception");
          throw e ;
          // throw;
          // throw errMsg;
    }
}

void Func3 ()
{
     try
    {
          Func2();
    }
     catch (Exception & e)
    {
          e.What ();
    }
}
int main()
{
    Func3();
    return 0;
}

运行结果如下：

• 异常 构造函数&析构函数
  
  • 构造函数完成对象的构造和初始化，要保证不在构造函数中抛出异常，否则可能导致对象不完整或没有完全初始化
  • 析构函数 主要完成资源的清理，保证不在析构函数中抛出异常，否则导致资源泄漏（内存泄漏，句柄未关闭等）。