当程序由多个相互分离的模块构成,错误处理的工作需要分成两个部分:某个模块报告出那些无法在局部解决的问题,而另一些模块处理那些在其他模块检查出的问题。异常机制是C++中将错误报告和错误错里分离开的手段。
如果函数发现了自己无法处理的问题,就会抛出(throw)一个异常,由它的调用者来处理这个问题。异常抛出的程序结构为:
throw 异常对象;
如果一个函数想处理这个问题,它就要说明自己要捕获(catch)这个异常,捕获异常的程序结构为:
try
{
}catch(异常类 e)
{
}
catch
及其后面的部分称为异常处理器,try
后可以后跟多个异常处理器,处理不同类型的异常。如果try
块中的任何代码抛出了异,常,它会依次检查这个try
块后面的异常处理器。如果所抛出的异常属于某个异常处理器所描述的类型,则这个异常处理器就会被执行。如果try
块未抛出异常,则异常处理器将会被忽略。如果抛出一个没有任何一个异常处理器可以捕获的异常,则整个程序终止。
抛出的异常可以是任何类型的对象(包括基本类型等),但更好的方法是为不同的错误类型设计不同的异常类,这样代码更清晰。异常适合于非局部、跨模块的错误处理,而对于局部(模块内部)错误,就在局部处理,不应该使用异常。
//-*-C++-*-
/****************************************
* exception_handler.h *
* *
* C++语言的异常处理 *
****************************************/
#include <string>
struct NullException
{
std::string errMsg;
NullException(std::string _errMsg)
{
errMsg = _errMsg;
}
};
void Print(int *p);
void Divide(int m, int n);
/****************************************
* exception_handler.cpp *
* *
* C++语言的异常处理 *
****************************************/
#include "exception_handler.h"
#include <iostream>
void Print(int *p)
{
if (0 == p)
throw NullException("p is null");
std::cout<<"整数值为"<<*p<<std::endl;
}
void Divide(int m, int n)
{
if (0 == n)
throw -1;
std::cout<<m<<"除以"<<n<<"="<<m/n<<std::endl;
}
#include "exception_handler.h"
#include <iostream>
int main()
{
int a = 10;
try
{
Print(&a);
}catch(NullException e)
{
std::cout<<e.errMsg<<std::endl;
}
std::cout<<std::endl;
int *p = 0;
try
{
Print(p);
}catch(NullException e)
{
std::cout<<e.errMsg<<std::endl;
}
std::cout<<std::endl;
try
{
Divide(10,0);
}catch(int i)
{
if ( i == -1)
std::cout<<"除0异常"<<std::endl;
}
return 0;
}
参考文献
1.Bjarne Stroustrup著,裘宗燕译. C++程序设计语言(特别版).机械工业出版社 2009.