iOS底层原理探索—OC对象的本质

在探索OC对象的本质之前,我们要明白Objective-C的代码,底层的实现都是C/C++代码。


OC代码转化过程.png

而OC中的对象、类则是基于C/C++的结构体来实现的。

我们可以通过将创建好的OC文件,转化成C++文件来看一下OC对象的底层结构。

OC代码转换成C++

通过命令行将OC的main.m文件转换成C++,生成 main.cpp。

   clang -rewrite-objc main.m -o main.cpp 
/***rewrite代表 重写
   *-o代表 输出
   *cpp代表 c++(c plus plus)
**/

需要注意这种方式没有指定运行平台和架构模式,我们可以通过命令行设置参数,来指定运行平台和架构模式

   xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m -o main-arm64.cpp 
/***xcrun代表 xcode
   * iphoneos代表 运行在iPhone上
   *-arch代表 架构模式,arm64参数代表64位的架构模式
**/

生成的main-arm64.cpp 文件就是main.m转换c++后的文件,直接拖拽到工程中,就可以查看底层实现了。我们在main-arm64.cpp 文件中搜索NSObjcet,可以找到NSObjcet_IMPL(IMPL即 implementation 的缩写,代表实现)。

struct NSObject_IMPL {
    Class isa;
};

可以看到,NObject的底层实现就是一个结构体。我们进一步查看Class

typedef struct objc_class *Class;

我们发现Class其实就是一个指针,指向了objc_class类型的结构体。

OC对象内存空间

通过以上探索我们可以得出总结,OC中对象的底层实现都是通过C\C++的结构体实现的。那么一个OC对象占据了多少内存空间呢?下面让我们用代码实际验证一下。

NSObject对象占多少内存空间.png

通过代码我们创建了一个NSObject对象,分别调用了class_getInstanceSizemalloc_size方法来查看占据的内存空间。我们看到打印输出了8和16,这是怎么回事呢?
我们通过查看OC源码可知,class_getInstanceSize返回类的成员变量占据内存的大小。而malloc_size获取obj指针指向内存的大小
我们上文创建的NSObject对象obj的结构体只有一个成员:isa指针,而指针在64位架构中占8个字节,所以第一次打印输出了8。但是系统为obj对象分配了16个字节的内存,第二次打印输出16。
NSObject对象占据内存空间示意图.jpeg

上图中黄色区域系统为obj对象分配的16个字节的内存,但是obj对象结构体中只有一个isa指针,所以只占据了绿色区域的8个字节。这一点可以通过查看alloc底层源码也可以证实:
alloc源码.jpeg

通过alloc底层源码可以看到,如果一个对象占据的内存小于16时,则会直接返回16,也就是说,系统在为对象分配内存空间时,最小为16个字节。

至此我们知道了系统在创建一个对象的时候会为其分配最少16字节的内存空间,其中对象的isa指针占据8个字节。我们通过下面一道面试题继续深入了解OC对象的底层本质。

在64位环境下,下面的代码会输出什么?

/* Person */
@interface Person : NSObject
{
    int _age;
}
@end

@implementation Person
@end

/* Student */
@interface Student : Person
{
    int _no;
}
@end

@implementation Student
@end

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        
        NSLog(@"%zd  %zd",
              class_getInstanceSize([Person class]),
              class_getInstanceSize([Student class])
              );
    }
    return 0;
}

经过代码分析,这道面试题想问的其实就是一个Person对象和一个Student对象分别占据多少内存空间。但是需要注意的是Person对象和Student对象分别有一个实例变量、Student继承自Person对象。

经过综合上文简单分析,我们可以简单画出Person对象和Student对象的内存结构示意图:

Person对象和Student对象内存结构示意图.png

我们可以看到,在Person对象结构体中,有一个父类类型的结构体指针和一个int类型成员变量_age,分别占据内存空间为8字节和4字节。根据底层源码对象分配的最小内存空间为16可得,Person对象占据的内存空间为16。此处值得注意的是,根据内存对齐,也可得出Person对象占据16个字节。
Person对象内存示意图.jpeg

那么根据这个分析逻辑,Student对象占据的内存空间是不是20或者24呢?答案当然是不对,虽然Student结构体中有Person类型的指针(16个字节)和int类型成员变量_no(4个字节),但是要注意的是上面Person对象占据的16个字节是没有完全占据完的,还留有4个字节的空白地址,系统会自动的把int类型成员变量_no放在这4个字节的空白地址中,所以Student对象也占据16个字节的内存空间。

Student内存示意图.jpeg

内存对齐:

  1. 前面的地址必须是后面的地址整数倍,不是就补齐。
  2. 整个结构体的地址必须是最大字节的整数倍。

OC对象的分类

OC对象分为三种:
实例对象(instance对象)
类对象(class对象)
元类对象(meta-class对象)

1、实例对象(instance对象)

实例对象(instance对象)就是通过类的alloc出来的对象,每次调用alloc都会产生新的实例对象。例如:

NSObjcet *obj1 = [[NSObjcet alloc] init];
NSObjcet *obj2 = [[NSObjcet alloc] init];

obj1和obj2都是NSObject的实例对象,但是它们是不同的两个实例对象,分别占用两块不同的内存地址。
实例对象在内存中存储的信息包括:
1、isa指针
2、其他成员变量

实例对象在内存中存储信息示意图.png

2、类对象(class对象)

类对象(class对象)就是通过class方法或者runtime的object_getClass方法得到的class对象

Class objClass1 = [obj1 class];
Class objClass2 = [obj2 class];
Class objClass3 = [NSObject class];

// runtime方法
Class objClass4 = object_getClass(obj1);
Class objClass5 = object_getClass(obj2);

objClass1-objClass5都是NSObject的类对象(class对象),且它们是同一个对象。

每个类在内存中有且只有一个class对象

类对象在内存中存储的信息包括:
1、isa指针
2、superClass指针
3、类的属性信息(@property),类的成员变量信息(ivar
4、类的对象方法信息(instance method),类的协议信息(protocol

类对象在内存中存储信息示意图.png

3、元类对象(meta-class对象)

元类对象(meta-class对象)就是通过RunTime的object_getClass方法得到的对象

//通过RunTIme的API获得元类对象
Class objectMetaClass = object_getClass([NSObject class]);

objectMetaClass就是NSObject的元类对象

每个类在内存中有且只有一个元类对象

元类对象和类对象的内存结构是一样的,但是用途不一样,元类对象在内存中存储的信息包括:
1、isa指针
2、superClass指针
3、类的类方法信息(class method

元类对象在内存中存储信息示意图.png

以上我们了解了实例对象、类对象和元类对象的含义以及包含的内容,那么它们当中的isa指针和superClass指针分别指向哪里呢?

isa指针的指向

isa指针指向用一张示意图来简单概括一下:


isa指针指向示意图.jpeg

实例对象(instance对象)的isa指针指向class。当调用对象方法时,通过实例对象的isa找到class,最后找到对象方法的实现进行调用
类对象(class对象)的isa指针指向meta-class。当调用类方法时,通过类对象的isa找到meta-class,最后找到类方法的实现进行调用。

class的superClass指针的指向

class的superClass指针指向用一张示意图来简单概括一下:

superClass指针指向示意图.jpeg

图中举例Student继承自Person,Person继承自NSObject。
当Student的实例对象要调用父类Person的对象方法时,会先通过isa找到Student的class,然后通过class中的superClass找到父类Person的class,最后找到对象方法的实现进行调用。

meta-class对象的superClass指针指向

meat-class的superClass指针指向示意图.jpeg

同上,当Student的class要调用Person的类方法时,会先通过isa找到Student的meta-class,然后通过superClass找到Person的meta-class,最后找到类方法的实现进行调用。

这里当然要提一下非常经典的isa指向图,做进一步的总结:


超神图.jpeg

1、instance的isa指向clas
2、class的isa指向meta-class
3、meta-class的isa指向基类的meta-class,基类的isa指向自己
4、class的superClass指向父类的class,如果没有父类,则superClass指针为nil
5、meta-class的superClass指向父类的meta-class,基类的meta-class的superClass指向基类的class
6、instance调用对象方法的轨迹:通过isa找到class,方法不存在,就通过supercla逐层父类里找,有就实现,如果找到基类仍没有找到,就会抛出unrecognized selector sent to instance异常
7、class调用类方法的轨迹:通过isa找到meta-class,方法不存在,就通过superClass逐层父类里找。

补充:
相信很多人在查看源码或者看一些底层博客的时候,经常会看到下面一段代码,来讲述class的内部结构:

typedef struct objc_class *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;

这段源码其实讲述的也是class内部结构,包含成员变量列表、方法列表、方法缓存以及协议列表。细心的人可能会发现,这段代码里面是有if判断条件的:

#if !__OBJC2__

判断条件是非OC2.0版本,也就是说在OC2.0之前的版本中,class底层的结构体中包含上面代码所讲述的,但我们现在所用的最新版肯定是OC2.0版本了,所以这段代码就不再使用了。

新的class底层的objc_class结构体:


objc_class结构体.jpeg

可以看到结构体中只包含isasuperclasscachebits。而bits经过& FAST_DATA_MASK之后,会得到struct class_rw_t这样一个结构体:

class_rw_t.jpeg

rw代表readwrite,可读可写
t代表table,列表

struct class_rw_t结构体中就包含了方法列表、属性列表以及协议列表,这些都是可读可写的。其中还包含一个struct class_ro_t的结构体:

class_ro_t.jpeg

ro代表readonly,只读

struct class_ro_t的结构体中包含了instance对象占用的内存空间、类名以及成员变量列表,当然这些都是只读的。

总结:

一个NSObject对象占用多少内存?
答:系统会为一个NSObject对象分配最少16个字节的内存空间。一个指针变量所占用的大小(64bit占8个字节,32bit占4个字节)
对象的isa指针指向哪里?
答:instance对象的isa指针指向class对象,class对象的isa指针指向meta-class对象,meta-class对象的isa指针指向基类的meta-class对象,基类自己的isa指针指向自己。
OC的类信息存放在哪里?
答:成员变量的具体值存放在实例对象(instance对象);对象方法,协议,属性,成员变量信息存放在类对象(class对象);类方法信息存放在元类对象(meta-class对象)。

本文如果对你有所帮助,点亮喜欢支持一下
更多底层知识,扫码关注公众号
iOS进阶


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

推荐阅读更多精彩内容