iOS关于block捕获变量原理的一些笔记

捕获变量
静态全局变量、全局变量由于是全局作用域,block可以直接获取其内存地址并直接修改,并且修改之后的值会保留
静态变量和自动变量通过__main_block_impl_0结构体的构造函数以参数形式捕获,成为其成员变量
静态变量传入block的是变量的内存地址,block可以直接访问其内存地址,修改值
自动变量是将值传入block,block闭包内通过__cself->val访问,block并没有获取其内存地址,所以无法直接修改
Block两种捕获变量方式:
1 传递内存地址(参考静态变量)
对于对象变量,在被Block捕获后,在Block的结构体实例变量会增加一个指针,所以传递的是指针,所以成功改变了变量的值。
2 __block 改变存储方式(参考自动变量)
_block修饰自动变量后,_block的变量也被转化成了一个结构体:__Block_byref_i_0,这个结构体有5个成员变量。
struct __Block_byref_i_0 {
void *__isa; 指针
__Block_byref_i_0 *__forwarding; 指向自身类型的__forwarding指针
int __flags; 标记flag
int __size;大小
int i; 变量值
};
其中forwarding指针初始化时会指向变量自身,但在block被拷贝到堆上后,forwarding指针的指向也指向了在堆上的拷贝的自己,同时堆上block的__block变量中的forwarding指针也指向堆上的自己,这样无论在堆还是栈上,都可以通过(i->__forwarding->i)的方式访问到变量i的值
对于对象类型的变量,在ARC环境下,对于声明为__block的外部对象,在block内部会进行retain,以至于在block环境内能安全的引用外部对象,所以才会产生循环引用的问题!
注意在MRC环境下需要手动对block执行copy操作才能完成上述过程

1.手动调用copy2.Block是函数的返回值3.Block被强引用,Block被赋值给__strong或者id类型4.调用系统API入参中含有usingBlcok的方法
以上4种情况,系统都会默认调用copy方法把Block复制

ARC环境下,block一旦接受赋值操作就会拷贝到堆上,类型为_NSMallocBlock,栈上的block位_NSStackBlock类型
在ARC环境下,Block也是存在__NSStackBlock的时候的,平时见到最多的是_NSConcreteMallocBlock,是因为我们会对Block有赋值操作,所以ARC下,block 类型通过=进行传递时,会导致调用objc_retainBlock->_Block_copy->_Block_copy_internal方法链。并导致 NSStackBlock 类型的 block 转换为 NSMallocBlock 类型
无论堆上还是栈上_forwarding指针都指向堆上的block,这样就都可以访问到变量

Block的三种类型:
_NSConcreteStackBlock:只用到外部局部变量、成员属性变量,且没有强指针引用的block都是StackBlock。StackBlock的生命周期由系统控制的,一旦返回之后,就被系统销毁了。
不持有对象
_NSConcreteMallocBlock:有强指针引用或copy修饰的成员属性引用的block会被复制一份到堆中成为MallocBlock,没有强指针引用即销毁,生命周期由程序员控制
持有对象
_NSConcreteGlobalBlock:没有用到外界变量或只用到全局变量、静态变量的block为_NSConcreteGlobalBlock,生命周期从创建到应用程序结束。
不持有对象

你可能感兴趣的:(iOS关于block捕获变量原理的一些笔记)