1.变量分类:
变量可以分为:
自动变量(局部变量)
静态变量,
全局变量,
全局静态变量
函数参数
2. Block的存储域
- block作为对象来看待的时候,有3种类型:
- NSConcreteGlobalBlock
- NSConcreteMallocBlock
- NSConcreteStackBlock
2._NSConcreteGlobalBlock
当block的代码块不使用应截获的自动变量的时候,或者记述全局变量的地方有block语法时,block是_NSConcreteGlobalBlock类型的block,存在于数据区(.data区)。
3._NSConcreteStackBlock
除NSConcreteGlobalBlack外,使用block语法生成的block都设置在栈上,是NSConcreteStackBlock类型的变量。
4._NSConcreteStackBlock
在栈上的block可以通过copy方法复制到堆上,这就是为何block可以超出自动变量的作用域继续存在。
ARC下,绝大多数情况下Block从栈上复制到堆上的代码由编译器实现:
- 调用block的copy方法的时候
- Block作为函数返回值返回的时候
- Cocoa框架的方法名中含有usingBlock等时,Grand Central Dispatch 的API。
- 将Block赋值给附有__strong修饰符的id类型或者 Block类型的成员变量时
ARC下,有一种情况编译器无法判断:向方法的参数中传递block的时候。
3.block可以截获自动变量的值。
1.首先:block结构体中增加了自动变量。
struct __main_block_impl_0 {
// 成员变量
struct __block_impl impl;
struct __main_block_desc_0* Desc;
// Block体中使用的“自动变量”被复制到该结构体。
id __strong obj; //对象类型复制指针变量。
int val; //非对象类型直接复制变量。
}
- 对于非对象类型,复制栈上的自动变量。对于指针类型,复制的是指针变量。
- 初始化block结构体的时候,给block中的增加的自动变量赋值:
impl.isa = &_NSConcreteStackBlock;
impl.Flags = 0;
impl.FuncPtr = __main_block_func_0;
Desc = __mian_block_desc_0_DATA;
//给block结构体中的变量赋值
var = 10;
obj = 指针变量存的地址。
3.使用的时候如下:
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
int val = __cself->val;
id obj = __cself->obj;
}
Block只是截获了block外部自动变量的值,对block外的自动变量的生命周期不产生影响(函数结束时外部的自动变量被销毁)。
block将截获的外部自动变量的值赋值给自己的成员变量,访问的时候也是访问自己的成员变量,所以不能改变外部自动变量的值。
对于捕获的指针类型自动变量。 因为要管理其所指对象的内存,所以block会在复制到堆上的时候调用copy方法时候,对对象进行retain操作。调用dispose时候对对象进行release操作。
4. 使用__block
使用__block的时候,将自动变量复制到堆上,对该自动变量进行内存管理。block中有指针指向改自动变量,可以改变自动变量的值。
- 首先看下__block的实现:
__block int var = 10; 如下:
__block id obj = [[NSObject alloc] init];
// 结构体 __Block_byref_val_0
struct __Block_byref_val_0 {
// 成员变量
void *__isa;
__Block_byref_val_0 *__forwarding;
int __flags;
int __size;
int val; // 相当于原自动变量的成员变量
};
// 结构体 __Block_byref_obj_0
struct __Block_byref_obj_0 {
void *__isa;
__Block_byref_obj_0 *__forwarding;
int __flags;
int __size;
void (*__Block_byref_id_object_copy)(void*, void*);
void (*__Block_byref_id_object_dispose_)(void*);
__strong id obj; // __block变量被追加为成员变量
};
- 首先将自动变量构建成一个结构体。
2.在block的结构体变化:
__block类型如下:
struct __main_block_impl_0 {
// 成员变量
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__Block_byref_val_0 *val; // 指向__Block_byref_val_0结构体的指针
__Block_byref_obj_0 *obj;
}
- __Block_byref_val_0结构体并不在__main_block_impl_0结构体中,而是一个指针。目的是为了使得多个Block中使用 __block变量。
- 编译时增加2个函数copy函数 和disose函数:
// 静态函数 __main_block_copy_0
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src){
_Block_object_assign(&dst->val, src->val, BLOCK_FIELD_IS_BYREF);
}
// 静态函数 __main_block_dispose_0
static void __main_block_dispose_0(struct __main_block_impl_0*src){
_Block_object_dispose(src->val, BLOCK_FIELD_IS_BYREF);
}
当block体中的使用了类型为__block的自动变量时, 参数为BLOCK_FIELD_IS_BYREF. 当block体中使用了对象类型时,参数为BLOCK_FIELD_IS_OBJECT
当block调用copy的时候,block从栈复制到堆中,__block类型变量也从栈复制到堆中。
Block对复制到堆中的__block变量的结构体使用引用计数进行内存管理。使用copy函数对__block变量的结构体进行retain,使用dispose函数对__block变量的结构体进行release。
4.调用的时候,对于__block类型变量:
// 静态函数 __main_block_func_0 (Block语法表达式发生的转换)
static void __main_block_func_0(struct __main_block_impl_0 *__cself)
{
__Block_byref_val_0 *val = __cself->val;
(val->__forwarding->val) = 1;
}
__block变量的结构体成员变量__forwarding可以实现无论__block变量配置在栈上还是堆上时都能够正确地访问__block变量。
5.循环引用:
对象类型可以持有block,block也可以持有对象类型,就可能会造成循环引用。此时,使用__weak来修饰对象给block引用,可以打破循环。
6.总结:
block是在栈上生成的结构体,当超出作用域的使用,通过copy函数复制到堆上,继续使用。
block可以通过复制来截获自动变量的值,保存在自己的成员变量中,此时可以安全的使用该值。而不用担心原来的自动变量因为作用域结束而销毁。
截获的如果是引用类型,可以通过引用计数来管理引用对象的内存管理。通过weak来防止循环引用。
可以通过__block来改变截获的自动变量的值。 此时,通过将自动变量复制到堆上,使用引用计数对该自动变量进行内存管理。
使用forward变量来使访问的__block变量都是在堆上的变量。