Block在iOS開發(fā)中的用途非常廣，今天我們就來一起探索一下Block的底層結(jié)構(gòu)。
1. Block的底層結(jié)構(gòu)
下面是一個(gè)沒有參數(shù)和返回值的簡單的Block：
int main(int argc, char * argv[]) {
@autoreleasepool {
void (^block)(void) = ^{
NSLog(@"Hello World!");
};
block();
return 0;
}
}
為了探索Block的底層結(jié)構(gòu)，我們將main.m文件轉(zhuǎn)化為C++的源碼、我們打開命令行。cd到包含main.m文件的文件夾，然后輸入:clang -rewrite-objc main.m，這個(gè)時(shí)候在該文件夾的目錄下會(huì)生成main.cpp文件。
這個(gè)文件非常長，我們直接拉到文件的最下面，找到main函數(shù)：
int main(int argc, char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
//定義block
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
//調(diào)用block
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
}
這第一行代碼是定義一個(gè)block變量，第二行代碼是調(diào)用block。這兩行代碼看起來非常復(fù)雜。但是我們可以去簡化一下，怎么簡化呢？
變量前面的()一般是做強(qiáng)制類型轉(zhuǎn)換的，比如在調(diào)用block這一行，
block前面有一個(gè)()是(__block_impl *)，這就是進(jìn)行了一個(gè)強(qiáng)制類型轉(zhuǎn)換，將其轉(zhuǎn)換為一個(gè)_block_impl類型的結(jié)構(gòu)體指針，那像這樣的強(qiáng)制類型轉(zhuǎn)換非常妨礙我們理解代碼，我們可以暫時(shí)將這些強(qiáng)制類型轉(zhuǎn)換去掉，這樣可以幫助我們理解代碼。
化簡后的代碼如下：
//定義block
void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);
//調(diào)用block
block->FuncPtr(block);
這樣化簡后的代碼就要清爽多了。我們一句一句的看，先看第一句：
void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);
這句代碼的意思好像就是調(diào)用_main_block_impl_0這個(gè)函數(shù)，給這個(gè)函數(shù)傳進(jìn)兩個(gè)參數(shù)_main_block_func_0和&_main_block_desc_0_DATA,然后得到這個(gè)函數(shù)的返回值，取函數(shù)返回值的地址，賦值給block這個(gè)指針。
我們?cè)谏晕⑸弦稽c(diǎn)的位置可以找到_main_block_impl_0這個(gè)結(jié)構(gòu)：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
//構(gòu)造函數(shù)，類似于OC的init方法
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
__block_impl這個(gè)結(jié)構(gòu)體的結(jié)構(gòu)我們可以command+f在main.cpp文件中搜索得到：
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
_main_block_desc_0結(jié)構(gòu)體的結(jié)構(gòu)在main.cpp文件的最下面可以找到：
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
這是一個(gè)C++的結(jié)構(gòu)體。而且在這個(gè)結(jié)構(gòu)體內(nèi)還包含一個(gè)函數(shù)，這個(gè)函數(shù)的函數(shù)名和結(jié)構(gòu)體名稱一致，這在C語言中是沒有的，這是C++特有的。
在C++的結(jié)構(gòu)體包含的函數(shù)稱為結(jié)構(gòu)體的構(gòu)造函數(shù)，它就相當(dāng)于是OC中的init方法，用來初始化結(jié)構(gòu)體。OC中的init方法返回的是對(duì)象本身，C++的結(jié)構(gòu)體中的構(gòu)造方法返回的也是結(jié)構(gòu)體對(duì)象。
那么我們就知道了，__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);返回的就是_main_block_impl_0這個(gè)結(jié)構(gòu)體對(duì)象，然后取結(jié)構(gòu)體對(duì)象的地址賦值給block指針。換句話說，block指向的就是初始化后的_main_block_impl_0結(jié)構(gòu)體對(duì)象。
我們?cè)倏匆幌鲁跏蓟?code>_main_block_impl_0結(jié)構(gòu)體傳進(jìn)去的參數(shù)：
- 第一個(gè)參數(shù)是
_main_block_func_0，這個(gè)參數(shù)的結(jié)構(gòu)在上面一點(diǎn)的位置也能找到：
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
NSLog((NSString *)&__NSConstantStringImpl__var_folders_74_wk04zv690mz36wn0g18r5nxm0000gn_T_main_3b803f_mi_0);
}
這個(gè)函數(shù)其實(shí)就是把我們Block中要執(zhí)行的代碼封裝到這個(gè)函數(shù)內(nèi)部了。我們可以看到這個(gè)函數(shù)內(nèi)部就一行代碼，就是一個(gè)NSlog函數(shù)，這也就是NSLog(@"Hello World!");這句代碼。
把這個(gè)函數(shù)指針傳給_main_block_impl_0的構(gòu)造函數(shù)的第一個(gè)參數(shù)，然后用這個(gè)函數(shù)指針去初始化_main_block_impl_0這個(gè)結(jié)構(gòu)體的第一個(gè)成員變量impl的成員變量FuncPtr。也就是說FuncPtr這個(gè)指針指向_main_block_func_0這個(gè)函數(shù)。
- 第二個(gè)參數(shù)是
&_main_block_desc_0_DATA。
我們看一下這個(gè)結(jié)構(gòu)：
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
在結(jié)構(gòu)體的構(gòu)造函數(shù)中，0賦值給了reserved，sizeof(struct __main_block_impl_0)是賦值給了Block_size，可以看出這個(gè)結(jié)構(gòu)體存放的是_main_block_impl_0這個(gè)結(jié)構(gòu)體的信息。在_main_block_impl_0的構(gòu)造函數(shù)中我們可以看到，_main_block_desc_0這個(gè)結(jié)構(gòu)體的地址被賦值給了_main_block_impl_0的第二個(gè)成員變量Desc這個(gè)結(jié)構(gòu)體指針。也就是說Desc這個(gè)結(jié)構(gòu)體指針指向_main_block_desc_0_DATA這個(gè)結(jié)構(gòu)體。
那么我們總結(jié)一下：
所以第一句定義block
void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA);
總結(jié)起來就是：
- 1.創(chuàng)建一個(gè)函數(shù)
_main_block_func_0,這個(gè)函數(shù)
的作用就是將我們block中要執(zhí)行的代碼封裝到函數(shù)內(nèi)部，方便調(diào)用。 - 2.創(chuàng)建一個(gè)結(jié)構(gòu)體
_main_block_desc_0,這個(gè)結(jié)構(gòu)體中主要包含_main_block_impl_0這個(gè)結(jié)構(gòu)體占用的存儲(chǔ)空間大小等信息。 - 3.將1中創(chuàng)建的
_main_block_func_0這個(gè)函數(shù)的地址，和2中創(chuàng)建的_main_block_desc_0這個(gè)結(jié)構(gòu)體的地址傳給_main_block_impl_0的構(gòu)造函數(shù)。 - 4.利用
_main_block_func_0初始化_main_block_impl_0結(jié)構(gòu)體的第一個(gè)成員變量impl的成員變量FuncPtr。這樣_main_bck_impl_0這個(gè)結(jié)構(gòu)體也就得到了block中那個(gè)代碼塊的地址。 - 5.利用
_mian_block_desc_0_DATA去初始化_mian_block_impl_0的第二個(gè)成員變量Desc。
下面我們?cè)倏吹诙秸{(diào)用block：
block->FuncPtr(block);
我們知道，block實(shí)質(zhì)上就是指向_main_block_impl_0這個(gè)結(jié)構(gòu)體的指針，而FuncPtr是_main_block_impl_0的第第一個(gè)成員變量impl的成員變量，正常來講，block想要調(diào)用自己的成員變量的成員變量的成員變量，應(yīng)該像下面這樣調(diào)用：
block->impl->FuncPtr
然而事實(shí)卻不是這樣，這是為什么呢？
原因就在于之前我們把所有的強(qiáng)制類型轉(zhuǎn)換給刪掉了，之前block前面的()是(__block_impl *)，為什么可以這樣強(qiáng)制轉(zhuǎn)換呢？因?yàn)閎lock指向的是
_main_block_impl_0這個(gè)結(jié)構(gòu)體的首地址，而_main_block_impl_0
的第一個(gè)成員變量是struct __block_impl impl;，所以impl和_main_block_impl_0的首地址是一樣的，因此指向_main_block_impl_0的首地址的指針也就可以被強(qiáng)制轉(zhuǎn)換為指向impl的首地址的指針。
之前說過，F(xiàn)uncPtr這個(gè)指針在構(gòu)造函數(shù)中是被初始化為指向_mian_block_func_0這個(gè)函數(shù)的地址。因此通過block->FuncPtr調(diào)用也就獲取了_main_block_func_0這個(gè)函數(shù)的地址，然后對(duì)_main_block_func_0進(jìn)行調(diào)用，也就是執(zhí)行block中的代碼了。這中間block又被當(dāng)做參數(shù)傳進(jìn)了_main_block_func_0這個(gè)函數(shù)。
2.變量捕獲-auto變量
auto變量是聲明在函數(shù)內(nèi)部的變量，比如int a = 0;這句代碼聲明在函數(shù)內(nèi)部，那a就是auto變量，等價(jià)于auto int a = 0;auto變量時(shí)分配在棧區(qū)，當(dāng)超出作用域時(shí)，其占用的內(nèi)存會(huì)被系統(tǒng)自動(dòng)銷毀并生成。下面看一段代碼：
int a = 10;
void (^block)(void) = ^{
NSLog(@"%d", a);
};
a = 20;
block();
這是一個(gè)很簡單的Block捕獲自動(dòng)變量的例子，我們看一下打印結(jié)果：
2018-09-04 20:39:45.436534+0800 copytest[17163:477148] 10
自動(dòng)變量a的值明明已經(jīng)變?yōu)榱?0，為什么輸出結(jié)果還是10呢？我們把這段代碼轉(zhuǎn)化為C++的源碼看看。
int main(int argc, char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
int a = 10;
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));
a = 20;
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
}
我們還是把代碼化簡一下來看：
int a = 10;
void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, a);
a = 20;
block->FuncPtr)(block);
對(duì)比一下上面分析的沒有捕獲自動(dòng)變量的源代碼，我們發(fā)現(xiàn)這里_main_block_impl_0中傳入的參數(shù)多了一個(gè)a。然后我們往上翻看看_main_block_impl_0的結(jié)構(gòu)：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int a; //這是新加入的成員變量
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
在_main_block_impl_0這個(gè)結(jié)構(gòu)體中我們發(fā)現(xiàn)多了一個(gè)int類型的成員變量a，在結(jié)構(gòu)體的構(gòu)造函數(shù)中多了一個(gè)參數(shù)int _a，并且用這個(gè)int _a去初始化成員變量a。
所以在void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, a);中傳入了自動(dòng)變量a用來初始化_main_block_impl_0的成員變量a。那這個(gè)時(shí)候_main_block_impl_0的成員變量a就被賦值為10了。
由于上面這一步是值傳遞，所以當(dāng)執(zhí)行a = 20時(shí)，_main_block_impl_0結(jié)構(gòu)體的成員變量a的值是不會(huì)隨之改變的，仍然是10。
然后我們?cè)賮砜匆幌耞main_block_func_0的結(jié)構(gòu)有何變化：
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
int a = __cself->a; // bound by copy
NSLog((NSString *)&__NSConstantStringImpl__var_folders_74_wk04zv690mz36wn0g18r5nxm0000gn_T_main_fb5f0d_mi_0, a);
}
可以看到，通過傳入的_main_block_impl_0這個(gè)結(jié)構(gòu)體獲得其成員變量a的值。
3.變量捕獲-static變量
上面講的捕獲的是自動(dòng)變量，在函數(shù)內(nèi)部聲明的變量默認(rèn)為自動(dòng)變量，即默認(rèn)用auto修飾。那么如果在函數(shù)內(nèi)部聲明的變量用static修飾，又會(huì)帶來哪些不同呢？static變量和auto變量的不同之處在于變量的內(nèi)存的回收時(shí)機(jī)。auto變量在其作用域結(jié)束時(shí)就會(huì)被系統(tǒng)自動(dòng)回收，而static變量在變量的作用域結(jié)束時(shí)并不會(huì)被系統(tǒng)自動(dòng)回收。
先看一段代碼：
static int a = 10;
void (^block)(void) = ^{
NSLog(@"%d", a);
};
a = 20;
block();
我們看一下打印結(jié)果：
2018-09-04 21:09:40.440020+0800 copytest[17949:499740] 20
結(jié)果是20，這個(gè)和2中的打印結(jié)果不一樣，為什么局部變量從auto變成了static結(jié)果會(huì)不一樣呢？我們還是從源碼來分析：
int main(int argc, char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
static int a = 10;
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &a));
a = 20;
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
}
我們把代碼化簡一下：
static int a = 10;
void (*block)(void) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, &a);
a = 20;
block->FuncPtr(block);
和2不一樣的是，這里傳入_main_block_impl_0的是&a，也即是a這個(gè)變量的地址值。那么這個(gè)&a是賦值給誰了呢？我們上翻找到_main_block_impl_0的結(jié)構(gòu)：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int *a;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int *_a, int flags=0) : a(_a) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
這里我們可以看到結(jié)構(gòu)體多了一個(gè)指針類型的成員變量int *a,然后在構(gòu)造函數(shù)中，將傳遞過來的&a，賦值給這個(gè)指針變量。也就是說，在_main_block_impl_0這個(gè)結(jié)構(gòu)體中多了一個(gè)成員變量，這個(gè)成員變量是指針，指向a這個(gè)變量。所以當(dāng)a變量的值發(fā)生變化時(shí)，能夠得到最新的值。
4.變量捕獲-全局變量
2和3分析了兩種類型的局部變量，auto局部變量和static局部變量。這一部分則分析全局變量。全局變量會(huì)不會(huì)像局部變量一樣被block所捕獲呢？我們還是看一下實(shí)例：
int height = 10;
static int weight = 20;
int main(int argc, char * argv[]) {
@autoreleasepool {
void (^block)(void) = ^{
NSLog(@"%d %d", height, weight);
};
height = 30;
weight = 40;
block();
return 0;
}
}
打印結(jié)果：
2018-09-04 21:41:19.016278+0800 copytest[18774:524773] 30 40
我們還是查看一下源碼：
int height = 10;
static int weight = 20;
int main(int argc, char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
height = 30;
weight = 40;
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
}
這里我們可以看到，height和weight這兩個(gè)全局變量沒有作為參數(shù)傳入_main_block_impl_0中去。然后我們?cè)俨榭匆幌耞main_block_impl_0的結(jié)構(gòu)：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
可以看到，_main_block_impl_0中并沒有增加成員變量。然后我們?cè)倏確main_block_func_0的結(jié)構(gòu)：
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
NSLog((NSString *)&__NSConstantStringImpl__var_folders_74_wk04zv690mz36wn0g18r5nxm0000gn_T_main_46c51b_mi_0, height, weight);
}
可以看到，這個(gè)地方在調(diào)用的時(shí)候是直接調(diào)用的全局變量height和weight。
所以我們可以得出結(jié)論，block并不會(huì)不會(huì)全局變量。
總結(jié)：
| 變量類型 | 是否捕獲到block內(nèi)部 | 訪問方式 |
|---|---|---|
| 局部變量auto | 是 | 值傳遞 |
| 局部變量static | 是 | 指針傳遞 |
| 全局變量 | 否 | 直接訪問 |
思考 為什么對(duì)于不同類型的變量，block的處理方式不同呢？
這是由變量的生命周期決定的。對(duì)于自動(dòng)變量，當(dāng)作用域結(jié)束時(shí)，會(huì)被系統(tǒng)自動(dòng)回收，而block很可能是在超出自動(dòng)變量作用域的時(shí)候去執(zhí)行，如果之前沒有捕獲自動(dòng)變量，那么后面執(zhí)行的時(shí)候，自動(dòng)變量已經(jīng)被回收了，得不到正確的值。對(duì)于static局部變量，它的生命周期不會(huì)因?yàn)樽饔糜蚪Y(jié)束而結(jié)束，所以block只需要捕獲這個(gè)變量的地址，在執(zhí)行的時(shí)候通過這個(gè)地址去獲取變量的值，這樣可以獲得變量的最新的值。gao'mi而對(duì)于全局變量，在任何位置都可以直接讀取變量的值。
5.變量捕獲-self變量
看下面一段代碼：
@implementation Person
- (void)test{
void(^block)(void) = ^{
NSLog(@"%@", self);
};
}
@end
這個(gè)Person類中只有一個(gè)東西，就是test這個(gè)函數(shù)，那么這個(gè)block有沒有捕獲self變量呢？
要搞清這個(gè)問題，我們只需要知道搞清楚這里self變量是局部變量還是全局變量，如果是局部變量，那么是一定會(huì)捕獲的，而如果是全局變量，則一定不會(huì)被捕獲。
我們把這個(gè)Person.m文件轉(zhuǎn)化為c++的源碼，然后找到test函數(shù)在c++中的表示：
static void _I_Person_test(Person * self, SEL _cmd) {
void(*block)(void) = ((void (*)())&__Person__test_block_impl_0((void *)__Person__test_block_func_0, &__Person__test_block_desc_0_DATA, self, 570425344));
}
我們可以看到，本來Person.m中，這個(gè)test函數(shù)我是沒有傳任何參數(shù)的，但是轉(zhuǎn)化為c++的代碼后，這里傳入了兩個(gè)參數(shù)，一個(gè)是self參數(shù)，一個(gè)是_cmd。self很常見，_cmd表示test函數(shù)本身。所以我們就很清楚了，self是作為參數(shù)傳進(jìn)來，也就是局部變量，那么block應(yīng)該是捕獲了self變量，事實(shí)是不是這樣呢？我們只需要查看一下_Person_test_block_impl_0的結(jié)構(gòu)就可以知道了。
_Person_test_block_impl_0的結(jié)構(gòu)：
struct __Person__test_block_impl_0 {
struct __block_impl impl;
struct __Person__test_block_desc_0* Desc;
Person *self;
__Person__test_block_impl_0(void *fp, struct __Person__test_block_desc_0 *desc, Person *_self, int flags=0) : self(_self) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
可以看到，self確實(shí)是作為成員變量被捕獲了。
6.Block的類型
前面已經(jīng)說過了，Block的本質(zhì)就是一個(gè)OC對(duì)象，既然它是OC對(duì)象，那么它就有類型。
在搞清楚Block的類型之前，先把ARC關(guān)掉，因?yàn)锳RC幫我們做了太多的事，不方便我們觀察結(jié)果。關(guān)掉ARC的方法在Build Settings里面搜索Objective-C Automatic Reference Counting，把這一項(xiàng)置為NO。
int height = 10;
static int weight = 20;
int main(int argc, char * argv[]) {
@autoreleasepool {
int age = 10;
void (^block)(void) = ^{
NSLog(@"%d %d", height, age);
};
NSLog(@"%@\n %@\n %@\n %@", [block class], [[block class] superclass], [[[block class] superclass] superclass], [[[[block class] superclass] superclass] superclass]);
return 0;
}
}
上面的代碼的打印結(jié)果是：
__NSStackBlock__
__NSStackBlock
NSBlock
NSObject
這說明上面定義的這個(gè)block的類型是NSStackBlock，并且它最終繼承自NSObject也說明Block的本質(zhì)是OC對(duì)象。
Block有三種類型，分別是NSGlobalBlock,MallocBlock,NSStackBlock。
這三種類型的Block對(duì)象的存儲(chǔ)區(qū)域如下：
| 類 | 對(duì)象的存儲(chǔ)域 |
|---|---|
| NSStackBlock | 棧 |
| NSGlobalBlock | 程序的數(shù)據(jù)區(qū)域(.data區(qū)) |
| NSMallocBlock | 堆 |
截獲了自動(dòng)變量的Block是NSStackBlock類型，沒有截獲自動(dòng)變量的Block則是NSGlobalStack類型,NSStackBlock類型的Block進(jìn)行copy操作之后其類型變成了NSMallocBlock類型。
| Block的類型 | 副本的配置存儲(chǔ)域 | 復(fù)制效果 |
|---|---|---|
| NSStackBlock | 棧 | 從棧復(fù)制到堆 |
| NSGlobalStack | 程序的數(shù)據(jù)區(qū)域 | 什么也不做 |
| NSMallocBlock | 堆 | 引用計(jì)數(shù)增加 |
下面我們一起分析一下NSStackBlock類型的Block進(jìn)行copy操作后Block對(duì)象從棧復(fù)制到了堆有什么道理，我們首先來看一段代碼：
void (^block)(void);
void test() {
int age = 10;
block = ^{
NSLog(@"age=%d", age);
};
}
int main(int argc, char * argv[]) {
@autoreleasepool {
test();
block();
return 0;
}
}
不出意外的話，打印結(jié)果應(yīng)該是10，那么結(jié)果是不是這樣呢？我們打印看一下：
age=-411258824
很奇怪，打印了一個(gè)這么奇怪的數(shù)字。這是為什么呢？
block使用了自動(dòng)變量age，所以它是NSStackBlock類型的，因此block是存放在棧區(qū)，age是被捕獲作為結(jié)構(gòu)體的成員變量，其值也是被保存在棧區(qū)。所以當(dāng)test這個(gè)函數(shù)調(diào)用完畢后，它棧上的東西就有可能被銷毀了，一旦銷毀了，age值就不確定是多少了。通過打印結(jié)果也可以看到，確實(shí)是影響到了block的執(zhí)行。
如果我們對(duì)block執(zhí)行copy操作，結(jié)果會(huì)不會(huì)不一樣呢？
void (^block)(void);
void test() {
int age = 10;
block = [^{
NSLog(@"age=%d", age);
} copy];
}
int main(int argc, char * argv[]) {
@autoreleasepool {
test();
block();
return 0;
}
}
打印結(jié)果：
age=10
這個(gè)時(shí)候得出了正確的輸出。
因?yàn)閷?duì)block進(jìn)行copy操作后，block從棧區(qū)被復(fù)制到了堆區(qū)，它的成員變量age也隨之被復(fù)制到了堆區(qū)，這樣test函數(shù)執(zhí)行完之后，它的棧區(qū)被銷毀并不影響block，因此能得出正確的輸出。
7.ARC環(huán)境下自動(dòng)為Block進(jìn)行copy操作的情況
6中講的最后一個(gè)例子:
void (^block)(void);
void test() {
int age = 10;
block = ^{
NSLog(@"age=%d", age);
};
}
int main(int argc, char * argv[]) {
@autoreleasepool {
test();
block();
return 0;
}
}
這種使用方式其實(shí)非常常見，我們?cè)谑褂玫臅r(shí)候也沒有發(fā)現(xiàn)有什么問題，那為什么在MRC環(huán)境下就有問題呢？因?yàn)樵贏RC環(huán)境下編譯器為我們做了很多copy操作。其中有一個(gè)規(guī)則就是如果Block被強(qiáng)指針指著，那么編譯器就會(huì)對(duì)其進(jìn)行copy操作。我們看到這里：
^{
NSLog(@"age=%d", age);
};
這個(gè)Block塊是被強(qiáng)指針指著，所以它會(huì)進(jìn)行copy操作，由于其使用了自動(dòng)變量，所以是棧區(qū)的Block。經(jīng)過復(fù)制以后就到了堆區(qū)，這樣由于Block在堆區(qū)，所以就不受Block執(zhí)行完成的影響，隨時(shí)可以獲取age的正確值。
總結(jié)一下ARC環(huán)境下自動(dòng)進(jìn)行copy操作的情況一共有以下幾種：
- block作為函數(shù)返回值時(shí)。
- 將block賦值給__strong指針時(shí)。
- block作為Cocoa API中方法名含有usingBlock的方法參數(shù)時(shí)。
- GCD中的API。
block作為函數(shù)返回值時(shí)
typedef void(^PDBlock)(void);
PDBlock test() {
int age = 10;
return ^{
NSLog(@"age=%d", age);
};
}
int main(int argc, char * argv[]) {
@autoreleasepool {
PDBlock block = test();
block();
return 0;
}
}
test函數(shù)的返回值是一個(gè)block，那這種情況的時(shí)候，在棧區(qū)的
^{
NSLog(@"age=%d", age);
};
這個(gè)block會(huì)被復(fù)制到堆區(qū)
將block賦值給強(qiáng)指針時(shí)
7中第一個(gè)例子就是將block賦值給強(qiáng)指針時(shí)，進(jìn)行了copy操作的情況。
block作為Cocoa API中方法名含有usingBlock的方法參數(shù)時(shí)
比如說遍歷數(shù)組的函數(shù)：
NSArray *array = [[NSArray alloc] init];
[array enumerateObjectsUsingBlock:^(id _Nonnull obj, NSUInteger idx, BOOL * _Nonnull stop) {
NSLog(@"%d", idx);
}];
enumerateObjectsUsingBlock:這個(gè)函數(shù)中的block會(huì)進(jìn)行copy操作
GCD中的API
GCD中的很多API的參數(shù)都有block，這個(gè)時(shí)候都會(huì)對(duì)block進(jìn)行一次copy操作，比如下面這個(gè)dispatch_after函數(shù)：
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"wait");
});
