__block 修饰符的秘密：防止循环引用，编写高效 Objective-C 代码

IOS

2024-03-02 02:31:51

__block 修饰符的奥秘：防止循环引用的关键

作为一名程序员，我们在编写代码时经常会遇到需要捕获和修改块外变量的情况。在 Objective-C 中，__block 修饰符为我们提供了这样一种机制。然而，它的行为可能有些令人费解，因此，深入了解它的工作原理非常重要。

__block 的秘密

当我们在块中使用 __block 修饰符时，我们本质上是在声明一个可以被块捕获但不会被它保留的变量。这意味着块可以访问并修改该变量，但不会阻止该变量在块执行完成后被释放。这与普通局部变量形成了鲜明的对比，它们在块的生命周期内会被保留。

避免循环引用

__block 修饰符通过防止循环引用来发挥重要作用。循环引用发生在两个对象相互强引用时，从而阻止垃圾回收器回收任何一个对象。当块保留一个块外变量时，就会产生这样的循环引用。

__block 修饰符通过允许块访问变量而不保留它来打破这个循环。这样，当块执行完成后，对变量的唯一强引用就消失了，允许垃圾回收器释放它。

__block 的行为示例

为了更清楚地了解 __block 的行为，让我们考虑以下代码段：

__block TestClass *testClass = [[TestClass alloc] init];

dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    NSLog(@"testClass: %@", testClass);
});

// testClass 在块执行完成后被释放
testClass = nil;

在这个示例中，testClass 变量被声明为一个 __block 变量，它被捕获在块中。当块执行时，它打印出 testClass 对象的地址。然而，由于 __block 修饰符，testClass 变量不会被块保留。因此，当块执行完成后，对 testClass 变量的唯一强引用就消失了，并且 testClass 对象将被释放。