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

Question

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

1. 它究竟告诉编译器什么？
2. 它还有其他作用吗？
3. 如果仅此而已，那么为什么首先需要它？
4. 它在任何地方的文档中吗？ （我找不到）。

Answer 1

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

有关示例和更多信息，请参阅 Apple 的 Blocks Programming Topics 中的 The __block Storage Type。

重要的例子是这个：

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 涵盖了blog post 中的深度块，并涉及到 __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 时，块会复制（保留）变量，所以即使你修改了变量，块也可以访问旧对象。

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 4

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

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

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

您可以参考apple doc了解详细信息。

Answer 5

__block 是一种存储类型，用于使范围内的变量可变，更坦率地说，如果您使用此说明符声明变量，则其引用将传递给非只读块复制了解更多详情，请参阅Blocks Programming in iOS

Answer 6

希望对你有帮助

假设我们有这样的代码：

{
     int stackVariable = 1;

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

它会给出类似“变量不可赋值”的错误，因为块内的堆栈变量默认是不可变的。

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

Answer 7

来自Block Language Spec：

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

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

有关 __block 变量应该编译成什么的详细信息，请参阅Block Implementation Spec，第 2.3 节。

Answer 8

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