C实现异常处理.docVIP

C实现异常处理 引子： 不管是在c++还是在java中，异常都被认为是一种很优雅的处理错误的机制，而如果想在c语言中使用异常就比较麻烦。但是我们仍然可以使用c语言中强大的setjmp和longjmp函数实现类似于c++的异常处理机制。 有关c语言中setjmp和longjmp的资料可以参考： C语言中一种更优雅的异常处理机制：/hello_wyq/archive/2006/06/23/826312.aspx 全面了解setjmp与longjmp的使用：/hello_wyq/archive/2006/06/16/804040.aspx 基本原理 结合setjmp，将当前的环境变量打包为frame（定义的一个结构名）压到一个异常堆栈（自定义的结构体）中，如果程序段正常运行，将此frame弹出，而如果程序出错，将异常栈的顶部元素弹出，根据这个栈顶元素的frame中保存的环境变量，通过setjmp将环境恢复，然后执行某个错误处理函数，而如果没有相应错误处理函数，重新弹出新的栈顶元素，以跳到更外层的setjmp块进行处理。 主要代码分析 此异常机制的实现大量应用了宏，以实现c++和java中异常处理的语法效果。如何使用见下面的如何使用部分。 try部分,作用见注释：c 代码 //try的作用就是将一个包含环境变量env的except_frame压入Except_stack栈中。 //其中except_flag为setjmp的返回值，表示异常的状态 #define try do{ \ volatile int except_flag; \ Except_frame except_frame; \ except_frame.prev = Except_stack; \ Except_stack = except_frame; \ except_flag = setjmp(except_frame.env); \ if (except_flag == EXCEPT_ENTERED) \ { 最重要的部分要数except_raise函数，检查异常是否被处理，如果未被处理，重新从异常栈中弹出新的frame,以跳到更外层的异常处理块。 catch(e)也是宏，检查当前的frame是否和这个catch块中的e对应，如果对应的话，执行下面的部分进行处理。 因为所有except_frame全部放在栈上，因此可以说这个except_stack利用了程序自动产生的stack机制，只要正确地改变Except_stack的值就可以了，不必再考虑分配的except_frame的释放问题，空间的分配释放全由程序自动生成的stack管理。 如何使用 使用这个异常机制的代码，如下 c 代码 try{ S; }catch(e1){ S1; }catch(e2){ S2; }else_catch{ S3; }end_try; 此相当于c++中的： try{ S; }catch(e1){ S1; }catch(e2){ S2; }catch(…){ S3; } 当前实现的异常机制也支持finally语句，因此下面的代码： c代码 try{ S; }catch(e1){ S1; }finally{ S2; }end_try; 相当于java中的： java 代码 try{ S; }catch(e1except e1){ S1; }finally S2; 源代码 文件：exception.h c 代码 #ifndef __EXCEPTION_H__ #define __EXCEPTION_H__ #include stdio.h/stdio.h #include setjmp.h/setjmp.h #include assert.h/assert.h #define T Except_t typedef struct Except_t{ char