Block本质（__block修饰符）

__block修饰符

__block可以用于解决block内部无法修改auto变量值的问题
__block不能修饰全局变量、静态变量（static）

编译器会将__block变量包装成一个对象

__block修饰对象结构.png

__block的内存管理

• 当block在栈上时，并不会对__block变量产生强引用

• 当block被copy到堆时
  会调用block内部的copy函数
  copy函数内部会调用_Block_object_assign函数
  变量为auto基本数据类型：
  _Block_object_assign函数会对__block变量形成强引用（retain）
  变量为auto对象类型：
  _ Block_object_assign函数会根据所指向对象的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，形成强引用（retain）或者弱引用（注意：这里仅限于ARC时会retain，MRC时不会retain）

  block内部调用copy之__block.png

• 当block从堆中移除时
  会调用block内部的dispose函数
  dispose函数内部会调用_Block_object_dispose函数
  _Block_object_dispose函数会自动释放引用的__block变量（release）

block内部调用dispose之__block.png

当block拷贝到堆上时，都会通过copy函数来处理它们
__block变量（假设变量名叫做a）
_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);

对象类型的auto变量（假设变量名叫做p）
_Block_object_assign((void*)&dst->p, (void*)src->p, 3/*BLOCK_FIELD_IS_OBJECT*/);
  
当block从堆上移除时，都会通过dispose函数来释放它们
__block变量（假设变量名叫做a）
_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);

对象类型的auto变量（假设变量名叫做p）
_Block_object_dispose((void*)src->p, 3/*BLOCK_FIELD_IS_OBJECT*/);

__block的__forwarding指针

__forwarding指针.png