OC对象 - Block的变量捕获

943 阅读2分钟

OC对象 - Block的变量捕获

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

1.auto类型的变量

我们在声明变量的时候,默认就是auto类型:int age = 10

  • 如下代码。变量age在调用block之前,我们给它赋值为20了,那么打印结果是什么呢
int age = 10;
void(^block)(void) = ^{
    printf("age is: %d\n", age);
};

age = 20;

block();

打印的是: 10

这是为什么?

1.1 查看底层代码

  • 此时struct __main_block_impl_0里面多了个age变量,并且初始化的时候,把 int age = 10作为参数传进去了
  • 那么是不是可以认为,block在初始化的时候,把 age 作为参数传进去并保存了

没错,对于auto变量,block 其实是使用值传递的方式来捕获变量

2.static类型的变量

我们在上面代码基础上,增加一个static来修饰的变量height

int age = 10;
static int height = 10;
void(^block)(void) = ^{
    printf("age is: %d\theight is: %d\n", age, height);
};
age = 20;
height = 20;

block();

会发现,此时打印height是 20

这又是为什么呢

2.1 查看底层代码

  • 细心的会发现,和auto变量相比,static修饰的变量,在底层实现的时候,成员多了*号,并且block初始化时传递的height,多了&符号。

所以,对于static修饰的变量,block 其实是使用指针传递的方式来捕获变量,block里面是通过 height 的指针来访问的,所以height = 20;后,block 再打印的就是修改过后的 height

3. 全局变量

把变量改为全局变量

int age_ = 10;
static int height_ = 10;

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        void(^block)(void) = ^{
            printf("age is: %d\theight is: %d\n", age_, height_);
        };
        
        age_ = 20;
        height_ = 20;
        
        block();
    }
    return 0;
}

打印的是修改后的变量

3.1 查看底层代码

从底层实现可以看出

  • block并没有在__main_block_impl_0里面声明对应的变量
  • 直接访问全局变量即可,无需捕获变量

总结

分析

  • 对于auto变量,它随时可能销毁,比如出了作用域,如果此时block里面操作的是指针,则会出现空指针异常,所以block的做法是通过值传递的方法优先保证变量的值能拿到,相当于保存了一份副本,只不过访问的只会是捕获时的值
  • 对于static变量,他的内存地址会一直存在,block 需要的时候就能取,所以优先保证取到的值是最新的
  • 对于全局变量,block 甚至也不用捕获这些变量,需要的时候直接访问即可

@oubijiexi