C++程序设计课程介绍-第15章 异常处理参考.ppt

第15章 异常处理 写函数库的程序员可以检测到库函数运行时的错误（如数组访问越界），但通常却不知道应该如何处理这些错误 异常处理的基本想法是，让一个函数在发现了自己无法处理的错误时抛出一个异常，希望它的（直接或间接）调用者能够处理这个问题。 异常处理 传统错误处理方法 异常处理机制 抛出异常 捕获异常 处理异常 异常规格说明 传统错误处理方法 可以处理的错误在发生错误的地方就地处理 在检查到一个在局部无法处理的问题时，一个函数可以： 终止程序 abort() /exit() 返回一个表示“错误”的值。 int 返回一个合法值，让程序处于某种非法的状态。 errno 调用一个预先准备好在出现“错误”的情况下用的函数。 处理错误的传统方法 处理错误的传统方法：错误处理代码是在整个系统代码中分布的。代码中可能出错的地方都要当场进行错误处理。在写程序时，必须知道所有的错误该如何处理 好处: 程序员阅读代码时能够直接看到错误处理情况，确定是否实现了正确的错误检查。 问题: 代码中受到错误处理的“污染”，使应用程序本身的代码更加晦涩难懂，难以看出代码功能是否正确实现。这样就使代码的理解和维护更加困难。 面向对象中的异常处理 面向对象中，程序员经常做的是一些工具（类的设计与实现） 这些工具能够检测出错误，但往往不知道该如何处理错误。错误的处理是由工具的使用者决定 需要一种机制能将检测到的错误告诉使用者 异常处理 传统错误处理方法 异常处理机制 抛出异常 捕获异常 处理异常 异常规格说明 异常处理 C++的新异常处理特性： 异常处理将检测发现错误的代码与处理错误的代码分开来。程序员的工作也可做相应分工（例如，库函数程序员负责检测异常，而调用库函数的另一程序员则负责捕获与处理异常）。 使程序员可以删除程序执行“主线条”中的错误处理代码，从而提高程序的可读性和可维护性。 异常处理基础简介 异常处理代码的一般形式： try{ 可能抛出异常的代码 } catch(类型1 参数1) { 处理该异常的代码 } catch(类型2 参数2) { 处理该异常的代码 } … … 异常处理 传统错误处理方法 异常处理机制 抛出异常 捕获异常 处理异常 异常规格说明 抛出异常 如果程序发生异常情况，而在当前的环境中获取不到异常处理的足够信息，我们可以创建一包含出错信息的对象并将该对象抛出当前环境，发送给更大的环境中。这称为异常抛出。 例1 throw myerror(“something bad happened”); myerror是一个类，它以字符串变量为参数 例2 throw int (5) int是一个内部类型，5是一个int类型的常数 throw与其操作数 抛出异常的语句形式： throw 可选的操作数; throw通常指定一个操作数（或不指定操作数的特殊情况）。throw的操作数可以是任何类型，如果操作数是个对象，则称为异常对象。也可以抛出条件表达式而不是抛出对象，可以抛出不用于错误处理的对象。 抛出异常时，生成和初始化throw操作数的一个临时副本，然后这个临时对象初始化异常处理器中的参数。异常处理器执行完毕和退出时，删除临时对象。 异常抛出实例 – 异常类定义 // Class DivideByZeroException to be used in exception // handling for throwing an exception on a division by zero. class DivideByZeroException { public: DivideByZeroException() : message( attempted to divide by zero ) { } const char *what() const { return message; } private: const char *message; }; 异常抛出实例 – 异常抛出 double Div(int x, int y ) { if ( y == 0 ) throw DivideByZeroException(); return static_cast double ( x ) / y; } 异常处理 传统错误处理方法 异常处理机制 抛出异常 捕获异常 处理异常 异常规格说明 异常捕获 一个函数抛出异常，它必须假定该异常能被捕获和处理。异常捕获机制使得C++可以把问题集中在一处解决。 catch捕获异常 异常处理器放在catch块中, 形式如下： catch ( 捕获的异常类型