iOS Runtime 運行時之一:類與對象

Objective-C語言是一門動態語言,它將很多靜態語言在編譯和鏈接時期做的事放到了運行時來處理。這種動態語言的優勢在於:我們寫代碼時更具靈活性,如我們可以把消息轉發給我們想要的對象,或者隨意交換一個方法的實現等。

這種特性意味着Objective-C不僅需要一個編譯器,還需要一個運行時系統來執行編譯的代碼。對於Objective-C來說,這個運行時系統就像一個操作系統一樣:它讓所有的工作可以正常的運行。這個運行時系統即Objc Runtime。Objc Runtime其實是一個Runtime庫,它基本上是用C和彙編寫的,這個庫使得C語言有了面向對象的能力。

Runtime庫主要做下面幾件事:

  1. 封裝:在這個庫中,對象可以用C語言中的結構體表示,而方法可以用C函數來實現,另外再加上了一些額外的特性。這些結構體和函數被runtime函數封裝後,我們就可以在程序運行時創建,檢查,修改類、對象和它們的方法了。
  2. 找出方法的最終執行代碼:當程序執行[object doSomething]時,會向消息接收者(object)發送一條消息(doSomething),runtime會根據消息接收者是否能響應該消息而做出不同的反應。這將在後面詳細介紹。

Objective-C runtime目前有兩個版本:Modern runtime和Legacy runtime。Modern Runtime 覆蓋了64位的Mac OS X Apps,還有 iOS Apps,Legacy Runtime 是早期用來給32位 Mac OS X Apps 用的,也就是可以不用管就是了。

在這一系列文章中,我們將介紹runtime的基本工作原理,以及如何利用它讓我們的程序變得更加靈活。在本文中,我們先來介紹一下類與對象,這是面向對象的基礎,我們看看在Runtime中,類是如何實現的。

類與對象基礎數據結構

Class

Objective-C類是由Class類型來表示的,它實際上是一個指向objc_class結構體的指針。它的定義如下:

查看objc/runtime.h中objc_class結構體的定義如下:

在這個定義中,下面幾個字段是我們感興趣的

  1. isa:需要注意的是在Objective-C中,所有的類自身也是一個對象,這個對象的Class裏面也有一個isa指針,它指向metaClass(元類),我們會在後面介紹它。
  2. super_class:指向該類的父類,如果該類已經是最頂層的根類(如NSObject或NSProxy),則super_class爲NULL。
  3. cache:用於緩存最近使用的方法。一個接收者對象接收到一個消息時,它會根據isa指針去查找能夠響應這個消息的對象。在實際使用中,這個對象只有一部分方法是常用的,很多方法其實很少用或者根本用不上。這種情況下,如果每次消息來時,我們都是methodLists中遍歷一遍,性能勢必很差。這時,cache就派上用場了。在我們每次調用過一個方法後,這個方法就會被緩存到cache列表中,下次調用的時候runtime就會優先去cache中查找,如果cache沒有,纔去methodLists中查找方法。這樣,對於那些經常用到的方法的調用,但提高了調用的效率。
  4. version:我們可以使用這個字段來提供類的版本信息。這對於對象的序列化非常有用,它可是讓我們識別出不同類定義版本中實例變量佈局的改變。

針對cache,我們用下面例子來說明其執行過程:

其流程是:

  1. [NSArray alloc]先被執行。因爲NSArray沒有+alloc方法,於是去父類NSObject去查找。
  2. 檢測NSObject是否響應+alloc方法,發現響應,於是檢測NSArray類,並根據其所需的內存空間大小開始分配內存空間,然後把isa指針指向NSArray類。同時,+alloc也被加進cache列表裏面。
  3. 接着,執行-init方法,如果NSArray響應該方法,則直接將其加入cache;如果不響應,則去父類查找。
  4. 在後期的操作中,如果再以[[NSArray alloc] init]這種方式來創建數組,則會直接從cache中取出相應的方法,直接調用。

objc_object與id

objc_object是表示一個類的實例的結構體,它的定義如下(objc/objc.h):

可以看到,這個結構體只有一個字體,即指向其類的isa指針。這樣,當我們向一個Objective-C對象發送消息時,運行時庫會根據實例對象的isa指針找到這個實例對象所屬的類。Runtime庫會在類的方法列表及父類的方法列表中去尋找與消息對應的selector指向的方法。找到後即運行這個方法。

當創建一個特定類的實例對象時,分配的內存包含一個objc_object數據結構,然後是類的實例變量的數據。NSObject類的alloc和allocWithZone:方法使用函數class_createInstance來創建objc_object數據結構。

另外還有我們常見的id,它是一個objc_object結構類型的指針。它的存在可以讓我們實現類似於C++中泛型的一些操作。該類型的對象可以轉換爲任何一種對象,有點類似於C語言中void *指針類型的作用。

objc_cache

上面提到了objc_class結構體中的cache字段,它用於緩存調用過的方法。這個字段是一個指向objc_cache結構體的指針,其定義如下:

該結構體的字段描述如下:

  1. mask:一個整數,指定分配的緩存bucket的總數。在方法查找過程中,Objective-C runtime使用這個字段來確定開始線性查找數組的索引位置。指向方法selector的指針與該字段做一個AND位操作(index = (mask & selector))。這可以作爲一個簡單的hash散列算法。
  2. occupied:一個整數,指定實際佔用的緩存bucket的總數。
  3. buckets:指向Method數據結構指針的數組。這個數組可能包含不超過mask+1個元素。需要注意的是,指針可能是NULL,表示這個緩存bucket沒有被佔用,另外被佔用的bucket可能是不連續的。這個數組可能會隨着時間而增長。

元類(Meta Class)

在上面我們提到,所有的類自身也是一個對象,我們可以向這個對象發送消息(即調用類方法)。如:

這個例子中,+array消息發送給了NSArray類,而這個NSArray也是一個對象。既然是對象,那麼它也是一個objc_object指針,它包含一個指向其類的一個isa指針。那麼這些就有一個問題了,這個isa指針指向什麼呢?爲了調用+array方法,這個類的isa指針必須指向一個包含這些類方法的一個objc_class結構體。這就引出了meta-class的概念

當我們向一個對象發送消息時,runtime會在這個對象所屬的這個類的方法列表中查找方法;而向一個類發送消息時,會在這個類的meta-class的方法列表中查找。

meta-class之所以重要,是因爲它存儲着一個類的所有類方法。每個類都會有一個單獨的meta-class,因爲每個類的類方法基本不可能完全相同。

再深入一下,meta-class也是一個類,也可以向它發送一個消息,那麼它的isa又是指向什麼呢?爲了不讓這種結構無限延伸下去,Objective-C的設計者讓所有的meta-class的isa指向基類的meta-class,以此作爲它們的所屬類。即,任何NSObject繼承體系下的meta-class都使用NSObject的meta-class作爲自己的所屬類,而基類的meta-class的isa指針是指向它自己。這樣就形成了一個完美的閉環。

通過上面的描述,再加上對objc_class結構體中super_class指針的分析,我們就可以描繪出類及相應meta-class類的一個繼承體系了,如下圖所示:

1413628797629491

 

對於NSObject繼承體系來說,其實例方法對體系中的所有實例、類和meta-class都是有效的;而類方法對於體系內的所有類和meta-class都是有效的。

講了這麼多,我們還是來寫個例子吧:

這個例子是在運行時創建了一個NSError的子類TestClass,然後爲這個子類添加一個方法testMetaClass,這個方法的實現是TestMetaClass函數。

運行後,打印結果是

我們在for循環中,我們通過objc_getClass來獲取對象的isa,並將其打印出來,依此一直回溯到NSObject的meta-class。分析打印結果,可以看到最後指針指向的地址是0x0,即NSObject的meta-class的類地址。

這裏需要注意的是:我們在一個類對象調用class方法是無法獲取meta-class,它只是返回類而已。

類與對象操作函數

runtime提供了大量的函數來操作類與對象。類的操作方法大部分是以class爲前綴的,而對象的操作方法大部分是以objc或object_爲前綴。下面我們將根據這些方法的用途來分類討論這些方法的使用。

類相關操作函數

我們可以回過頭去看看objc_class的定義,runtime提供的操作類的方法主要就是針對這個結構體中的各個字段的。下面我們分別介紹這一些的函數。並在最後以實例來演示這些函數的具體用法。

類名(name)

類名操作的函數主要有:

  • 對於class_getName函數,如果傳入的cls爲Nil,則返回一個字字符串。

父類(super_class)和元類(meta-class)

父類和元類操作的函數主要有:

  • class_getSuperclass函數,當cls爲Nil或者cls爲根類時,返回Nil。不過通常我們可以使用NSObject類的superclass方法來達到同樣的目的。
  • class_isMetaClass函數,如果是cls是元類,則返回YES;如果否或者傳入的cls爲Nil,則返回NO。

實例變量大小(instance_size)

實例變量大小操作的函數有:

成員變量(ivars)及屬性

在objc_class中,所有的成員變量、屬性的信息是放在鏈表ivars中的。ivars是一個數組,數組中每個元素是指向Ivar(變量信息)的指針。runtime提供了豐富的函數來操作這一字段。大體上可以分爲以下幾類:

1.成員變量操作函數,主要包含以下函數:

  • class_getInstanceVariable函數,它返回一個指向包含name指定的成員變量信息的objc_ivar結構體的指針(Ivar)。
  • class_getClassVariable函數,目前沒有找到關於Objective-C中類變量的信息,一般認爲Objective-C不支持類變量。注意,返回的列表不包含父類的成員變量和屬性。
  • Objective-C不支持往已存在的類中添加實例變量,因此不管是系統庫提供的提供的類,還是我們自定義的類,都無法動態添加成員變量。但如果我們通過運行時來創建一個類的話,又應該如何給它添加成員變量呢?這時我們就可以使用class_addIvar函數了。不過需要注意的是,這個方法只能在objc_allocateClassPair函數與objc_registerClassPair之間調用。另外,這個類也不能是元類。成員變量的按字節最小對齊量是1<<alignment。這取決於ivar的類型和機器的架構。如果變量的類型是指針類型,則傳遞log2(sizeof(pointer_type))。
  • class_copyIvarList函數,它返回一個指向成員變量信息的數組,數組中每個元素是指向該成員變量信息的objc_ivar結構體的指針。這個數組不包含在父類中聲明的變量。outCount指針返回數組的大小。需要注意的是,我們必須使用free()來釋放這個數組。

2.屬性操作函數,主要包含以下函數:

這一種方法也是針對ivars來操作,不過只操作那些是屬性的值。我們在後面介紹屬性時會再遇到這些函數。

3.在MAC OS X系統中,我們可以使用垃圾回收器。runtime提供了幾個函數來確定一個對象的內存區域是否可以被垃圾回收器掃描,以處理strong/weak引用。這幾個函數定義如下:

但通常情況下,我們不需要去主動調用這些方法;在調用objc_registerClassPair時,會生成合理的佈局。在此不詳細介紹這些函數。

方法(methodLists)

方法操作主要有以下函數:

  • class_addMethod的實現會覆蓋父類的方法實現,但不會取代本類中已存在的實現,如果本類中包含一個同名的實現,則函數會返回NO。如果要修改已存在實現,可以使用method_setImplementation。一個Objective-C方法是一個簡單的C函數,它至少包含兩個參數—self和_cmd。所以,我們的實現函數(IMP參數指向的函數)至少需要兩個參數,如下所示:

與成員變量不同的是,我們可以爲類動態添加方法,不管這個類是否已存在。

另外,參數types是一個描述傳遞給方法的參數類型的字符數組,這就涉及到類型編碼,我們將在後面介紹。

  • class_getInstanceMethod、class_getClassMethod函數,與class_copyMethodList不同的是,這兩個函數都會去搜索父類的實現。
  • class_copyMethodList函數,返回包含所有實例方法的數組,如果需要獲取類方法,則可以使用class_copyMethodList(object_getClass(cls), &count)(一個類的實例方法是定義在元類裏面)。該列表不包含父類實現的方法。outCount參數返回方法的個數。在獲取到列表後,我們需要使用free()方法來釋放它。
  • class_replaceMethod函數,該函數的行爲可以分爲兩種:如果類中不存在name指定的方法,則類似於class_addMethod函數一樣會添加方法;如果類中已存在name指定的方法,則類似於method_setImplementation一樣替代原方法的實現。
  • class_getMethodImplementation函數,該函數在向類實例發送消息時會被調用,並返回一個指向方法實現函數的指針。這個函數會比method_getImplementation(class_getInstanceMethod(cls, name))更快。返回的函數指針可能是一個指向runtime內部的函數,而不一定是方法的實際實現。例如,如果類實例無法響應selector,則返回的函數指針將是運行時消息轉發機制的一部分。
  • class_respondsToSelector函數,我們通常使用NSObject類的respondsToSelector:或instancesRespondToSelector:方法來達到相同目的。

協議(objc_protocol_list)

協議相關的操作包含以下函數:

  • class_conformsToProtocol函數可以使用NSObject類的conformsToProtocol:方法來替代。
  • class_copyProtocolList函數返回的是一個數組,在使用後我們需要使用free()手動釋放。

版本(version)

版本相關的操作包含以下函數:

其它

runtime還提供了兩個函數來供CoreFoundation的tool-free bridging使用,即:

通常我們不直接使用這兩個函數。

實例(Example)

上面列舉了大量類操作的函數,下面我們寫個實例,來看看這些函數的實例效果:

這段程序的輸出如下:

動態創建類和對象

runtime的強大之處在於它能在運行時創建類和對象。

動態創建類

動態創建類涉及到以下幾個函數:

  • objc_allocateClassPair函數:如果我們要創建一個根類,則superclass指定爲Nil。extraBytes通常指定爲0,該參數是分配給類和元類對象尾部的索引ivars的字節數。

爲了創建一個新類,我們需要調用objc_allocateClassPair。然後使用諸如class_addMethod,class_addIvar等函數來爲新創建的類添加方法、實例變量和屬性等。完成這些後,我們需要調用objc_registerClassPair函數來註冊類,之後這個新類就可以在程序中使用了。

實例方法和實例變量應該添加到類自身上,而類方法應該添加到類的元類上。

  • objc_disposeClassPair函數用於銷燬一個類,不過需要注意的是,如果程序運行中還存在類或其子類的實例,則不能調用針對類調用該方法。

在前面介紹元類時,我們已經有接觸到這幾個函數了,在此我們再舉個實例來看看這幾個函數的使用。

程序的輸出如下:

動態創建對象

動態創建對象的函數如下:

  • class_createInstance函數:創建實例時,會在默認的內存區域爲類分配內存。extraBytes參數表示分配的額外字節數。這些額外的字節可用於存儲在類定義中所定義的實例變量之外的實例變量。該函數在ARC環境下無法使用。

調用class_createInstance的效果與+alloc方法類似。不過在使用class_createInstance時,我們需要確切的知道我們要用它來做什麼。在下面的例子中,我們用NSString來測試一下該函數的實際效果:

輸出結果是:

可以看到,使用class_createInstance函數獲取的是NSString實例,而不是類簇中的默認佔位符類__NSCFConstantString。

  • objc_constructInstance函數:在指定的位置(bytes)創建類實例。
  • objc_destructInstance函數:銷燬一個類的實例,但不會釋放並移除任何與其相關的引用。

實例操作函數

實例操作函數主要是針對我們創建的實例對象的一系列操作函數,我們可以使用這組函數來從實例對象中獲取我們想要的一些信息,如實例對象中變量的值。這組函數可以分爲三小類:

1.針對整個對象進行操作的函數,這類函數包含

有這樣一種場景,假設我們有類A和類B,且類B是類A的子類。類B通過添加一些額外的屬性來擴展類A。現在我們創建了一個A類的實例對象,並希望在運行時將這個對象轉換爲B類的實例對象,這樣可以添加數據到B類的屬性中。這種情況下,我們沒有辦法直接轉換,因爲B類的實例會比A類的實例更大,沒有足夠的空間來放置對象。此時,我們就要以使用以上幾個函數來處理這種情況,如下代碼所示:

2.針對對象實例變量進行操作的函數,這類函數包含:

如果實例變量的Ivar已經知道,那麼調用object_getIvar會比object_getInstanceVariable函數快,相同情況下,object_setIvar也比object_setInstanceVariable快。

3.針對對象的類進行操作的函數,這類函數包含:

獲取類定義

Objective-C動態運行庫會自動註冊我們代碼中定義的所有的類。我們也可以在運行時創建類定義並使用objc_addClass函數來註冊它們。runtime提供了一系列函數來獲取類定義相關的信息,這些函數主要包括:

  •  objc_getClassList函數:獲取已註冊的類定義的列表。我們不能假設從該函數中獲取的類對象是繼承自NSObject體系的,所以在這些類上調用方法是,都應該先檢測一下這個方法是否在這個類中實現。

下面代碼演示了該函數的用法:

輸出結果如下:

獲取類定義的方法有三個:objc_lookUpClass, objc_getClass和objc_getRequiredClass。如果類在運行時未註冊,則objc_lookUpClass會返回nil,而objc_getClass會調用類處理回調,並再次確認類是否註冊,如果確認未註冊,再返回nil。而objc_getRequiredClass函數的操作與objc_getClass相同,只不過如果沒有找到類,則會殺死進程。

  • objc_getMetaClass函數:如果指定的類沒有註冊,則該函數會調用類處理回調,並再次確認類是否註冊,如果確認未註冊,再返回nil。不過,每個類定義都必須有一個有效的元類定義,所以這個函數總是會返回一個元類定義,不管它是否有效。

小結

在這一章中我們介紹了Runtime運行時中與類和對象相關的數據結構,通過這些數據函數,我們可以管窺Objective-C底層面向對象實現的一些信息。另外,通過豐富的操作函數,可以靈活地對這些數據進行操作。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章