void (^blk) (void) = ^{pringf("block \n");};
這個(gè)block的其實(shí)就是編譯成一個(gè)函數(shù)指針void (*blk) (void) = &impl_0(func_0, &desc_0)
impl_0 func_0 desc_0都是結(jié)構(gòu)體枢步，impl_0的構(gòu)造函數(shù)是以func_0,desc_0型變量為參數(shù)的甚疟。
blk(); 使用block其實(shí)就是調(diào)用函數(shù)指針悴品，(*blk->impl.FuncPtr)(blk); (func_0以impl_0為參數(shù))
block如何截取局部變量的值的瘦麸？
在編譯的時(shí)候，如果block聲明前有局部變量丈攒，并在block內(nèi)被使用了荧降，在impl_0的構(gòu)造函數(shù)的參數(shù)列表就有這個(gè)局部變量冠骄，并且使用局部變量的值來初始化；在impl_0的成員變量也添加了這些成員變量绸贡。
在block聲明前如果有靜態(tài)局部變量盯蝴，
static int static_val = 3;
相當(dāng)于在impl_0內(nèi)增加了int *static_val成員變量，使用該變量時(shí)即是使用它的指針進(jìn)行訪問听怕。
為什么非靜態(tài)的局部變量沒有用這個(gè)方式來進(jìn)行訪問呢捧挺，如果這樣就不存在block截獲局部變量的值的情況了。因?yàn)槿绻植孔兞勘唤孬@后（在block聲明處被截獲）尿瞭，如果該局部變量作用域結(jié)束闽烙，這個(gè)局部變量就被廢棄了，block中就不能再對它訪問了声搁。
__block實(shí)現(xiàn)
__block int val = 0;
被編譯成:(括號里面是賦的值)
struct __Block_byref_val_0{
? ? void *__isa;（0）
? ? __Block_byref_val_0 * __forwarding;（&val）
? ? int __flags;(0)
? ? int __size;(__Block_byref_val_0)
? ? int val;(10)
}
block內(nèi)對val賦值：
^{val = 1;}
在func_0內(nèi)被編譯成黑竞，在impl_0中同樣會添加成員變量
{
? ? __Block_byref_val_0 *val = __cself->val;
? ? val->__forwarding->val = 1;
}
Block存儲域
一般block設(shè)置在棧上，_NSConcreteStackBlock疏旨。isa=_NSConcreteStackBlock
有兩種情況在global數(shù)據(jù)區(qū) 即isa=_NSConcreteGlobalBlock:
1很魂、block聲明為全局變量
2、block中不截獲局部變量的值（執(zhí)行時(shí)不依賴局部變量的值充石，整個(gè)程序只需一個(gè)實(shí)例）
設(shè)置在棧上有個(gè)問題莫换，就是聲明block時(shí)的變量作用域結(jié)束了，棧也就沒了骤铃，block和__block變量也都沒了拉岁，所以arc時(shí)，大多數(shù)情況下編譯器會自動生成將block從棧上復(fù)制到堆上的代碼來解決這個(gè)問題惰爬。
比如下面這個(gè)將block作為函數(shù)返回值：
blk_t func(int rate)
{
? ? return ^(int count){return rate * count;};
}
blk_t func(int rate)
{
? ? blk_t tmp = &_func_block_impl_0(func_0,desc_0,rate);
? ? tmp = _Block_copy(tmp)喊暖；從棧復(fù)制到堆
? ? return objc_autoreleaseReturnValue(tmp); 注冊到autoreleasePool并返回
}
有些情況編譯器不能判斷：
向函數(shù)參數(shù)傳遞block（例外：函數(shù)里面已經(jīng)復(fù)制了參數(shù)的就不用在函數(shù)前手動復(fù)制了,還有框架的某個(gè)方法名中有usingBlock，GCD的API里）
對block調(diào)用copy方法時(shí)撕瞧，原來在棧上的block復(fù)制到堆上陵叽；原來在數(shù)據(jù)區(qū)的狞尔，什么也不做；原來在堆的巩掺，引用計(jì)數(shù)加1
那么block中使用的__block變量在block從棧復(fù)制到堆上又發(fā)生了什么偏序？
同樣是從棧復(fù)制到堆，并依然被該block所持有胖替。
__block變量在從棧復(fù)制到堆上的時(shí)候研儒，將__forwarding指向堆上的__block變量，所以不論是訪問棧上的（在block外使用__block變量）還是訪問堆上的（block內(nèi)使用__block變量）独令，都能通過val.__forwarding->val來訪問端朵。（訪問的都是堆上的？燃箭？）
block持有截獲的局部變量（如果是weak類型呢冲呢？？）
typedef void(^blk_t)(id obj);
blk_tblk;
{
id array = [[NSMutableArray alloc] init];
blk = [^(id b){
[array addObject:obj];
NSLog(@"array count %ld",[array count]);
}copy];
}
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
block在編譯后成員變量添加了id __strong array;
由于[block copy]的調(diào)用招狸，多了__main_block_copy_0和__main_block_dispose_0方法敬拓，在__main_block_copy方法中調(diào)用__Block_object_assign將對象賦值給array成員變量并持有該對象，同理裙戏，__main_block_dispose_0方法中調(diào)用_Block_object_dispose釋放賦值給array的對象恩尾。
所以在大括號結(jié)束時(shí)，即便array已經(jīng)超過變量作用域挽懦，堆上的block依然持有該對象翰意，不能被廢棄。
block從棧賦值到堆有四種情況：
1信柿、[block copy]
2冀偶、return block; block作為函數(shù)返回值
3、id strong blk = block; / self.blk = block;
4渔嚷、xxxusingBlock(blk_t blk) / ?GCD的API用block做參數(shù)的
變成weak之后 發(fā)現(xiàn)block結(jié)構(gòu)體中的成員變量也變成weak了
array2在出變量作用域之后設(shè)為nil进鸠，所以三次輸出都是0
可用聲明為weak來避免循環(huán)引用。
看一下block截獲基礎(chǔ)類型變量和對象類型變量的區(qū)別
__block int ?val = 10;
該變量轉(zhuǎn)換為結(jié)構(gòu)體__Block_byref_val_0
同時(shí)轉(zhuǎn)換后的文件頭部多了___main_block_copy_0和___main_block_dispose_0這兩個(gè)函數(shù)定義形病，
這兩個(gè)函數(shù)內(nèi)部調(diào)用了__Block_object_assign和_Block_object_dispose方法客年，
__Block_object_assign方法中讓Block持有__block變量
這兩個(gè)方法有個(gè)參數(shù)block_field_is_byref(綠色的)代表是assign了__block變量，如果是id類型漠吻，但是沒有__block修飾符量瓜，則這里的值是BLOCK_FIELD_IS_OBJECT。
具體的__Block_object_assign實(shí)現(xiàn)是這樣的：
這兩個(gè)函數(shù)在main中并沒有被調(diào)用途乃，那么是何時(shí)進(jìn)行了調(diào)用呢绍傲？
當(dāng)block從棧復(fù)制到堆上的時(shí)候，調(diào)用__main_block_copy_0，__block變量也從棧復(fù)制到堆上時(shí)烫饼，并被Block所持有猎塞。
__block id obj = [[NSObject alloc] init];的情況
__Block_object_assign函數(shù)將__block變量賦值給block成員變量，strong類型變量持有對象杠纵，從而block持有該對象
只要__block變量在堆上存在荠耽，對象就會一直被持有。
__block id __strong obj = [[NSObject alloc] init]; ?和不帶__strong的情況一樣
總結(jié)一下就是：
ARC下比藻，Block中引用id類型的數(shù)據(jù)有沒有__block都一樣都是retain骇塘，而對于基礎(chǔ)變量如int而言，沒有的話無法修改變量值韩容，有的話就是修改其結(jié)構(gòu)體令其內(nèi)部的forwarding指針指向拷貝后的地址達(dá)到值的修改。而MRC下唐瀑，則都是拷貝一份指針群凶。
