iOS OC BLOCK

 blcok 本质上也是个 oc 对象，其内部结构也是具有 isa 指针，是封装了函数调用以及函数调用环境的 OC 对象

变量捕获

block 内封装的函数调用环境指的是变量捕获

变量一般区分两种，全局变量和局部变量，这两者的区别是变量的生命周期，局部变量在其所在的作用域之后就会释放，而全局变量释放是在程序结束后。而局部变量也会 auto 和 static 变量。auto 变量指的是方法调用时，局部变量系统在栈区自动分配内存，方法结束时，局部变量系统自动释放，而 static 修饰的局部变量，他只会在第一次调用时初始化一次，并且内存分配在全局区，而且生命周期跟全局变量是一样的，但是其作用域跟局部变量一样，外部无法访问，而 block 对全局变量是直接访问其全局区内存地址，并不会捕获。只会捕获局部变量，对于 auto 变量是值传递，对于 static 是指针传递。block 捕获外部变量，本质上这个 block 的结构体新增成员变量，而这个新增的成员变量就是捕获外部变量。

在 oc 中方法都是有两个隐藏参数，self 与_cmd，这个是编译器的特性，如果是对象方法，self 代表当前调用方法的对象，如果是类方法，self 代表当前类对象，_cmd 代表方法的名字 SEL，所以一般我们在给 block 初始化时，内部调用的 self 或者是当前对象的属性，本质上就是捕获当前这个 self 局部变量，或通过 self 拿到当前属性。

block 类型

__NSGlobalBlock__ 全局 block 存储在全局区
__NSStackBlock__ 堆 block 存储在堆区
__NSMallocBlock__ 栈 block 存储在栈区

没有访问 auto 变量就是全局block，访问 auto 变量并且没有调用 copy 方法变量栈block，而访问 auto 变量并且调用 copy 方法就是堆block。

全局 block 调用 copy 没有效果，他还是全局 block
栈 block 调用 copy 之后，会从栈区 copy 到堆区，并且成为堆 block
堆 block 调用 copy 之后，还是堆 block，但是其引用计数会增加

ARC  MRC

在 ARC 中，编译器会根据情况自动调用 copy，把栈 block 变成 堆 blcok
情况:
1. block 作为返回值，会自动调用 copy
2. block 赋值给 __strong 修饰的变量时，会自动调用 copy，一般来说，只要没有通过 __weak修饰的变量都是默认 __strong的。
3. block 在 GCD 中作为方法参数时，或 Cocoa API中方法名含有 usingBlock 的方法，都是会自动调用 copy

而在 MRC 中，栈 block 并不会自动调用 copy，所以需要手动调用 block 成为堆 block。所以以前 MRC 中 block 属性是通过 copy 修饰的，而在 ARC 中可以通过 copy 也可以通过 strong 修饰。

为什么要调用 copy 让其栈 block 成为堆 block ?
因为，栈 block 内存在栈区，一般在作用域外就会由系统释放，此时如果在作用域外就无法使用这个 block，那么此时就要让其成为堆 block，其生命周期与我们手动管理。就像 blcok 作为返回值时，因为此时方法调用完成，如果是栈 block，那么这个返回 block 的已经释放了，就没法使用，所以要让其成为堆 blcok。

变量捕获是否产生引用

block 内部如果访问了对象类型的 auto 变量，如果是 block 在栈区是不会产生强引用

如果栈 block 被 copy 到堆区时，此时 block会调用其内部的 copy 函数，这个函数内部会调用 _block_object_assign 函数，而这个函数会根据所捕获的对象类型 auto 变量的修饰符，__strong、__weak、__unsafe__unretained 做出相应的操作，形成强引用或者弱引用。

如果 block 从堆区移除，此时会调用 dispose 函数，这个函数内部会调用 _block_object_dispose 函数，这个函数会自动释放引用对象类型的 auto 变量

__block

1. __block可以用于解决 block 内部无法修改 auto变量的值的问题
2. __block不能修饰全局变量、静态变量 
3. 编译器会将 __block修饰变量包装成一个对象

此时，__block 修饰不管之前是否是基本数据类型还是对象类型，都会重新包装了一个新的对象类型，所以不建议使用 __block 修饰对象类型。

__block 修饰基本数据类型时，此时会基本数据类型会包装成对象类型，此时 blcok 和刚刚所说的 block  对对象类型的引用操作几乎一致。栈 block 被 copy 到堆区时，调用其内部的 copy 函数，block 从堆区移除，调用内部 dispose 函数。

__block 修饰对象类型时，同样会有这种操作，因为此时是一个对象类型的 auto 变量，但是有一点不同的是 __block 这个对象内部，也会有对应的 copy 和 dispose 函数，也会同样调用，ARC 环境 __block修饰对象内部会调用 copy 函数，MRC 不会。假设在 arc 上，blcok 对 __blcok 修饰的对象有强引用，__blcok 修饰的对象对被修饰的对象有强引用。