iOS block中自动变量的截取

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的变量。