Runtime 知識詳解

Runtime的特性主要是消息(方法)傳遞,如果消息(方法)在對象中找不到,就進行轉發,具體怎么實現的呢。我們從下面幾個方面探尋Runtime的實現機制。

  • Runtime介紹
  • Runtime消息傳遞
  • Runtime消息轉發

Runtime介紹

Objective-C 擴展了 C 語言,并加入了面向對象特性和 Smalltalk 式的消息傳遞機制。而這個擴展的核心是一個用 C 和 編譯語言 寫的 Runtime 庫。它是 Objective-C 面向對象和動態機制的基石。

Objective-C 是一個動態語言,這意味著它不僅需要一個編譯器,也需要一個運行時系統來動態得到創建的類和對象、進行消息傳遞和轉發。理解 Objective-C 的 Runtime 機制可以幫我們更好的了解這個語言,適當的時候還能對語言進行擴展,從系統層面解決項目中的一些設計或技術問題。了解 Runtime ,要先了解它的核心 - 消息傳遞 (Messaging)。

Runtime其實有兩個版本: “modern” 和 “legacy”。我們現在用的 Objective-C 2.0 采用的是現行 (Modern) 版的 Runtime 系統,只能運行在 iOSmacOS 10.5 之后的 64 位程序中。而 macOS 較老的32位程序仍采用 Objective-C 1 中的(早期)Legacy 版本的 Runtime 系統。這兩個版本最大的區別在于當你更改一個類的實例變量的布局時,在早期版本中你需要重新編譯它的子類,而現行版就不需要。

Runtime 基本是用 C匯編寫的,可見蘋果為了動態系統的高效而作出的努力。你可以在這里下到蘋果維護的開源代碼。蘋果和GNU各自維護一個開源的 runtime 版本,這兩個版本之間都在努力的保持一致。

平時的業務中主要是使用官方Api,解決我們框架性的需求。

高級編程語言想要成為可執行文件需要先編譯為匯編語言再匯編為機器語言,機器語言也是計算機能夠識別的唯一語言,但是OC并不能直接編譯為匯編語言,而是要先轉寫為純C語言再進行編譯和匯編的操作,從OCC語言的過渡就是由runtime來實現的。然而我們使用OC進行面向對象開發,而C語言更多的是面向過程開發,這就需要將面向對象的類轉變為面向過程的結構體。

Runtime消息傳遞

一個對象的方法像這樣[obj foo],編譯器轉成消息發送objc_msgSend(obj, foo)Runtime時執行的流程是這樣的:

  • 首先,通過objisa指針找到它的 class ;
  • classmethod listfoo ;
  • 如果 class 中沒到 foo,繼續往它的 superclass 中找 ;
  • 一旦找到 foo 這個函數,就去執行它的實現IMP

但這種實現有個問題,效率低。但一個class 往往只有 20% 的函數會被經常調用,可能占總調用次數的 80% 。每個消息都需要遍歷一次objc_method_list 并不合理。如果把經常被調用的函數緩存下來,那可以大大提高函數查詢的效率。這也就是objc_class 中另一個重要成員objc_cache 做的事情 - 在找到foo 之后,把foomethod_name 作為keymethod_imp作為value 給緩存起來。當再次收到foo 消息的時候,可以直接在cache 里找到,避免去遍歷objc_method_list。從前面的源代碼可以看到objc_cache是存在objc_class 結構體中的。

objec_msgSend的方法定義如下:

OBJC_EXPORT id objc_msgSend(id self, SEL op, ...)

那消息傳遞是怎么實現的呢?我們看看對象(object),類(class),方法(method)這幾個的結構體:

//對象
struct objc_object {
    Class isa  OBJC_ISA_AVAILABILITY;
};
//類
struct objc_class {
    Class isa  OBJC_ISA_AVAILABILITY;
#if !__OBJC2__
    Class super_class                                        OBJC2_UNAVAILABLE;
    const char *name                                         OBJC2_UNAVAILABLE;
    long version                                             OBJC2_UNAVAILABLE;
    long info                                                OBJC2_UNAVAILABLE;
    long instance_size                                       OBJC2_UNAVAILABLE;
    struct objc_ivar_list *ivars                             OBJC2_UNAVAILABLE;
    struct objc_method_list **methodLists                    OBJC2_UNAVAILABLE;
    struct objc_cache *cache                                 OBJC2_UNAVAILABLE;
    struct objc_protocol_list *protocols                     OBJC2_UNAVAILABLE;
#endif
} OBJC2_UNAVAILABLE;
//方法列表
struct objc_method_list {
    struct objc_method_list *obsolete                        OBJC2_UNAVAILABLE;
    int method_count                                         OBJC2_UNAVAILABLE;
#ifdef __LP64__
    int space                                                OBJC2_UNAVAILABLE;
#endif
    /* variable length structure */
    struct objc_method method_list[1]                        OBJC2_UNAVAILABLE;
}                                                            OBJC2_UNAVAILABLE;
//方法
struct objc_method {
    SEL method_name                                          OBJC2_UNAVAILABLE;
    char *method_types                                       OBJC2_UNAVAILABLE;
    IMP method_imp                                           OBJC2_UNAVAILABLE;
}

  1. 系統首先找到消息的接收對象,然后通過對象的isa找到它的類。
  2. 在它的類中查找method_list,是否有selector方法。
  3. 沒有則查找父類的method_list
  4. 找到對應的method,執行它的IMP
  5. 轉發IMPreturn值。

下面講講消息傳遞用到的一些概念:

  • 類對象(objc_class)
  • 實例(objc_object)
  • 元類(Meta Class)
  • Method(objc_method)
  • SEL(objc_selector)
  • IMP
  • 類緩存(objc_cache)
  • Category(objc_category)

類對象(objc_class)

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

typedef struct objc_class *Class;

查看objc/runtime.hobjc_class結構體的定義如下:

struct objc_class {
    Class _Nonnull isa  OBJC_ISA_AVAILABILITY;

#if !__OBJC2__
    Class _Nullable super_class                              OBJC2_UNAVAILABLE;
    const char * _Nonnull name                               OBJC2_UNAVAILABLE;
    long version                                             OBJC2_UNAVAILABLE;
    long info                                                OBJC2_UNAVAILABLE;
    long instance_size                                       OBJC2_UNAVAILABLE;
    struct objc_ivar_list * _Nullable ivars                  OBJC2_UNAVAILABLE;
    struct objc_method_list * _Nullable * _Nullable methodLists                    OBJC2_UNAVAILABLE;
    struct objc_cache * _Nonnull cache                       OBJC2_UNAVAILABLE;
    struct objc_protocol_list * _Nullable protocols          OBJC2_UNAVAILABLE;
#endif

} OBJC2_UNAVAILABLE;

struct objc_class結構體定義了很多變量,通過命名不難發現,
結構體里保存了指向父類的指針、類的名字、版本、實例大小、實例變量列表、方法列表、緩存、遵守的協議列表等,
一個類包含的信息也不就正是這些嗎?沒錯,類對象就是一個結構體struct objc_class,這個結構體存放的數據稱為元數據(metadata),
該結構體的第一個成員變量也是isa指針,這就說明了Class本身其實也是一個對象,因此我們稱之為類對象,類對象在編譯期產生用于創建實例對象,是單例。

實例(objc_object)

/// Represents an instance of a class.
struct objc_object {
    Class isa  OBJC_ISA_AVAILABILITY;
};

/// A pointer to an instance of a class.
typedef struct objc_object *id;

類對象中的元數據存儲的都是如何創建一個實例的相關信息,那么類對象和類方法應該從哪里創建呢?
就是從isa指針指向的結構體創建,類對象的isa指針指向的我們稱之為元類(metaclass),
元類中保存了創建類對象以及類方法所需的所有信息,因此整個結構應該如下圖所示:

image

元類(Meta Class)

通過上圖我們可以看出整個體系構成了一個自閉環,struct objc_object結構體實例它的isa指針指向類對象,
類對象的isa指針指向了元類,super_class指針指向了父類的類對象,
而元類的super_class指針指向了父類的元類,那元類的isa指針又指向了自己。

元類(Meta Class)是一個類對象的類。
在上面我們提到,所有的類自身也是一個對象,我們可以向這個對象發送消息(即調用類方法)。
為了調用類方法,這個類的isa指針必須指向一個包含這些類方法的一個objc_class結構體。這就引出了meta-class的概念,元類中保存了創建類對象以及類方法所需的所有信息。
任何NSObject繼承體系下的meta-class都使用NSObjectmeta-class作為自己的所屬類,而基類的meta-classisa指針是指向它自己。

Method(objc_method)

先看下定義

runtime.h
/// An opaque type that represents a method in a class definition.代表類定義中一個方法的不透明類型
typedef struct objc_method *Method;
struct objc_method {
    SEL method_name                                          OBJC2_UNAVAILABLE;
    char *method_types                                       OBJC2_UNAVAILABLE;
    IMP method_imp                                           OBJC2_UNAVAILABLE;

Method和我們平時理解的函數是一致的,就是表示能夠獨立完成一個功能的一段代碼,比如:

- (void)logName
{
    NSLog(@"name");
}

這段代碼,就是一個函數。

我們來看下objc_method這個結構體的內容:

  • SEL method_name 方法名
  • char *method_types 方法類型
  • IMP method_imp 方法實現

在這個結構體重,我們已經看到了SELIMP,說明SELIMP其實都是Method的屬性。

我們接著來看SEL

SEL(objc_selector)

先看下定義

Objc.h
/// An opaque type that represents a method selector.代表一個方法的不透明類型
typedef struct objc_selector *SEL;

objc_msgSend函數第二個參數類型為SEL,它是selectorObjective-C中的表示類型(Swift中是Selector類)。selector是方法選擇器,可以理解為區分方法的 ID,而這個 ID 的數據結構是SEL:

@property SEL selector;

可以看到selectorSEL的一個實例。

A method selector is a C string that has been registered (or “mapped“) with the Objective-C runtime. Selectors generated by the compiler are automatically mapped by the runtime when the class is loaded.

其實selector就是個映射到方法的C字符串,你可以用 Objective-C 編譯器命令@selector()或者 Runtime 系統的sel_registerName函數來獲得一個 SEL 類型的方法選擇器。

selector既然是一個string,我覺得應該是類似className+method的組合,命名規則有兩條:

  • 同一個類,selector不能重復
  • 不同的類,selector可以重復

這也帶來了一個弊端,我們在寫C代碼的時候,經常會用到函數重載,就是函數名相同,參數不同,但是這在Objective-C中是行不通的,因為selector只記了methodname,沒有參數,所以沒法區分不同的method

比如:

- (void)caculate(NSInteger)num;
- (void)caculate(CGFloat)num;

是會報錯的。

我們只能通過命名來區別:

- (void)caculateWithInt(NSInteger)num;
- (void)caculateWithFloat(CGFloat)num;

在不同類中相同名字的方法所對應的方法選擇器是相同的,即使方法名字相同而變量類型不同也會導致它們具有相同的方法選擇器。

IMP

看下IMP的定義

/// A pointer to the function of a method implementation.  指向一個方法實現的指針
typedef id (*IMP)(id, SEL, ...); 
#endif

就是指向最終實現程序的內存地址的指針。

iOSRuntime中,Method通過selectorIMP兩個屬性,實現了快速查詢方法及實現,相對提高了性能,又保持了靈活性。

類緩存(objc_cache)

Objective-C運行時通過跟蹤它的isa指針檢查對象時,它可以找到一個實現許多方法的對象。然而,你可能只調用它們的一小部分,并且每次查找時,搜索所有選擇器的類分派表沒有意義。所以類實現一個緩存,每當你搜索一個類分派表,并找到相應的選擇器,它把它放入它的緩存。所以當objc_msgSend查找一個類的選擇器,它首先搜索類緩存。這是基于這樣的理論:如果你在類上調用一個消息,你可能以后再次調用該消息。

為了加速消息分發, 系統會對方法和對應的地址進行緩存,就放在上述的objc_cache,所以在實際運行中,大部分常用的方法都是會被緩存起來的,Runtime系統實際上非常快,接近直接執行內存地址的程序速度。

Category(objc_category)

Category是表示一個指向分類的結構體的指針,其定義如下:

struct category_t { 
    const char *name; 
    classref_t cls; 
    struct method_list_t *instanceMethods; 
    struct method_list_t *classMethods;
    struct protocol_list_t *protocols;
    struct property_list_t *instanceProperties;
};

name:是指 class_name 而不是 category_name。
cls:要擴展的類對象,編譯期間是不會定義的,而是在Runtime階段通過name對 應到對應的類對象。
instanceMethods:category中所有給類添加的實例方法的列表。
classMethods:category中所有添加的類方法的列表。
protocols:category實現的所有協議的列表。
instanceProperties:表示Category里所有的properties,這就是我們可以通過objc_setAssociatedObject和objc_getAssociatedObject增加實例變量的原因,不過這個和一般的實例變量是不一樣的。

從上面的category_t的結構體中可以看出,分類中可以添加實例方法,類方法,甚至可以實現協議,添加屬性,不可以添加成員變量。

Runtime消息轉發

前文介紹了進行一次發送消息會在相關的類對象中搜索方法列表,如果找不到則會沿著繼承樹向上一直搜索知道繼承樹根部(通常為NSObject),如果還是找不到并且消息轉發都失敗了就回執行doesNotRecognizeSelector:方法報unrecognized selector錯。那么消息轉發到底是什么呢?接下來將會逐一介紹最后的三次機會。

  • 動態方法解析
  • 備用接收者
  • 完整消息轉發
image

動態方法解析

首先,Objective-C運行時會調用 +resolveInstanceMethod:或者 +resolveClassMethod:,讓你有機會提供一個函數實現。如果你添加了函數并返回YES, 那運行時系統就會重新啟動一次消息發送的過程。

實現一個動態方法解析的例子如下:

- (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view, typically from a nib.
    //執行foo函數
    [self performSelector:@selector(foo:)];
}

+ (BOOL)resolveInstanceMethod:(SEL)sel {
    if (sel == @selector(foo:)) {//如果是執行foo函數,就動態解析,指定新的IMP
        class_addMethod([self class], sel, (IMP)fooMethod, "v@:");
        return YES;
    }
    return [super resolveInstanceMethod:sel];
}

void fooMethod(id obj, SEL _cmd) {
    NSLog(@"Doing foo");//新的foo函數
}

打印結果:
2018-04-01 12:23:35.952670+0800 ocram[87546:23235469] Doing foo

可以看到雖然沒有實現foo:這個函數,但是我們通過class_addMethod動態添加fooMethod函數,并執行fooMethod這個函數的IMP。從打印結果看,成功實現了。

如果resolve方法返回 NO ,運行時就會移到下一步:forwardingTargetForSelector

備用接收者

如果目標對象實現了-forwardingTargetForSelector:Runtime 這時就會調用這個方法,給你把這個消息轉發給其他對象的機會。

實現一個備用接收者的例子如下:

#import "ViewController.h"
#import "objc/runtime.h"

@interface Person: NSObject

@end

@implementation Person

- (void)foo {
    NSLog(@"Doing foo");//Person的foo函數
}

@end

@interface ViewController ()

@end

@implementation ViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view, typically from a nib.
    //執行foo函數
    [self performSelector:@selector(foo)];
}

+ (BOOL)resolveInstanceMethod:(SEL)sel {
    return YES;//返回YES,進入下一步轉發
}

- (id)forwardingTargetForSelector:(SEL)aSelector {
    if (aSelector == @selector(foo)) {
        return [Person new];//返回Person對象,讓Person對象接收這個消息
    }

    return [super forwardingTargetForSelector:aSelector];
}

@end

打印結果:
2018-04-01 12:45:04.757929+0800 ocram[88023:23260346] Doing foo

可以看到我們通過forwardingTargetForSelector把當前ViewController的方法轉發給了Person去執行了。打印結果也證明我們成功實現了轉發。

完整消息轉發

如果在上一步還不能處理未知消息,則唯一能做的就是啟用完整的消息轉發機制了。
首先它會發送-methodSignatureForSelector:消息獲得函數的參數和返回值類型。如果-methodSignatureForSelector:返回nilRuntime則會發出 -doesNotRecognizeSelector: 消息,程序這時也就掛掉了。如果返回了一個函數簽名,Runtime就會創建一個NSInvocation 對象并發送 -forwardInvocation:消息給目標對象。

實現一個完整轉發的例子如下:

#import "ViewController.h"
#import "objc/runtime.h"

@interface Person: NSObject

@end

@implementation Person

- (void)foo {
    NSLog(@"Doing foo");//Person的foo函數
}

@end

@interface ViewController ()

@end

@implementation ViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view, typically from a nib.
    //執行foo函數
    [self performSelector:@selector(foo)];
}

+ (BOOL)resolveInstanceMethod:(SEL)sel {
    return YES;//返回YES,進入下一步轉發
}

- (id)forwardingTargetForSelector:(SEL)aSelector {
    return nil;//返回nil,進入下一步轉發
}

- (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector {
    if ([NSStringFromSelector(aSelector) isEqualToString:@"foo"]) {
        return [NSMethodSignature signatureWithObjCTypes:"v@:"];//簽名,進入forwardInvocation
    }

    return [super methodSignatureForSelector:aSelector];
}

- (void)forwardInvocation:(NSInvocation *)anInvocation {
    SEL sel = anInvocation.selector;

    Person *p = [Person new];
    if([p respondsToSelector:sel]) {
        [anInvocation invokeWithTarget:p];
    }
    else {
        [self doesNotRecognizeSelector:sel];
    }

}

@end

打印結果:
2018-04-01 13:00:45.423385+0800 ocram[88353:23279961] Doing foo

從打印結果來看,我們實現了完整的轉發。通過簽名,Runtime生成了一個對象anInvocation,發送給了forwardInvocation,我們在forwardInvocation方法里面讓Person對象去執行了foo函數。簽名參數v@:怎么解釋呢,這里蘋果文檔Type Encodings有詳細的解釋。

以上就是Runtime的三次轉發流程。

參考鏈接:http://www.lxweimin.com/p/6ebda3cd8052

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 227,837評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,196評論 3 414
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 175,688評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,654評論 1 309
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,456評論 6 406
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 54,955評論 1 321
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,044評論 3 440
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,195評論 0 287
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,725評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,608評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,802評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,318評論 5 358
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,048評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,422評論 0 26
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,673評論 1 281
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,424評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,762評論 2 372

推薦閱讀更多精彩內容