美文网首页
类结构分析

类结构分析

作者: 北京_小海 | 来源:发表于2020-09-14 12:55 被阅读0次

    这片文章主要分析的是类的结构以及对象-类-元类-根元类之间的走位.

    一. isa的指向以及类之间的关系

    准备工作定义两个类  LLPerson LLTeacher   (LLTeacher继承自LLPerson)

    @interface LLPerson : NSObject{

       ///成员变量

       NSString*hobby;

    }

    ///属性

    @property (nonatomic,copy) NSString *name;

    ///实例方法

    -(void) sayHello;

    ///类方法

    +(void)sayBye;

    在mian函数中,创建这两个类,并对齐内存结构进行LLDB调试

    lldb调试

    0x001d80010000237d是对象的isa指针,&mark后取到的是LLPerson类 0x0000000100002350是类的isa指针 &mark后渠道的是元类 所以才会打印两个LLPerson

    元类的说明 

    下面来解释什么是元类,主要有以下几点说明:

    我们都知道对象的isa是指向类,类的其实也是一个对象,可以称为类对象,其isa的位域指向苹果定义的元类

    元类是系统给的,其定义和创建都是由编译器完成,在这个过程中,类的归属来自于元类

    元类是类对象的类,每个类都有一个独一无二的元类用来存储类方法的相关信息。

    元类本身是没有名称的,由于与类相关联,所以使用了同类名一样的名称

    下图通过调试再看一下:

    从图中可以看出

    对象 的 isa 指向 类(也可称为类对象)类 的 isa 指向 元类元类 的 isa 指向 根元类,即NSObject 根元类 的 isa 指向 它自己

    NSObject存在几个?

    验证方法一:

    从图中可以看出,最后NSObject类的元类也是NSObject,与上面的LLPerson中的根元类(NSObject)的元类,是同一个,所以可以得出一个结论:内存中只存在存在一份根元类NSObject,根元类的元类是指向它自己

    验证方法二:

    从结果中可以看出,打印的地址都是同一个,所以NSObject只有一份,即NSObject(根元类)在内存中永远只存在一份

    接下来再看isa走位图 应该就更明白了吧

    isa走位图

    二.objc_class & objc_object

    新版objc4-781源码

    通过上述的源码查找以及main.cpp中底层编译源码,有以下几点说明:

    结构体类型objc_class继承自objc_object类型,其中objc_object也是一个结构体,且有一个isa属性,所以objc_class也拥有了isa属性

    mian.cpp底层编译文件中,NSObject中的isa在底层是由Class定义的,其中class的底层编码来自objc_class类型,所以NSObject也拥有了isa属性

    NSObject是一个类,用它初始化一个实例对象objc,objc 满足objc_object的特性(即有isa属性),主要是因为isa是由NSObject从objc_class继承过来的,而objc_class继承自objc_object,objc_object有isa属性。所以对象都有一个isa,isa表示指向,来自于当前的objc_object

    objc_object(结构体)是 当前的根对象,所有的对象都有这样一个特性objc_object,即拥有isa属性

    三.类结构分析

    1.指针偏移

    a、b都指向10,但是a、b的地址不一样,这是一种拷贝,属于值拷贝,也称为浅拷贝

    a,b的地址之间相差 4 个字节,这取决于a、b的类型

    p1、p2 是指针,p1 是 指向 [CJLPerson alloc]创建的空间地址,即内存地址,p2 同理

    &p1、&p2是 指向 p1、p2对象指针的地址,这个指针 就是 二级指针

    &c和&c[0]都是取首地址,即数组名等于首地址

    &c与&c[1]相差4个字节,地址之间相差的字节数,主要取决于存储的数据类型

    可以通过首地址+偏移量取出数组中的其他元素,其中偏移量是数组的下标,内存中首地址实际移动的字节数 等于 偏移量 * 数据类型字节数

    2.类的信息

    经过刚才的地址偏移 我们可以通过类得到一个首地址,然后通过地址平移去获取里面所有的值

    objc4-781新版

    isa属性:继承自objc_object的isa,占 8字节

    superclass 属性:Class类型,Class是由objc_object定义的,是一个指针,占8字节

    cache属性:简单从类型class_data_bits_t目前无法得知,而class_data_bits_t是一个结构体类型,结构体的内存大小需要根据内部的属性来确定,而结构体指针才是8字节

    bits属性:只有首地址经过上面3个属性的内存大小总和的平移,才能获取到bits

    计算cache的内存大小

    进入cache类cache_t的定义(只贴出了结构体中非static修饰的属性,主要是因为static类型的属性 不存在结构体的内存中),有如下几个属性

    struct cache_t {

    #if CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_OUTLINED

        explicit_atomic<struct bucket_t *> _buckets; // 是一个结构体指针类型,占8字节

        explicit_atomic<mask_t> _mask; //是mask_t 类型,而 mask_t 是 unsigned int 的别名,占4字节

    #elif CACHE_MASK_STORAGE == CACHE_MASK_STORAGE_HIGH_16

        explicit_atomic<uintptr_t> _maskAndBuckets; //是指针,占8字节

        mask_t _mask_unused; //是mask_t 类型,而 mask_t 是 uint32_t 类型定义的别名,占4字节

    #if __LP64__

        uint16_t _flags;  //是uint16_t类型,uint16_t是 unsigned short 的别名,占 2个字节

    #endif

        uint16_t _occupied; //是uint16_t类型,uint16_t是 unsigned short 的别名,占 2个字节

    【情况一】if流程

    buckets类型是struct bucket_t *,是结构体指针类型,占8字节

    mask是mask_t类型,而mask_t是unsigned int的别名,占4字节

    【情况二】elseif流程

    _maskAndBuckets是uintptr_t类型,它是一个指针,占8字节

    _mask_unused是mask_t类型,而mask_t是uint32_t类型定义的别名,占4字节

    _flags是uint16_t类型,uint16_t是unsigned short的别名,占2个字节

    _occupied是uint16_t类型,uint16_t是unsigned short的别名,占2个字节

    总结:所以最后计算出cache类的内存大小= 12 + 2 + 2 = 16字节

    获取bits

    所以有上述计算可知,想要获取bits的中的内容,只需通过类的首地址平移32字节即可

    通过p/x CJLPerson.class直接获取首地址 然后进行内存平移32 0x100002378平移后0x100002398 获取到bit地址  然后$3->data()得到bit数据是class_data_bits_t类型  最后打印出*$4 是信息 但是还看不到属性列表和方法列表

    探索 属性列表,即 property_list


    通过查看源码发现结构体中有提供相应的方法去获取 属性列表、方法列表等 调试如下:

    我们看到列表中只有属性 没有成员变量,那么成员变量存在哪里?留个疑问~~

    探索方法列表

    methods list 中只有 实例方法,没有类方法

    未完待续

    相关文章

      网友评论

          本文标题:类结构分析

          本文链接:https://www.haomeiwen.com/subject/jfyaektx.html