iOS深入理解Block

151 阅读4分钟

一、Block的本质

  • block本质上也是一个OC对象,它内部也有个isa指针
  • block是封装了函数调用以及函数调用环境的OC对象

图片.png 最终继承自NSObject

二、Block的变量捕获(capture)

为了保证block内部能够正常访问外部的变量,block有个变量捕获机制

图片.png

三、Block的类型

block有3种类型,可以通过调用class方法或者isa指针查看具体类型,最终都是继承自NSBlock类型

  • NSGlobalBlock ( _NSConcreteGlobalBlock )
  • NSStackBlock ( _NSConcreteStackBlock )
  • NSMallocBlock ( _NSConcreteMallocBlock ) 图片.png

图片.png

每一种类型的block调用copy后的结果 图片.png

四、block的copy

在ARC环境下,编译器会根据情况自动将栈上的block复制到堆上

  • block作为函数返回值时

  • 将block赋值给__strong指针时

  • block作为Cocoa API中方法名含有usingBlock的方法参数时

  • block作为GCD API的方法参数时

    MRC下block属性的建议写法

@property (copy, nonatomic) void (^block)(void);

ARC下block属性的建议写法

@property (strong, nonatomic) void (^block)(void);
@property (copy, nonatomic) void (^block)(void);

Block作为函数返回值ARC :NSMallocBlock 自动copy操作

图片.png Block作为函数返回值MRC:内存在栈上,保证不释放能正常被访问,需要手动copy操作

图片.png

图片.png

将block赋值给__strong指针时

图片.png block作为Cocoa API中方法名含有usingBlock的方法参数时

图片.png block作为GCD API的方法参数时

图片.png

五、对象类型的auto变量

当Block 内部访问了对象类型的auto变量时

  1. 如果Block 是在栈上,将不会对auto变量产生强引用
  2. 如果Block 被拷贝到堆上
会调用Block内部的copy函数
  • copy函数内部会调用_Block_object_assign函数
  • _Block_object_assign函数会根据auto变量的修饰符(__Strong、__weak、__unsafe_unretained)做出相应的操作,形成强引用(retain)或者弱引用。
如果block从堆中移除

会调用Block内部的disponse函数

  • dispose函数内部会调用_Block_object_dispose函数
  • Block_object_dispose函数会自动释放引用的auto变量(release)

六、_ _block修饰符

  • __ block用于解决Block内部无法修改auto变量值的问题
  • __ block不能修改全局变量、静态变量(static)
  • 编译器会将__block变量包装成一个对象

图片.png

图片.png

图片.png

__ block的内存管理

  • 当Block在栈上时,并不会对__ block变量产生强引用
  • 当Block被copy到堆时 会调用block内部的copy函数 copy函数内部会调用_Block_object_assign函数 _Block_object_assign函数会对_block变量形成强引用(retain)
  • 当Block从堆中移除时 会调用Block内部的dispose函数 dispose函数内部会调用_Block_object_dispose函数 _Block_object_dispose函数会自动释放引用的__block变量(release) __ block的__forwarding指针

图片.png

_ __ forwarding指针是为了在__block变量从栈复制到堆上后,在Block外对__block变量的修改也可以同步到堆上实际存储__block变量的结构体上

七、对象类型的auto变量、__ block变量

  • 当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变量在栈上时,不会对指向的对象产生强引用

被__block修饰的对象类型
  • 当__block变量被copy到堆时

会调用__block变量内部的copy函数 copy函数内部会调用_Block_object_assign函数 _Block_object_assign函数会根据所指向对象的修饰符(__strong、__weak、__unsafe_unretained)做出相应的操作,形成强引用(retain)或者弱引用(注意:这里仅限于ARC时会retain,MRC时不会retain)

  • 如果__block变量从堆上移除

会调用__block变量内部的dispose函数 dispose函数内部会调用_Block_object_dispose函数 _Block_object_dispose函数会自动释放指向的对象(release)

八、Block循环引用

图片.png