OC動(dòng)態(tài)綁定很重要的一點(diǎn)在于 OC中有一個(gè)非常重要的類(lèi)型叫 id, id是一個(gè)指針, 指向類(lèi)未知的對(duì)象, 指向未知類(lèi)型或未指定的類(lèi)型. 實(shí)際上OC中的所有指針都是id, 當(dāng)你將消息發(fā)給一個(gè)對(duì)象時(shí), 具體執(zhí)行什么代碼直到運(yùn)行時(shí)才會(huì)決定. 這被叫做動(dòng)態(tài)綁定.

這個(gè)特性和其他語(yǔ)言是不一樣的 , 當(dāng)然你會(huì)想到, 如果只在運(yùn)行時(shí)檢測(cè), 那么是否會(huì)有安全問(wèn)題?

其實(shí)不用擔(dān)心, 因?yàn)榇蟛糠謱?xiě)程序的時(shí)候都是用靜態(tài)類(lèi)型. 少部分時(shí)要進(jìn)行些保護(hù)性措施, 這個(gè)后面會(huì)說(shuō).

比方使用靜態(tài)類(lèi)型化:

NSString *s = @“x”; 編譯器編譯的時(shí)候就會(huì)檢查,如果指向非NSString會(huì)給出警告(這也提醒我們要好好對(duì)待編譯器的警告)

id obj = s; id obj是指向任何對(duì)象的指針,所以不會(huì)產(chǎn)生警告

這種情況在日常寫(xiě)代碼中也會(huì)隨處遇到, 比如NSArray的方法firstObject的類(lèi)型就是id:

@property(nonatomic, readonly) id firstObject

所以這種時(shí)候, 應(yīng)該加些保護(hù)措施. 否則很容易crash !

另外Stanford slide上的一個(gè)Demo:

@interface Vehicle : NSObject

-(void)move;

@end

@interface Ship : Vehicle

-(void)shoot;

@end

Ship* s = [[Ship alloc] init];

Vehicle* v = s;

[v shoot];

id obj = v;

[obj shoot];

其中:

[v shoot] //編譯錯(cuò)誤, 這個(gè)在Slide中只是個(gè)警告, 估計(jì)是編譯器版本問(wèn)題

[obj shoot] //編譯、運(yùn)行都正常

這個(gè)Demo其實(shí)很好的詮釋了id這個(gè)類(lèi)型的特殊性 .

Ship s = [Ship alloc] init];創(chuàng)建了s,Vehicle v = s; s仍然是Ship類(lèi)型，同時(shí)v指向s，v雖然是Vehicle指針，但實(shí)際在內(nèi)存中仍然是Ship類(lèi)型

id obj = v; obj指向v，v指向s，所以obj實(shí)際是指向s的，所以obj是能響應(yīng)shoot函數(shù)的

v 的指針指向Ship那塊內(nèi)存，[v shoot]由于受到類(lèi)型的保護(hù) 所以報(bào)錯(cuò)， obj由于是id類(lèi)型所以一切正常.

可以輸出剛才三者指向的地址, 都是指向s所alloc的內(nèi)存區(qū)域的.

指針指向

繼續(xù)看下去:

NSString* hello = @"hello";

Ship* helloShip = (Ship *)hello;

[helloShip shoot];

更通俗點(diǎn)解釋是: 告訴編譯器NSString就是Ship(只是把編譯器糊弄了) 所以編譯正常, 第三行在運(yùn)行時(shí),由于那個(gè)地址沒(méi)有還是為@”hello”, 當(dāng)真正去shoot時(shí), 它會(huì)分派那個(gè)shoot, 結(jié)果發(fā)送到的地方是個(gè)字符串. 導(dǎo)致crash.

同理, 下面這段代碼可以再體會(huì)下:

NSString* hello = @"hello";

[hello shoot];

[(id)hello shoot];

更多信息請(qǐng)查看IT技術(shù)專(zhuān)欄