上一篇我们讲到了Block是如何捕获基本数据类型的,今天我们研究一下block是如何捕获对象类型的数据.
我们用一个小问题开始本篇的主题:在ARC环境下,我们先创建一个Person类,再重写Person类的dealloc方法,然后看下面代码

当我们的代码走到断点的时候,Person被销毁了,这很容易理解,因为出了person变量的作用域,我们对这段代码稍加修改,如下:

补充于2019-12-22 22:55分.感谢万能的喜剧提出的问题,之前写的的确不够详细,针对此问题再做补充:
其实上述block的类型并不是我们所看到的_NSConcreteStackBlock类型,虽然转换为底层代码后显示的是_NSConcreteStackBlock类型.但是我们在将block进行赋值操作后,runtime会自动对这个block进行copy操作,所以此时的block类型其实是NSMallocBlock类型:

NSMallocBlock

所以要在ARC环境下查看_NSConcreteStackBlock类型的block就不要对其进行赋值操作:

StackBlock 不会引用外部变量

我们先假设在block内部对Person的捕获是强引用的,因为只有是强引用才能解释为什么person出了作用域后仍然没有销毁,接下来我们来验证一下.
我们将 ARC 改成 MRC ,然后运行:

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);
            };
        }
        //会发现走到这里的时候, Person 已经释放了
        NSLog(@"--------");
    }
    return 0;
}

我们使用__weak修饰person,会发现Person对象走到NSLog处时会释放掉,相信有很多人都使用过__weak关键字修饰block内部访问的局部变量来防止循环引用,但这是为什么呢?我们继续通过clang编译器转换成 C++ 代码,查看一下底层,我们继续使用xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc命令来转换OC文件,会发现报错,如图:

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;
  }
};

我们再把__weak去掉,再转换做一下对比:

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;
}

对比一下底层:

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;
  }
};

通过对比我们可以得出结论:block内部在访问外部的auto变量时,外部auto变量是以什么指针访问的(strong / weak),结构体内内部也是以什么指针访问.
我们在转换后的.cpp文件中找到__main_block_desc_0这个结构体:(我们在block的本质中已经对block内部的结构体有详细的解析,不懂的同学可以查看)

__main_block_desc_0结构体

• __main_block_copy_0
  当栈空间的block在进行copy操作变成堆空间的block时,block内部会自动调用__main_block_copy_0函数,我们看看block函数的内部:

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内部会调用_Block_object_assign函数,并且把person当做参数传递进去.而在_Block_object_assign函数内部,会根据auto变量的修饰符(__strong,__weak,__unretained)进行相应的操作,形成强引用(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销毁)时,会调用block内部的dispose函数,dispose函数内部又会调用__main_block_dispose_0函数,__main_block_dispose_0函数会自动释放引用的auto变量(release)

结论:
当block内部访问了对象类型的auto变量时:
1:如果block是在栈上,将不会对auto变量产生强引用(不管是 MRC 或者 ARC)
2:如果block是在堆上,就说明block进行过copy操作,进行copy操作的block会自动调用block内部的__main_block_copy_0函数,__main_block_copy_0函数内部会根据auto变量的修饰符形成相应的强引用(retain)或者弱引用.
3:当block销毁时,block会自动调用内部的dispose函数,dispose函数会自动调用内部的__main_block_dispose_0释放引用的auto变量.