block到底是個(gè)啥玩意家夺？
先來(lái)看一個(gè)最簡(jiǎn)單的block的定義
int main(int argc, const char * argv[]) {
@autoreleasepool {
void (^blk) (void) = ^{
printf("block\n");
};
blk();
}
return 0;
}
沒錯(cuò)棍弄，這個(gè)block非常簡(jiǎn)單：沒有返回值，沒有參數(shù)槽驶，只打印了一句話，然后通過clang查看編譯之后的c＋＋代碼(clang命令需要進(jìn)入main.m文件的同級(jí)目錄)
clang -rewrite-objc main.m
得到一個(gè)main.cpp文件鸳兽，這個(gè)文件的代碼有點(diǎn)兒多掂铐，但是對(duì)我們有用的只有最后面一小段，我們滾到文件的最后面揍异，可以看到如下圖的一段代碼
屏幕快照 2016-09-21 10.49.35 AM.png
我們會(huì)發(fā)現(xiàn)有一個(gè)結(jié)構(gòu)體 __block_impl 不在上圖中全陨，我們通過command+f在第62行附近找到了這個(gè)結(jié)構(gòu)體的定義
屏幕快照 2016-09-21 10.53.49 AM.png
好了，我們需要用到的代碼大概就這么多蒿秦，下面來(lái)逐行解釋這些代碼烤镐，為了方便起見，我就直接注釋在文件中：
/*
首先定義了一個(gè)結(jié)構(gòu)體棍鳖，注意炮叶，這個(gè)結(jié)構(gòu)體并不是block的真實(shí)定義，它只是為block服務(wù)的渡处，也就是說(shuō)在block的定義或者使用的過程中镜悉，會(huì)用到這個(gè)結(jié)構(gòu)體
*/
struct __block_impl {
//block在內(nèi)存中的分布
void *isa;
//下面這兩個(gè)int型的字段，意義不大
int Flags;
int Reserved;
void *FuncPtr; //這是一個(gè)函數(shù)指針医瘫，指向了block要執(zhí)行的函數(shù)
};
/*
這也是一個(gè)結(jié)構(gòu)體侣肄，它也不是block的真實(shí)定義，也只是為block服務(wù)的醇份，并且這個(gè)結(jié)構(gòu)體里面包含了另外的兩個(gè)結(jié)構(gòu)體
*/
//這里說(shuō)明一下: __main:代表block被定義在main函數(shù)中稼锅，_0代表main函數(shù)中的第一個(gè)block吼具，如果你在方法名為method的函數(shù)中定義兩個(gè)block，就會(huì)出現(xiàn) struct __method_block_impl_1這樣的結(jié)構(gòu)體
struct __main_block_impl_0 {
struct __block_impl impl; //上面的那個(gè)結(jié)構(gòu)體
struct __main_block_desc_0* Desc; //這是一個(gè)結(jié)構(gòu)體指針矩距，指向了一個(gè)block描述的結(jié)構(gòu)體
//這是結(jié)構(gòu)體的構(gòu)造函數(shù)
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
//下面的就是對(duì)結(jié)構(gòu)體成員的賦值操作了
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
//這個(gè)函數(shù)就是block最后要執(zhí)行的函數(shù)拗盒，它會(huì)在后面被賦給__main_block_impl_0結(jié)構(gòu)體中的__block_impl結(jié)構(gòu)體中的FuncPtr成員
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
printf("block\n");
}
/*
這個(gè)結(jié)構(gòu)體中包涵了block的相關(guān)描述信息
*/
static struct __main_block_desc_0 {
size_t reserved; //保留字段，意義不大
size_t Block_size; //block的大小
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)}; //申明的時(shí)候直接直接定義一個(gè)結(jié)構(gòu)體
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
/*
好了锥债，重頭戲來(lái)了陡蝇，下面的兩行代碼包函數(shù)了block的定義和調(diào)用
*/
/*
這一行是block的定義，沒錯(cuò)哮肚，我們終于在這里看到block到底是一個(gè)什么東西登夫，它其實(shí)是一個(gè)函數(shù)指針: void (*blk) (void).
右邊的代碼加了一些強(qiáng)轉(zhuǎn)符，為了使代碼更清晰允趟，我們把強(qiáng)轉(zhuǎn)符去掉再來(lái)看看
void (*blk) (void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA));
我們發(fā)現(xiàn)恼策，函數(shù)指針指向了一個(gè)結(jié)構(gòu)體。有人可能會(huì)奇怪拼窥，函數(shù)指針不是應(yīng)該指向一個(gè)函數(shù)嗎戏蔑，為毛指向了一個(gè)結(jié)構(gòu)體？其實(shí)函數(shù)指針是個(gè)地址鲁纠，
&__main_block_impl_0也是一個(gè)地址总棵，所以從理論上這種賦值是可以的。
*/
void (*blk) (void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
/*
這一行是block的調(diào)用改含，猛的一看情龄，看不出到底是怎么個(gè)調(diào)用法，下面我們來(lái)一步一步的分析捍壤。
首先將上面定義的blk強(qiáng)轉(zhuǎn)成__block_impl結(jié)構(gòu)體指針類型骤视，也就是((__block_impl *)blk)，然后取出這個(gè)結(jié)構(gòu)體的成員FuncPtr鹃觉，即
((__block_impl *)block) ->FuncPtr)专酗，而FuncPtr也是一個(gè)指針，然后把這個(gè)指針強(qiáng)轉(zhuǎn)為返回值為void盗扇，參數(shù)為__block_impl*的一個(gè)函數(shù)指針祷肯，也就是
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)，最后調(diào)用這個(gè)指針?biāo)赶虻暮瘮?shù)
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
*/
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
}
return 0;
}
這樣疗隶，我們就分析完了一個(gè)簡(jiǎn)單的block定義和調(diào)用了佑笋。
