前言
Block 是 C 语言的扩充功能, Apple 在 iOS4 引入了这个新功能. 一句话形容 Block, 那就是带有自动变量(局部变量)的匿名函数.
在 OC 中实现代码如下
struct Block_layout {
void *isa;
int flags;
int reserved;
void (*invoke)(void *, ...);
struct Block_descriptor *descriptor;
/* Imported variables. */
};
struct Block_descriptor {
unsigned long int reserved;
unsigned long int size;
void (*copy)(void *dst, void *src);
void (*dispose)(void *);
};
在 Block_layout 中有 isa 指针, 所以 Block 在 OC 中是按照对象来处理的. 常见的 Block 有 3 种类型, 分别是 _NSConcreteStackBlock，_NSConcreteMallocBlock，_NSConcreteGlobalBlock.
研究工具: clang命令
为了研究编译器的实现原理, 需要使用 clang 命令. clang 命令可以将 OC 的源码转换为 C/C++ 语言的代码.
clang -rewrite-objc 文件名
一. Block 捕获外界变量的本质
C语言中变量分为以下几种:
- 自动变量
- 函数参数
- 静态变量
- 静态全局变量
- 全局变量
先来一段测试代码
int global_i = 1;//全局变量
static int static_global_j = 2;//静态全局变量
int main(int argc, const char * argv[]) {
static int static_k = 3;//静态变量
int val = 4;//自动变量
int val2 = 5;
void(^myBlcok)(void) = ^ {
global_i++;
static_global_j++;
static_k++;
//val++;
NSLog(@"中: global_i = %d, static_global_j = %d, static_k = %d, val = %d", global_i, static_global_j, static_k, val);
NSLog(@"%p", &val2);
};
global_i++;
static_global_j++;
static_k++;
val++;
NSLog(@"前: global_i = %d, static_global_j = %d, static_k = %d, val = %d", global_i, static_global_j, static_k, val);
NSLog(@"%@", myBlcok);
NSLog(@"%p", &val2);
myBlcok();
NSLog(@"后: global_i = %d, static_global_j = %d, static_k = %d, val = %d", global_i, static_global_j, static_k, val);
return 0;
}
这段代码运行的时候会报错,提示说自动变量没有加上__block修饰.
用 clang 转换的到.cpp文件,源码如下
int global_i = 1;
static int static_global_j = 2;
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int *static_k;
int val;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int *_static_k, int _val, int flags=0) : static_k(_static_k), val(_val) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
int *static_k = __cself->static_k; // bound by copy
int val = __cself->val; // bound by copy:此处Block仅仅捕获了val值,并没有捕获val的内存地址.所以在这个函数中即使重写这个val的值,依旧无法改变Block外面val的值.因此OC在编译层面就杜绝了这种错误,在Block中无法改变自动变量的值,编译器会报错.
global_i++;
static_global_j++;
(*static_k)++;
NSLog((NSString *)&__NSConstantStringImpl__var_folders_b6_dgrlb0m175gd2m38vy8qgxzw0000gp_T_main_7d7194_mi_0, global_i, static_global_j, (*static_k), val);
}
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
int main(int argc, const char * argv[]) {
static int static_k = 3;
int val = 4;
void(*myBlcok)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &static_k, val));
global_i++;
static_global_j++;
static_k++;
val++;
NSLog((NSString *)&__NSConstantStringImpl__var_folders_b6_dgrlb0m175gd2m38vy8qgxzw0000gp_T_main_7d7194_mi_1, global_i, static_global_j, static_k, val);
((void (*)(__block_impl *))((__block_impl *)myBlcok)->FuncPtr)((__block_impl *)myBlcok);
return 0;
}
首先全局变量 global_i 和静态变量 static_global_j 的值增加,是因为他们是全局的,作用域很广,所以 Block 捕获了它们之后,在 Block 里面进行 ++ 操作, Block 结束后,它们的值可以保存下来.
静态变量 static_k 和自动变量 i
在 __main_block_func_0 中可以看到 静态变量 static_k 和 自动变量 i 被 Block 从外部捕捉进来,成为__main_block_func_0 这个结构体的成员变量了.
如果 Block 外面有很多变量,但这些变量并不会在 Block 里面使用到,那么这些变量不会被 Block 捕获进来.
在__main_block_func_0 中, 自动变量 val 虽然被捕获进来了, 但是是用 __cself->val 访问的. Block 只是获取了 val 的值,并没有获取到存放 val 的内存地址.所以在__main_block_func_0 这个函数中改变 val 的值,依旧无法改变 Block 外部自动变量 val 的值.
4种变量中只有 静态变量 , 静态全局变量 , 全局变量 这3种是可以在 Block 里面被改变值的.
- 静态全局变量,全局变量由于作用域的原因,可以在 Block 里面被改变,存储在全局区
静态变量传递给 Block 的是内存地址值,所以能在 Block 里面直接改变值.
对于自动变量而言,要想在 Block 里面改变自动变量的值,需要在自动变量前加上 __block 关键字(改变存储区).
小结:
在 Block 中改变变量值有2种方式, 一是传递内存地址指针到 Block 中, 二是改变存储区域.
二. Block 的 copy 和 dispose
在 OC 中, 一般 Block 分为3种, _NSConcreteStackBlock, _NSConcreteMallocBlock, _NSConcreteGlobalBlock.
先来比较一下区别,
- _NSConcreteStackBlock
只用到外部局部变量,成员属性变量,并且没有强指针应用的 Block 都是 StackBlock. 生命周期由系统管理. - _NSConcreteMallocBlock
有强指针引用或者使用 copy 修饰的成员属性引用的 Block 会被复制一份到堆区成为 MallocBlock, 没有强指针引用即销毁, 生命周期由开发者控制. - _NSConcreteGlobalBlock
没有用到外界变量或者只用到全局变量,静态变量的 Block 都是 GlobalBlock , 生命周期从创建开始到程序结束.
