C w/Blocks: bloques basado en pila de salir del alcance

Question

En uno de los archivos de cabecera de Apple para libdispatch, queue.h, aparece la siguiente advertencia:

// 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. 

mas que trate, no puede llegar a una caso de prueba que ejemplifica este error. Puedo crear bloques que se crean instancias en la pila, pero (parece) siempre aparecen en direcciones únicas en la pila, incluso cuando están fuera del alcance con respecto a la otra.

Imagino que la respuesta a esto es simple, pero se me escapa. ¿Alguien puede llenar los vacíos en mi (limitado) entendimiento?

EDIT: He visto this respuesta, pero no entiendo muy bien cómo esa instancia se puede traducir a mi ejemplo publicado anteriormente. ¿Alguien puede mostrarme un ejemplo usando construcciones if?

Answer 1

Con el fin de chocar un cierre pila dentro de una función:

• usted necesita para asegurarse de que el cierre es de hecho un cierre de pila. A partir de Apple Clang 2.1, un cierre que no hace referencia a las variables en su contexto actual (como el de queue.h) se realiza como un cierre global. Este es un detalle de implementación que puede variar entre diferentes versiones de compiladores/compiladores;

• El compilador debe emitir un código que efectivamente reutilice/reescriba el área de la pila donde vivió el cierre. De lo contrario, cada objeto dentro de esa función vive en una dirección diferente en el marco de la pila de funciones, lo que significa que no se producirá un bloqueo dentro de esa función. Parece que Apple Clang 2.1 no reutiliza las direcciones de memoria de la pila. GCC 4.6 puede reutilizarlos, pero no admite cierres.

Desde que Apple Clang 2.1 no reutiliza las direcciones en un marco de pila función y GCC 4.6 no es compatible con los cierres, por lo que puedo decir que no es posible hacer este ejemplo en particular - dentro de una función, invocar una cierre de pila fuera del alcance: bloqueo.

Escribí un texto más detallado acerca de esto en my blog.