Blocks中截获自动变量
上一篇博客讲解了Block的内部实现原理，这一篇是基于上一篇博客的，如果对Block的实现原理还不是很了解，建议先读一下我的上一篇关于Block的博客，地址：https://www.jianshu.com/p/6ffecdb02edc
这一篇博客我们将讲解一下Block中自动变量值的截获，我们先来看一下下面的一段程序。
int main(int argc, const char * argv[]) {
@autoreleasepool {
int outBlock = 10;
int inBlock = 20;
const char *str = "I will be used in the block";
void (^block)(void) = ^{
printf("%d %s",inBlock,str);
};
outBlock = 30;
inBlock = 5;
str = "value changed";
block();
}
return 0;
}
大家应该都知道，打印结果是
20 I will be used in the block
block明明是在三个变量值修改之后改变的，为什么变量值确实原始值呢，我们还是通过clang命令来看一下到底发生了什么，生成的C++代码如下：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int inBlock;
const char *str;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _inBlock, const char *_str, int flags=0) : inBlock(_inBlock), str(_str) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
可以看到，结构体__main_block_impl_0结构体比上节中多了两个实例
int inBlock;
const char *str;
其实这就已经很明显了，在block初始化的时候，即在__main_block_impl_0结构体实例的初始时是这样的：
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = __main_block_func_0;
Desc = &__main_block_desc_0_DATA;
inBlock = 20;
str = "I will be used in the block";
在调用block的时候
^{
printf("%d %s",inBlock,str);
}
对应的源码为
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
int inBlock = __cself->inBlock; // bound by copy
const char *str = __cself->str; // bound by copy
printf("%d %s",inBlock,str);
}
__cself即为__main_block_impl_0结构体，此时__cself已经是用
inBlock = 20;
str = "I will be used in the block";
初始化的实例，所以inBlock和str值在改变时，也不会影响__cself中的各个实例变量的值，所以打印结果是20 I will be used in the block，另外我们还注意到一点，就是__main_block_impl_0结构体中只会增加在block中使用的变量作为实例变量，因为在block中没有使用outBlock，所以__main_block_impl_0结构体中并没有增加outBlock的变量。
