C++异常处理

C++异常处理
异常，当一个函数发现自己无法处理的错误时抛出异常，让函数的调用者直接或间接的处理这个问题。
一、异常安全的代码，满足以下两个条件
1.异常中立性：
是指当你的代码（包括你调用的代码）发生异常时，这个异常能保持原样传递到外层的调用代码。
2.异常安全性：
1）抛出异常后，资源不泄露
2）抛出异常后，不会使原有数据恶化
二、传统错误处理办法
1.终止程序。
2.返回错误码。
3.返回合法值，让程序处于某种非法的状态。
4.调用一个预先设置的出现错误时调用的函数。（回调函数）
三、异常的抛出和捕获
捕获异常的代码一般如下：
try
{
    throw A();
}
catch(H h)
{
    //何时可以到这里  
}
1.如果H和A是相同的类型
2.如果H是A的基类
3.如果H和A都是指针类型，而且1或者2对它们所引用的类型成立
4.如果H和A都是引用类型，而且1或者2对H所引用的类型成立
首先看以下一段代码：

#include #include using namespace std;void F1(){throw string("sfsfsf");}int main(){try{F1();}catch (int e){cout << e << endl;}}

如此运行，发现编译通过，但最终为捕获到异常，那是因为未找到与对象类型匹配的代码，程序出错。
若将程序修改为：

#include #include using namespace std;void F1(){try{throw string("sfsfsf");}catch (string s){cout << __LINE__ << s << endl;}}int main(){try{F1();}catch (int e){cout << e << endl;}catch (string s){cout <<__LINE__<< s << endl;}return 0;}

运行该程序，可以发现，不仅运行成功，还在距离抛出异常最近位置处捕获到了异常。
总结：
1.异常是通过抛出对象而引发的，该对象的类型决定了应该激活哪段的处理代码。
2.被选中的处理代码是调用链中与该对象类型匹配且距离抛出异常位置最近的那一个。
3.抛出异常后会释放局部存储对象，所以被抛出的对象也就还给了系统，throw表达式会初始化一个抛出特殊的异常对象副本（匿名对象），异常对象由编译管理，异常对象在传给对应的catch处理之后撤销。
从原则上来说，异常在抛出时被复制，我们最后捕获的异常只是原始异常的一个副本，所以我们不应该抛出一个不允许抛出一个不允许复制的异常。
四、栈展开
沿着调用链查找匹配的catch子句的过程称为栈展开。
抛出异常的时候，将暂停当前函数的执行，开始查找对应的匹配catch子句。
首先，检查throw本身是否在try块内部，如果是查找与之匹配的catch语句。
如果有匹配的，则处理。如果没有，则退出当前函数栈，继续在调用函数的栈中进行查找。
不断重复上述过程。若到达main函数的栈，依然没有则终止程序。
五、异常捕获的匹配规则
异常对象的类型与catch说明符的类型必须完全匹配
只有以下几种情况例外
1.允许从非const对象到const的转换。
2.允许从派生类型到基类类型的转换。
3.将数组转换为指向数组类型的指针，将函数转换为指向函数类型的指针。
六、异常的重新抛出
有可能单个的catch不能完全处理一个异常，在进行一些校正处处理以后，希望再交给更外层的调用链函数来处理，catch则可以通过重新抛出将异常传递给更上层的函数进行处理。

void F(){   int* p=new [];   try   {     Dosomthing();   }   catch(...)   {     delete[] p; throw;   }   delete[] p;}

七、异常与构造函数、析构函数
1.构造函数完成对象的构造和初始化，不要在构造函数中抛出异常，这样可能导致对象不完整或没有完全初始化。
2.析构函数主要完成资源的清理，不要在析构函数中抛出异常，这样可能导致资源泄露。
八、异常处理与返回错误码处理的比较
1.异常能清楚的表达出错误的原因。错误码只是整形，不能描述错误的原因。
2.异常处理会打乱执行流，影响调试分析代码。
3.异常处理有异常安全问题，需要尽量使用RAII配合。
4.许多第三方库在用异常。
5.许多测试框架使用异常 gtest/gmock--ut