ObjC block簡析（一）

探究block的本質

在main.m的main函式中宣告一個block並執行block()通過xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m -o main.cpp命令將main.m轉為main.cpp。

在main.cpp中可以發現上圖中的程式碼。其中在main函式中的block和block(),被轉化為

void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
        ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
複製程式碼

其中不乏強制轉換型別的程式碼，將強制型別轉換的程式碼去掉我們可以明確的看出：

void(*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);
        block->FuncPtr(block);
複製程式碼

block儲存了__main_block_impl_0函式的地址，而此函式中傳遞的第一個值是一個函式指標，函式的作用就是block中儲存的程式碼的作用，即列印hello world。第二個引數是一個結構體指標，其中包含有對block的描述。

而__main_block_impl_0是一個結構體，__main_block_impl_0函式是結構體__main_block_impl_0的建構函式，在此結構中就可以看到這個與結構體名字相同的沒有返回值的函式。

該函式將型別地址賦值給isa，將存放block中程式碼的函式的指標賦值給funcptr，將block的描述賦值給desc。

__main_block_impl_0結構體中第一個成員就是：

我們可以看到這裡並不是結構體指標，而是結構體本身，所以__main_block_impl_0的第一個成員其實是isa.

而我們的block()轉換成了block->FuncPtr(block);就是通過block查詢到FuncPtr然後呼叫，執行相應的程式碼。至於block明明是__main_block_impl_0型別的為什麼卻能直接查詢到FuncPtr成員，上面已經說明這裡存放的並不是結構體指標，也不是地址，而是結構體impl本身，所以block是可以經過型別強制轉換轉換成__block_impl型別進而通過FuncPtr指標呼叫相應的函式的。

我們都知道，ObjC中的物件都有一個isa指標，而block中同樣存在isa指標。所以可以說block是一個ObjC指標。它封裝了block函式的呼叫。

Block的變數捕獲

像上述例子對我們來說通常沒有什麼實際作用，而我們通常要在block中處理一下外部變數的邏輯，那麼block是怎麼處理這些變數的呢？

auto區域性變數的捕獲

出現上述情況的原因是什麼呢？依然將main.m轉成main.cpp。

上面圖片中我們可以發現block的結構體中出現了一個age變數，並且其建構函式表明將_age賦值給age成員。而在FuncPtr儲存的函式__main_block_func_0的地址中，我們發現呼叫此函式是從block的結構體中取出age成員的值進行列印的。所以當定義block的時候age的值已經被block用一個同樣名字的成員捕獲了。而且捕獲的僅僅是age的值。