Oszacowanie typu celu C

Question

Okay, mam wrażenie, że jesteście w stanie szybko wskazać, dlaczego jestem tak zdezorientowany, ale mam pytanie, dlaczego poniższe NIE powoduje kompilatora błąd lub ostrzeżenie:

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

selectedObject jest NSObject i name dzieje się nazwa @property typu int.

Co mnie wprawia w zakłopotanie jest dlaczego kompilator jest całkowicie skłonny przyjąć, że wynik powrót [ self.selectedObject valueForKey:name ] jest typu NSNumber * (bez rzutowania go) w celu łańcucha wiadomość z wezwaniem do integerValue.

Oczywiście KVC owija się non-object „number” typy na NSNumber, ale nie ma mowy o kompilator wiedział, że -valueForKey: zwróci NSNumber * w tym konkretnym przypadku.

Dlaczego to nie powoduje ostrzeżenia kompilatora wzdłuż linii "id może nie odpowiadać na"""?

Answer 1

Mam nadzieję, że mam to dobrze: to dlatego, że id jest "specjalny". Obiekty typu id można wysyłać dowolną wiadomość, nie ma sprawdzania wykonanego przez kompilator i wszystko zostanie sprawdzone w środowisku wykonawczym. Innymi słowy, typ id jest częścią "dynamicznego pisania" w Objective-C, podczas gdy wszystkie pozostałe typy (takie jak NSObject) są częścią "statycznego pisania".

W ten sposób możesz wybrać miejsce, w którym chcesz pisać statycznie i gdzie chcesz pisać dynamicznie. Jest to całkowicie legalne zrobić coś takiego:

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

Ale zwykle piszesz sznurki „ciasno”, jak NSString s, ponieważ można uzyskać wygodę kompilacji statycznej sprawdzenia typu, a uciekać jedynie do dynamicznego typowania gdzie statyczna przeszkoda stanąłaby na przeszkodzie, jak w sytuacji valueForKey.