類和元類
Objective-C
是一中類基礎(chǔ)的對象系統(tǒng)粘衬。每一個(gè)類都是類的實(shí)例舍杜,對象的isa
指針指向它所屬的類歌豺。類描述了對象的數(shù)據(jù):分配的大小和實(shí)例變量類型以及布局形式拌夏。類也定義了對象的行為:選擇器去應(yīng)答實(shí)現(xiàn)的實(shí)例方法僧著。類的方法列表是一簇實(shí)例方法,對象可以應(yīng)答的選擇器障簿。當(dāng)你給一個(gè)實(shí)例發(fā)送消息盹愚,objc_msgSend()
檢索對象的類(或父類)的方法列表決定調(diào)用哪個(gè)方法。
每個(gè)類也是一個(gè)對象站故,它有一個(gè)isa
指針和其他數(shù)據(jù)皆怕,然后也可以應(yīng)答選擇器。當(dāng)你調(diào)用一個(gè)類方法世蔗,就像[NSObject alloc]
端逼,你實(shí)質(zhì)上是給類對象發(fā)送了一個(gè)消息。
因?yàn)轭愂且粋€(gè)對象污淋,它必須是某個(gè)另外的類的實(shí)例:一個(gè)元類顶滩。元類是一個(gè)類對象的描述,就像類是一個(gè)普通對象的描述寸爆。通常礁鲁,元類的方法列表就是類方法:類對象選擇器可以應(yīng)答。當(dāng)你發(fā)送一個(gè)消息給一個(gè)類(一個(gè)元類的實(shí)例)赁豆,objc_msgSend()
檢索元類(或其父類)的方法列表仅醇,決定調(diào)用哪個(gè)方法。元類為類對象描述了類方法魔种,就像是類為實(shí)例對象描述類方法析二。
那么什么是元類呢?元類一直是啥呢?不叶摄,一個(gè)元類就是一個(gè)根類的元類的實(shí)例属韧;這個(gè)根元類就是根元類實(shí)例自身。isa
鏈最后是循環(huán)的:實(shí)例指向類蛤吓、類指向元類宵喂、元類指向根元類、根元類又指向?qū)嵗旧砘岚痢_@種元類指針的行為極其罕見锅棕,因此真實(shí)世界沒有人發(fā)送消息給元類對象。
更重要的是元類的父類淌山,元類的父類鏈與類的父類鏈平行裸燎,因此類方法伴隨著實(shí)例方法被繼承。同時(shí)根元類的父類就是根類艾岂,所以每個(gè)類對象都應(yīng)答根類的實(shí)例方法顺少。最后,一個(gè)類對象是一個(gè)根類的實(shí)例王浴,和其他對象一樣脆炎。
迷糊了吧?這幅圖可能有用氓辣。記住秒裕,當(dāng)一個(gè)消息發(fā)送給任何對象,這個(gè)方法檢索的開始是對象的isa
指針钞啸,然后繼續(xù)檢索父類鏈几蜻。實(shí)例方法是被類定義的,同時(shí)類方法是通過元類加上根類(不是元類)定義的体斩。
在嚴(yán)格的計(jì)算機(jī)語言學(xué)中梭稚,一個(gè)類和元類的制定可以是任意形式,通過深層次的元類鏈和眾多來自單一元類的實(shí)例化的類絮吵。Objective-C
使用元類實(shí)際目的是:譬如類方法弧烤,但是其他時(shí)候都挺向于隱藏元類。例如[NSObject class]
跟[NSObject self]
一樣蹬敲,盡管實(shí)際的元素應(yīng)該返回NSObject->isa
指向的元類暇昂。Objective-C
語言是結(jié)合實(shí)際的折中組合;在獲取更多的元之前伴嗡,它限制獲了類模式急波。