Block底層原理 - 捕獲機制，循環(huán)引用梳理

? ? 前段時間通過學(xué)習(xí)小馬哥視頻，對block有了深刻的理解和學(xué)習(xí)，對此總結(jié)一下，加深印象。

1.1 捕獲機制

在Object-C中，Block的本質(zhì)是一個封裝了函數(shù)調(diào)用和函數(shù)調(diào)用環(huán)境的OC對象（內(nèi)部有isa指針）：

? ? 函數(shù)調(diào)用：block內(nèi)部將要執(zhí)行的代碼

? ? 函數(shù)調(diào)用環(huán)境：傳進block中的參數(shù)和在內(nèi)部調(diào)用時需要訪問的外部變量（捕獲機制原因）

但是：絕大部分情況Block創(chuàng)建后，并不會立即調(diào)用，而是在其它函數(shù)或者合適的時機調(diào)用，而block外部的變量有可能已經(jīng)被銷毀；

這時候例如局部變量a已經(jīng)被銷毀，a被銷毀后，調(diào)用block時內(nèi)部需要訪問a的值，而打印出來a的值為5，證明：Block內(nèi)部將外部變量捕獲進內(nèi)部，在調(diào)用block函數(shù)時使用

捕獲機制原因

1.1.1 局部變量與全局變量

auto變量：自動變量，離開作用域就銷毀。

auto，static局部變量、全局變量

對于auto和static類型的變量，全局變量的捕獲，可以通過OC代碼轉(zhuǎn)化為C/C++代碼查看，使用終端cd到當(dāng)前文件夾下，輸入：

xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc OC源文件 -o 輸出的CPP文件

注意：1.輸出的文件必須以.cpp后綴命名 2. 必須cd到當(dāng)前文件夾或者指定文件夾，不然生成的.cpp文件在用戶目錄下（或者通過在finder中全局搜索可以找到）

由上圖代碼生成的C++代碼

由生成的c++代碼可知：

摘自小碼哥課件

1、auto變量a會直接將值捕獲進去，用一個新的a成員變量接收并保存，所以捕獲以后，block外部的a與內(nèi)部的a為兩個不同的值，互不干擾，修改一個的值不會影響另一個的值；

2、static變量捕獲的是*b，捕獲的是指針，內(nèi)部與外部是同一個指針，修改一個另一個也會改變；

3、全局變量不會被block捕獲，而是在調(diào)用函數(shù)的時候直接訪問。

由此很好的解釋了一個面試經(jīng)常會問到的問題和答案：

block捕獲機制經(jīng)典問題

ps：通過加斷點可以打印出外部的a和block內(nèi)部的a地址值不一樣，b、c內(nèi)外的地址值一樣。

1.1.2 Blcok的類型

block分為3中類型：__NSGlobalBlock__、__NSStackBlock__、__NSMallocBlock__，最終都繼承自NSBlock ->NSObject。

1、__NSGlobalBlock__：沒有訪問外部auto變量；調(diào)用copy后什么也不做；

2、__NSStackBlock__：訪問了外部的auto變量；調(diào)用copy后，block從棧區(qū)復(fù)制到堆區(qū)，類型變成__NSMallocBlock__；

3、__NSMallocBlock__：__NSStackBlock__調(diào)用copy后的類型；調(diào)用copy函數(shù)后引用計數(shù)+1

NSMallocBlock和NSStackBlock

在ARC環(huán)境下，編譯器會自動將block執(zhí)行copy操作復(fù)制到堆上，例如：（block需要被保留后面調(diào)用，因為棧上的的block出作用域就會被銷毀）（1）block作為函數(shù)的返回值時；（2）GCD中的block；（3）將block賦值給__strong強指針時；（4）block作為Cocoa API中方法名含有usingBlock的方法參數(shù)時。

arc下棧上的block會被copy到堆上（摘自小碼哥課件）

1.1.3 block內(nèi)部實現(xiàn)及調(diào)用c/c++分析

block對person對象捕獲代碼

1.1.3.1 ?main函數(shù)底層c/c++代碼實現(xiàn)：

main函數(shù)底層c/c++代碼

main函數(shù)簡化后

對main函數(shù)簡化后，總結(jié)：

1、創(chuàng)建person對象是對YYPerson類對象發(fā)送alloc和init兩條消息，給age賦值是對person對象發(fā)送setAge消息；

2、block賦值實際上就是__main_block_impl_0結(jié)構(gòu)體；

3、調(diào)用block，通過block找到FuncPtr(函數(shù)調(diào)用的地址)，執(zhí)行__main_block_func_0

1.1.3.2 block impl、func底層實現(xiàn)及簡化

block底層c/c++實現(xiàn)

blcok簡化及內(nèi)部結(jié)構(gòu)體（構(gòu)造函數(shù)）

c++構(gòu)造函數(shù)：對于block的內(nèi)部實現(xiàn)，__main_block_impl_0，初始化使用到了c++結(jié)構(gòu)體及構(gòu)造函數(shù)，查閱后了解到其語法及實現(xiàn)：

c++構(gòu)造函數(shù)

1.1.3.3 blcok賦值以及調(diào)用

main函數(shù)以及block impl、func聯(lián)系

1、block賦值實際上就是__main_block_impl_0結(jié)構(gòu)體，以及傳入結(jié)構(gòu)體的參數(shù):__mian_block_func_0，person對象，__main_block_desc_0函數(shù)描述等；

2、調(diào)用block，通過block找到FuncPtr(函數(shù)調(diào)用的地址)，執(zhí)行流程：__main_block_impl_0 -> impl -> FuncPtr -> __main_block_func_0?->調(diào)用。

3、FuncPtr：__main_block_impl_0賦值時傳入的第一個參數(shù)是__main_block_func_0，而在構(gòu)造函數(shù)賦值時第一個參數(shù)是void ?*fp，即說明__func_block_func_0就是fp，而后fp被賦值給了（__block_impl）impl(block對象)的FuncPtr；

1.1.3.4?對象類型的auto變量的捕獲

peson對象的捕獲流程

1、當(dāng)block存儲在棧上：block隨時會被銷毀，所以不會對auto對象進行強引用；

2、如果block被拷貝到堆上：會調(diào)用block內(nèi)部的copy函數(shù)，copy函數(shù)內(nèi)部會調(diào)用_Block_object_assign函數(shù)，_block_object_assign函數(shù)會根據(jù)auto變量的修飾符（__strong、__weak、__unsafe_unretained）做出相應(yīng)的操作，形成強引用（retain）或者弱引用；

3、當(dāng)堆上的block被移除時：調(diào)用block內(nèi)部的dispose函數(shù)，dispose函數(shù)會調(diào)用_block_object_dispose函數(shù)，_block_object_dispose函數(shù)會自動釋放引用的auto對象

1.2 循環(huán)引用的產(chǎn)生和解決

block捕獲self示例

1、oc方法在生成c++代碼以后可以發(fā)現(xiàn)，oc方法都有兩個隱式參數(shù)：self和_cmd，在調(diào)用self.a等方法的時候，使用的就是這個隱式的參數(shù)self；

2、所以在oc方法中，self是一個參數(shù)，也就是一個局部變量，由oc的捕獲機制，局部變量self會被捕獲到block內(nèi)部；

3、self被捕獲到block內(nèi)部，會對self產(chǎn)生強引用，而self對block也是強引用，就會造成循環(huán)引用

如何解決循環(huán)引用問題，需要打破雙方之間的強引用關(guān)系，改用弱引用：

如何解決循環(huán)引用（摘自小碼哥課件）

4、使用__block修飾解決循環(huán)引用問題：必須要調(diào)用block。