深入理解setjmp与longjmp-优快云博客

本文探讨了setjmp与longjmp在C语言中的使用，通过具体代码示例展示了这两个函数如何实现非局部跳转，并分析了在不同编译选项下程序行为的变化，揭示了变量在非局部跳转中的保存与恢复机制。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

static jmp_buf env;

static void
doJump(int nvar, int rvar, int vvar)
{
printf("Inside doJump(): nvar=%d rvar=%d vvar=%d\n", nvar, rvar, vvar);
longjmp(env, 1);
}

int
main(int argc, char *argv[])
{
int nvar;
register int rvar; /* Allocated in register if possible */
volatile int vvar; /* See text */

nvar = 111;
rvar = 222;
vvar = 333;

if (setjmp(env) == 0) { /* Code executed after setjmp() */
nvar = 777;
rvar = 888;
vvar = 999;
doJump(nvar, rvar, vvar);

} else { /* Code executed after longjmp() */

printf("After longjmp(): nvar=%d rvar=%d vvar=%d\n", nvar, rvar, vvar);
}

exit(EXIT_SUCCESS);
}

When we compile the program in Listing 6-6 normally, we see the expected output:
$ cc -o setjmp_vars setjmp_vars.c
$ ./setjmp_vars
Inside doJump(): nvar=777 rvar=888 vvar=999
After longjmp(): nvar=777 rvar=888 vvar=999

However, when we compile with optimization, we get the following unexpected
results:
$ cc -O -o setjmp_vars setjmp_vars.c
$ ./setjmp_vars
Inside doJump(): nvar=777 rvar=888 vvar=999
After longjmp(): nvar=111 rvar=222 vvar=999

--------------------------------------------------------------------------------------------------------------------------------

这个宏可能不只返回一次。第一次，在直接调用它时，它总是返回零。当调用 longjmp 时带有设置的环境信息，这个宏会再次返回，此时它返回的值会传给 longjmp 作为第二个参数。

#include <stdio.h>

#include <setjmp.h>

static jmp_buf buf;

void second(void)

{

printf("second\n"); // 打印

longjmp(buf,1); // 跳回setjmp的调用处 - 使得setjmp返回值为1

}

void first(void) {

second();