以前看書(shū)的時(shí)候剖效，書(shū)上說(shuō)什么那就是什么独郎，雖然可能不太理解浦箱，但還是會(huì)給它定義一個(gè)「正確」的標(biāo)準(zhǔn)。但是這樣會(huì)很沒(méi)有意思惑芭，就像是被別人牽著鼻子走似得。如果抱著懷疑的態(tài)度去看待继找，可能會(huì)有意思很多遂跟，而且還能學(xué)到印象深刻的東西。
比如像下面這段代碼會(huì)不會(huì)奔潰的問(wèn)題：
void (^block)();
BOOL condition = /*YES or NO*/;
if (condition) {
block = ^{
NSLog(@"Block A");
};
} else {
block = ^{
NSLog(@"Block B");
};
}
block();
官方的解釋是：定義在 if 及 else 語(yǔ)句中的兩個(gè)塊都分配在棧內(nèi)存中婴渡。編譯器會(huì)給每一個(gè)塊分配好內(nèi)存幻锁，然而等離開(kāi)了響應(yīng)的范圍之后，編譯器就有可能把分配的塊給覆寫(xiě)掉边臼。所以執(zhí)行結(jié)果是有時(shí)會(huì)奔潰哄尔，有時(shí)不會(huì)奔潰。
疑惑點(diǎn)：
- 條件語(yǔ)句中的 Block 賦值給 block 變量硼瓣，而 block 變量是在條件語(yǔ)句之外的究飞，怎么可能會(huì)在 if 語(yǔ)句結(jié)束的時(shí)候就被銷(xiāo)毀呢？
- 這個(gè) block 是分配在棧上么堂鲤？
且來(lái)調(diào)試一番亿傅，我們?cè)?block() 處下一個(gè)斷點(diǎn)，請(qǐng)看：
咦瘟栖？是 __NSGlobalBlock__ 類(lèi)型的, 好像被騙了葵擎！全局類(lèi)型的 Block 分配在全局內(nèi)存區(qū)域，會(huì)存在于應(yīng)用程序的整個(gè)生命周期半哟，是不會(huì)被釋放的酬滤。
再來(lái)看一個(gè)例子：
void (^block)();
int i = 0;
BOOL condition = /*YES or NO*/;
if (condition) {
block = ^{
NSLog(@"Block A %d", i);
};
} else {
block = ^{
NSLog(@"Block B %d", i);
};
}
block();
同樣斷點(diǎn)調(diào)試一下：
什么鬼签餐？又變成 __NSMallocBlock__ 類(lèi)型了。這里只是讓 Block 捕獲了一個(gè)局部變量 i 怎么就分配到堆內(nèi)存上去了呢盯串？
我們來(lái)進(jìn)一步分析一下氯檐，單獨(dú)打印這么一段代碼：
NSLog(@"%@", [^{NSLog(@"Block A %d", i);} class]);
結(jié)果是：
__NSStackBlock__
有沒(méi)有「全家福」的趕腳体捏？以上類(lèi)型湊齊了 Block 上層可見(jiàn)的三種類(lèi)型冠摄。
現(xiàn)在我們可以來(lái)解釋一下，這三種類(lèi)型是如何演變的几缭。
block = ^{ NSLog(@"Block A");};
上述代碼在 Block 沒(méi)有捕獲外部變量的時(shí)候河泳，默認(rèn)是全局類(lèi)型的，而當(dāng)捕獲分配在棧上的局部變量 i 時(shí)年栓，為了照顧 i 的作用域拆挥，就把自己變?yōu)榱藯ｎ?lèi)型。
而從棧類(lèi)型到堆類(lèi)型是因?yàn)閳?zhí)行如下賦值操作某抓，Block 默認(rèn)會(huì)進(jìn)行一次 copy 操作纸兔，把棧上(等式右邊)的 Block 復(fù)制到堆。
block = ^{ NSLog(@"Block B %d", i);};
所以我認(rèn)為正確的答應(yīng)是：永遠(yuǎn)不會(huì)奔潰否副。
當(dāng)然我們討論的以上情況是在 ARC 環(huán)境下食拜。
