面向对想程序设计9.pptVIP

第八章 程序健壮性设计——异常处理 本章要求 目标：掌握C++的异常处理机制 知识点 异常的概念 C++的异常处理机制 第八章 异常处理 异常及异常处理 C++的异常处理机制 用类的对象传递异常 异常处理中的退栈和对象析构 第八章 异常处理 异常及异常处理 C++的异常处理机制 用类的对象传递异常 异常处理中的退栈和对象析构 8.1 异常及异常处理 程序的错误通常包括：语法错误、逻辑错误和运行异常。 语法错误：程序的书写不符合语言的语法规则，可由编译程序发现。 逻辑错误（语义错误）：程序设计不当造成程序没有完成预期的功能，可通过测试发现。 运行异常：由程序运行环境问题造成的程序异常终止，如内存空间不足、打开不存在的文件进行读操作、程序执行了除以0的指令等。 异常有以下的一些特点： 偶然性。程序运行中，异常并不总是会发生的。 可预见性。异常的存在和出现是可以预见的。 严重性。一旦异常发生，程序可能终止，或者运行的结果不可预知。 异常的特点 程序的鲁棒性（健壮性）：程序在各种极端情况下能够正确运行的程度。 为了提高程序的鲁棒性，就需要在程序中对各种异常（极端）情况进行考虑并给出相应的处理。 程序的健壮性 异常处理 处理异常的办法有很多，其中最直接的办法是调用C++标准库中的函数exit或abort终止程序执行。 参见工程“yccl”。 异常的检测和处理都是在一个程序模块（divide函数）中进行的——就地处理；就地处理有时不合适。 异常处理 void f(char *filename) {ifstream file(filename); if(file.fail()) {……//异常处理} else {……} } void main() { char filename[10]; cinfilename; f(filename); } 异常处理 int f(char *filename) {ifstream file(filename); if(file.fail()) {return -1;} else {……} } void main() { char filename[10]; cinfilename; if(f(filename)==-1) {……//异常处理} } 异常处理 通过返回值异地处理。 混乱，易读性不好 破坏程序的逻辑性 第八章 异常处理 异常及异常处理 C++的异常处理机制 用类的对象传递异常 异常处理中的退栈和对象析构 8.2 C++的异常处理机制 在C++中，异常处理（EH）就是用C++提供的try－throw－catch的模式进行异常处理的机制。 抛掷异常的程序段 ...... throw 表达式; ...... 捕获并处理异常的程序段 try 复合语句 catch（类型[变量]） 复合语句 catch（类型[变量]） 复合语句 … void f(char *filename) {ifstream file(filename); …//可能发生异常 } void main() { char filename[10]; cinfilename; f(filename); } throw 表达式; try f(filename); catch（……） 复合语句 … 异常处理流程 若有异常则通过throw操作创建一个异常对象并抛掷。 将可能抛出异常的程序段嵌在try块之中。控制通过正常的顺序执行到达try语句，然后执行try块内的保护段。 如果在保护段执行期间没有引起异常，那么跟在try块后的catch子句就不执行。程序从try块后跟随的最后一个catch子句后面的语句继续执行下去。 异常处理流程（续） catch子句按其在try块后出现的顺序被检查。匹配的catch子句将捕获并处理异常（或继续抛掷异常）。 如果匹配的处理器未找到，则运行函数terminate将被自动调用，其缺省功能是调用abort终止程序。 说明 类型用于指出捕获何种异常对象， 类型与异常对象的类型匹配规则同函数重载。变量用于存储异常对象，可以缺省，缺省时表明catch语句款只关心异常对象的类型，而不考虑具体的异常对象。 try 复合语句 catch（类型[变量]） 复合语句 catch（类型[变量]） 复合语句 … 说明 try语句块和catch语句块是一个整体，两者之间不能有其他的语句； 一个try语句块后面可以有多个catch语句，但是，不可以几个try语句块后面用一个catch语句。 catch（…）表示catch子句可以处理任何类型的异常。这段处理