一、异常处理
1、异常的概念
(1)、程序在运行过程中可能产生异常
(2)、异常(Exception)和Bug的区别
A、异常是程序运行时可预料的执行分支
B、Bug是程序中的错误,是不被预期的运行方式
2、异常(Exception)和Bug的对比
(1)异常
A、运行时产生除0的情况
B、需要打开的外部文件存在
C、数组访问越界
(2)、Bug
A、使用野指针
B、堆数组使用结束后未释放
C、选择排序无法处理长度为0的数组
3、C语言经典处理方式:if....else.....
#include <iostream> using namespace std; double divide(double a, double b, int* valid) { const double delta = 0.000000000000001; double ret = 0; if(!((-delta < b) && (b < delta))) { ret = a / b; *valid = 1; //正常 } else { *valid = 0; //除0错误 } return ret; } int main() { int valid = 0; double r = divide(1, 0, &valid); //当第3个参数为NULL时,还是会出问题 if(valid) { cout << "r = " << r << endl; } else { cout << "Divide by zero..." << endl; } return 0; }
4、缺陷
(1)、divide函数有三个参数,难以理解其用法
(2)、divide函数调用后必须判断valid代表的结果
A、当valid为true时,运算结果正常
B、valid为false时,运行结果出现异常
二、优化方式
1、通过setjmp()和longjmp()进行优化
(1)、int setjmp(jmp_buf env)
A、将当前上下文保存在jmp_buf结构体中
(2)void setjmp(jmp_buf env, int val)
A、从jmp_buf结构体中恢复setjmp()保存上下文
B、最终从setjmp()函数调用点返回,返回值为val
#include <iostream> #include <csetjmp> //for setjmp、longjmp(); using namespace std; static jmp_buf env; //须定义全局的上下文环境 double divide(double a, double b) { const double delta = 0.000000000000001; double ret = 0; if(!((-delta < b) && (b < delta))) { ret = a / b; } else { longjmp(env, 1); //当错误发生时会跳转到setjmp那么的代码 //处,重新执行setjmp并把其的返回值设为1 } return ret; } int main() { if(setjmp(env) == 0) //先保存上下文环境,刚调用时返回值为0 { double r = divide(1, 0); cout << "r = " << r << endl; } else { cout << "Divide by zero..." << endl; } return 0; }
2、缺陷:setjmp()和longjmp()的引入
(1)、必须涉及到使用全局变量
(2)、暴力跳转导致代码可读性降低
(3)、本质还是if...else...的处理方式
三、小结
(1)、程序中不可避免的会发生异常
(2)、异常是在开发阶段就可以预见的运行时问题
(3)、C语言中通过经典的if-else
(4)、C++中存在更好的异常处理方式