Objective-C 类的本质

栏目: Objective-C · 发布时间: 1年前

来源: juejin.im

本文转载自:https://juejin.im/post/5be3e9fd6fb9a04a06045984,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有。

Objective-C (以下简称 OC )是一门动态性强的编程语言, OC 的动态性是基于 Runtime 来实现的, Runtime 系统是由 C\C++\汇编语言 编写的,提供的 API 基本都是 C 语言的。这里我们从苹果提供的 Runtime 代码来探究类的本质。

runtime 源码地址

legacy 版本

OCruntime 分为两个版本.一个是 legacy 版本,一个是 modern 版本。相信很多读者都见过下面这段代表 OC 类结构的代码:

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;
复制代码

其实这段代码就是 legacy 版本 已经在 2006 年的 WWDC 大会上发布 Objective-C 2.0 后弃用了, OBJC2_UNAVAILABLE 标记的内容已经不再使用,那么现在的结构是什么呢?

对象

OC 中,每一个对象都是类的实例,先直接来看源码中的结构:

struct objc_object {
private:
    isa_t isa;
    // ...
}
复制代码

代表对象的结构中只有一个 isa 的成员变量,在 arm64 架构下,系统对 isa 进行了优化,它不光存着地址信息,还存着其他信息。因此对象的本质就是包含了一个私有成员变量 isa 的结构体,而 isa 存着的地址就指向着对象所属的类。不同的对象有不同的成员变量,编译后,每个对象的结构体也会存着自己的成员变量的

使用命令获取编译后的代码 -sdk iphoneos clang -arch arm64 -rewrite-objc Coder.m

@interface Coder : Person
@property (nonatomic, copy) NSString *name;
@end
    
// 编译后查看 `Coder` 的实现
struct NSObject_IMPL {
	Class isa;
};

struct Coder_IMPL {
	struct NSObject_IMPL NSObject_IVARS;
	NSString * _Nonnull _name;
};
复制代码

之所以成员变量的值存在对象中,这个也很好理解,每个对象肯定是独立存在的,都需要拥有自己的变量值。而变量名称和方法等等存在什么地方呢,就是类了!

类存着成员变量的类型,方法等等,源码如下:

struct objc_class : objc_object {
    // Class ISA;
    Class superclass;
    cache_t cache;             // formerly cache pointer and vtable
    class_data_bits_t bits;    // class_rw_t * plus custom rr/alloc flags

    class_rw_t *data() { 
        return bits.data();
    }
    // 省略...
}
复制代码

首先可以看到的一点是 objc_class 继承了 objc_object ,因此其实 OC 中的类也可以理解为一种对象,称之为类对象,在 legacy 版本中,对象的结构体中只有一个 isa 指针,指向它的类对象,而类对象中也有一个 isa 指针,指向它的元类。 modern 版本使用继承后,类对象的结构体就继承了这个优化后的 isa 变量。但对比两个版本,会发现 modern 版本中除了 superclass&cache ,其余的很多变量不在了,并多了一个 bits 变量。

struct class_data_bits_t {
    uintptr_t bits;
    
    class_rw_t* data() {
        return (class_rw_t *)(bits & FAST_DATA_MASK);
    }
	// ...
}
复制代码

这个结构体里面是通过一个位运算获取的指向 class_rw_t 的指针,可见 bits 存着 class_rw_t 结构体的指针和一些其他信息。然后把目光转到 class_rw_t 上:

'rw' 和 ro' 分别表示 'readwrite' 和 'readonly'

struct class_rw_t {
    // Be warned that Symbolication knows the layout of this structure.
    uint32_t flags;
    uint32_t version;

    const class_ro_t *ro;

    method_array_t methods;
    property_array_t properties;
    protocol_array_t protocols;
    // ...
}
复制代码

可以看到原先 legacy 版本中的方法、属性和协议列表就存在这个里面,这几个列表可以理解为是二维数组,是可读可写的,包含了类的初始内容、分类的内容,二维数组方便增加。 而这里又有一个 class_ro_t :

struct class_ro_t {
    uint32_t flags;
    uint32_t instanceStart;
    uint32_t instanceSize;
    // ....
    const char * name;
    method_list_t * baseMethodList;
    protocol_list_t * baseProtocols;
    const ivar_list_t * ivars;
    // ....
};
复制代码

class_ro_t 里面的 baseMethodList、baseProtocols、ivars、baseProperties 可以理解为是一维数组,是只读的,包含了类的初始内容。

从这里我们也能看出分类不能动态添加成员变量到类对象的原因,分类是通过 runtime 加载的,这时候类结构已经确定下来了,并且这里保存成员变量的内存是只读的。

元类

上面已经提到,类对象的 isa 中储存的地址指向的就算类对象的类,称之为元类,元类储存着对象方法。也就是说实例方法是储存在类中的,类方法是存储在元类中的。用一个经典的图来表示对象、类和元类的关系。

Objective-C 类的本质

图中已经很好的阐述了三者之间的关系,不过这里需要强调两点。

isa
superclass

这两个点很容易被忽略,在一些面试题中经常出现。


以上所述就是小编给大家介绍的《Objective-C 类的本质》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

关注码农网公众号

关注我们,获取更多IT资讯^_^


为你推荐:

相关软件推荐:

查看所有标签

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

C#本质论

C#本质论

米凯利斯 / 周靖 / 人民邮电出版社 / 2010-9 / 99.00元

《C#本质论(第3版)》是一部好评如潮的语言参考书,作者用一种非常合理的方式来组织《C#本质论(第3版)》的内容,由浅人深地介绍了C#语言的各个方面。全书共包括21章及6个附录,每章开头的“思维导图”指明了本章要讨论的主题,以及各个主题之间的层次关系。书中所包含的丰富的示例代码和精要的语言比较,都有助于读者理解C#语言。《C#本质论(第3版)》首先介绍了C#语言的基础知识,随后深人讲解了泛型、迭代......一起来看看 《C#本质论》 这本书的介绍吧!

在线进制转换器
在线进制转换器

各进制数互转换器

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器