C 語言巢狀函數：GCC 擴展實現閉包與詞法作用域

什麼是巢狀函數？

巢狀函數定義在另一個函數內部，可存取外層函數的區域變數（詞法作用域）。這是函數式語言的核心特性（閉包），標準 C 不支援，但 GCC 作為擴展提供支援。

基本語法與範例

double foo(double a, double b) {
    // 巢狀函數：可存取外層參數 a、b
    double square(double z) { return z * z; }
    return square(a) + square(b);
}

進階特性展示

1. 存取外層區域變數（閉包）

void bar(int *array, int offset, int size) {
    // 內部函數捕獲 offset
    int access(int *arr, int idx) {
        return arr[idx + offset];
    }
    for (int i = 0; i < size; i++) {
        // 使用 access(array, i)
    }
}

2. 標籤跳轉（GCC 獨有 __label__）

void bar(int *array, int offset, int size) {
    __label__ failure;  // 宣告區域標籤
    int access(int *arr, int idx) {
        if (idx > size) goto failure;  // 跳轉到外層標籤
        return arr[idx + offset];
    }
    for (int i = 0; i < size; i++) {
        // ...
    }
    return 0;
failure:
    return -1;
}

3. 巢狀函數指標作為返回值（Trampoline 技術）

GCC 會在執行期於堆疊生成一小段機器碼，將外層幀指標綁定到巢狀函數入口，形成可攜帶環境的函數指標。

int (*make_adder(int x))(int) {
    int adder(int y) { return x + y; }
    return adder;  // 返回攜帶 x 環境的函數指標
}
// 使用：
int (*add5)(int) = make_adder(5);
printf("%d\n", add5(3));  // 8

⚠️ 極度危險： 返回的函數指標綁定的是堆疊幀位址。外層函數返回後，堆疊幀失效，呼叫該指標屬於未定義行為（Use-after-scope）。僅在外層函數生命週期內使用才安全。

實作原理：Trampoline（彈簧板）

• GCC 在堆疊分配可執行記憶體區塊。
• 寫入一段指令序列：載入外層幀指標 → 跳轉到巢狀函數真實碼。
• 將此區塊位址作為函數指標返回。
• 需啟用可執行堆疊（-z execstack），現代系統預設關閉（NX bit），可能導致 SIGSEGV。

可移植替代方案

// 標準 C 閉包模擬
typedef struct { int x; } AdderEnv;
int adder(void *ctx, int y) { return ((AdderEnv*)ctx)->x + y; }

AdderEnv env = {5};
printf("%d\n", adder(&env, 3));  // 8，完全可移植、安全

總結

GCC 巢狀函數展示了閉包在 C 層面的可能性，但依賴非標準擴展、可執行堆疊、堆疊幀生命週期管理等高風險機制。生產代碼嚴禁使用。理解其原理有助於深入編譯器、執行期機制，實際開發請使用標準 C 的「環境結構體 + 函數指標」模式，安全、可移植、效能等價。

1. 上一篇文章： ACM 題目分步求解：課程成績調整與平均值計算
2. 下一篇文章： 通用 Makefile 編寫指南：從入門到專案實戰

關於C

MATLAB 調用 C 程序完全指南：MEX 文件編寫、編譯、調試與性能對比

背景：為什麼要 MEX？ MATLAB 矩陣運算極快，但雙重

貪心算法經典：田忌賽馬問題（HDU 1052）完整解析與 C++ 實現

問題重述 田忌與齊王各有 n 匹馬（n ≤ 1000），速度

C語言與編程語言發展史：從貝爾實驗室到現代語言演進

前言：以史為鑒 了解一門語言的歷史，能幫助我們看清其設計哲學

NCURSES 面板動態控制：鍵盤交互實現面板顯示/隱藏切換

交互式面板控制核心邏輯 在上一篇基礎上，引入鍵盤事件循環，實