Co oznacza słowo kluczowe „__block”?

Co dokładnie oznacza __blocksłowo kluczowe w celu C? Wiem, że pozwala modyfikować zmienne w blokach, ale chciałbym wiedzieć ...

1. Co dokładnie mówi kompilatorowi?
2. Czy robi coś jeszcze?
3. Jeśli to wszystko, co robi, to dlaczego jest potrzebne?
4. Czy jest to gdzieś w dokumentacji? (Nie mogę tego znaleźć).

Informuje kompilator, że każda zmienna przez niego oznaczona musi być traktowana w specjalny sposób, gdy jest używana wewnątrz bloku. Zwykle zmienne i ich zawartość, które są również używane w blokach, są kopiowane, dlatego wszelkie modyfikacje tych zmiennych nie są wyświetlane poza blokiem. Po ich oznaczeniu __blockmodyfikacje dokonane wewnątrz bloku są również widoczne poza nim.

Aby uzyskać przykład i więcej informacji, zobacz Typ pamięci __block w tematach programowania bloków Apple .

Ważnym przykładem jest ten:

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

W tym przykładzie, jak localCounteri localCharactersą modyfikowane przed blokiem jest tzw. Jednak wewnątrz bloku localCharacterwidoczna będzie tylko modyfikacja , dzięki __blocksłowu kluczowemu. I odwrotnie, blok może modyfikować localCharacteri ta modyfikacja jest widoczna na zewnątrz bloku.

@bbum obejmuje bloki dogłębnie w poście na blogu i dotyczy typu pamięci __block.

__block to odrębny typ pamięci

Podobnie jak statyczny, automatyczny i niestabilny, __block jest rodzajem pamięci. Mówi kompilatorowi, że pamięcią zmiennych należy zarządzać inaczej.

...

Jednak w przypadku zmiennych __block blok nie jest zachowywany. Zachowanie i zwolnienie zależy od ciebie.
...

Jeśli chodzi o przypadki użycia, można __blockczasem znaleźć, aby uniknąć zachowania cykli, ponieważ nie zachowuje argumentu. Typowym przykładem jest użycie self.

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

Zwykle, gdy nie używasz __block, blok skopiuje (zachowa) zmienną, więc nawet jeśli zmodyfikujesz zmienną, blok ma dostęp do starego obiektu.

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

W tych 2 przypadkach potrzebujesz __block:

1. Jeśli chcesz zmodyfikować zmienną wewnątrz bloku i oczekiwać, że będzie widoczna na zewnątrz:

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

2. Jeśli chcesz zmodyfikować zmienną po zadeklarowaniu bloku i oczekujesz, że blok zobaczy zmianę:

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

__block to kwalifikator pamięci, z którego można korzystać na dwa sposoby:

1. Oznacza, że ​​zmienna żyje w pamięci, która jest współużytkowana przez zakres leksykalny oryginalnej zmiennej i wszelkie bloki zadeklarowane w tym zakresie. I clang wygeneruje strukturę do reprezentowania tej zmiennej i użyje tej struktury przez odniesienie (a nie według wartości).

2. W MRC można użyć __block, aby uniknąć zachowania zmiennych obiektowych, które przechwytuje blok. Uważaj, aby to nie zadziałało w przypadku ARC. W ARC powinieneś użyć __weak .

Szczegółowe informacje można znaleźć w dokumentacji Apple .

__blockjest typem pamięci służącym do modyfikowania zmiennych zakresu, a szczerze mówiąc, jeśli zadeklarujesz zmienną za pomocą tego specyfikatora, to odniesienie zostanie przekazane do bloków, a nie tylko do odczytu, aby uzyskać więcej informacji, zobacz Programowanie bloków w iOS

mam nadzieję, że ci to pomoże

załóżmy, że mamy kod taki jak:

{
     int stackVariable = 1;

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

wyświetli błąd w rodzaju „zmiennej nie można przypisać”, ponieważ zmienna stosu wewnątrz bloku jest domyślnie niezmienna.

dodanie __block (modyfikator pamięci) przed deklaracją powoduje, że można go modyfikować wewnątrz bloku tj __block int stackVariable=1;

Ze specyfikacji języka blokowego :

Oprócz nowego typu bloku wprowadzamy także nowy kwalifikator pamięci, __block, dla zmiennych lokalnych. [testme: deklaracja __block w dosłownym bloku] Kwalifikator pamięci __block wyklucza się wzajemnie z istniejącymi automatycznymi, rejestracyjnymi i statycznymi kwalifikatorami pamięci lokalnej. [testme] Zmienne kwalifikowane przez __block działają tak, jakby były w przydzielonej pamięci, a ta pamięć jest automatycznie odzyskuje się po ostatnim użyciu tej zmiennej. Implementacja może wybrać optymalizację, w której pamięć jest początkowo automatyczna i tylko „przenoszona” do przydzielonej pamięci (stosu) po Block_copy bloku odniesienia. Takie zmienne mogą być mutowane tak jak zmienne normalne.

W przypadku, gdy zmienna __block jest blokiem, należy założyć, że zmienna __block znajduje się w przydzielonej pamięci i jako taka przyjmuje się, że odwołuje się do bloku, który również znajduje się w przydzielonej pamięci (że jest wynikiem operacji Block_copy). Mimo to nie ma możliwości wykonywania Block_copy lub Block_release, jeśli implementacja zapewnia początkowe automatyczne przechowywanie bloków. Wynika to z nieodłącznego warunku wyścigu potencjalnie kilku wątków próbujących zaktualizować zmienną współdzieloną i potrzeby synchronizacji wokół pozbywania się starszych wartości i kopiowania nowych. Taka synchronizacja wykracza poza zakres tej specyfikacji języka.

Szczegółowe informacje na temat tego, do czego powinna się kompilować zmienna __block, patrz Specyfikacja implementacji bloku , sekcja 2.3.

Oznacza to, że zmienna, której jest prefiksem, jest dostępna do użycia w bloku.