C 語言實現 Lambda 表達式：GCC 區塊語法與宏封裝技巧

C 語言實現 Lambda 表達式：GCC 區塊語法與宏封裝技巧

什麼是 Lambda 表達式

Lambda 表達式（Lambda Expression）源自 λ 演算，指**匿名函數**：無需命名即可定義、傳遞、調用的函數對象，可捕獲外部作用域變量形成閉包。C++11、Java 8、Python 等現代語言均原生支持。

C 語言無原生支持，但可通過 GCC 擴展實現

GCC 提供**語句表達式**（Statement Expressions）擴展：({ ... })，允許在表達式位置寫入複合語句，最後一條語句的值作為整個表達式的值。結合嵌套函數（Nested Functions）擴展，即可在函數內部定義函數，並訪問外部局部變量。

核心宏實現

#define cgs_lambda(return_type, function_body) \
    ({ return_type cgs_lambda_func function_body cgs_lambda_func; })

• return_type：返回類型（如 int）。
• function_body：函數體，包含參數列表與花括號，如 (int x, int y) { return x + y; }。
• cgs_lambda_func：內部生成的匿名函數名（實為編譯器分配的唯一標識）。
• 整個宏展開為一個語句表達式，其值為函數指針 cgs_lambda_func，可直接調用。

使用示例

#include 

#define cgs_lambda(return_type, function_body) \
    ({ return_type cgs_lambda_func function_body cgs_lambda_func; })

int main() {
    // 定義並調用匿名加法函數
    printf("Sum = %d\n", cgs_lambda(int, (int x, int y) { return x + y; })(3, 4));
    // 輸出：Sum = 7
    return 0;
}

宏展開後等效代碼

({
    int cgs_lambda_func(int x, int y) { return x + y; }
    cgs_lambda_func;  // 表達式值為函數指針
})(3, 4)

進階：捕獲外部變量（閉包）

GCC 嵌套函數自動捕獲外部作用域的局部變量（按引用）：

int multiplier = 10;
auto fn = cgs_lambda(int, (int x) { return x * multiplier; });
printf("%d\n", fn(5));  // 輸出 50
multiplier = 2;
printf("%d\n", fn(5));  // 輸出 10（捕獲引用，見證外部變量變化）

局限性與注意事項

• 僅限 GCC/Clang：MSVC 不支持語句表達式與嵌套函數，不可移植。
• 生命週期陷阱：返回的函數指針指向棧上幀，若在外部函數返回後調用，行為未定義（棧幀已銷毀）。**僅適用於同層或內層調用**。
• 無法捕獲值副本：僅支持引用捕獲，若需值捕獲需手動複製到局部變量。
• C 標準不保證：屬於編譯器擴展，嚴格遵循 ISO C 的項目不可使用。

對比：標準 C 模擬 Lambda 的替代方案

總結

利用 GCC 語句表達式與嵌套函數擴展，配合宏封裝，可在 C 中實現極具表達力的 Lambda 風格代碼。**僅建議用於 GCC/Clang 專用項目、內部工具、快速原型驗證**，生產級跨平台代碼請使用標準 C 的函數指針+上下文模式。

1. 上一篇文章： VPP、ODP、OFP 術語解析
2. 下一篇文章： C# Math.Round 實現銀行家圍入法（四捨六入五成雙）

關於C語言

資料結構：C語言實現希爾排序（縮小增量排序）

算法思想 將陣列按增量分組，對各組進行插入排序，逐步縮小增量

C 語言細節深度解析：段錯誤、類型提升與 sizeof('A') 的陷阱

C 語言細節深度解析：段錯誤、類型提升與 sizeof(A)

C# 掃雷遊戲完整實作：從核心邏輯到 GDI+ 高效渲染

專案概述 作者花費一年多 C# 學習時間打造的掃雷遊戲，著重

POJ 2488 A Knight's Journey：騎士遍歷棋盤 DFS 深度搜尋與字典序最小路徑

問題描述 p×q 棋盤（1 ≤ p×q ≤ 26），列用數