先说一下闭包,闭包是一个函数(或指向函数的指针),再加上该函数执行的外部上下文变量(有时候也称作自由变量)。block实际上就是objective-c对于闭包的实现。block配合dispatch_qieue,可以方便地实现简单的多线程编程和异步编程。objective-c中的block主要分为三种:
1、_NSConcreteGlobalBlock全局静态block,不会访问任何的外部变量。
intmain()
{
^{ printf("Hello, World!\n"); } ();
return 0;
}
在开启ARC时虽然通过Clang工具还原为C后看到的是stack类型的,但实际上是Global类型的。
2、_NSContreteStackBlock保存在栈中的block,当函数返回时被销毁。
int main() {
int a = 100;
void (^block2)(void)= ^{
printf("%d\n",a);
};
block2();
return 0;
}
通过clang工具分析,它的isa指向——NSConcreteStateBlock,说明它是一个分配在栈上的实例。并且变量a是被复制过去的,所以在blick内修改变量a的内容,不会影响外部的实际变量a。
我们修改上面的源码,在变量前面添加__block关键字:
intmain()
{
__block int i = 1024;
void (^block1)(void)= ^{
printf("%d\n",i);
i = 1023;
};
block1();
return 0;
}
此时通过Clang工具观察会看到变量通过一个结构体指针的方式进行引入,因此就可以达到修改外部变量的作用。
3、_NSConcreteMallocBlock保存在堆中的block,当引用计数为0时被销毁。
NSConcreteMallocBlock类型的block通常不会在源码中直接出现,因为默认它是当一个block被copy的时候,才会将这个block复制到堆中。以下是一个block被copy时的示例代码。
变量的复制
对于block外的变量引用,block默认是将其复制到其数据结构中来实现访问的,如下图所示:
对于__block修饰的外部变量,block是复制其引用地址来实现访问的,如下如所示:
ARC对block类型的影响
在ARC开启的情况下,将只会有NSConcreteGlobalBlock和NSConcreteMallocBlock类型的block。
原本的NSConcreteStackBlock的block会被NSConcreteMallocBlock类型的block替代。在苹果的官方文档中也提到了,当把占中的block返可能是由于ARC已经能很好的处理对象的生命周期的管理,这样所有的对象都放到堆是哪个管理,对于编译器实现来说,会比较方便。