“__block”关键字是什么意思？

Question

Objective-C 中的__block关键字究竟是什么意思？ 我知道它允许您修改块内的变量，但我想知道......

1. 它到底告诉编译器什么？
2. 它还有其他作用吗？
3. 如果这就是它的全部作用，那么为什么首先需要它呢？
4. 它在任何地方的文档中吗？ （我找不到它）。

Answer 1

它告诉编译器，任何由它标记的变量在块内使用时都必须以特殊方式处理。 通常，块中也使用的变量及其内容会被复制，因此对这些变量所做的任何修改都不会显示在块之外。 当它们被标记为__block时，在块内完成的修改在块外也可见。

有关示例和更多信息，请参阅 Apple 的块编程主题中的 __block 存储类型。

重要的例子是这个：

extern NSInteger CounterGlobal;
static NSInteger CounterStatic;

{
    NSInteger localCounter = 42;
    __block char localCharacter;

    void (^aBlock)(void) = ^(void) {
        ++CounterGlobal;
        ++CounterStatic;
        CounterGlobal = localCounter; // localCounter fixed at block creation
        localCharacter = 'a'; // sets localCharacter in enclosing scope
    };

    ++localCounter; // unseen by the block
    localCharacter = 'b';

    aBlock(); // execute the block
    // localCharacter now 'a'
}

在此示例中， localCounter和localCharacter在调用块之前都已修改。 然而，在块内部，由于__block关键字，只有对localCharacter的修改是可见的。 相反，该块可以修改localCharacter并且此修改在该块之外是可见的。

Answer 2

@bbum 在博客文章中深入介绍了块，并涉及 __block 存储类型。

__block 是一种独特的存储类型

就像 static、auto 和 volatile 一样，__block 是一种存储类型。 它告诉编译器变量的存储将被不同地管理。

...

但是，对于 __block 变量，块不保留。 您可以根据需要保留和释放。
...

至于用例，您会发现__block有时用于避免保留循环，因为它不保留参数。 一个常见的例子是使用 self.

//Now using myself inside a block will not 
//retain the value therefore breaking a
//possible retain cycle.
__block id myself = self;

Answer 3

__block是一个存储限定符，可以通过两种方式使用：

1. 标记变量存在于原始变量的词法 scope 和在该 scope 中声明的任何块之间共享的存储中。 并且 clang 将生成一个结构来表示这个变量，并通过引用（而不是通过值）使用这个结构。

2. 在 MRC 中， __block可用于避免保留块捕获的 object 变量。 小心这对 ARC 不起作用。 在 ARC 中，您应该改用__weak 。

详细信息可以参考苹果文档。

Answer 4

通常当你不使用 __block 时，块会复制（保留）变量，所以即使你修改了变量，块也可以访问旧的 object。

NSString* str = @"hello";
void (^theBlock)() = ^void() {
    NSLog(@"%@", str);
};
str = @"how are you";
theBlock(); //prints @"hello"

在这两种情况下，您需要 __block：

1.如果要修改块内的变量并希望它在外部可见：

__block NSString* str = @"hello";
void (^theBlock)() = ^void() {
    str = @"how are you";
};
theBlock();
NSLog(@"%@", str); //prints "how are you"

2.如果要在声明块后修改变量并且希望块看到更改：

__block NSString* str = @"hello";
void (^theBlock)() = ^void() {
    NSLog(@"%@", str);
};
str = @"how are you";
theBlock(); //prints "how are you"

Answer 5

__block是一种存储类型，用于在 scope 中使变量可变，更坦率地说，如果您使用此说明符声明变量，则其引用将传递给块而不是只读副本有关详细信息，请参阅iOS 中的块编程

Answer 6

希望对你有帮助

假设我们有这样的代码：

{
     int stackVariable = 1;

     blockName = ^()
     {
      stackVariable++;
     }
}

它将给出类似“变量不可分配”的错误，因为块内的堆栈变量默认情况下是不可变的。

在声明之前添加 __block(storage modifier) 使其在块内可变，即__block int stackVariable=1;

Answer 7

从块语言规范：

除了新的 Block 类型，我们还为局部变量引入了一个新的存储限定符 __block。 [testme：块文字中的 __block 声明] __block 存储限定符与现有的本地存储限定符 auto、register 和 static 互斥。[testme] 由 __block 限定的变量就像它们在分配的存储中一样，并且此存储是在最后一次使用所述变量后自动恢复。 实现可以选择一种优化，其中存储最初是自动的，并且仅在引用块的 Block_copy 时“移动”到分配的（堆）存储。 这样的变量可能会像正常变量一样发生变异。

在 __block 变量是 Block 的情况下，必须假设 __block 变量驻留在分配的存储中，因此假定引用也在分配的存储中的 Block（它是 Block_copy 操作的结果）。 尽管如此，如果实现为块提供初始自动存储，则没有规定执行 Block_copy 或 Block_release。 这是由于潜在的几个线程试图更新共享变量的固有竞争条件以及围绕处置旧值和复制新值的同步需要。 这种同步超出了本语言规范的 scope。

有关 __block 变量应该编译成什么的详细信息，请参阅块实现规范，第 2.3 节。

Answer 8

这意味着它作为前缀的变量可在块中使用。