C語言實現類 C++ 異常處理：setjmp/longjmp 跨函數跳轉實戰

C 語言缺乏原生 `try/catch/throw`，傳統錯誤碼層層傳遞不僅代碼冗長，還嚴重干擾主流程可讀性。借助 `` 提供的 `setjmp`/`longjmp`，可實現非局部跳轉，模擬 C++ 風格的分層異常處理機制。

核心 API 速覽

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

關鍵特性：跨函數調用—— `longjmp` 可直接跳回任意上層調用者的 `setjmp` 點，無需逐層 `return`。

分層異常處理模型

每層函數維護自己的 `jmp_buf`，調用下層前先 `memcpy` 保存上層環境，捕獲異常後可選擇：

• 本層處理 → 繼續執行
• 無法處理 → `memcpy` 恢復上層 `jmp_buf` → `longjmp` 拋給上層

三文件演示：main.c → file1.c → file2.c

// main.c
jmp_buf main_stat;
if (setjmp(main_stat) != 0) { printf("error in main\n"); return -1; }
file1();

// file1.c
jmp_buf file1_stat;
memcpy(&file1_stat, &main_stat, sizeof(file1_stat));
if (setjmp(main_stat) != 0) { printf("error in file1\n"); memcpy(&main_stat, &file1_stat, ...); longjmp(main_stat, 1); }
file2();

// file2.c
jmp_buf file2_stat;
memcpy(&file2_stat, &main_stat, sizeof(file2_stat));
if (setjmp(main_stat) != 0) { printf("error in file2\n"); memcpy(&main_stat, &file2_stat, ...); longjmp(main_stat, 1); }
printf("start error\n");
longjmp(main_stat, 1);  // 模擬拋出異常

運行輸出

start error
error in file2
error in file1
error in main

異常從最底層 `file2` 依次冒泡至 `main`，每層均有機會記錄日誌、釋放資源、決定是否繼續拋出。

工程化避坑指南

1. 資源洩漏風險：`longjmp` 直接跳過中間函數的 `return`，棧上對象 (C++)、`malloc` 內存、文件句柄、鎖 **不會自動釋放**。需在每層 `setjmp` 後手動清理，或封裝 `TRY/FINALLY` 宏模擬 RAII。
2. 非 POD 類型未定義行為：C++ 對象跳過析構函數屬 UB，嚴禁在 C++ 代碼中混用 `longjmp`。
3. 信號處理程序中慎用：僅 `siglongjmp`/`sigsetjmp` 保證信號掩碼恢復。
4. 多線程隔離：`jmp_buf` 為線程局部，跨線程跳轉無意義。

進階封裝建議

#define TRY do { jmp_buf _buf; if (!setjmp(_buf)) {
#define CATCH } else {
#define FINALLY } } while(0)
// 配合長跳轉宏實現結構化異常處理

雖 `setjmp`/`longjmp` 無法完全替代 C++ 異常機制 (無棧展開、無類型安全)，但在純 C 大型項目中，合理封裝後足以構建清晰、高效的分層錯誤處理體系，大幅減少錯誤碼傳遞樣板代碼。