這篇文章主要會介紹 block 是如何持有并且釋放對象的。文章中的代碼都出自 Facebook 開源的用于檢測循環(huán)引用的框架 FBRetainCycleDetector。

　　為什么會談到 block

　　可能很多讀者會有這樣的疑問，本文既然是對 FBRetainCycleDetector 解析的文章，為什么會提到 block？原因其實很簡單，因為在 iOS 開發(fā)中大多數(shù)的循環(huán)引用都是因為 block 使用不當(dāng)導(dǎo)致的，由于 block 會 retain 它持有的對象，這樣就很容易造成循環(huán)引用，最終導(dǎo)致內(nèi)存泄露。

　　在 FBRetainCycleDetector 中存在這樣一個類 FBObjectiveCBlock，這個類的 - allRetainedObjects 方法就會返回所有 block 持有的強引用，這也是文章需要關(guān)注的重點。

　　- （NSSet *）allRetainedObjects {

　　NSMutableArray *results = ［［［super allRetainedObjects］ allObjects］ mutableCopy］;

　　__attribute__（（objc_precise_lifetime）） id anObject = self.object;

　　void *blockObjectReference = （__bridge void *）anObject;

　　NSArray *allRetainedReferences = FBGetBlockStrongReferences（blockObjectReference）;

　　for （id object in allRetainedReferences） {

　　FBObjectiveCGraphElement *element = FBWrapObjectGraphElement（self， object， self.configuration）;

　　if （element） {

　　［results addObject:element］;

　　}

　　}

　　return ［NSSet setWithArray:results］;

　　}

　　這部分代碼中的大部分都不重要，只是在開頭調(diào)用父類方法，在最后將獲取的對象包裝成一個系列 FBObjectiveCGraphElement，最后返回一個數(shù)組，也就是當(dāng)前對象 block 持有的全部強引用了。

　　Block 是什么？

　　對 block 稍微有了解的人都知道，block 其實是一個結(jié)構(gòu)體，其結(jié)構(gòu)大概是這樣的：

　　struct BlockLiteral {

　　void *isa;

　　int flags;

　　int reserved;

　　void （*invoke）（void *， 。。.）;

　　struct BlockDeor *deor;

　　};

　　struct BlockDeor {

　　unsigned long int reserved;

　　unsigned long int size;

　　void （*copy_helper）（void *dst， void *src）;

　　void （*dispose_helper）（void *src）;

　　const char *signature;

　　};

　　在 BlockLiteral 結(jié)構(gòu)體中有一個 isa 指針，而對 isa了解的人也都知道，這里的 isa 其實指向了一個類，每一個 block 指向的類可能是 __NSGlobalBlock__、__NSMallocBlock__ 或者 __NSStackBlock__，但是這些 block，它們繼承自一個共同的父類，也就是 NSBlock，我們可以使用下面的代碼來獲取這個類：

　　static Class _BlockClass（） {

　　static dispatch_once_t onceToken;

　　static Class blockClass;

　　dispatch_once（&onceToken， ^{

　　void （^testBlock）（） = ［^{} copy］;

　　blockClass = ［testBlock class］;

　　while（class_getSuperclass（blockClass） && class_getSuperclass（blockClass） ！= ［NSObject class］） {

　　blockClass = class_getSuperclass（blockClass）;

　　}

　?。踭estBlock release］;

　　}）;

　　return blockClass;

　　}

　　Objective-C 中的三種 block __NSMallocBlock__、__NSStackBlock__ 和 __NSGlobalBlock__ 會在下面的情況下出現(xiàn)：

　　在 ARC 中，捕獲外部了變量的 block 的類會是 __NSMallocBlock__ 或者 __NSStackBlock__，如果 block 被賦值給了某個變量在這個過程中會執(zhí)行 _Block_copy 將原有的 __NSStackBlock__ 變成 __NSMallocBlock__；但是如果 block 沒有被賦值給某個變量，那它的類型就是 __NSStackBlock__；沒有捕獲外部變量的 block 的類會是 __NSGlobalBlock__ 即不在堆上，也不在棧上，它類似 C 語言函數(shù)一樣會在代碼段中。

　　在非 ARC 中，捕獲了外部變量的 block 的類會是 __NSStackBlock__，放置在棧上，沒有捕獲外部變量的 block 時與 ARC 環(huán)境下情況相同。