block到底是個啥玩意？
先來看一個最簡單的block的定義
int main(int argc, const char * argv[]) {
@autoreleasepool {
void (^blk) (void) = ^{
printf("block\n");
};
blk();
}
return 0;
}
沒錯，這個block非常簡單：沒有返回值，沒有參數(shù)，只打印了一句話，然后通過clang查看編譯之后的c＋＋代碼(clang命令需要進(jìn)入main.m文件的同級目錄)
clang -rewrite-objc main.m
得到一個main.cpp文件，這個文件的代碼有點(diǎn)兒多，但是對我們有用的只有最后面一小段，我們滾到文件的最后面，可以看到如下圖的一段代碼
屏幕快照 2016-09-21 10.49.35 AM.png
我們會發(fā)現(xiàn)有一個結(jié)構(gòu)體 __block_impl 不在上圖中，我們通過command+f在第62行附近找到了這個結(jié)構(gòu)體的定義
屏幕快照 2016-09-21 10.53.49 AM.png
好了，我們需要用到的代碼大概就這么多，下面來逐行解釋這些代碼，為了方便起見，我就直接注釋在文件中：
/*
首先定義了一個結(jié)構(gòu)體，注意，這個結(jié)構(gòu)體并不是block的真實(shí)定義，它只是為block服務(wù)的，也就是說在block的定義或者使用的過程中，會用到這個結(jié)構(gòu)體
*/
struct __block_impl {
//block在內(nèi)存中的分布
void *isa;
//下面這兩個int型的字段，意義不大
int Flags;
int Reserved;
void *FuncPtr; //這是一個函數(shù)指針，指向了block要執(zhí)行的函數(shù)
};
/*
這也是一個結(jié)構(gòu)體，它也不是block的真實(shí)定義，也只是為block服務(wù)的，并且這個結(jié)構(gòu)體里面包含了另外的兩個結(jié)構(gòu)體
*/
//這里說明一下: __main:代表block被定義在main函數(shù)中，_0代表main函數(shù)中的第一個block，如果你在方法名為method的函數(shù)中定義兩個block，就會出現(xiàn) struct __method_block_impl_1這樣的結(jié)構(gòu)體
struct __main_block_impl_0 {
struct __block_impl impl; //上面的那個結(jié)構(gòu)體
struct __main_block_desc_0* Desc; //這是一個結(jié)構(gòu)體指針，指向了一個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) {
//下面的就是對結(jié)構(gòu)體成員的賦值操作了
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
//這個函數(shù)就是block最后要執(zhí)行的函數(shù)，它會在后面被賦給__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");
}
/*
這個結(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)}; //申明的時候直接直接定義一個結(jié)構(gòu)體
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
/*
好了，重頭戲來了，下面的兩行代碼包函數(shù)了block的定義和調(diào)用
*/
/*
這一行是block的定義，沒錯，我們終于在這里看到block到底是一個什么東西，它其實(shí)是一個函數(shù)指針: void (*blk) (void).
右邊的代碼加了一些強(qiáng)轉(zhuǎn)符，為了使代碼更清晰，我們把強(qiáng)轉(zhuǎn)符去掉再來看看
void (*blk) (void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA));
我們發(fā)現(xiàn)，函數(shù)指針指向了一個結(jié)構(gòu)體。有人可能會奇怪，函數(shù)指針不是應(yīng)該指向一個函數(shù)嗎，為毛指向了一個結(jié)構(gòu)體？其實(shí)函數(shù)指針是個地址，
&__main_block_impl_0也是一個地址，所以從理論上這種賦值是可以的。
*/
void (*blk) (void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
/*
這一行是block的調(diào)用，猛的一看，看不出到底是怎么個調(diào)用法，下面我們來一步一步的分析。
首先將上面定義的blk強(qiáng)轉(zhuǎn)成__block_impl結(jié)構(gòu)體指針類型，也就是((__block_impl *)blk)，然后取出這個結(jié)構(gòu)體的成員FuncPtr，即
((__block_impl *)block) ->FuncPtr)，而FuncPtr也是一個指針，然后把這個指針強(qiáng)轉(zhuǎn)為返回值為void，參數(shù)為__block_impl*的一個函數(shù)指針，也就是
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)，最后調(diào)用這個指針?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;
}
這樣，我們就分析完了一個簡單的block定義和調(diào)用了。
