与刺激的abort()和exit()相比,goto语句看起来是处理异常的更可行方案。不幸的是,goto是本地的:它只能跳到所在函数内部的标号上,而不能将控制权转移到所在程序的任意地点(当然,除非你的所有代码都在main体中)。
为了解决这个限制,C函数库提供了setjmp()和longjmp()函数,它们分别承担非局部标号和goto作用。头文件<setjmp.h>申明了这些函数及同时所需的jmp_buf数据类型。
原理非常简单:
1.setjmp(j)设置“jump”点,用正确的程序上下文填充jmp_buf对象j。这个上下文包括程序存放位置、栈和框架指针,其它重要的寄存器和内存数据。当初始化完jump的上下文,setjmp()返回0值。
2. 以后调用longjmp(j,r)的效果就是一个非局部的goto或“长跳转”到由j描述的上下文处(也就是到那原来设置j的setjmp()处)。当作为长跳转的目标而被调用时,setjmp()返回r或1(如果r设为0的话)。(记住,setjmp()不能在这种情况时返回0。)
通过有两类返回值,setjmp()让你知道它正在被怎么使用。当设置j时,setjmp()如你期望地执行;但当作为长跳转的目标时,setjmp()就从外面“唤醒”它的上下文。你可以用longjmp()来终止异常,用setjmp()标记相应的异常处理程序。
#include <stdio.h> #include <setjmp.h> jmp_buf jumper; int div(int a, int b) { if (b == 0) { // can't divide by 0 longjmp(jumper, -3);//跳到以jumper 所在的jmp point,进行处理,-3 相当于具体的exception code. } return a / b; } int main(int argc, char *argv[]) { int jstatus = setjmp(jumper);//相当于java catch,如果发生 jumper 异常,那么会跳回到这个jmp point if (jstatus == 0) {//第一次执行的时候是正确的setjmp return 0. int a = atoi(argv[1]); int b = atoi(argv[2]); printf("%d/%d", a, b); int result = div(a, b); printf("=%d\n", result); } else if (jstatus == -3) printf(" --> Error:divide by zero\n"); else printf("Unhandled Error Case"); }
===============See my demo code
#include "stdafx.h"
#include <setjmp.h>
jmp_buf jb;
void setExceptionHandlePoint();
int div(int a,int b)
{
if(b==0)
longjmp(jb,1314);
else
return a/b;
}
int _tmain(int argc, _TCHAR* argv[])
{
int i=10,b=0;
setExceptionHandlePoint();
div(i,b);
getchar();
return 0;
}
void setExceptionHandlePoint()
{
int statuscode=setjmp(jb); --当发生异常的时候将从这里执行而不再从setExceptionHandlePoint 开始,,,
if(statuscode==1314)
{
printf("happen 1314 error....");
getchar();
}//当处理完异常后如果我们不指向到哪里,那么这时程序的执行点将是在000000,.也就是程序不知道到底这个时候要执行什么,,lua programing cookbook.pdf P296, we need a continuation function.....
}