Was bedeutet das Schlüsselwort "__block"?

Was genau macht das __block Schlüsselwort in Objective-C? Ich weiß, dass Sie damit Variablen innerhalb von Blöcken ändern können, aber ich würde gerne wissen ...

1. Was genau sagt es dem Compiler?
2. Tut es noch etwas?
3. Wenn das alles ist, warum wird es dann überhaupt benötigt?
4. Ist es irgendwo in den Dokumenten? (Ich kann es nicht finden).

Es teilt dem Compiler mit, dass jede von ihm markierte Variable auf besondere Weise behandelt werden muss, wenn sie in einem Block verwendet wird. Normalerweise werden Variablen und deren Inhalt, die auch in Blöcken verwendet werden, kopiert, sodass Änderungen an diesen Variablen nicht außerhalb des Blocks angezeigt werden. Wenn sie mit markiert sind __block, sind die innerhalb des Blocks vorgenommenen Änderungen auch außerhalb des Blocks sichtbar.

Ein Beispiel und weitere Informationen finden Sie unter Der __block-Speichertyp in den Themen zur Blockprogrammierung von Apple .

Das wichtige Beispiel ist dieses:

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'
}

In diesem Beispiel werden beide localCounterund localCharactergeändert, bevor der Block aufgerufen wird. Innerhalb des Blocks localCharacterwäre jedoch dank des __blockSchlüsselworts nur die Änderung von sichtbar . Umgekehrt kann der Block geändert werden, localCharacterund diese Änderung ist außerhalb des Blocks sichtbar.

@bbum behandelt Blöcke in einem Blog-Beitrag ausführlich und berührt den Speichertyp __block.

__block ist ein bestimmter Speichertyp

Genau wie statisch, automatisch und flüchtig ist __block ein Speichertyp. Es teilt dem Compiler mit, dass der Speicher der Variablen anders verwaltet werden soll.

...

Bei __block-Variablen bleibt der Block jedoch nicht erhalten. Es liegt an Ihnen, diese nach Bedarf aufzubewahren und freizugeben.
...

In Anwendungsfällen __blockwird manchmal verwendet, um Aufbewahrungszyklen zu vermeiden, da das Argument nicht beibehalten wird. Ein häufiges Beispiel ist die Verwendung von Selbst.

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

Wenn Sie __block nicht verwenden, kopiert der Block normalerweise die Variable (behält sie bei). Selbst wenn Sie die Variable ändern, hat der Block Zugriff auf das alte Objekt.

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

In diesen 2 Fällen benötigen Sie __block:

1.Wenn Sie die Variable innerhalb des Blocks ändern möchten und erwarten, dass sie außerhalb sichtbar ist:

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

2.Wenn Sie die Variable ändern möchten, nachdem Sie den Block deklariert haben und erwarten, dass der Block die Änderung sieht:

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

__block ist ein Speicherqualifizierer, der auf zwei Arten verwendet werden kann:

1. Markiert, dass sich eine Variable in einem Speicher befindet, der vom lexikalischen Bereich der ursprünglichen Variablen und allen in diesem Bereich deklarierten Blöcken gemeinsam genutzt wird. Und clang generiert eine Struktur, um diese Variable darzustellen, und verwendet diese Struktur als Referenz (nicht als Wert).

2. In MRC kann __block verwendet werden, um zu vermeiden, dass Objektvariablen, die ein Block erfasst, beibehalten werden. Beachten Sie, dass dies bei ARC nicht funktioniert. In ARC sollten Sie stattdessen __weak verwenden.

Ausführliche Informationen finden Sie in Apple Doc .

__blockist ein Speichertyp, der verwendet wird, um Variablen im Bereich veränderbar zu machen. Wenn Sie eine Variable mit diesem Bezeichner deklarieren, wird ihre Referenz an Blöcke übergeben, die keine schreibgeschützte Kopie sind. Weitere Informationen finden Sie unter Blockprogrammierung in iOS

hoffe das wird dir helfen

Nehmen wir an, wir haben einen Code wie:

{
     int stackVariable = 1;

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

Es wird ein Fehler wie "Variable ist nicht zuweisbar" ausgegeben, da die Stapelvariablen im Block standardmäßig unveränderlich sind.

Durch Hinzufügen von __block (Speichermodifikator) vor der Deklaration wird es innerhalb des Blocks veränderbar, d. h __block int stackVariable=1;

Aus der Block Language Spec :

Zusätzlich zum neuen Blocktyp führen wir auch ein neues Speicherqualifikationsmerkmal, __block, für lokale Variablen ein. [testme: eine __block-Deklaration innerhalb eines Blockliteral] Der __block-Speicherqualifizierer schließt sich gegenseitig für die vorhandenen lokalen Speicherqualifizierer auto, register und static aus. [testme] Durch __block qualifizierte Variablen verhalten sich so, als ob sie sich im zugewiesenen Speicher befinden, und dieser Speicher ist wird nach der letzten Verwendung dieser Variablen automatisch wiederhergestellt. Eine Implementierung kann eine Optimierung wählen, bei der der Speicher anfänglich automatisch ist und erst nach einer Blockkopie eines referenzierenden Blocks in den zugewiesenen (Heap-) Speicher "verschoben" wird. Solche Variablen können wie normale Variablen mutiert sein.

In dem Fall, in dem eine __block-Variable ein Block ist, muss angenommen werden, dass sich die __block-Variable im zugewiesenen Speicher befindet und als solche auf einen Block verweist, der sich ebenfalls im zugewiesenen Speicher befindet (dass dies das Ergebnis einer Block_copy-Operation ist). Trotzdem ist keine Block_copy oder Block_release vorgesehen, wenn eine Implementierung einen anfänglichen automatischen Speicher für Blöcke bereitstellt. Dies liegt an der inhärenten Race-Bedingung von möglicherweise mehreren Threads, die versuchen, die gemeinsam genutzte Variable zu aktualisieren, und an der Notwendigkeit einer Synchronisierung, um ältere Werte zu entsorgen und neue zu kopieren. Eine solche Synchronisation würde den Rahmen dieser Sprachspezifikation sprengen.

Einzelheiten zu , was eine __block Variable kompilieren sollte, finden Sie in der Block - Implementierung Spec , Abschnitt 2.3.

Dies bedeutet, dass die Variable, für die es sich um ein Präfix handelt, innerhalb eines Blocks verwendet werden kann.