En ARC, ¿se copian automáticamente los bloques cuando se asignan a un ivar directamente?

Question

asumir el código siguiente bajo ARC,

typedef void (^MyResponseHandler) (NSError *error); 
@interface MyClass : NSObject 
{ 
    MyResponseHandler _ivarResponseHandler; 
} 

- (void)myMethod:(MyResponseHandler)responseHandler 
{ 
    _ivarResponseHandler = responseHandler; 
    ... 
} 

Pregunta: ¿Es el bloque copia automáticamente en el montón cuando se asigna a la Ivar?

My previous question implica que se copia cuando se asigna a través de @property. Pero hoy utilicé el código anterior y recibí un EXC_BAD_ACCESS que se solucionó al cambiar a

_ivarResponseHandler = [responseHandler copy].

Answer 1

Su problema y solución indican que la respuesta a su pregunta probablemente sea incorrecta. Me basé en el último párrafo del apartado 7.5 de the clang Objective-C Automatic Reference Counting documentation:

Con la excepción del hecho retiene como parte de la inicialización de una variable de parámetros __strong o leer una variable __weak, siempre que esta semántica llaman para retener un valor de bloque- tipo de puntero, tiene el efecto de Block_copy. El optimizador puede eliminar dichas copias cuando ve que el resultado se usa solo como argumento para una llamada.

Tomé “estos semántica” para significar todo el documento, pero si “estos semántica” a se refiere a solamente la sección 7.5, a continuación, ARC solamente inserta un Block_copy para un bloque que es capturado por un bloque.

Answer 2

Espero que el siguiente enlace pueda ayudarlo a comprender ¿Cómo almaceno bloques en iVars?

http://nachbaur.com/blog/using-gcd-and-blocks-effectively

Answer 3

Editar: Mi respuesta anterior era probable mal.

Algunos extractos seleccionados de entre el ARC docs dicen:

3. punteros a objetos retainable

Un puntero de objeto puede retener (o puntero retainable) es un valor de un tipo puntero de objeto puede retener (tipo retainable). Hay tres clases de tipos de puntero objeto retainable:

• punteros de bloques (formados mediante la aplicación de la intercalación (^) sigil declarador a un tipo de función)

4,2. Semántica

La asignación se produce al evaluar un operador de asignación. La semántica varía en función de la calificación:

• Para objetos __strong, el primer punto se conserva por primera vez; segundo, el lvalue está cargado de semántica primitiva; tercero, el nuevo punto se almacena en el valor l con semántica primitiva; y finalmente, el viejo pointee es lanzado. Esto no se realiza atómicamente; la sincronización externa se debe usar para hacer esto seguro frente a cargas y tiendas concurrentes.

4.4.1.Objetos

Si un objeto se declara con un tipo de propietario de objeto retenible, pero sin un calificador de propiedad explícito, su tipo se ajusta implícitamente para tener una calificación __strong.

7.5. Bloques

Con la excepción de retener como parte de la inicialización de una variable de parámetro __strong o de la lectura de una variable __weak, siempre que estas semánticas pidan conservar un valor de tipo block-pointer, tiene el efecto de un Block_copy. El optimizador puede eliminar dichas copias cuando ve que el resultado se usa solo como argumento para una llamada.

Así que creo que la respuesta es quizás, dependiendo del optimizador.