setjmp()

#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();

   printf("first\n"); // 不可能执行到此行

}

int main() {

   if ( ! setjmp(buf) )

   {

        first(); // 进入此行前，setjmp返回0

    } else { // 当longjmp跳转回，setjmp返回1，因此进入此行

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

    }

   return 0;

}

 

输出

second
main