上节讲到了Block的实质 ,Blcok转换为Block的结构体类型的自动变量,_ block 变量转换为 _block变量的结构体类型的自动变量。所谓结构体类型的自动变量,即栈上生成的该结构体的实例。
另外Block也可看作OC的对象。该Block的类_NSConcreteStackBlock,也有很多其他类似的类
_NSConcreteStackBlock
_NSConcreteGlobalBlock
_NSConcreteMallocBlock
通过名字可以看到Block的存储域
Block的存储域
栈区
堆区
数据存储区域(全局区 )
具体如下图
下面具体分析下三种类型Block
_NSConcreteGlobalBlock
在记述全局变量的地方使用的Block,生成的Block为_NSConcreteGlobalBlock参数。例如
void (^blk)(void) = ^{printf("Global Block\n");};
int main(int argc, const char * argv[]) {
@autoreleasepool {
blk();
}
return 0;
}
C++
struct __blk_block_impl_0 {
struct __block_impl impl;
struct __blk_block_desc_0* Desc;
__blk_block_impl_0(void *fp, struct __blk_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteGlobalBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
static void __blk_block_func_0(struct __blk_block_impl_0 *__cself) {
printf("Global Block\n");}
static struct __blk_block_desc_0 {
size_t reserved;
size_t Block_size;
} __blk_block_desc_0_DATA = { 0, sizeof(struct __blk_block_impl_0)};
static __blk_block_impl_0 __global_blk_block_impl_0((void *)__blk_block_func_0, &__blk_block_desc_0_DATA);
void (*blk)(void) = ((void (*)())&__global_blk_block_impl_0);
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
}
return 0;
}
我们可以看到Block用结构体的成员变量isa的初始化如下:
impl.isa = &_NSConcreteGlobalBlock;
Block为_NSConcreteGlobalBlock类对象具体总结如下:
1.记述全局变量的地方有Block语法时
2.Block语法的表达式中不使用应截获的自动变量时
除此之外Blcok语法生成的Block为_NSConcreteStackBlock。且设置在栈上。那_NSConcreteMallocBlock何时使用呢?
配置在全局变量的Blcok,从变量作用域外也可以通过使用指针安全 的访问。但设置在栈上的Blcok,如果其所属的变量作用域结束,该Block就废弃了。由于_ block变量也配置在栈上,同样地,如果所属的变量的作用域结束,则该 _blcok变量也会被废弃。
Blcoks提供了将Block和_ _ block变量从栈上复制到堆上的方法来解决这个问题。如图
复制到堆上的block将_NSConcreteMallocBlock对象写入block的实体店变量
impl.isa = &_NSConcreteMallocBlock
对于已经在堆上的Blcok以及程序数据区上的Blcok,调用copy会如何呢?
Block浅复制到堆上时对_ _block的影响
- 1个Block中使用 _ block变量,当Block从栈浅复制到堆上时,使用的所有 block也必定从栈上复制到堆上,此时Blcok持有 block变量。复制Blcok也对所使用的 _block 变量没什么影响。
- 在多个Block中实用化 _ block变量时,在任何一个Blcok复制到堆上时, block也必定从栈上复制到堆上并被该Blcok所持有,当剩下的Blcok从栈复制到堆上时,被复制的Block持有 block,并增加 _block的引用计数。*
什么时候栈上的Blcok会复制到堆呢
1.调用Block的copy实例方法
2.Blcok作为函数返回值返回时
3.将Block赋值给附有 _ _strong修饰符id类型的类或Blcok类型成员变量时
4.在方法名中含有usingBlock的Cocoa框架方法或Grand Central Dispatch的API中传递Block时