Objective-C Type Inference

Question

De acuerdo, tengo la sensación de que ustedes podrán señalar rápidamente por qué estoy tan confundido acerca de esto, pero tengo una pregunta sobre por qué lo siguiente NO da como resultado un compilador error o advertencia:

NSString * intValue = [ NSString stringWithFormat:@"int = %i", [ [ self.selectedObject valueForKey:name ] integerValue ] ]; 

selectedObject es un NSObject y name pasa a ser el nombre de un tipo de @propertyint.

Lo que me deja perplejo es por eso que el compilador está perfectamente dispuesto a asumir que el resultado retorno de [ self.selectedObject valueForKey:name ] es de tipo NSNumber * (sin typecasting ella) con el fin de la cadena del mensaje con una llamada a integerValue.

Obviamente, KVC envuelve no-objeto tipos "número" en NSNumber, pero no hay manera para que el compilador sepa que -valueForKey: devolverá un NSNumber * en este caso particular.

¿Por qué esto no da como resultado una advertencia de compilación en la línea de "id puede que no responda a '-integerValue'"?

Answer 1

Espero haberlo hecho bien: Esto es porque id es "especial". A los objetos del tipo id se les puede enviar cualquier mensaje que desee, el compilador no realiza ninguna comprobación y todo se comprobará en el tiempo de ejecución. O, en otras palabras, el tipo id es la parte de "tipado dinámico" de Objective-C, mientras que todos los otros tipos (como NSObject) son la parte "tipado estático".

De esta forma puede elegir dónde desea usar el tipado estático y dónde desea usar el tipado dinámico. Es perfectamente legal para hacer algo como esto:

id str1 = @"Hello"; 
id str2 = [str1 stringByAppendingString:@", world"]; 

Pero por lo general se escriben las cadenas “fuerza” como NSString s, debido a que obtiene la conveniencia de verificación estática de tipos en tiempo de compilación, y sólo recurrir a tipado dinámico, donde el estático se pondría en el camino, como en la situación valueForKey.