C語言閉包機制深度解析：Block 與 C++11 Lambda 互鑑

閉包是現代編程語言的標配，C 語言通過 Apple 推出的 Block 擴展（`^` 語法）實現，C++11 引入 Lambda 表達式（`[]` 語法）。本文從語法捕獲、修改外部變量、底層實現、內存管理四個維度，對比兩者異同，並揭示 `__block` 與 `&` 引用捕獲的本質區別。

語法速覽：創建匿名函數

// Objective-C Block
^{ printf("Hello, World!\n"); }();

// C++11 Lambda
[] { cout << "Hello, World" << endl; }();

編譯器會為每個閉包生成唯一函數名：`__{$Scope}_block_func_{$index}`，如 `__main_block_func_0`。

捕獲外部變量：值捕獲 vs 引用捕獲

Block 默認按值拷貝外部變量，C++ 默認不捕獲，強制開發者明確語義，避免隱性 Bug。

底層實現：Block 結構體拆解

編譯器將 Block 降級為 C 結構體 + 函數指針：

struct __block_impl {
    void *isa;        // 類似 C++ vptr / Python PyObject，納入 OC 對象體系
    int Flags;
    int Reserved;
    void *FuncPtr;    // 指向實際執行函數
};

struct __main_block_impl_0 {
    struct __block_impl impl;
    struct __main_block_desc_0 *Desc;
    int i;            // 捕獲的變量 (值拷貝)
    // 構造函數初始化 isa、FuncPtr、Desc、i
};

執行本質：`((void(*)(struct __block_impl*))(block->FuncPtr))(block)` —— 以結構體自身作 `self` 參數調用函數指針。

__block 修飾符：引入間接層實現引用語義

加上 `__block` 後，變量 `i` 變身為獨立結構體：

struct __Block_byref_i_0 {
    void *__isa;
    __Block_byref_i_0 *__forwarding;  // 關鍵：指向自身或堆上拷貝
    int __flags;
    int __size;
    int i;                            // 真實值存放處
};

Block 結構體改存 `__Block_byref_i_0 *i`，訪問時雙重間接：`i->__forwarding->i`。

內存管理：棧上→堆上 的生存週期

1. Block 拷貝：`[blk copy]` 將 `__main_block_impl_0` 從棧複製到堆，`isa` 指向 `_NSConcreteMallocBlock`。
2. 捕獲變量拷貝：`__main_block_desc_0` 提供 `copy`/`dispose` 回調，調用 `_Block_object_assign` 將 `__Block_byref_i_0` 也複製到堆。
3. __forwarding 魔法：棧上 `__forwarding` 指向自身；拷貝後，棧上 `__forwarding` 改指向堆上拷貝，雙邊訪問自動統一到堆上實例，實現「棧/堆透明共享」。

對比總結

核心感悟

「計算機科學中沒有什麼問題是加一層間接層解決不了的。」—— `__forwarding` 指針正是這句名言的教科書級實踐，通過雙重間接統一棧/堆訪問，優雅解決閉包變量生命週期難題。

理解 Block 底層機制，不僅能寫出正確的異步代碼，更能在面試中從容應對「閉包實現原理」這類高頻考點。