c++中的异常处理
try ,将可能发生异常的代码块括起来;
catch,处理异常代码块;
throw,抛出异常对象。
一般情况下,try与catch二者是不可分割的。
例如:
#include<iostream>
#include<fstream>
using namespace std;
int main()
{
bool running = false;
while(!running)
{
int a = 0;
int b = 0;
int c = 0;
try //try不会影响代码的执行流程
{
cin>>a>>b>>c;
if(a<=0||b<=0||c<=0)
{
throw "input is invalid!";
}
//try中,throw后面的代码不执行。
}
catch(const char *errstr) //专门处理异常代码块
{
cout<<errstr<<endl;
}
}
return 0;
}
从上面代码中,我们可以看到在try中,throw后面的代码是不执行的,所以平时就会忽略这个问题,从而导致代码出现bug,这个也是笔试时经常出现的一类问题。
接下来就用这个例子简单的看一下。
> try
{
int *p = new int;
ofstream outf("data.txt");//资源的开辟
cin>>a>>b>>c;
if(a<=0||b<=0||c<=0)
{
throw "input is invalid!";
// 抛出异常,即抛出常量字符串
}
delete p;
outf.close();//资源的删除
}
catch(const char *errstr)//专门处理异常代码块
{
cout<<errstr<<endl;
delete p;
outf.close();
}
我们在try函数中,进行了资源的开辟与释放,一旦我们的输入有问题,我们的throw函数将会截断try函数,使其不会继续进行下去,这样会造成内存泄漏问题。所以我们必须在每个catch里面进行资源的释放。(c++11版本或许会有Finally函数进行统一释放。)
template<typename T,int SIZE>
class CArray
{
public:
CArray()
{
cout<<this<<endl;
cout<<"CArray()"<<endl;
mCur = 0;
}
~CArray()
{
cout<<this<<endl;
cout<<"~CArry()"<<endl;
}
void push_back(const T &val)
{
if(mCur >= SIZE)
{
throw "array is false";
}
mArr[mCur++] = val;
}
void pop_back()
{
mCur--;
}
T& operator[](int index)
{
return mArr[index];
}
private:
T mArr[SIZE];
int mCur;
};
void func1()
{
CArray<int,5> arr1;
try
{
for(int i=0;i<6;++i)
{
arr1.push_back(rand()%100+1);
}
}
catch(const char* err)
{
cerr<<err<<endl;
//cerr对应标准错误流,用于显示错误消息。默认情况下被关联到标准输出流,但它不被缓冲.
}
}
int main()
{
func1();
return 0;
}
经过上面的代码,关于异常处理我们可以得出下面俩点:
1、异常处理后,抛到相应的catch块处理,处理完以后,程序仍然可以继续执行。
2、抛出异常,不仅仅是抛出常量字符串,更有各种类型。
我们可以在下面寻找类型相同的catch块;
首先在当前函数下寻找类型相同的;
若没有找到匹配的catch块,则把问题抛给上方(上方即是调用这个函数
的一个函数,这里指的是func1()函数)
若一直抛到main函数里面,还没有,则系统返回。
throw CExcepFull<T>("array is full",val);
CExcepFull<T> tmp = CExcepFull<T>("array is full",val);
throw tmp;
throw函数首先构造一个临时的异常对象,存储在异常存储区域. 在抛出对象时,编译器会拷贝构造一个新的对象,然后抛出新对象,临时对象析构。
开始执行catch块,当catch函数的右括号一出,则新对象的生命周期消失(即异常存储区域的异常对象)。
我们通常在写代码时,可能会有疏忽,并不能全部确定异常情况,这时,我们就可以用到这个语句:
catch(...) //catch all
{
}
这个函数可以保证程序不会挂掉,如果没有相同类型,最终会匹配到这里,由于,这个函数与不同类型的函数都可以进行匹配,又因为函数匹配是从上倒下进行的,所以此函数必须写在末尾。
异常的重新抛出
在深层次函数的调用中,出现了多种异常,同时又解决了多种异常, 对于main函数来说并不知情,现在main函数想检测一下,在整个函数中在运行过程中,抛出异常的个数。
我们可以用rethrow语句,
catch(const CExcepFull<int> &err)
{
err.show();
throw;
}
表示将异常抛出到调用方(func1),在调用方加上一个try,catch语句,加上一个计数器,即可以解决此问题。
异常的规范:
异常的规范是在c++99里面是不支持的,但在此c++11是支持的。
void push_back(const T &val) throw();//该接口不抛异常,否则挂掉 ,throw()是函数首部的一部分,是不能缺少的
void push_back(const T &val) throw(int);//只抛出整形异常,其他挂掉