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

　　#define NS_ROOT_CLASS __attribute__（（objc_root_class））

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

　　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 文檔中對(duì) cleanup 屬性的介紹告訴我們，在 cleanup 中必須傳入 只有一個(gè)參數(shù)的函數(shù)并且這個(gè)參數(shù)需要與變量的類型兼容。

　　如果上面這句比較繞口的話很難理解，可以通過(guò)一個(gè)簡(jiǎn)單的例子理解其使用方法：

　　void cleanup_block（int *a） {

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

　　}

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

　　在 variable 這個(gè)變量離開(kāi)作用域之后，就會(huì)自動(dòng)將這個(gè)變量的指針傳入 cleanup_block 中，調(diào)用 cleanup_block 方法來(lái)進(jìn)行『清理』工作。

　　實(shí)現(xiàn) defer

　　到目前為止已經(jīng)有了實(shí)現(xiàn) defer 需要的全部知識(shí)，我們可以開(kāi)始分析 libextobjc 是怎么做的。

　　在 libextobjc 中并沒(méi)有使用 defer 這個(gè)名字，而是使用了 onExit（表示代碼是在退出作用域時(shí)執(zhí)行）

　　為了使 onExit 在使用時(shí)更加明顯，libextobjc 通過(guò)一些其它的手段使得我們?cè)诿看问褂?onExit 時(shí)都需要添加一個(gè) @ 符號(hào)。

　　{

　　@onExit {

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

　　};

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

　　}

　　onExit 其實(shí)只是一個(gè)精心設(shè)計(jì)的宏：

　　#define onExit \

　　ext_keywordify \

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

　　既然它只是一個(gè)宏，那么上面的代碼其實(shí)是可以展開(kāi)的：

　　autoreleasepool {}

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

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

　　};

　　這里，我們分幾個(gè)部分來(lái)分析上面的代碼片段是如何實(shí)現(xiàn) defer 的功能的：

　　1. ext_keywordify 也是一個(gè)宏定義，它通過(guò)添加在宏之前添加 autoreleasepool {} 強(qiáng)迫 onExit 前必須加上 @ 符號(hào)。

　　#define ext_keywordify autoreleasepool {}

　　2. ext_cleanupBlock_t 是一個(gè)類型：

　　typedef void （^ext_cleanupBlock_t）（）;

　　3. metamacro_concat（ext_exitBlock_， __LINE__） 會(huì)將 ext_exitBlock 和當(dāng)前行號(hào)拼接成一個(gè)臨時(shí)的的變量名，例如：ext_exitBlock_19。

　　4. __attribute__（（cleanup（ext_executeCleanupBlock）， unused）） 將 cleanup 函數(shù)設(shè)置為 ext_executeCleanupBlock；并將當(dāng)前變量 ext_exitBlock_19 標(biāo)記為 unused 來(lái)抑制 Unused variable 警告。

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

　　6. 在這個(gè)變量離開(kāi)作用域時(shí)，會(huì)把上面的 block 的指針傳入 cleanup 函數(shù)，也就是 ext_executeCleanupBlock：

　　void ext_executeCleanupBlock （__strong ext_cleanupBlock_t *block） {

　?。?block）（）;

　　}

　　這個(gè)函數(shù)的作用只是簡(jiǎn)單的執(zhí)行傳入的 block，它滿足了 GCC 文檔中對(duì) cleanup 函數(shù)的幾個(gè)要求：

　　只能包含一個(gè)參數(shù)

　　參數(shù)的類型是一個(gè)指向變量類型的指針

　　函數(shù)的返回值是 void