编译器设计与实现ppt课件6_异常处理.ppt

编译器的设计与实现 ---异常处理 制作：张云 时间：2008-04 内容 目标 什么是异常处理？ 异常处理模型的确立：终止模型？唤醒模型？… 需要处理哪些情况？ 异常的表示：标准异常与异常层次结构 异常的捕获 异常的处理：Unwind 设计与实现 符号表的设计 中间表示的设计 目标代码生成 异常处理 目标： 在前面的基础上增加对异常的支持以及能够进行异常处理 问题：什么是异常处理？ 异常处理：一种错误处理方式 Exception handling is a programming language construct or computer hardware mechanism designed to handle the occurrence of some condition that changes the normal flow of execution. 传统的错误处理方式 在函数中返回错误信息or设置一个全局的错误状态标志 使用标准C库中的函数：signal() （用于推断事件发生时出现了什么情况） raise()（产生一个事件） 使用标准C库中的非局部跳转函数：setjmp() longjmp()。使用setjmp()在程序中保存一个已知的无错误状态，一旦发生错误，就可以通过调用longjmp()返回到该状态。 异常处理 异常处理是C++的主要特征之一，是考虑问题和排除错误的一种更好的处理方式。使用异常处理： 1)错误处理代码的编写不再冗长乏味，并且不再与“正常的”代码混和在一起。 2)错误不能被忽略。如果一个函数必须向调用者发送一条错误消息，它将”抛出”一个描述这个错误的对象。如果调用者没有“捕获”并处理它，错误对象将进入上一层封装的动态范围，并且一直持续下去，直到该错误被捕获or因为程序中没有异常处理器捕获这种类型的异常而导致程序终止。 程序举例 抛出异常 class MyError { char* const data; public: MyError(char* const msg = 0) : data (msg) {} }; void f() { // 抛出异常 throw MyError(something bad happened); } int main() { f(); } 捕获异常 try块 异常处理器 捕获所有可能的异常 异常匹配 class Except1 {}; class Except2 { public: Except2(const Except1) {} }; void f() { throw Except1(); } int main() { try { f(); } catch (Except2) { cout inside catch(Except2) endl; } catch (Except1) { cout inside catch(Except1) endl; } } ///:~ 异常处理模型 终止模型 C＋＋采用的就是终止模型：如果某个函数的执行中抛出一个异常，不能在该函数的内部处理，就会导致一系列函数终止，并使控制最终转移到调用链上的某个函数中适当的异常处理器。如果找不到这样的处理器，整个程序将最终结束运行。 恢复模型 PL/I语言首先引入该模型。使用恢复模型意味着异常处理器希望能够校正这种情况，然后自动地重新执行发生错误地代码，并希望第二次执行成功。 C++异常小结 C++的exception handling主要由3部分构成： 1 一个throw子句。它在程序某处发出一个exception，被抛出的异常可以是内建类型，也可以是用户自定义类型。 2 一个try区域。它包含了一系列的语句，这些语句可能会引发异常。 3 一个或多个catch子句。每一个catch子句都是一个exception handler。即，每个子句准备处理某种类型的异常，提供相应的处理程序。 C++异常小结（cont.） 当一个exception被抛出以后，控制权会从当前函数中释放出来，并寻找一个吻合的catch子句。如果没有吻合者，则调用默认的处理例程terminate()。找到匹配的catch以后，还需要进行相应的堆栈反解(unwinding the stack)。在这个过程中，需要对函数中的local class objects进行析构。 对Exception Handling的支持 当一个exception发生时，编译系统需要做以下工作： 1.检验发生throw操作的函数，构建抛出的异常对象； 2.决定throw操作是否发生在try区域中； 3