C++的异常处理

当程序由多个相互分离的模块构成，错误处理的工作需要分成两个部分：某个模块报告出那些无法在局部解决的问题，而另一些模块处理那些在其他模块检查出的问题。异常机制是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.