Objective-C Type Inference

Question

Va bene, ho la sensazione che si guys'll in grado di rilevare rapidamente perché sono così confuso su questo, ma ho una domanda sul perché di seguito non si traduca in un compilatore errore o avviso:

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

selectedObject è un NSObject e name sembra essere il nome di un @property di tipo int.

Quello che mi lascia perplesso è il motivo per il compilatore è perfettamente disposto a ritenere che il risultato ritorno di [ self.selectedObject valueForKey:name ] è di tipo NSNumber * (senza typecasting) al fine di catena il messaggio con una chiamata a integerValue.

Ovviamente, KVC avvolge non oggetto di tipo "numero" in NSNumber, ma non c'è modo per il compilatore a sapere che -valueForKey: restituirà una NSNumber * in questo caso particolare.

Perché questo non risulta in un avviso del compilatore lungo le linee di "id potrebbe non rispondere a '-integerValue'"?

Answer 1

spero ho capito bene: Questo perché id è “speciale”. Gli oggetti del tipo id possono essere inviati a qualsiasi messaggio, non ci sono controlli effettuati dal compilatore e tutto verrà controllato in runtime. O, in altre parole, il tipo di id è la parte “tipizzazione dinamica” di Objective-C, mentre tutti gli altri tipi (come NSObject) sono la parte “tipizzazione statica”.

In questo modo è possibile scegliere dove si desidera utilizzare tipizzazione statica, e dove si desidera utilizzare la tipizzazione dinamica. E 'perfettamente legale per fare qualcosa di simile:

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

Ma di solito si digita la stringa “strettamente” come NSString s, perché si ottiene la comodità di fase di compilazione controllo di tipo statico, e ricorrere solo per la tipizzazione dinamica in cui quello statico si metterebbe in mezzo, come nella situazione valueForKey.