C語言利用 setjmp/longjmp 實現異常處理機制：原理、實戰與 C++ 陷阱深度解析

C 語言缺乏內置異常處理，但通過 setjmp/longjmp 可模擬非局部跳轉實現類 try-catch 語義。本文從棧幀（Active Record）佈局原理出發，推導長跳轉機制，展示異常處理模擬代碼，並深度剖析在 C++ 中使用長跳轉的致命缺陷（析構函數不調用）。

1. 棧幀（AR）佈局基礎

每次函數調用，編譯器在棧上分配一個活動記錄（AR），包含：

• 返回地址
• 舊幀指針（EBP/RBP）
• 局部變量
• 參數副本（部分調用約定）
• 暫存寄存器保存區

高地址
+------------------+
| 調用者局部變量   |
+------------------+
| 參數 (右→左)     |
+------------------+
| 返回地址         | ← 調用指令壓入
+------------------+
| 舊 EBP           | ← 被調用者建立幀
+------------------+
| 被調用者局部變量 |
+------------------+
低地址

2. setjmp/longjmp 機制

#include 

int setjmp(jmp_buf env);   // 保存當前棧幀環境到 env，首次返回 0
void longjmp(jmp_buf env, int val); // 恢復 env 環境，跳轉到 setjmp 後，setjmp 返回 val (≠0)

• jmp_buf 通常包含：EBP/RBP、ESP/RSP、EIP/RIP（返回地址）、被調用者保存寄存器（RBX, RSI, RDI, R12-R15 等）。
• longjmp 相當於「偷偷修改 setjmp 返回值並跳回其下一條指令」。
• 棧自動展開：longjmp 直接切換 ESP/RSP 到目標幀，中間幀不執行任何清理代碼。

3. 模擬異常處理：從 C 到類 C++ try-catch

#include 
#include 
#include 

jmp_buf g_env;

void f1() {
    printf("enter f1\n");
    if (0 /* error */) longjmp(g_env, 1);
    printf("exit f1\n");
}

void f2() {
    printf("enter f2\n");
    if (1 /* error */) longjmp(g_env, 2);
    printf("exit f2\n");
}

int main() {
    int r = setjmp(g_env);
    if (r == 0) {
        f1(); f2();  // 正常流程
    } else if (r == 1) {
        printf("catch error 1\n"); exit(1);
    } else if (r == 2) {
        printf("catch error 2\n"); exit(2);
    }
    return 0;
}

輸出

enter f1
exit f1
enter f2
catch error 2

f2 中 longjmp 直接跳回 main 的 setjmp 後，f2 後續代碼與 f1 的 exit f1 均不執行——棧幀直接展開。

4. C++ 中的致命陷阱：析構函數不被調用

#include 
#include 
#include 

class MyClass {
public:
    MyClass() { printf("MyClass::MyClass()\n"); }
    ~MyClass() { printf("MyClass::~MyClass()\n"); }
};

jmp_buf env;

void f1() {
    MyClass obj;  // 局部對象
    printf("enter f1\n");
    longjmp(env, 1);  // 直接跳轉
    printf("exit f1\n");
}

int main() {
    if (setjmp(env) == 0) f1();
    else printf("catch error\n");
    return 0;
}

編譯器行為差異

C++ 標準未定義長跳轉時局部對象析構行為。依賴特定編譯器行為屬於未定義行為（UB），嚴禁在生產代碼使用。

5. C++ 正確異常處理：throw/try/catch

#include 
#include 

class Ex1 {}; class Ex2 {};

void f1() {
    printf("enter f1\n");
    if (0) {} else throw Ex1();
    printf("exit f1\n");
}

void f2() {
    printf("enter f2\n");
    if (1) {} else throw Ex2();
    printf("exit f2\n");
}

int main() {
    try {
        f1(); f2();
    } catch (Ex1&) { printf("catch Ex1\n"); exit(1); }
    catch (Ex2&) { printf("catch Ex2\n"); exit(2); }
    return 0;
}

輸出（保證析構）

enter f1
catch Ex1

C++ 異常機制由編譯器生成異常處理表，展開棧時嚴格調用各幀局部對象析構函數，語義正確、跨平台一致。

6. 辯證看待異常處理

• 性能代價：異常表增加二進制體積，棧展開機制增加運行開銷。嵌入式/高性能場景常禁用異常（-fno-exceptions / /EHs-）。
• 歷史包袱：C 庫、舊 C++ 庫無異常規範，混用困難。Java/C# 從零設計無此問題。
• C++11 變化：移除動態異常規範 throw()，新增 noexcept 標記不拋出異常函數，編譯器可優化。
• STL 依賴異常：vector::at、new 失敗拋 bad_alloc 等。禁用異常意味著放棄 STL 大部分安全檢查。

總結

1. setjmp/longjmp 是 C 語言實現非局部跳轉的標準機制，可用於純 C 代碼的錯誤恢復、協程雛形。
2. 嚴禁在 C++ 代碼中使用：破壞 RAII、析構函數調用不保證、行為跨編譯器不一致。
3. C++ 應使用原生 try/catch/throw，配合 noexcept 與 RAII 實現資源安全。
4. 理解棧幀佈局與長跳轉原理，是掌握異常處理、協程、信號處理等高級主題的基石。

1. 上一篇文章： C語言實現單鏈表11大基本操作完整教程（無頭結點版）
2. 下一篇文章： C語言常用庫函數深度解析：exit、memset 實戰與避坑指南

C 語言入門

C語言科學計算器完整實現：表達式解析、中綴轉後綴、棧式計算、錯誤處理與交互循環

項目能力清單 ✅ 四則運算 + 乘方（`^`） ✅ 三角函

C語言程序結構全景：語句分類、控制流、數組、函數、作用域、存儲類別、內部/外部函數

一、C 語句五大類 類別形式示例作用 控制語句if/swi

C語言可變參實戰：實現參數累加求和函數 add(count, ...)

可變參函數的經典應用場景之一是不定數量同類型參數的聚合運算。

編譯器核心技術：UCC 編譯器寄存器分配與匯編代碼生成深度剖析

背景：為什麼需要寄存器分配？ CPU 速度遠超記憶體，有效利