用runtime看OC中类与对象,消息的底层实现原理

1.OC的类和对象

先看一下类和对象的数据结构:

typedef struct objc_class *Class;//类对象

struct objc_class {//类对象的结构体

Class isa  OBJC_ISA_AVAILABILITY;//meta-class里存储类方法,meta-class的isa指向根类,super_class指向父类的meta-class。

#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_object {//实例对象结构体

Class isa  OBJC_ISA_AVAILABILITY;

};

typedef struct objc_object *id;//实例对象

每个对象都会有一个它所属的类。这是面向对象的基本概念,但是在OC中,这对所有数据结构有效。任何数据结构,只要在恰当的位置具有一个指针指向一个class,那么,它都可以被认为是一个对象。objc_class和objc_object的struct指针都能称为对象,我们为了区分可以把它们分别叫做类对象和实例对象,其中实例对象的isa指针指向类对象。

在OC中,一个对象所属于哪个类,是由它的isa指针指向的。这个isa指针指向这个对象所属的class。

我们看一下类对象的结构体objc_class:Class isa指向的就是metaclass,当我们向一个类发送消息的时候,就是调用metaclass里面的方法,如[NSString defaultStringEncoding],Class super_class指向父类。同样metaclass的结构体也是objc_class,它的Class isa指向直接指向根类的metaclass,根类的metaclass则是指向自身;它的Class super_class指向父类的metaclass;super_class的结构体也是objc_class,它的Class isa指向也是直接指向根类的metaclass,如果父类也有一个父类,它的Class super_class就是想父类。

类对象的结构体objc_class里面用Class super_class指向父类是为了实现继承;Class isa指向的就是metaclass则是为了实现向类发消息(也就是类方法),同时让类和对象有了区分。


完美闭环


为了验证以上所述,我新建一个类Yordles继承NSObject,然后再新建一个类Timor继承Yordles,用clang rewrite成c的实现

Timor类截取主要代码如下:

static void OBJC_CLASS_SETUP_$_Timor(void ) {

OBJC_METACLASS_$_Timor.isa = &OBJC_METACLASS_$_NSObject;

OBJC_METACLASS_$_Timor.superclass = &OBJC_METACLASS_$_Yordles;

OBJC_METACLASS_$_Timor.cache = &_objc_empty_cache;

OBJC_CLASS_$_Timor.isa = &OBJC_METACLASS_$_Timor;

OBJC_CLASS_$_Timor.superclass = &OBJC_CLASS_$_Yordles;

OBJC_CLASS_$_Timor.cache = &_objc_empty_cache;

}

Yordles类截取相关代码如下:

static void OBJC_CLASS_SETUP_$_Yordles(void ) {

OBJC_METACLASS_$_Yordles.isa = &OBJC_METACLASS_$_NSObject;

OBJC_METACLASS_$_Yordles.superclass = &OBJC_METACLASS_$_NSObject;

OBJC_METACLASS_$_Yordles.cache = &_objc_empty_cache;

OBJC_CLASS_$_Yordles.isa = &OBJC_METACLASS_$_Yordles;

OBJC_CLASS_$_Yordles.superclass = &OBJC_CLASS_$_NSObject;

OBJC_CLASS_$_Yordles.cache = &_objc_empty_cache;

}

2.objc_msgSend

在我们传消息的时候(比如[NSString defaultStringEncoding],[timor wait]),在c层面一般都会转化成objc_msgSend方法。在讨论objc_msgSend的工作原理前,我们先看几个结构体

Method

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就是一个指向objc_method结构体指针,它存储了方法名(method_name)、方法类型(method_types)和方法实现(method_imp)等信息。而method_imp的数据类型是IMP,它是一个函数指针,后面会重点提及。

Ivar

Ivar表示类中的实例变量,在runtime.h文件中找到它的定义:

/// An opaque type that represents an instance variable.

typedef struct objc_ivar *Ivar;

struct objc_ivar {

char *ivar_name                                          OBJC2_UNAVAILABLE;

char *ivar_type                                          OBJC2_UNAVAILABLE;

int ivar_offset                                          OBJC2_UNAVAILABLE;

#ifdef __LP64__

int space                                                OBJC2_UNAVAILABLE;

#endif

}

Ivar其实就是一个指向objc_ivar结构体指针,它包含了变量名(ivar_name)、变量类型(ivar_type)等信息。

IMP

在上面讲Method时就说过,IMP本质上就是一个函数指针,指向方法的实现,在objc.h找到它的定义:

/// A pointer to the function of a method implementation.

#if !OBJC_OLD_DISPATCH_PROTOTYPES

typedef void (*IMP)(void /* id, SEL, ... */ );

#else

typedef id (*IMP)(id, SEL, ...);

#endif

当你向某个对象发送一条信息,可以由这个函数指针来指定方法的实现,它最终就会执行那段代码,这样可以绕开消息传递阶段而去执行另一个方法实现。

Cache

顾名思义,Cache主要用来缓存,那它缓存什么呢?我们先在runtime.h文件看看它的定义:

typedef struct objc_cache *Cache                            OBJC2_UNAVAILABLE;

struct objc_cache {

unsigned int mask /* total = mask + 1 */                OBJC2_UNAVAILABLE;

unsigned int occupied                                    OBJC2_UNAVAILABLE;

Method buckets[1]                                        OBJC2_UNAVAILABLE;

};

Cache其实就是一个存储Method的链表,主要是为了优化方法调用的性能。当对象receiver调用方法message时,首先根据对象receiver的isa指针查找到它对应的类,然后在类的methodLists中搜索方法,如果没有找到,就使用super_class指针到父类中的methodLists查找,一旦找到就调用方法。如果没有找到,有可能消息转发,也可能忽略它。但这样查找方式效率太低,因为往往一个类大概只有20%的方法经常被调用,占总调用次数的80%。所以使用Cache来缓存经常调用的方法,当调用方法时,优先在Cache查找,如果没有找到,再到methodLists查找

看了那么多元素概念,我们请出objc_msgSend在message.h中的定义:

/**

* Sends a message with a simple return value to an instance of a class.

*

* @param self A pointer to the instance of the class that is to receive the message.

* @param op The selector of the method that handles the message.

* @param ...

*  A variable argument list containing the arguments to the method.

*

* @return The return value of the method.

*

* @note When it encounters a method call, the compiler generates a call to one of the

*  functions \c objc_msgSend, \c objc_msgSend_stret, \c objc_msgSendSuper, or \c objc_msgSendSuper_stret.

*  Messages sent to an object’s superclass (using the \c super keyword) are sent using \c objc_msgSendSuper;

*  other messages are sent using \c objc_msgSend. Methods that have data structures as return values

*  are sent using \c objc_msgSendSuper_stret and \c objc_msgSend_stret.

*/

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

OBJC_AVAILABLE(10.0, 2.0, 9.0, 1.0);

上面的注释翻译过来就是:

当编译器遇到一个方法调用时,它会将方法的调用翻译成以下函数中的一个 `objc_msgSend`、`objc_msgSend_stret`、`objc_msgSendSuper` 和 `objc_msgSendSuper_stret`。

发送给对象的父类的消息会使用 `objc_msgSendSuper`

有数据结构作为返回值的方法会使用 `objc_msgSendSuper_stret` 或 `objc_msgSend_stret`

其它的消息都是使用 `objc_msgSend` 发送的

现在让我们看一下objc_msgSend它具体是如何发送消息:

首先根据receiver对象的isa指针获取它对应的class;

优先在class的cache查找message方法,如果找不到,再到methodLists查找;

如果没有在class找到,再到super_class查找;

一旦找到message这个方法,就执行它实现的IMP。


message

你以为objc_msgSend到这里就结束了,显然不是,这只是针对有方法实现的plan a,当objc_msgSend找不到实现的IMP时,程序并不会直接崩溃,而是给开发者一个plan b:方法决议与消息转发。这是有一组NSObject里的方法实现的,开发者只需要重写响应的方法即可。具体流程如图:


方法决议与消息转发


注意:第一步当方法为实例方法时用:resolveInstanceMethod ,方法为类方法时用resolveClassMethod

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 194,457评论 5 459
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 81,837评论 2 371
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 141,696评论 0 319
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,183评论 1 263
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 61,057评论 4 355
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,105评论 1 272
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,520评论 3 381
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,211评论 0 253
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,482评论 1 290
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,574评论 2 309
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,353评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,213评论 3 312
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,576评论 3 298
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,897评论 0 17
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,174评论 1 250
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,489评论 2 341
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,683评论 2 335

推荐阅读更多精彩内容

  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,670评论 0 9
  • 转载:http://yulingtianxia.com/blog/2014/11/05/objective-c-r...
    F麦子阅读 719评论 0 2
  • Objective-C语言是一门动态语言,他将很多静态语言在编译和链接时期做的事情放到了运行时来处理。这种动态语言...
    tigger丨阅读 1,370评论 0 8
  • 原文出处:南峰子的技术博客 Objective-C语言是一门动态语言,它将很多静态语言在编译和链接时期做的事放到了...
    _烩面_阅读 1,211评论 1 5
  • 前言 runtime其实在我们日常开发过程中很少使用到,尤其是像我现在比较初级的程序猿就更用不到了。但是去面试很多...
    WolfTin阅读 595评论 0 2