OC对象 - Block的变量捕获

已于 2024-03-22 12:53:53 修改 · 748 阅读

文章标签：

#iOS

于 2024-03-21 23:32:51 首次发布

iOS 专栏收录该内容

30 篇文章

订阅专栏

本文详细解释了OC中Block如何捕获auto、static和全局变量，以及self变量和成员变量的捕获原理。Block通过值传递或指针传递来处理不同类型的变量，确保内部对变量的访问正确性。

文章目录

OC对象 - Block的变量捕获

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 甚至也不用捕获这些变量，需要的时候直接访问即可

4. 扩展

4.1 self变量的捕获

ZSXPerson.m中，我们有test方法，方法中使用block访问了self

@implementation ZSXPerson

- (void)test {
    void (^block)(void) = ^ {
        NSLog(@"block -- %@", self);
    };
    block();
}

@end

这时候，block 会不会捕获self？

4.1.1 底层实现分析

转成C++代码

结论：block会捕获self

test 方法对应结构体__ZSXPerson__test_block_impl_0中声明了ZSXPerson *self变量，用于捕获self
方法构造方法中，将 self 作为传入

4.1.2 原因分析

方法转成C++的时候，默认会给我们带了两个变量，self和_cmd
我们多增加一个方法用于对比

可以看到，转为C++代码后，方法默认有self和_cmd两个参数，并且这两个参数是在我们自己声明的参数前面

由此可得，block之所以会捕获self，是因为self其实就是局部变量，局部变量都会被block捕获

4.2 成员变量的捕获

在ZSXPerson.h中声明name属性，然后在block里面使用_name方式访问

@interface ZSXPerson : NSObject

@property (nonatomic, copy) NSString *name;

@end

@implementation ZSXPerson

- (void)test {
    void (^block)(void) = ^ {
        NSLog(@"name -- %@", _name);
    };
    block();
}

- (void)testWithName:(NSString *)name {
    
}

@end