帮忙看段代码

crazyjixiang

1. 
   
2. int j =0;
   
3. jmp_buf env;
   
4. int main()
   
5. {
   
6.     int i,k=0;
   
7.     i = setjmp(env);
   
8.     printf("setjmp=%d,j=%d,k=%d\n",i,j++,k++);
   
9.     if (j>2)
   
10.     {
    
11.         exit(0);
    
12.     }
    
13.     sleep(1);
    
14.     longjmp(env,2);
    
15. }

复制代码

输出结果是
setjmp=0,j=0,k=0
setjmp=2,j=1,k=1
setjmp=2,j=2,k=2

注意看k变量，跳转函数不仅恢复程序执行位置，也恢复堆栈数据的取值 作为堆栈的整型k在程序跳转后，应该恢复原来的值啊 也即全是 0
为什么还是会递增呢 不解 请各位帮忙解释下

simplogic

longjmp(env,2); 之后会从i = setjmp(env);处开始执行。

simplogic

env中保存栈的指针，整个过程栈中的k变量没有没赋0过

ubuntuer

编译你的程序的时候加个优化把  -O2就可以了....

深究点的话 你需要了解auto  register volatile  static变量的区别.... 生命周期和存储问题

man setjmp说的很清楚放在存储器的变量将具有longjmp时的值...
不优化的话所有变量都是放在存储器里的,于是结果就是你上面看到的结果了
优化了的话 auto和register是放在寄存器里的,也就是你想要的结果了,注意全局 静态 和volatile变量是不受优化的影响的

ubuntuer

1. [kenthy@kenthy c_c]$ gcc -Wall -o test test.c
   
2. [kenthy@kenthy c_c]$ ./test
   
3. setjmp=0,j=0,k=0
   
4. setjmp=2,j=1,k=1
   
5. setjmp=2,j=2,k=2
   
6. [kenthy@kenthy c_c]$ gcc -Wall -O2 -o test test.c
   
7. [kenthy@kenthy c_c]$ ./test
   
8. setjmp=0,j=0,k=0
   
9. setjmp=2,j=1,k=0
   
10. setjmp=2,j=2,k=0
    

复制代码