一、block能夠捕獲外界變量的原因

在定義Block的時候，外界變量被編譯器轉換成了結構體成員變量，并且在調用Block的時候，這些變量的值會被拷貝到Block的結構體實例中。這樣一來，即使在Block執行之后，這些變量的作用域已經結束，它們的值也能夠保留下來，并且能夠在Block內部繼續使用。這種特性就是Block所具有的閉包特性，也是它能夠捕獲外界變量的原因。

二、block是什么

block是一種封裝了代碼塊的數據類型，可以在C、Objective-C和Swift中使用。它類似于函數或方法，但具有更靈活的特性，可以嵌套在其他代碼塊中使用，并且能夠捕獲外部變量。block可以作為參數傳遞給函數或方法，也可以作為返回值返回。在異步編程、多線程和事件處理等場景中，block被廣泛應用。

block就是一個代碼塊， block是將函數及其執行上下文封裝起來的對象，是一個匿名的函數對象， block也有isa。既然block內部封裝了函數，那么它同樣也有參數和返回值，本身也可以被作為參數在方法和函數間傳遞。

block標準語法：

return_type (^blockName)(var_type) = ^return_type (var_type varName) {    // ...};blockName(var);

三、Block底層實現

block的底層實現是結構體，和類的底層實現類似，都有isa指針，可以把block當成是一個對象。下面通過創建一個控制臺程序，來窺探block的底層實現。

block 的內存結構圖：

Block_layout結構體成員含義如下：

Block_descriptor結構體成員含義如下：

具體實現代碼：

enum {    BLOCK_REFCOUNT_MASK =     (0xffff),    BLOCK_NEEDS_FREE =        (1 << 24),    BLOCK_HAS_COPY_DISPOSE =  (1 << 25),    BLOCK_HAS_CTOR =          (1 << 26), /* Helpers have C++ code. */    BLOCK_IS_GC =             (1 << 27),    BLOCK_IS_GLOBAL =         (1 << 28),    BLOCK_HAS_DESCRIPTOR =    (1 << 29)};/* Revised new layout. */struct Block_descriptor {    unsigned long int reserved;    unsigned long int size;    void (*copy)(void *dst, void *src);    void (*dispose)(void *);};struct Block_layout {    void *isa;    int flags;    int reserved;     void (*invoke)(void *, ...);    struct Block_descriptor *descriptor;    /* Imported variables. */};

延伸閱讀1：block類型