setjmp和longjmp

setjmp和longjmp是C語言獨有的，只有將它們結合起來使用，才能達到程序控制流有效轉移的目的，按照程序員的預先設計的意圖，去實現對程序中可能出現的異常進行集中處理。

先來看一下這兩個函數的定義吧：

setjmp和longjmp的函數原型在setjmp.h中

函數原型：

int setjmp(jmp_buf envbuf);

setjmp函數用緩衝區envbuf保存系統堆棧的內容，以便後續的longjmp函數使用。setjmp函數初次啓用時返回0值。

void longjmp(jmp_buf envbuf, int val);

longjmp函數中的參數envbuf是由setjmp函數所保存的堆棧環境，參數val設置setjmp函數的返回值。longjmp函數本身是沒有返回值的，它執行後跳轉到保存envbuf參數的setjmp函數調用，並由setjmp函數調用返回，此時setjmp函數的返回值就是val。

上面的說明有點拗口，通俗的解釋是：先調用setjmp，用變量envbuf記錄當前的位置，然後調用longjmp，返回envbuf所記錄的位置，並使setjmp的返回值爲val。當時用longjmp時，envbuf的內容被銷燬了。其實這裏的“位置”一詞真正的含義是棧定指針。

接着讓我們看一個小例子吧：

#include <stdio.h> 
#include <setjmp.h>

jmp_buf buf;

banana(){ 
    printf("in banana() \n"); 
    longjmp(buf,1);

    printf("you'll never see this,because i longjmp'd");

}

main() 
{ 
    if(setjmp(buf)) 
        printf("back in main\n"); 
    else{ 
        printf("first time through\n"); 
        banana(); 
    }

}

（代碼段引自《C專家編程》：p）

這段代碼的打印結果是：

first time through

in banana()

back in main

仔細看一下應該更能體會這對函數的作用了吧。

 

setjmp/longjmp的最大用處是錯誤恢復，類似try ...catch...

他們的功能比goto強多了，goto只能在函數體內跳來跳去，而setjmp/longjmp可以在到過的所有位置間。