Objective-C Tür Çıkarımı

Question

Tamam, bu konuyla ilgili neden bu kadar kafamın karıştığını hızlı bir şekilde belirtebileceğinizi hissediyorum, ancak aşağıdakilerin neden bir derleyiciye OLMASI ile ilgili bir sorum var hata veya uyarı:

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

selectedObject bir NSObject ve name tip int bir @property ismi olur. Beni şaşkınlığa düşüren nedir

derleyici [ self.selectedObject valueForKey:name ] dönüşü sonucu integerValue çağrısı ile zincirine sırayla mesajı (bunu typecasting olmadan) tip NSNumber * ait olduğunu varsaymak mükemmel istekli olmasının nedeni budur.

Açıkçası, KVC NSNumber içine olmayan nesne "sayı" türlerini tamamladı fakat derleyici -valueForKey: bu özel durumda bir NSNumber * döneceğini bilmek için hiçbir yolu yoktur.

Neden "id '-integerValue' 'yanıtı boyunca bir derleyici uyarısı ile sonuçlanmıyor?"?

Answer 1

Umarım doğru anladım: Bunun nedeni id'un “özel” olmasıdır. id tipindeki nesneler istediğiniz herhangi bir mesajla gönderilebilir, derleyici tarafından kontrol yapılmaz ve her şey çalışma zamanında kontrol edilir. Veya diğer bir deyişle, id türü, Objective-C'nin “dinamik yazım” kısmıdır, diğer tüm tipler (NSObject gibi) “statik yazım” kısmıdır.

Bu şekilde, statik yazmayı kullanmak istediğiniz yeri ve dinamik yazmayı kullanmak istediğiniz yeri seçebilirsiniz. Böyle bir şey yapmak tamamen yasal:

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

Ama derleme zamanı statik tip onay kolaylık olsun çünkü genellikle, NSString s olarak “sıkı” dizeleri yazın ve yalnızca dinamik yazarak nereye başvurmak Statik olan, valueForKey durumundaki gibi olsun.