block的本質(zhì),實(shí)際上是[帶有自動(dòng)變量值的匿名函數(shù)],block的不安全,除了循環(huán)引用,99%的崩潰都是因?yàn)槟銢]有給block判空,其他問題,都是因?yàn)檠h(huán)引用.
block的真正結(jié)構(gòu):
struct Block_descriptor_1{
uintptr_t reserved;
uintptr_t size;
}
struct Block_layout{
void isa;
volatitle int32_t flags;
int32_t reserved;
void(invoke)(void *,...);
struct Block_descriptor_1 descriptor;
}
在objc中,根據(jù)對象的定義,凡是首地址是isa的結(jié)構(gòu)體指針,都可以認(rèn)為是對象(id),這樣在objc中,block實(shí)際上就算是對象.
那么既然block是個(gè)對象,name就應(yīng)該有Class,那么block的class是什么呢?
在block runtime中,定義了6中類
_NSConctreteStackBlock 棧上創(chuàng)建block
_NSConctreteMallocBlock 堆上創(chuàng)建的block
_NSConctreteGlobalBlock 作為全局變量的block
_NSConctreteWeakBlockVariable
_NSConctreteAutoBlock
_NSConctreteFinalizingBlock
全局block
在編譯完成后,block內(nèi)部的代碼將會(huì)提取出來,成為一個(gè)單獨(dú)的C函數(shù),創(chuàng)建block時(shí),實(shí)際上就是在方法中聲明一個(gè)struct,并且初始化該struct的成員,而執(zhí)行block時(shí),就是調(diào)用那個(gè)單獨(dú)創(chuàng)建的c函數(shù),并把struct指針傳遞過去,block的實(shí)際效果,相當(dāng)于C語言中的匿名函數(shù)
于是就可以理解_NSConctreteGlobalBlock的使用了,因?yàn)槿謆lock是當(dāng)一個(gè)block內(nèi)部沒有捕獲任何外部變量時(shí),就會(huì)是一個(gè)全局block類,此時(shí),這個(gè)block與一個(gè)函數(shù)無異,所以那么他就應(yīng)該和函數(shù)一樣的靜態(tài)特性,而且,我們在調(diào)用block的時(shí)候,其實(shí)和普通的c函數(shù)的調(diào)用很相似,都是名稱家括號:block()
那么有函數(shù)一樣靜態(tài)特性的block,顯然不需要再去考慮其他的生命周期
棧block
這個(gè)類型的block,是在編譯器發(fā)現(xiàn)block內(nèi)部引用了外部變量后,會(huì)生成的block類型.
在block內(nèi)部有引用外部變量時(shí),當(dāng)struct第一次被創(chuàng)建時(shí).他是存在于該函數(shù)的棧幀上的,其Class是固定的_NSConcreteStackBlock,其捕獲的變量是會(huì)賦值到結(jié)構(gòu)體成員上,所以當(dāng)block初始化完成后,捕獲到的變量不能更改
當(dāng)函數(shù)返回時(shí),函數(shù)的棧幀被銷毀,這個(gè)block的內(nèi)存也會(huì)被清除,所以在函數(shù)結(jié)束后仍然需要這個(gè)block是,就必須用Block_copy()方法將它拷貝到堆上,這個(gè)方法的核心動(dòng)作很簡單:申請內(nèi)存,將棧數(shù)據(jù)復(fù)制過去,將Class改一下,最后向捕獲到的對象發(fā)送retain,增加block的引用計(jì)數(shù),
之所以這樣設(shè)計(jì),實(shí)際上,可以認(rèn)為,當(dāng)block有了外部變量的捕獲,那么他就需要持有這個(gè)外部變量,就是賦值到結(jié)構(gòu)體成員上,這種捕獲,造成了block對應(yīng)struct結(jié)構(gòu)體大小的動(dòng)態(tài)變化,所以設(shè)計(jì)上適合放在棧上更合理
堆block
在棧block中,說到過,當(dāng)函數(shù)棧幀銷毀,那么棧block也會(huì)被隨之清除,但是我們一般都需要在函數(shù)結(jié)束后仍然能使用block,所以需要把block拷貝到堆上,在copy時(shí),就把棧block的類型轉(zhuǎn)成了堆block
所以在mrc時(shí)代,block的屬性關(guān)鍵字必須是copy,這樣就可以保證在給block屬性賦值的時(shí)候,能把棧上的block給copy都堆區(qū)
為什么要把block放到堆區(qū)才安全
block是個(gè)匿名函數(shù),只不過我們給了一個(gè)變量來引用這個(gè)匿名函數(shù),在需要的時(shí)候調(diào)用,但是棧block就會(huì)隨著函數(shù)棧幀的銷毀而銷毀,這樣一來,我們之前做引用的變量再去調(diào)用一塊被銷毀的內(nèi)存,就會(huì)出現(xiàn)內(nèi)存崩潰
所以只有把block放到由我們來控制生命周期的堆區(qū)中,才能安全的使用block
我們知道在oc中,對象都會(huì)在堆區(qū)存儲,實(shí)際上,此時(shí)的堆block,他的確就是一個(gè)對象,而且你還需要對他手動(dòng)release,當(dāng)然在arc下,這就不同了
arc下的block
全局block
沒有捕獲任何外部變量,所以他是一個(gè)全局block,
堆block和棧block
只要一個(gè)block被賦值給一個(gè)strong變量,就會(huì)自動(dòng)copy,那么就得到了堆block````
