C语言setjump函数理解

  与刺激的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描述的上下文处(也就是到那原来设置jsetjmp()处)。当作为长跳转的目标而被调用时,setjmp()返回r1(如果r设为0的话)。(记住,setjmp()不能在这种情况时返回0

通常有两类返回值,setjmp()让你知道它正在被怎么使用。当设置j时,setjmp()如你期望地执行;但当作为长跳转的目标时,setjmp()就从外面唤醒它的上下文。你可以用longjmp()来终止异常,用setjmp()标记相应的异常处理程序。

 

#include <setjmp.h>

#include <stdio.h>

jmp_buf j;

void raise_exception(void)

{

printf("exception raised\n");

longjmp(j, 1); /* jump to exceptionhandler */

printf("this line should never appear\n");

}

int main(void)

{

if(setjmp(j) == 0)

{

printf("''setjmp'' is initializing ''j''\n");

raise_exception();

printf("this line should never appear\n");

}

else

{

printf("''setjmp'' was just jumped into\n");

/* this code is the exception handler */

}

return 0;

}

/* When run yields:

''setjmp'' is initializing ''j''

exception raised

''setjmp'' was just jumped into

*/

  那个填充jmp_buf的函数不在调用longjmp()之前返回。否则,存储在jmp_buf中的上下文就有问题了:

jmp_buf j;

void f(void)

{

setjmp(j);

}

int main(void)

{

f();

longjmp(j, 1); /* logic error */

return 0;

}

  所以,你必须把setjmp()处理成只是到其所在位置的一个非局部跳转。

Longjmp()setjmp()联合体运行于异常生命期的23阶段。longjmp(j,r)产生异常对象r(一个整数),并且作为返回值传送到setjmp(j)处。实际上,setjmp()函数通报了异常r

  下面这个例子采用switch,能更好的展现这对函数的功能:

#include <setjmp.h>

#include <stdio.h>

jmp_buf j;

void raise_exception(void)

{

printf("exception raised\n");

longjmp(j, 3); /* jump to exception handler case 3 */

printf("this line should never appear\n");

}

int main(void)

{

switch (setjmp(j))

{

case 0:

printf("''setjmp'' is initializing ''j''\n");

raise_exception();

printf("this line should never appear\n");

case 1:

printf("Case 1\n");break;

case 2:

printf("Case 2\n");break;

case 3:

printf("Case 3\n");break;

default:

break;

}

return 0;

}

 

 

   C语言中,用于跳转的goto语句,只能够用在同一个函数内部的跳转。而setjmp longjmp的结合使用,却可以实现在不同程序之间的跳转。让我们先来看一下函数原型吧

#include <setjmp.h>
int setjmp(jmp_buf env)

Returns: 0 if called directly, nonzero if returning from a call to longjmp.

void longjmp(jmp_buf env, int val);

 这两个函数都要包含头文件setjmp.h而且它们在处理出现在深层函数嵌套的错误情况时很有用处

 setjmp这个函数很有意思,虽然是一个函数,可是却可以返回两个不同的值当第一次直接调用setjmp时,返回值为0当从longjmp函数返回时,setjmp函数的返回值为longjmp的第二个参数的值

那么在什么地方调用setjmp呢?我们希望当从longjmp函数返回时,程序从哪里接着开始运行,我们就在哪里调用setjmp

看个小实例,你就明白是怎么回事了

你可能感兴趣的:(C语言setjump函数理解)