《Objective-C 高级编程》干货（2）-Blocks存储

上节讲到了Block的实质 ，Blcok转换为Block的结构体类型的自动变量，_ block 变量转换为 _block变量的结构体类型的自动变量。所谓结构体类型的自动变量，即栈上生成的该结构体的实例。

Block与_ _block变量的实质.png

另外Block也可看作OC的对象。该Block的类_NSConcreteStackBlock，也有很多其他类似的类
_NSConcreteStackBlock
_NSConcreteGlobalBlock
_NSConcreteMallocBlock
通过名字可以看到Block的存储域

Block的存储域

栈区
堆区
数据存储区域（全局区 ）
具体如下图

block存储域.png

下面具体分析下三种类型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与_ _blcok变量.png

复制到堆上的block将_NSConcreteMallocBlock对象写入block的实体店变量

 impl.isa = &_NSConcreteMallocBlock

对于已经在堆上的Blcok以及程序数据区上的Blcok，调用copy会如何呢？

image.png

Block浅复制到堆上时对_ _block的影响

Block浅复制到堆上时对_ _block的影响.png

1. 1个Block中使用 _ block变量，当Block从栈浅复制到堆上时，使用的所有 block也必定从栈上复制到堆上，此时Blcok持有 block变量。复制Blcok也对所使用的 _block 变量没什么影响。
2. 在多个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时