前面已經闡述過,對錯誤處理而言,goto 語句只能是在函數的區域性作用域內跳轉,而不能實現跨函數跳轉。但在實際錯誤處理中,經常會遇到這樣的場景:在一個深度巢狀的函數呼叫中發生了錯誤,需要放棄當前任務,從多層函數呼叫中返回,並且在較高層級的函數中繼續執行(或許是在 main() 函數中)。要做到這一點,可以讓每個函數都返回一個狀態值,由函數的呼叫者檢查並做相應處理。
很顯然,遇到這種場景,goto 語句就顯得無能為力了,而 setjmp 宏和 longjmp 函陣列合就提供了這一功能,它們能夠提供一種在程式中實現“非本地區域性跳轉”(non-local goto)的機制。其原型定義如下:
int setjmp(jmp_buf env);
void longjmp(jmp_buf env, int value);
從上面的原型定義中可以看出,setjmp 宏與 longjmp 函數都使用 jmp_buf 結構作為形參以儲存程式當前的堆疊環境,它們的呼叫關係是這樣的:
程式首先需要呼叫 setjmp 宏函數來初始化 jmp_buf 結構體變數 env,並將當前的堆疊環境資訊存入 env 中,為以後呼叫 longjmp 函數恢復原來環境資訊時使用。如果是直接呼叫 setjmp,那麼它的返回值為 0;如果由於呼叫 longjmp 函數而呼叫 setjmp,那麼它的返回值為非 0。由此可見,setjmp 宏函數能返回兩次:
-
第一次是初始化時,返回值為 0。
-
第二次則是在遇到 longjmp 函數呼叫後,longjmp 函數將使 setjmp 發生第二次返回,返回值由 longjmp 函數的第二個引數給出,返回值為非 0。
相對於 setjmp 函數用於儲存程式的執行時的當前堆疊環境,longjmp 函數則用於恢復在先前程式中呼叫 setjmp 函數時所儲存的堆疊環境。當呼叫 longjmp 函數時,它會根據變數 env 所儲存的堆疊環境來恢復先前的環境。與此同時,longjmp 函數的 value 引數值會被 setjmp 函數返回,程式繼續得以執行。如下面的範例程式碼所示:
#include <stdio.h>
#include <setjmp.h>
jmp_buf buf;
void F2(void)
{
printf("F2()n");
longjmp(buf,1);
}
void F1(void)
{
F2();
printf("F1()n");
}
int main(void)
{
int jmpret = setjmp(buf);
if(!jmpret)
{
F1();
}
else
{
printf("繼續執行mainn");
}
return 0;
}
執行結果為:
F2()
繼續執行main
從上面的程式碼中可以看出,對 goto 語句而言,setjmp 宏與 longjmp 函數不僅能夠實現跨函數的全域性跳轉,而且其錯誤處理方式也比 goto 語句優雅得多。但是,在使用 setjmp 宏與 longjmp 函數進行錯誤處理時,必須注意如下兩點。
1)setjmp 宏與 longjmp 函陣列合使用時,它們必須有嚴格的先後執行順序。
也就是說,必須先呼叫 setjmp 來初始化 jmp_buf 結構體變數 env 之後,才能夠呼叫 longjmp 函數來恢復到先前被儲存的堆疊環境(即程式執行點)。如果在 setjmp 呼叫之前執行 longjmp 函數,那麼將導致程式的執行流變得不可預測,很容易導致程式崩潰而退出。
2) longjmp函數必須在setjmp的作用域之內。
在一個函數中使用 setjmp 來初始化一個全域性變數(jmp_buf buf)buf 之後,只要這個函數沒有被返回,那麼在其他任何地方都可以通過 longjmp 呼叫來跳轉到 setjmp 的下一條語句執行。也就是說,setjmp 將發生呼叫處的區域性堆疊環境儲存在一個 jmp_buf 結構體變數 env 中,只要主調函數中對應的記憶體未曾釋放,在呼叫 longjmp 的時候就可以根據已儲存的 jmp_buf 引數恢復到 setjmp 的地方執行。
其實,從上面的程式範例程式碼中不難看出,如果說 goto 語句使程式變得難以閱讀,那麼 setjmp 宏與 longjmp 函陣列合這種非區域性跳轉會讓整個程式碼的糟糕程度增加一個數量級,因為它能在程式中的任意多個函數間傳遞控制。因此,應當謹慎使用它們,盡可能避免在實際編碼中使用 setjmp 宏與 longjmp 函陣列合。儘管如此,在編寫信號處理器時,它們偶爾還是會派上用場的。
最後,需要注意的是,無論使用什麼樣的錯誤處理方式,都不要忘記發現程式中錯誤的最好方法其實是執行程式,對程式碼進行逐條跟蹤,這樣可以觀察資料在函數中的流動,同時檢查出類似於上溢和下溢錯誤、資料轉換錯誤、NULL 指標錯誤、錯誤的記憶體單元、用 = 代替 ==、運算優先順序錯誤、邏輯運算等錯誤。