上一篇我們講到了Block是如何捕獲基本數(shù)據(jù)類型的,今天我們研究一下block是如何捕獲對(duì)象類型的數(shù)據(jù).
我們用一個(gè)小問(wèn)題開(kāi)始本篇的主題:在ARC環(huán)境下,我們先創(chuàng)建一個(gè)Person類,再重寫Person類的dealloc方法,然后看下面代碼

當(dāng)我們的代碼走到斷點(diǎn)的時(shí)候,Person被銷毀了,這很容易理解,因?yàn)槌隽?code>person變量的作用域,我們對(duì)這段代碼稍加修改,如下:

補(bǔ)充于2019-12-22 22:55分.感謝萬(wàn)能的喜劇提出的問(wèn)題,之前寫的的確不夠詳細(xì),針對(duì)此問(wèn)題再做補(bǔ)充:
其實(shí)上述block的類型并不是我們所看到的_NSConcreteStackBlock類型,雖然轉(zhuǎn)換為底層代碼后顯示的是_NSConcreteStackBlock類型.但是我們?cè)趯?code>block進(jìn)行賦值操作后,runtime會(huì)自動(dòng)對(duì)這個(gè)block進(jìn)行copy操作,所以此時(shí)的block類型其實(shí)是NSMallocBlock類型:

NSMallocBlock

所以要在ARC環(huán)境下查看_NSConcreteStackBlock類型的block就不要對(duì)其進(jìn)行賦值操作:

StackBlock 不會(huì)引用外部變量

我們先假設(shè)在block內(nèi)部對(duì)Person的捕獲是強(qiáng)引用的,因?yàn)橹挥惺菑?qiáng)引用才能解釋為什么person出了作用域后仍然沒(méi)有銷毀,接下來(lái)我們來(lái)驗(yàn)證一下.
我們將 ARC 改成 MRC ,然后運(yùn)行:

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        MYBlock block;
        {
            Person *person = [[Person alloc]init];
            person.age = 10;
            __weak Person *weakPerson = person;
            block = ^{
                NSLog(@"--------%d",weakPerson.age);
            };
        }
        //會(huì)發(fā)現(xiàn)走到這里的時(shí)候, Person 已經(jīng)釋放了
        NSLog(@"--------");
    }
    return 0;
}

我們使用__weak修飾person,會(huì)發(fā)現(xiàn)Person對(duì)象走到NSLog處時(shí)會(huì)釋放掉,相信有很多人都使用過(guò)__weak關(guān)鍵字修飾block內(nèi)部訪問(wèn)的局部變量來(lái)防止循環(huán)引用,但這是為什么呢?我們繼續(xù)通過(guò)clang編譯器轉(zhuǎn)換成 C++ 代碼,查看一下底層,我們繼續(xù)使用xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc命令來(lái)轉(zhuǎn)換OC文件,會(huì)發(fā)現(xiàn)報(bào)錯(cuò),如圖:

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  Person *__weak weakPerson;//此處變成了 弱引用
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, Person *__weak _weakPerson, int flags=0) : weakPerson(_weakPerson) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

我們?cè)侔?code>__weak去掉,再轉(zhuǎn)換做一下對(duì)比:

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        MYBlock block;
        {
            Person *person = [[Person alloc]init];
            person.age = 10;
//            __weak Person *weakPerson = person;
            block = ^{
                //去掉弱引用,使用 person
                NSLog(@"--------%d",person.age);
            };
        }
        NSLog(@"--------");
    }
    return 0;
}

對(duì)比一下底層:

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  Person *__strong person; //這里也變成了 __strong
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, Person *__strong _person, int flags=0) : person(_person) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

通過(guò)對(duì)比我們可以得出結(jié)論:block內(nèi)部在訪問(wèn)外部的auto變量時(shí),外部auto變量是以什么指針訪問(wèn)的(strong / weak),結(jié)構(gòu)體內(nèi)內(nèi)部也是以什么指針訪問(wèn).
我們?cè)谵D(zhuǎn)換后的.cpp文件中找到__main_block_desc_0這個(gè)結(jié)構(gòu)體:(我們?cè)?a href="http://www.reibang.com/p/e6759404f9cd" target="_blank">block的本質(zhì)中已經(jīng)對(duì)block內(nèi)部的結(jié)構(gòu)體有詳細(xì)的解析,不懂的同學(xué)可以查看)

__main_block_desc_0結(jié)構(gòu)體

• __main_block_copy_0
  當(dāng)椙蟛蓿空間的block在進(jìn)行copy操作變成堆空間的block時(shí),block內(nèi)部會(huì)自動(dòng)調(diào)用__main_block_copy_0函數(shù),我們看看block函數(shù)的內(nèi)部:

static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src)

{_Block_object_assign((void*)&dst->person, (void*)src->person, 3/*BLOCK_FIELD_IS_OBJECT*/);
    
}

在__main_block_copy_0內(nèi)部會(huì)調(diào)用_Block_object_assign函數(shù),并且把person當(dāng)做參數(shù)傳遞進(jìn)去.而在_Block_object_assign函數(shù)內(nèi)部,會(huì)根據(jù)auto變量的修飾符(__strong,__weak,__unretained)進(jìn)行相應(yīng)的操作,形成強(qiáng)引用(retain)或者弱引用

• __main_block_dispose_0

static void __main_block_dispose_0(struct __main_block_impl_0*src) {
    _Block_object_dispose((void*)src->person, 3/*BLOCK_FIELD_IS_OBJECT*/);
}

如果block從堆中移除(block銷毀)時(shí),會(huì)調(diào)用block內(nèi)部的dispose函數(shù),dispose函數(shù)內(nèi)部又會(huì)調(diào)用__main_block_dispose_0函數(shù),__main_block_dispose_0函數(shù)會(huì)自動(dòng)釋放引用的auto變量(release)

結(jié)論:
當(dāng)block內(nèi)部訪問(wèn)了對(duì)象類型的auto變量時(shí):
1:如果block是在棧上,將不會(huì)對(duì)auto變量產(chǎn)生強(qiáng)引用(不管是 MRC 或者 ARC)
2:如果block是在堆上,就說(shuō)明block進(jìn)行過(guò)copy操作,進(jìn)行copy操作的block會(huì)自動(dòng)調(diào)用block內(nèi)部的__main_block_copy_0函數(shù),__main_block_copy_0函數(shù)內(nèi)部會(huì)根據(jù)auto變量的修飾符形成相應(yīng)的強(qiáng)引用(retain)或者弱引用.
3:當(dāng)block銷毀時(shí),block會(huì)自動(dòng)調(diào)用內(nèi)部的dispose函數(shù),dispose函數(shù)會(huì)自動(dòng)調(diào)用內(nèi)部的__main_block_dispose_0釋放引用的auto變量.