longjmp对自动，寄存器，全局变量，静态变量，和易失变量（Volatile Variable）的影响
当longjmp返回到main函数时，这些变量的值是否能恢复到以前调用setjmp时的值（即滚回原先值），或者这些
变量的值保持为最新的值?不幸的是，对此问题的回答是“看情况”。大多数实现并不滚回这些自动变量和寄存器变量的值，而所有标准则说它们的值是不确定的。如果你有一个自动变量，而又不想使其值滚回，则可定义其为具有volatile属性。说明为全局和静态变量的值在执行longjmp时保持不变。
一下是APUE中的例子：
#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>
static void f1(int, int, int, int);
//static void f2(void);
static jmp_buf jmpbuffer;
static int globval;
int main(void)
{
int autoval;
register int regival;
volatile int volaval;
static int statval;
globval = 1; autoval = 2; regival = 3; volaval = 4; statval = 5;
if (setjmp(jmpbuffer) != 0) {
printf("after longjmp:/n");
printf("globval = %d, autoval = %d, regival = %d,"
" volaval = %d, statval = %d/n",
globval, autoval, regival, volaval, statval);
exit(0);
}
/*
* Change variables after setjmp, but before longjmp.
*/
globval = 95; autoval = 96; regival = 97; volaval = 98;
statval = 99;
f1(autoval, regival, volaval, statval); /* never returns */
exit(0);
}
static void f1(int i, int j, int k, int l)
{
printf("in f1():/n");
printf("globval = %d, autoval = %d, regival = %d,"
" volaval = %d, statval = %d/n", globval, i, j, k, l);
//f2();
longjmp(jmpbuffer, 1);
}
static void f2(void)
{
longjmp(jmpbuffer, 1);
}
如果以不带优化和带优化选项对此程序分别进行编译，然后运行它们，则得到不同的结果：
$ cc testjmp.c compile without any optimization
$ ./a.out
in f1():
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
after longjmp:
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
$ cc -O testjmp.c compile with full optimization
$ ./a.out
in f1():
globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
after longjmp:
globval = 95, autoval = 2, regival = 3, volaval = 98, statval = 99
注意，易失变量(sum)不受优化的影响，在longjmp之后的值，是它在调用f1时的值。在我们所使用的setjmp(3)手册页上说明存放在存储器中的变量将具有longjmp时的值，而在CPU和浮点寄存器中的变量则恢复为调用setjmp时的值。这确实就是在运行以上程序时所观察到的值。不进行优化时，所有这三个变量都存放在存储器中(亦即对val的寄存器存储类被忽略)。而进行优化时，count和val都存放在寄存器中(即使count并末说明为register),volatile变量则仍存放在存储器中。通过这一例子要理解的是，如果要编写一个使用非局部跳转的可移植程序，则必须使用volatile属性。
联系客服
