C w/bloków: bloki na stosie będzie poza zakresem

Question

W jednym z plików nagłówkowych Apple'a dla libdispatch, queue.h następujące ostrzeżenie pojawia się:

// The declaration of a block allocates storage on the stack. 
// Therefore, this is an invalid construct: 

dispatch_block_t block; 

if (x) { 
    block = ^{ printf("true\n"); }; 
} else { 
    block = ^{ printf("false\n"); }; 
} 
block(); // unsafe!!! 

// What is happening behind the scenes: 

if (x) { 
    struct Block __tmp_1 = ...; // setup details 
    block = &__tmp_1; 
} else { 
    struct Block __tmp_2 = ...; // setup details 
    block = &__tmp_2; 
} 

// As the example demonstrates, the address of a stack variable is 
// escaping the scope in which it is allocated. That is a classic C bug. 

spróbować, jak mogę, nie mogę wymyślić przypadek testowy, który jest przykładem tego błędu. Mogę tworzyć bloki, które są tworzone na stosie, ale wydają się (wydają się) zawsze pojawiać się na unikatowych adresach na stosie, nawet gdy są poza zasięgiem względem siebie.

Wyobrażam sobie, że odpowiedź na to pytanie jest prosta, ale ucieka mi. Czy ktokolwiek może wypełnić luki w moim (ograniczonym) rozumieniu?

EDIT: Widziałem this odpowiedź, ale ja nie bardzo rozumiem jak to wystąpienie może przełożyć się moim przykładzie zamieszczonych powyżej. Czy ktoś może pokazać mi przykład przy użyciu konstrukcji if?

Answer 1

Aby do odpoczynku zamknięcie stosu wewnątrz funkcji:

• Musisz upewnić się, że zamknięcie jest rzeczywiście zamknięcia stos. Od wersji Apple Clang 2.1 zamknięcie, które nie odwołuje się do zmiennych w bieżącym kontekście (takim jak w kolejce.h), jest realizowane jako globalne zamknięcie. Jest to szczegół implementacji, który może się różnić w zależności od wersji kompilatora/kompilatora;

• Kompilator musi emitować kod, który skutecznie ponownie wykorzystuje/przepisuje obszar stosu, w którym kiedyś znajdowało się zamknięcie. W przeciwnym razie każdy obiekt znajdujący się w tej funkcji znajduje się w innym adresie w ramce stosu funkcji, co oznacza, że ​​nie wystąpi awaria wewnątrz tej funkcji. Wygląda na to, że Apple Clang 2.1 nie wykorzystuje ponownie adresów pamięci stosu. GCC 4.6 może je ponownie użyć, ale nie obsługuje zamknięć.

Od Jabłko Clang 2.1 nie ponowne adresy w ramce stosu i funkcja GCC 4.6 nie obsługuje zamknięć, z tego co mogę powiedzieć to nie jest możliwe, aby ten konkretny przykład - wewnątrz funkcji, wywołania zamknięcie stosu poza zasięgiem - awaria.

Napisałem bardziej szczegółowy tekst na ten temat na my blog.