¿Qué significa la palabra clave "__block"?

¿Qué significa exactamente la __blockpalabra clave en Objective-C? Sé que te permite modificar variables dentro de bloques, pero me gustaría saber ...

1. ¿Qué le dice exactamente al compilador?
2. ¿Hace algo más?
3. Si eso es todo lo que hace, ¿por qué es necesario en primer lugar?
4. ¿Está en los documentos en alguna parte? (No puedo encontrarlo).

Le dice al compilador que cualquier variable marcada por él debe tratarse de una manera especial cuando se usa dentro de un bloque. Normalmente, las variables y sus contenidos que también se usan en bloques se copian, por lo que cualquier modificación realizada a estas variables no se muestra fuera del bloque. Cuando están marcados con __block, las modificaciones realizadas dentro del bloque también son visibles fuera de él.

Para obtener un ejemplo y más información, consulte El tipo de almacenamiento __block en los Temas de programación de bloques de Apple .

El ejemplo importante es este:

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

En este ejemplo, ambos localCountery localCharacterse modifican antes de que se llame al bloque. Sin embargo, dentro del bloque, solo la modificación a localCharactersería visible, gracias a la __blockpalabra clave. Por el contrario, el bloque puede modificarse localCharactery esta modificación es visible fuera del bloque.

@bbum cubre bloques en profundidad en una publicación de blog y toca el tipo de almacenamiento __block.

__block es un tipo de almacenamiento distinto

Al igual que estático, automático y volátil, __block es un tipo de almacenamiento. Le dice al compilador que el almacenamiento de la variable se administrará de manera diferente.

...

Sin embargo, para las variables __block, el bloque no se retiene. Depende de usted retener y liberar, según sea necesario.
...

En cuanto a los casos de uso que encontrará, a __blockveces se usa para evitar retener ciclos ya que no retiene el argumento. Un ejemplo común es el uso de uno mismo.

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

Normalmente, cuando no usa __block, el bloque copiará (retendrá) la variable, por lo que incluso si modifica la variable, el bloque tiene acceso al objeto anterior.

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

En estos 2 casos necesitas __block:

1.Si desea modificar la variable dentro del bloque y espera que sea visible afuera:

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

2.Si desea modificar la variable después de haber declarado el bloque y espera que el bloque vea el cambio:

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

__block es un calificador de almacenamiento que se puede usar de dos maneras:

1. Marca que una variable vive en un almacenamiento que se comparte entre el alcance léxico de la variable original y los bloques declarados dentro de ese alcance. Y clang generará una estructura para representar esta variable, y usará esta estructura por referencia (no por valor).

2. En MRC, __block puede usarse para evitar retener variables de objeto que un bloque captura. Tenga cuidado de que esto no funcione para ARC. En ARC, debes usar __weak en su lugar.

Puede consultar apple doc para obtener información detallada.

__blockes un tipo de almacenamiento que se utiliza para hacer que las variables de ámbito sean mutables, más francamente si declara una variable con este especificador, su referencia se pasará a los bloques, no a una copia de solo lectura. Para obtener más detalles, consulte la Programación de bloques en iOS

Espero que esto te ayudará

supongamos que tenemos un código como:

{
     int stackVariable = 1;

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

dará un error como "la variable no es asignable" porque las variables de la pila dentro del bloque son por defecto inmutables.

agregar __block (modificador de almacenamiento) antes de la declaración lo hace mutable dentro del bloque, es decir __block int stackVariable=1;

De la especificación del idioma del bloque :

Además del nuevo tipo de bloque, también presentamos un nuevo calificador de almacenamiento, __block, para variables locales. [testme: una declaración de __block dentro de un literal de bloque] El calificador de almacenamiento __block es mutuamente exclusivo para los calificadores de almacenamiento local existentes auto, register y static. [testme] Las variables calificadas por __block actúan como si estuvieran en almacenamiento asignado y este almacenamiento es recuperado automáticamente después del último uso de dicha variable. Una implementación puede elegir una optimización en la que el almacenamiento es inicialmente automático y solo se "mueve" al almacenamiento asignado (montón) después de un Block_copy de un Bloque de referencia. Dichas variables pueden mutarse como lo son las variables normales.

En el caso de que una variable __block sea un Block, se debe suponer que la variable __block reside en el almacenamiento asignado y, como tal, se supone que hace referencia a un Block que también está en el almacenamiento asignado (que es el resultado de una operación Block_copy). A pesar de esto, no existe ninguna disposición para hacer una Block_copy o una Block_release si una implementación proporciona almacenamiento automático inicial para Blocks. Esto se debe a la condición de carrera inherente de potencialmente varios subprocesos que intentan actualizar la variable compartida y la necesidad de sincronización para deshacerse de los valores más antiguos y copiar los nuevos. Dicha sincronización está más allá del alcance de esta especificación de lenguaje.

Para obtener detalles sobre lo que debe compilar una variable __block, consulte la Especificación de implementación de bloque , sección 2.3.

Significa que la variable a la que es un prefijo está disponible para usarse dentro de un bloque.