10.1 异常的概念和处理机制

异常的概念

这里所讲的 异常 （exception）是程序可能检测到的，运行时不正常的情况，如存储空间耗尽、数组越界、被0除等等，可以预见可能发生在什么地方，但是无法确知怎样发生和何时发生。特别在一个大型的程序（软件）中，程序各部分是由不同的小组编写的，它们由公共接口连起来，错误可能就发生在相互的配合上，也可能发生在事先根本想不到的个别的条件组合上。

C++提供了一些内置的语言特性来 产生 （raise）或 抛出 （throw）异常，用以通知“异常已经发生”，然后由预先安排的程序段来 捕获 （catch）异常，并对它进行处理。这种机制可以在C++程序的两个无关（往往是独立开发）的 部分进行“异常”通信。由程序某一部分引发了另一部分的异常，这一异常可回到引起异常的部分去处理（沿着程序函数的调用链）。这也是分清处理责任的好办法。

异常处理机制

 ◆ 1、在C++中异常往往用类（class）来实现，以栈为例，测到栈满或空就抛出一个异常。栈的异常类声明如下：
     class popOnEmpty{...}; //栈空异常
    class pushOnFull{...}; //栈满异常
栈的部分代码：
template <typename T>void Stack<T>::Push(const T&data)
{
       if(IsFull()) throw pushOnFull<T>(data);
              //注意加了括号,是构造一个无名对象
       elements[++top]=data;
}
template<typename T>T Stack<T>::Pop()
{
       if(IsEmpty()) throw popOnEmpty<T>();
       return elements[top--];
}

注意pushOnFull是类，C++要求抛出的必须是对象，所以必须有“()”，即调用构造函数建立一个对象。异常并非总是类对象， throw表达式 也可以抛出任何类型的对象，如枚举、整数等等。但最常用的是类对象。

throw表达式抛出异常为异常处理的第一步。

在堆栈的压栈和出栈操作中发生错误而抛出的异常，应由调用堆栈的程序来处理。首先采用关键字 try ，构成一个try块（try block），它包含了抛出异常的语句或这样的调用语句——该语句所调用的函数中有能够抛出异常的语句。然后由 catch 子句捕获并处理异常。

由catch子句捕获并处理异常是第二步。

◆ 2、try块与catch子句的关系
请看下面的程序段给出try块与catch子句的关系：
int main()
{
       int a[9]={1,2,3,4,5,6,7,8,9},b[9]={0},i;
       stack<int>istack(8);
       try{
              for(i=0;i<9;i++) istack.Push(a[i]);
              istack.PrintStack();
       }
       catch(pushOnFull<int>)
       {
              cerr<<”栈满”<<endl;
       }
       try{
              for(i=0;i<9;i++)
                     {b[i]=istack.Pop();}
       }
       catch(popOnEmpty<int>)
       {
              cerr<<”栈空”<<endl;
       }
       for(i=0;i<9;i++)
              cout<<b[i]<<’\t’;
       cout<<endl;
       return 0;
}

这里有两个try块，分别对应压栈与出栈；也有两个catch子句（catch clause），分别处理压栈时的栈满和出栈时的栈空。

在编制程序时有一条惯例：把正常执行的程序与异常处理两部分分隔开来，这样使代码更易于跟随和维护。在上例中，我们可以把两个try块合成一个，而把两个catch子句都放在函数最后。

把程序的正常处理代码和异常处理代码分离的最清楚的方法是定义函数try块（function try block）, 但VC++6.0不支持。
int main()
try{
      int a[9]={1,2,3,4,5,6,7,8,9},b[9]={0};
      stack <int>istack(8);
      ......;
      return 0;
}

catch(popOnEmpty<int>)
       {cerr<<”栈空”<<endl;return 1;}
catch(pushOnFull<int>)
       {cerr<<”栈满”<<endl;return 2;}

一个函数try块把一组catch子句同一个函数体相关联。如果函数体中的语句抛出一个异常，则考虑跟在函数体后面的处理代码来处理该异常。函数try块对构造函数尤其有用。

◆ 3、流程控制规则：

• 如果没有异常发生，继续执行try块中的代码，与try块相关联 的catch子句被忽略，程序正常执行，main()返回0。
• 当第一个try块在for循环中抛出异常，则该for循环退出，try块也退出，去执行可处理pushOnFull异常的catch子句。istack.PrintStack()不再执行，被忽略。
• 如果第二个try块调用Pop()抛出异常，则退出for和try块，去执行可处理popOnEmpty异常的catch子句。
• 当某条语句抛出异常时，跟在该语句后面的语句将被跳过。程序执行权交给处理异常的catch子句，如果没有catch子句能够处理异常，则交给C++标准库中定义的terminate()。