异常基本概念
异常处理就是处理程序中的错误,所谓错误是指在程序运行的过程中发生的一些异常事件(如:除0退出,数组下标越界,所要读取的文件不存在,空指针,内存不足等等)
c语言中处理异常
两种方法:
-
使用整形的返回值标识错误;
-
使用errno宏(可以简单的理解为一个全局整形变量)去记录错误,当然c++中仍然可以用这两种方法的。
-
这两种方法最大的缺陷就是会出现不一致问题,例如有些函数返回1表示成功,有些则返回0表示成功
-
还有一个缺点就是函数的返回值只有一个,你通过函数的返回值表示错误代码,那么函数就不能返回其他的值。当然,你也可以通过指针或者c++的引用来返回另外的值,但是这样可能会令你的程序比较难懂
c++中处理异常
- 函数的返回值可以忽略,但异常不可忽略,如果程序出现异常,但是没有被捕获,程序就会终止,这多少会促使程序员开发出来的程序更健壮一点,而如果使用C语言的errot宏或者函数的返回值,调用者都有可能忘记检查,从而没有对错进行处理,结果造成程序员莫名其妙的终止或出现错误的结果
- 整型返回值没有任何语义信息,而异常却包含语义信息,有时你从类名就能狗体现出来
- 整型返回值缺乏相关的上下文信息,异常作为一个类,可以拥有自己的成员,这些成员可以传递足够的信息
- 异常处理可以在调用跳级。这是一个代码编写时的问题:假设在有多个函数的调用栈中出现某个错误,使用整型返回码要求你在每一级函数中都要进行处理,而使用异常处理的栈展开机制,只需要在一处进行处理就可以,不需要每级函数都处理
异常的基本使用
-
try试图执行
try{}
中的内容 -
在可能出现异常的地方 抛出异常 throw
-
try下面catch捕获异常
-
catch(捕获类型)
...
代表 所有其他类型 -
如果不想处理异常,继续向上抛出throw
-
如果没有任何处理异常的地方,那么成员调用terminate函数中断
-
自定义异常类,可以抛出自定义的对象
#include<iostream>using namespace std;class myException //自定义异常类 { public:void printError(){cout << "自定义的异常" << endl;} };int myDevide(int a, int b) {if (b == 0){//如果b是异常,抛出异常//return -1;//throw - 1; 抛出int类型异常//throw 3.14;//抛出double类型异常 异常必须处理//throw 'a';throw myException(); //匿名对象}return a / b; }void test01(){int a = 10;int b = 0;//int ret = myDevide(a, b);//早期如果返回-1 无法区分到底是结果还是异常//c++中异常处理try{myDevide(a, b);}catch (int)//捕获异常{cout << "int 类型异常捕获" << endl;}catch (double){//如果不想处理这个异常,可以向继续向上抛出throw;cout << "double类型异常捕获" << endl;}catch (myException e){e.printError();}catch (...){cout << "其他异常类型捕获" << endl;}}int main() {try{test01();}catch (double) //如果异常都没处理,那么成员terminate函数,使程序中断{cout << "main函数中double类型异常捕获" << endl;}catch (...){cout << "main函数中其他异常类型捕获" << endl;}//test01();system("pause");return 0; }
总结:
-
若有异常则通过throw操作创建一个异常对象并抛出
-
将可能抛出异常的程序投放到try块之中
-
如果在try段执行期间没有引起异常,那么跟在try后面的catch字句就不会执行
-
catch子句会根据出现的先后顺序被检查,匹配的catch语句捕获并处理异常(或继续抛出异常)
-
如果匹配的处理来找到,则运行函数terminate将自动被调用,其缺省功能调用abort终止程序
-
处理不了的异常,可以在catch的最后一个分支,使用throw,向上抛
-
c++异常处理使得异常的引发和异常的处理不必在一个函数中,这样底层可以着重解决具体问题,而不必过多的考虑异常的处理,上层调用者可以在适当的位置设计对不同类型异常的处理
#include<iostream>using namespace std;class myException //自定义异常类{public:void printError(){cout << "自定义的异常" << endl;}};int myDevide(int a, int b){if (b == 0){//如果b是异常,抛出异常//return -1;//throw - 1; 抛出int类型异常//throw 3.14;//抛出double类型异常 异常必须处理//throw 'a';throw myException(); //匿名对象}return a / b;}void test01(){int a = 10;int b = 0;//int ret = myDevide(a, b);//早期如果返回-1 无法区分到底是结果还是异常//c++中异常处理try{myDevide(a, b);}catch (int)//捕获异常{cout << "int 类型异常捕获" << endl;}catch (double){//如果不想处理这个异常,可以向继续向上抛出throw;cout << "double类型异常捕获" << endl;}catch (myException e){e.printError();}catch (...){cout << "其他异常类型捕获" << endl;}}int main(){try{test01();}catch (double) //如果异常都没处理,那么成员terminate函数,使程序中断{cout << "main函数中double类型异常捕获" << endl;}catch (...){cout << "main函数中其他异常类型捕获" << endl;}//test01();system("pause");return 0;}
栈解旋
-
从try开始到throw抛出异常之前,所有栈上的对象都会被释放,这个过程称为栈解旋,构造析构顺序相反
-
栈上对象构造顺序与析构顺序相反
class Person{public:Person(){cout << "Person构造" << endl;}~Person(){cout << "Person析构" << endl;}};int myDevide(int a, int b){if (b == 0){//如果b是异常,抛出异常//return -1;//throw - 1; 抛出int类型异常//throw 3.14;//抛出double类型异常 异常必须处理//throw 'a';//栈解旋//从try开始到throw抛出异常之前,所有栈上的对象都会被释放//这个过程称为栈解旋//构造析构顺序相反Person p1;Person p2;throw myException(); //匿名对象}return a / b;}