Che cosa significa la parola chiave "__block"?

Cosa significa esattamente la __blockparola chiave in Objective-C? So che ti permette di modificare le variabili all'interno di blocchi, ma mi piacerebbe sapere ...

1. Cosa dice esattamente al compilatore?
2. Fa qualcos'altro?
3. Se questo è tutto, allora perché è necessario in primo luogo?
4. È nei documenti da qualche parte? (Non riesco a trovarlo).

Indica al compilatore che qualsiasi variabile contrassegnata da essa deve essere trattata in modo speciale quando viene utilizzata all'interno di un blocco. Normalmente, le variabili e il loro contenuto utilizzato anche nei blocchi vengono copiati, quindi qualsiasi modifica apportata a queste variabili non viene visualizzata all'esterno del blocco. Quando sono contrassegnati con __block, anche le modifiche apportate all'interno del blocco sono visibili all'esterno di esso.

Per un esempio e ulteriori informazioni, vedere Il tipo di archiviazione __block negli argomenti di programmazione dei blocchi Apple .

L'esempio importante è questo:

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 questo esempio, entrambi localCountere localCharactervengono modificati prima che venga chiamato il blocco. Tuttavia, all'interno del blocco, localCharactersarebbe visibile solo la modifica , grazie alla __blockparola chiave. Viceversa, il blocco può essere modificato localCharactere questa modifica è visibile all'esterno del blocco.

@bbum copre i blocchi in modo approfondito in un post di blog e tocca il tipo di archiviazione __block.

__block è un tipo di archiviazione distinto

Proprio come statico, automatico e volatile, __block è un tipo di archiviazione. Indica al compilatore che l'archiviazione della variabile deve essere gestita in modo diverso.

...

Tuttavia, per le variabili __block, il blocco non viene mantenuto. Spetta a te conservare e rilasciare, se necessario.
...

Per quanto riguarda i casi d'uso che troverai a __blockvolte viene usato per evitare cicli di trattenimento poiché non mantiene l'argomento. Un esempio comune sta usando sé.

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

Normalmente quando non si usa __block, il blocco copia (mantiene) la variabile, quindi anche se si modifica la variabile, il blocco ha accesso al vecchio oggetto.

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

In questi 2 casi è necessario __block:

1.Se si desidera modificare la variabile all'interno del blocco e aspettarsi che sia visibile all'esterno:

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

2.Se si desidera modificare la variabile dopo aver dichiarato il blocco e si prevede che il blocco visualizzi la modifica:

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

__block è un qualificatore di archiviazione che può essere utilizzato in due modi:

1. Contrassegna che una variabile vive in un archivio condiviso tra l'ambito lessicale della variabile originale e tutti i blocchi dichiarati all'interno di tale ambito. E clang genererà una struttura per rappresentare questa variabile e utilizzerà questa struttura per riferimento (non per valore).

2. In MRC, __block può essere utilizzato per evitare di conservare le variabili oggetto catturate da un blocco. Attenzione che questo non funziona per ARC. In ARC, invece , dovresti usare __weak .

È possibile fare riferimento al documento Apple per informazioni dettagliate.

__blockè un tipo di archiviazione che viene utilizzato per rendere mutevoli le variabili dell'ambito, più francamente se si dichiara una variabile con questo specificatore, il suo riferimento verrà passato ai blocchi non una copia di sola lettura per maggiori dettagli vedi Programmazione dei blocchi in iOS

spero che questo ti possa aiutare

supponiamo di avere un codice come:

{
     int stackVariable = 1;

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

genererà un errore del tipo "variabile non assegnabile" perché le variabili di stack all'interno del blocco sono immutabili per impostazione predefinita.

l'aggiunta di __block (modificatore di memoria) prima della sua dichiarazione lo rende mutabile all'interno del blocco, ad es __block int stackVariable=1;

Dalle specifiche della lingua di blocco :

Oltre al nuovo tipo di blocco, introduciamo anche un nuovo qualificatore di archiviazione, __block, per le variabili locali. [testme: una dichiarazione __block all'interno di un blocco letterale] Il qualificatore di archiviazione __block si esclude reciprocamente con i qualificatori di archiviazione locale esistenti auto, register e static. [testme] Le variabili qualificate da __block agiscono come se fossero nella memoria allocata e questa memoria è recuperato automaticamente dopo l'ultimo utilizzo di detta variabile. Un'implementazione può scegliere un'ottimizzazione in cui l'archiviazione è inizialmente automatica e solo "spostata" nella memoria allocata (heap) su una Block_copy di un blocco di riferimento. Tali variabili possono essere mutate come lo sono le normali variabili.

Nel caso in cui una variabile __block sia un blocco, si deve presumere che la variabile __block risieda nella memoria allocata e, pertanto, si presume che faccia riferimento a un blocco che si trova anche nella memoria allocata (che è il risultato di un'operazione Block_copy). Ciononostante, non è prevista l'esecuzione di Block_copy o Block_release se un'implementazione fornisce l'archiviazione automatica iniziale per Blocks. Ciò è dovuto alla condizione di competizione intrinseca di potenzialmente diversi thread che provano ad aggiornare la variabile condivisa e alla necessità di sincronizzazione per lo smaltimento di valori più vecchi e la copia di quelli nuovi. Tale sincronizzazione va oltre lo scopo di questa specifica del linguaggio.

Per i dettagli su cosa deve compilare una variabile __block, vedere la specifica di implementazione del blocco , sezione 2.3.

Significa che la variabile a cui è un prefisso è disponibile per essere utilizzata all'interno di un blocco.