C語言異常處理：用 setjmp/longjmp 實現類 C++ try-catch 跨層跳轉

傳統錯誤碼傳遞的痛點

• 每層調用都要檢查返回值、處理或轉發錯誤。
• 業務邏輯被錯誤處理代碼淹沒，可讀性差。
• 深層調用鏈中，錯誤碼層層透傳極易遺漏/錯誤。

setjmp/longjmp 機制原理

#include 

int setjmp(jmp_buf env);      // 保存當前棧幀（寄存器、棧指針等）到 env，首次返回 0
void longjmp(jmp_buf env, int val);  // 恢復 env 棧幀，setjmp 返回 val (非0)

• 跨函數跳轉：longjmp 可跳回調用鏈上任意已 setjmp 的幀。
• 棧展開：跳轉過程中不會調用中間函數的清理代碼（C++ 解構函數、C 的 finally 塊），資源易洩漏——需手動管理。

分層異常處理模型實現

每層函數維護自己的 jmp_buf，調用下層前保存上層 jmp_buf，捕獲異常後可選擇處理或 longjmp 繼續拋給上層。

完整示例：三層調用鏈異常傳遞

/* main.c */
#include 
#include 
#include 

jmp_buf main_jmp;

void file1(void);
void file2(void);

int main() {
    if (setjmp(main_jmp) != 0) {
        printf("main: caught error\n");
        return -1;
    }
    file1();
    return 0;
}

/* file1.c */
#include 
#include 

extern jmp_buf main_jmp;
jmp_buf file1_jmp;

void file2(void);

void file1() {
    memcpy(&file1_jmp, &main_jmp, sizeof(jmp_buf));  // 保存上層環境
    if (setjmp(main_jmp) != 0) {  // 復用 main_jmp 作為當前層捕獲點
        printf("file1: handling / rethrow\n");
        memcpy(&main_jmp, &file1_jmp, sizeof(jmp_buf));  // 恢復上層環境
        longjmp(main_jmp, 1);  // 拋給 main
    }
    file2();
}

/* file2.c */
#include 
#include 

extern jmp_buf main_jmp;
jmp_buf file2_jmp;

void file2() {
    memcpy(&file2_jmp, &main_jmp, sizeof(jmp_buf));
    if (setjmp(main_jmp) != 0) {
        printf("file2: handling / rethrow\n");
        memcpy(&main_jmp, &file2_jmp, sizeof(jmp_buf));
        longjmp(main_jmp, 1);
    }
    printf("file2: triggering error\n");
    longjmp(main_jmp, 1);  // 直接拋出
}

運行輸出

file2: triggering error
file2: handling / rethrow
file1: handling / rethrow
main: caught error

關鍵點總結

1. 環境保存/恢復：用 memcpy 在層間傳遞 jmp_buf，實現棧幀鏈模擬。
2. 錯誤碼複用：示例中統一用 1，實際可定義枚舉區分錯誤類型。
3. 資源洩漏風險：跳過的函數不會自動釋放 malloc、打開的文件句柄等。實戰中需配合資源清理棧或手動釋放。
4. 非線程安全：jmp_buf 為全局/靜態變量時，多線程會衝突。每線程應有獨立異常棧。

對比 C++ try-catch

適用場景建議

• 嵌入式/內核開發：無 C++ 運行時，需輕量跨層錯誤處理。
• C 與 C++ 混編邊界：C 回調中捕獲錯誤傳遞給 C++ 層。
• 極簡錯誤處理：錯誤類型少、資源管理簡單的場景。

警示：此模式屬「結構化 goto」，濫用會導致控制流難以追蹤。現代 C 項目推薦錯誤碼 + 清理標籤或引入C++ 异常（編譯為 C++ 兼容模式）。