[chap11异常处理c++.pptVIP

入门篇 主讲：龙满生 主要内容 异常处理概述 异常处理机制 异常规范 标准库的异常类 11.1 异常处理概述 程序错误一般包括语法错误、逻辑错误和异常。 语法错误：程序中不符合语法规则之处，可由编译器检测出来，如非法标识符、不完整的控制结构等。 逻辑错误：程序逻辑有问题，导致得不到预期结果，可通过调试和测试解决，如条件错误等。 异常（exception）：程序运行过程中可以检测到的非正常情况，如除数为0、数组下标越界、内存分配失败、运算溢出、文件打开失败、函数实参无效等。 11.1 异常处理概述 常见的错误处理方法 使用断言 断言主要用于开发和维护阶段，用于处理不该发生的非法情况，如指针非空检测、参数合法性验证等。 cassert中提供一个参数宏assert： 函数原型void assert (int expression); assert仅用于程序的调试版。如果表达式的值为0，则输出出错信息，并调用abort()结束程序 11.1 异常处理概述 常见的错误处理方法 异常处理 一般的程序错误尽量避免使用异常 避免在构造和析构函数中抛出异常 在异常对象中包含必要的异常信息 结束程序：调用abort或exit函数结束应用程序 局部处理 忽略错误 setjump/longjump 11.1 异常处理概述 异常处理机制是程序设计语言提供的一种用于管理程序运行异常的结构化方法。 允许将正常处理代码与异常处理代码明显分开，以提高程序的可读性和可维护性。 允许异常检测与异常处理相分离，使得独立开发的两部分程序之间进行异常通信，允许用户选择处理异常的方式，以提高程序的健壮性。 11.2 异常处理机制 11.2.1 try块（try block） 将可能抛出异常的代码放在try块内 语法形式：try{ //可能产生异常的代码} try块通常置于函数体内，也可以是函数try块 try块主要用于检测异常，采用throw语句抛出异常 try块后紧跟一个或多个catch子句 11.2.2 throw语句 throw语句用于抛出某种类型的异常 语法形式：throw 表达式; 表达式可以是单个对象，其类型指明了异常类型，其值用于创建一个异常对象（存储在专用的异常栈而非函数栈）。如：throw ‘x’; throw string(); 空的throw语句表示重新抛出原先的异常对象，一般置于catch子句中，如：throw; 抛出异常后，程序跳出当前的try块，并根据异常类型搜索匹配的catch子句来捕获并处理异常 11.2.3 catch子句 catch子句负责捕获并处理try块中抛出的异常 语法形式：catch( 异常声明){ // 异常处理代码} 异常声明可以是一个类型名、一个对象声明或… 类型名表示该catch子句能够捕获的异常类型 对象名称用于在异常处理代码中引用异常对象 …表示可以捕获所有异常 11.2.3 catch子句 当抛出的异常对象与catch子句的异常类型相同，或者是其派生类型时，则由该catch子句捕获并处理异常，异常对象通过catch形参传给catch子句。 如果希望在catch子句中访问异常对象，则应该声明catch形参，否则指定异常类型名即可。 如果希望在catch子句中修改异常对象，则应该catch形参声明为引用或指针，否则catch子句不会修改原先的异常对象，修改的只是原异常对象的副本。 如果catch子句不能完全处理异常，则可以用空的throw语句重新抛出异常，由其调用链的上层处理。 11.2.3 catch子句 异常类型匹配是按照catch子句的先后顺序进行的，一旦匹配成功，则转入对应的catch子句，不会再与其后的catch子句进行匹配。 catch(…)子句应放在最后； 异常派生类的catch子句应置于对应异常基类的catch子句之前。 11.2.4 异常处理流程 如果try块没有抛出异常，则跳过与当前try块关联的catch子句，继续执行其他代码。 如果异常抛出语句没有包含在try块中，则调用terminate函数结束程序。 如果try块的代码抛出异常，则跳过try块中抛出点之后的代码，逐层向上搜索匹配的catch子句来处理异常，搜索过程如下： 先在与当前try块关联的catch子句中搜索，如果没有找到，则退出当前层次，继续在其上层try块关联的catch子句中搜索。如果找到，则由匹配的catch子句处理异常，处理完毕后跳过当前层次的其余catch子句，继续其他代码；如果搜索到主函数仍未捕获异常，则调用terminate函数结束程序。 异常搜索路径示例 11.2.5 栈展开（Stack unwinding） 栈展开是指因发生异常而沿函数调用链向上逐步退出复合语句和函数定义的过