1.什么是异常
异常一般指的是程序运行期发生的非正常情况,异常一般是不可预测的,如:内存不足:打开文件失败,范围溢出等 异常处理的核心思想是,把功能模块代码与系统中可能出现错误的处理代码分离开来,以此来达到使我们的代码组织起来更美观,逻辑更清晰,并且从根本上上来提高我们软件系统长时间稳定运行的可靠性。
2.C语言处理异常的传统方法
2.1基于goto语句的异常处理
goto语句有非常多的用途和优点,例如:它特别适合在编写系统程序中被使用,它能使编写出来的代码非常简洁,另外,goto语句另一个最重要的作用就是,他实际上是对异常处理变成,最初也是最原始的手段或方法,他能把错误处理模块有效与其他代码分离开来
虽然goto语句能有效的支持异常处理变成的实现,但是没有人建议使用它,具体原因如下:
1):goto语句能破坏程序的结构化设计,使得代码难以测试,且包含大量goto的代码模块不易理解和阅读
2):与c++预压提供的异常处理编程模型相比,他的确太弱了一些,例如:它一般只能在某个函数的局部作用域内进行跳转,即它不能有效的实现程序控制流跨函数远程的跳转。
3):如果在c++语言中,使用goto语句来实现异常处理,那么它将给面向对象构成极大破坏
2.2 传统的错误处理机制
- 终止程序,如assert,缺陷,用户难以接受,如发生内存错误,除0错误是就会终止程序
- 返回错误码,缺陷:需要程序员自己去查找对应的错误码,如系统的很多库的接口函数都是通过把错误码放到error中,表示错误
- c标准库中setjmp和longjmp组合
3.异常的使用
3.1异常的抛出和捕获
异常的抛出和匹配原则
-
异常是通过抛出对象而引发的,该对象的类型决定了应该激活那个catch的处理代码
-
被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。
-
抛出异常对象后,会生成一个异常对象的拷贝,因为抛出的异常对象可能是一个临时对象,所以会生成一个拷贝对象,这个拷贝的临时对象会在被catch以后销毁
-
catch(…)可以捕获任意类型的异常,问题是不知道异常错误是什么
-
实际中抛出和捕获的匹配原则有个例外,并不都是类型完全匹配,可以抛出派生类对象,使用基类对象进行捕获在函数调用链中异常栈展开的匹配原则
-
首先检查throw本身是否在try块内部,如果是再查找匹配的catch语句,如果有匹配的,再调用catch的地方进行处理
-
没有匹配的catch则退出当前函数栈,继续在调用函数的栈中进行查找匹配的catch
-
如果到达main函数的栈,依旧没有匹配的,则终止程序。上述这个沿着调用链查找匹配的catch子句的
过程称为栈展开。所以实际中我们最后都要加一个catch(…)捕获任意类型的异常,否则当有异常没捕
获,程序就会直接终止。 -
找到匹配的 catch子句并处理以后,会继续沿着catch子句后面继续执行
double Division(int a, int b) {
if (b == 0) {
throw"Division by zero condition!";
}
else {
return ((double)a) / ((double)b