C语言的异常机制 setjump longjump函数

[转]C语言的异常机制 setjump longjump函数

 

原文链接: http://blog.csdn.net/wanglang3081/article/details/18664919

 

 

与刺激的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()标记相应的异常处理程序。

1.实例一: setjmp的位置与longjmp的位置为同一个函数栈内.

#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");
}

 

实例2: setjmp 与longjmp处在不同的函数栈内.
===============

(转载者注:以下的代码,我亲自跑过,硬件平台为MAC OS X 10.9, 一切正常)
#include <stdio.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 some_load[100];  //模拟一个工作栈
     int statuscode=setjmp(jb);
     
     if(statuscode==1314)
     {
       printf("happen 1314 error....");
       getchar();
     }
}