setjmp函數用於設置跳轉的目的位置,longjmp函數進行跳轉。
env:保留了需要返回的位置的堆棧情況。
setjmp的返回值:直接調用該函數,則返回0;若由longjmp的調用,導致setjmp被調用,則返回status(longjmp的第二個參數)。
/*
* -ansi -pedantic -errors
* -O
*/
#include <stdio.h>
#include <setjmp.h>
jmp_buf env;
int glb_var = 1;
void fnc(void) {
puts("in fnc(), before longjmp()");
longjmp(env, 1); /* void longjmp(jmp_buf env, int status); */
puts("in fnc(), after longjmp()");
}
int main(void) {
auto int aut_var = 2;
static int sta_var = 3;
register int reg_var = 4;
volatile int vlt_var = 5;
printf("global_var = %d\n", glb_var);
printf("auto_var = %d\n", aut_var);
printf("static_var = %d\n", sta_var);
printf("register_var = %d\n", reg_var);
printf("volatile_var = %d\n", vlt_var);
if (0 == setjmp(env)) { /* setjmp()是宏 */
puts("first time through");
glb_var += 10;
aut_var += 10;
sta_var += 10;
reg_var += 10;
vlt_var += 10;
fnc();
} else {
puts("back in main");
printf("global_var = %d\n", glb_var);
printf("auto_var = %d\n", aut_var);
printf("static_var = %d\n", sta_var);
printf("register_var = %d\n", reg_var);
printf("volatile_var = %d\n", vlt_var);
}
return 0;
}
在非優化時,包括寄存器變量(register修飾)在內的所有類型都被存放在內存中,所以所有變量都是更改後的值。
在優化編譯時,自動變量(默認類型)和寄存器變量被存儲在寄存器中,其它變量與非優化時一樣。所以autoval和regival都還原爲原來的值。
附jmp_buf結構:
typedef struct { unsigned j_sp; // 堆棧指針寄存器 unsigned j_ss; // 堆棧段 unsigned j_flag; // 標誌寄存器 unsigned j_cs; // 代碼段 unsigned j_ip; // 指令指針寄存器 unsigned j_bp; // 基址指針 unsigned j_di; // 目的指針 unsigned j_es; // 附加段 unsigned j_si; // 源變址 unsigned j_ds; // 數據段 } jmp_buf;
保證局部變量在longjmp過程中一直保存它的值的方法:把它聲明爲volatile變量。(適合那些在setjmp執行和longjmp返回之間會改變的變量)。
存放在內存中的變量,將具有調用longjmp時的值,而在CPU和浮點寄存器中的變量則恢復爲調用setjmp函數時的值。
優化編譯時,register和auto變量都存放在寄存器中,而volatile變量仍存放在內存。