基于异常的设计（3）

系统根据被抛出来的异常与catch 子句中异常类型的匹配情况来选择catch 子句。在本例
中，异常是string 类型与下面的catch 子句相匹配
catch( string exceptionMsg )
{/* 处理异常的代码 */}
系统把控制传递给被选中的catch 子句，其中的语句将顺序执行完成之后，除非在
处理该异常的子句中又抛出异常，否则，控制将被传回到程序的当前点上。例如，如果我们已
经这样写
catch( string exceptionMsg )
{
cerr << "stats(): exception occurred: "
<< exceptionMsg << endl;
pstats[0] = pstats[1] = pstats[2] = 0;
}
那么在catch 子句完成时，控制将被传递给catch 子句集后面的可执行语句。本例中
语句
pstats[ 3 ] = pstats[ 0 ]/size;
被执行，然后是do_something()调用以及返回pstats。而调用stats()的函数根本不知道
曾经有异常被抛出。
一段更为合理的异常处理代码可能如下所示
c atch( string exceptionMsg )
{
cerr << "stats(): exception occurred: "
<< exceptionMsg
<< " unable to stat array "
<< endl;
delete [] pstats;
return 0
}
在上面的代码中，catch 子句直接把控制返回给外面的调用函数，我们希望外面的函数在
把返回值用作索引数组之前先测试它是否为0。
如果try 块内抛出的异常不能被相关联的catch 子句处理，那么函数将被终止，然后异
常机制再在调用stats()的函数中查找处理代码。
如果异常机制按照函数被调用的顺序回查每个函数，直到main()函数仍然没有找到处理
代码，那么它将调用标准库函数terminate()。缺省情况下terminate()函数结束程序。
一种特殊的能够处理全部异常的catch 子句如下：
catch( ... )
{
// 处理所有异常虽然它无法
// 访问异常对象
}
我们可以把它看作是一种捕捉所有异常catch-all 的catch 子句。
异常处理机制为统一地处理程序异常提供了语言一级的设施。第11 章与19 章将进一步
详细讨论（另一本配套的书Inside the C++ Object Model LIPPMAN96a 中讨论了实现与
性能的话题，Josée Lajoie 在LIPPMAN96b 中的文章Exception Handling: Behind the Scenses
对此也有讨论，LIPPMAN96b 中Tom Cargill 的文章Exception Handling: A False Sense of
Security 则对使用异常处理过程中易犯的错误做了很好的讨论）