1.block 本质
- block本质上也是一个OC对象，它内部也有个isa指针
- block是封装了函数调用以及函数调用环境的OC对象
struct __main_block_desc_0 {
size_t reserved;
size_t Block_size; --> block内存大小
};
struct __block_impl {
void *isa; -->block的指针(表明block是个oc对象)
int flags;
int Reserved;
void *FuncPtr; --> 指向 代码块的 内存地址(block的具体实现)
};
struct __main_block_impl_0 {
struct __block_impl _impl;
struct __main_block_desc_0 *Desc;
int age; ----> block 捕获的auto变量
int *height; ----> block 捕获的static变量
// block c++构造函数
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int * _height, int flags=0) : age(_age), height(_height) {
impl.isa = &_NSConcrereStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
以下为例子
auto int age = 10;
static int height = 10;
// int age = 10 默认情况下 为auto
void (^block)(int, int) = ^(int a, int b) {
NSLog(@"age = %d height = %d", age, height);
};
变量捕获
auto int age = 10;
static int height = 10;
// int age = 10 默认情况下 为auto
void (^block)(int, int) = ^(int a, int b) {
NSLog(@"age = %d height = %d", age, height);
};
age = 20;
height = 20;
block();
输出 age = 10, height = 20;
原因
auto(默认) 不改变的原因
在创建block对象的时候, 已经捕获age了, 而当时 age = 10, 创建之后再怎么改边age 都不会改变 block内部age值了
static 改变的原因
指针传递, 捕获后, 在block 外 改变了 指针指向的值会改变block内部的值
全局变量 不管是 static还是auto block都不会捕获, 因为全局都可以直接访问,所以不用捕获, 归其原因是作用域的问题
| 变量类型 | 捕获到block内部 | 访问方式 |
|---|---|---|
| 局部变量auto | ✅ | 值传递 |
| 局部变量static | ✅ | 指针传递 |
| 全局变量 | ❎ | 直接访问 |
self
// 某个viewcontroller中
- (void)test {
void (^block)(int, int) = ^(int a, int b) {
NSLog(@"%@ %@ %@", self, self.name _name);
};
}
解释
- 因为self是局部变量 block会捕获self, block 内部访问 self.name, 是根据捕获的self 去访问name, _name 同理, 并不会直接捕获self.name
- self, _cmd在block创建的时候默认添加进来的参数
2.block分类
block有3种类型，可以通过调用class方法或者isa指针查看具体类型，最终都是继承自NSBlock类型
1. NSGlobalBlock ( _NSConcreteGlobalBlock)
没有访问 auto变量的 block
static int age = 10;
void(^block)(void) = ^{
NSLog(@"%d", age);
};
NSLog(@"%@", [block class]);
输出 __NSGlobalBlock__
2.NSStackBlock (_NSConcreteStackBlock)
访问了 auto变量的block
int age = 10;
void(^block)(void) = ^{
NSLog(@"%d", age);
};
NSLog(@"%@", [block class]);
ARC下输出 __NSMallocBlock__
MRC下输出 __NSStackBlock__
ARC MRC输出不一致的原因 是因为 ARC下 NSStackBlock 调用了copy
3. NSMallocBlock（ _NSConcreteMallocBlock ）
在ARC环境下，编译器会根据情况自动将栈上的block复制到堆上
- 1.block作为函数返回值时
- 2.将block赋值给__strong指针时
- 3.block作为Cocoa API中方法名含有usingBlock的方法参数时
- 4.block作为GCD API的方法参数时
- 5.直接copy
int age = 10;
[void(^block)(void) = ^{
NSLog(@"%d", age);
} copy];
- 每一种类型的block调用copy后的结果如下所示
| Block类型 | 副本源的配置存储域 | 复制效果 |
|---|---|---|
| _NSConcreteStackBlock | 栈 | 从栈复制到堆 |
| _NSConcreteGlobalBlock | 数据区域 | 什么也不做 |
| _NSConcreteMallocBlock | 堆 | 引用技术增加 |
3. auto变量引用时copy的过程
当block内部访问了对象类型的auto变量时
- 如果block是在栈上，将不会对auto变量产生强引用
如果block被拷贝到堆上
- 会调用block内部的copy函数
- copy函数内部会调用_Block_object_assign函数
- _Block_object_assign函数会根据auto变量的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，形成强引用（retain）或者弱引用
如果block从堆上移除
- 会调用block内部的dispose函数
- dispose函数内部会调用_Block_object_dispose函数
- _Block_object_dispose函数会自动释放引用的auto变量（release）
