block

这是唐巧对于block的介绍： http://blog.devtang.com/2013/07/28/a-look-inside-blocks/

block跟似乎C语言的函数指针是一样的，但是两者仍然存在以下区别：

• block的代码是内联的，效率高于函数调用
• block对于外部变量默认是只读属性
• block被Objective-C看成是对象处理   

循环引用

block在iOS开发中被视作是对象，因此其生命周期会一直等到持有者的生命周期结束了才会结束。

另一方面，由于block捕获变量的机制，使得持有block的对象也可能被block持有，从而形成循环引用，导致两者都不能被释放

结构体定义如下：

struct Block_descriptor {

    unsigned long int reserved;

    unsigned long int size;

    void (*copy)(void *dst, void *src);

    void (*dispose)(void *);

};

struct Block_layout {

    void *isa;

    int flags;

    int reserved;

    void (*invoke)(void *, ...);

    struct Block_descriptor *descriptor;

    /* Imported variables. */

};

一个 block 实例实际上由 6 部分构成：

isa 指针，所有对象都有该指针，用于实现对象相关的功能。

flags，用于按 bit 位表示一些 block 的附加信息，本文后面介绍 block copy 的实现代码可以看到对该变量的使用。

reserved，保留变量。

invoke，函数指针，指向具体的 block 实现的函数调用地址。

descriptor， 表示该 block 的附加描述信息，主要是 size 大小，以及 copy 和 dispose 函数的指针。

variables，capture 过来的变量，block 能够访问它外部的局部变量，就是因为将这些变量（或变量的地址）复制到了结构体中。

在 Objective-C 语言中，一共有 3 种类型的 block：

_NSConcreteGlobalBlock 全局的静态 block，不会访问任何外部变量。

_NSConcreteStackBlock 保存在栈中的 block，当函数返回时会被销毁。

_NSConcreteMallocBlock 保存在堆中的 block，当引用计数为 0 时会被销毁。

block属性为什么要使用copy?

MRC环境下,在定义block为属性时,使用copy的原因,是把block从栈区拷贝到堆区,因为栈区中的变量出了作用域之后就会被销毁,无法在全局使用,所以应该把栈区的属性拷贝到堆区中全局共享,这样就不会被销毁了,在MRC手动管理的就是堆区,不需要系统管理,MRC环境必须使用copy把变量拷贝到全局的堆区

如果是ARC的环境下,就可以不使用copy修饰,因为ARC下的属性本来就在堆区

很早的时候MRC的block属性都是在栈区的,copy之后就到堆区了

当前的ARC的block属性默认都在堆区,使用copy知识沿袭了历史的习惯,使用strong也是没有问题的

12.在MRC下必须使用self.task = block;给属性赋值,在赋值的时候会调用setter方法,会把栈区的block拷贝到堆区,如果使用_task的方式赋值不会去copy,所以在MRC下属性都用copy修饰

13.在ARC下可以使用_task,因为arc下默认属性就是在堆区。

ARC 对 block 类型的影响

在 ARC 开启的情况下，将只会有 NSConcreteGlobalBlock 和 NSConcreteMallocBlock 类型的 block。

原本的 NSConcreteStackBlock 的 block 会被 NSConcreteMallocBlock 类型的 block 替代。