「__block」キーワードはどういう意味ですか？

__blockObjective-Cのキーワードは正確にはどういう意味ですか？ブロック内の変数を変更できることは知っていますが、知りたいのですが...

1. それは正確にコンパイラに何を伝えますか？
2. 他に何かしますか？
3. それだけの場合は、そもそもなぜそれが必要なのでしょうか。
4. ドキュメントのどこかにありますか？（私はそれを見つけることができません）。

マークされた変数は、ブロック内で使用する場合は特別な方法で処理する必要があることをコンパイラーに伝えます。通常、ブロックで使用されている変数とその内容はコピーされるため、これらの変数に加えられた変更はブロックの外側には表示されません。でマークされている場合__block、ブロックの内側で行われた変更は、ブロックの外側にも表示されます。

例と詳細については、「アップルのブロックプログラミングトピック」の「__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が変更されています。ただし、ブロックの内部ではlocalCharacter、__blockキーワードのおかげで、への変更のみが表示されます。逆に、ブロックは変更可能でlocalCharacterあり、この変更はブロックの外側に表示されます。

@bbumはブログ投稿の詳細なブロックをカバーし、__ blockストレージタイプに触れます。

__blockは別個のストレージタイプです

static、auto、volatileと同様に、__ blockはストレージタイプです。これは、変数のストレージが異なる方法で管理されることをコンパイラーに通知します。

...

ただし、__ block変数の場合、ブロックは保持されません。必要に応じて、保持および解放するのはユーザーの責任です。
...

ユースケース__blockに関しては、引数を保持しないため、保持サイクルを回避するために使用される場合があります。一般的な例は、自己の使用です。

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

通常、__ blockを使用しない場合、ブロックは変数をコピー（保持）するため、変数を変更しても、ブロックは古いオブジェクトにアクセスできます。

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

これらの2つのケースでは、__ 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"

__blockは、次の2つの方法で使用できるストレージ修飾子です。

1. 変数が、元の変数の字句スコープとそのスコープ内で宣言されたブロックの間で共有されるストレージに存在することを示します。そして、clangはこの変数を表す構造体を生成し、この構造体を（値ではなく）参照によって使用します。

2. MRCでは、__ blockを使用して、ブロックがキャプチャするオブジェクト変数の保持を回避できます。これがARCでは機能しないことに注意してください。ARCでは、代わりに__weakを使用する必要があります。

詳細については、アップルのドキュメントを参照してください。

__blockスコープ変数を変更可能にするために使用されるストレージタイプです。率直に言えば、この指定子で変数を宣言すると、その参照は読み取り専用コピーではなくブロックに渡されます詳細については、iOSでのブロックのプログラミングを参照してください

これがあなたを助けることを願っています

次のようなコードがあるとします。

{
     int stackVariable = 1;

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

ブロック内のスタック変数はデフォルトで不変であるため、「変数は割り当てできません」のようなエラーが発生します。

宣言の前に__block（storage modifier）を追加すると、ブロック内で変更可能になります。 __block int stackVariable=1;

ブロック言語仕様：

新しいBlock型に加えて、ローカル変数用の新しいストレージ修飾子__blockも導入しています。[testme：ブロックリテラル内の__block宣言] __blockストレージ修飾子は、既存のローカルストレージ修飾子auto、register、staticと相互に排他的です。[testme] __blockで修飾された変数は、割り当てられたストレージにあるかのように機能し、このストレージは上記の変数を最後に使用した後に自動的に回復しました。実装は、ストレージが最初は自動であり、参照ブロックのBlock_copy時に割り当てられた（ヒープ）ストレージにのみ「移動」される最適化を選択できます。このような変数は、通常の変数と同じように変更できます。

__block変数がBlockである場合、__ block変数は割り当てられたストレージにあると想定する必要があり、そのため、割り当てられたストレージにもあるBlockを参照すると想定されます（Block_copy操作の結果です）。これにもかかわらず、実装がブロックの初期自動ストレージを提供する場合、Block_copyまたはBlock_releaseを実行するための規定はありません。これは、共有変数を更新しようとする潜在的にいくつかのスレッドの固有の競合状態と、古い値の破棄と新しい値のコピーに関する同期の必要性が原因です。このような同期は、この言語仕様の範囲を超えています。

__block変数のコンパイル先の詳細については、ブロック実装仕様のセクション2.3を参照してください。

これは、それがプレフィックスである変数がブロック内で使用できることを意味します。