Variable Attributes 其實是 GCC 中用于描述變量的一種修飾符。我們可以使用 __attribute__ 來修飾一些變量來參與靜態分析等編譯過程；而在 Cocoa Touch 中很多的宏其實都是通過 __attribute__ 來實現的，例如：

　　#define NS_ROOT_CLASS __attribute__（（objc_root_class））

　　而 cleanup 就是在這里會使用的變量屬性：

　　The cleanup attribute runs a function when the variable goes out of scope. This attribute can only be applied to auto function scope variables; it may not be applied to parameters or variables with static storage duration. The function must take one parameter， a pointer to a type compatible with the variable. The return value of the function （if any） is ignored.

　　GCC 文檔中對 cleanup 屬性的介紹告訴我們，在 cleanup 中必須傳入 只有一個參數的函數并且這個參數需要與變量的類型兼容。

　　如果上面這句比較繞口的話很難理解，可以通過一個簡單的例子理解其使用方法：

　　void cleanup_block（int *a） {

　　printf（“%d\n”， *a）;

　　}

　　int variable __attribute__（（cleanup（cleanup_block））） = 2;

　　在 variable 這個變量離開作用域之后，就會自動將這個變量的指針傳入 cleanup_block 中，調用 cleanup_block 方法來進行『清理』工作。

　　實現 defer

　　到目前為止已經有了實現 defer 需要的全部知識，我們可以開始分析 libextobjc 是怎么做的。

　　在 libextobjc 中并沒有使用 defer 這個名字，而是使用了 onExit（表示代碼是在退出作用域時執行）

　　為了使 onExit 在使用時更加明顯，libextobjc 通過一些其它的手段使得我們在每次使用 onExit 時都需要添加一個 @ 符號。

　　{

　　@onExit {

　　NSLog（“Log when out of scope.”）;

　　};

　　NSLog（“Log before out of scope.”）;

　　}

　　onExit 其實只是一個精心設計的宏：

　　#define onExit \

　　ext_keywordify \

　　__strong ext_cleanupBlock_t metamacro_concat（ext_exitBlock_， __LINE__） __attribute__（（cleanup（ext_executeCleanupBlock）， unused）） = ^

　　既然它只是一個宏，那么上面的代碼其實是可以展開的：

　　autoreleasepool {}

　　__strong ext_cleanupBlock_t ext_exitBlock_19 __attribute__（（cleanup（ext_executeCleanupBlock）， unused）） = ^ {

　　NSLog（“Log when out of scope.”）;

　　};

　　這里，我們分幾個部分來分析上面的代碼片段是如何實現 defer 的功能的：

　　1. ext_keywordify 也是一個宏定義，它通過添加在宏之前添加 autoreleasepool {} 強迫 onExit 前必須加上 @ 符號。

　　#define ext_keywordify autoreleasepool {}

　　2. ext_cleanupBlock_t 是一個類型：

　　typedef void （^ext_cleanupBlock_t）（）;

　　3. metamacro_concat（ext_exitBlock_， __LINE__） 會將 ext_exitBlock 和當前行號拼接成一個臨時的的變量名，例如：ext_exitBlock_19。

　　4. __attribute__（（cleanup（ext_executeCleanupBlock）， unused）） 將 cleanup 函數設置為 ext_executeCleanupBlock；并將當前變量 ext_exitBlock_19 標記為 unused 來抑制 Unused variable 警告。

　　5. 變量 ext_exitBlock_19 的值為 ^{ NSLog（“Log when out of scope.”）; }，是一個類型為 ext_cleanupBlock_t 的 block。

　　6. 在這個變量離開作用域時，會把上面的 block 的指針傳入 cleanup 函數，也就是 ext_executeCleanupBlock：

　　void ext_executeCleanupBlock （__strong ext_cleanupBlock_t *block） {

　　（*block）（）;

　　}

　　這個函數的作用只是簡單的執行傳入的 block，它滿足了 GCC 文檔中對 cleanup 函數的幾個要求：

　　只能包含一個參數

　　參數的類型是一個指向變量類型的指針

　　函數的返回值是 void