美文网首页
重新认识id 以及 Class

重新认识id 以及 Class

作者: Su_per_man | 来源:发表于2019-07-19 11:25 被阅读0次

    id:类 class:对象
    我们首先写一个Class去看系统的 API:

     typedef struct objc_class *Class;
    

    这时我们可以看到下面有个id类型的结构体,并且里面只有一个Class类型的指针isa:

    typedef struct objc_object *id;   
    struct objc_object {
        Class _Nonnull isa  OBJC_ISA_AVAILABILITY;
    };
    

    我们在来看一下objc_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;
    /* Use `Class` instead of `struct objc_class *` */            #if 这个已经废弃了,现在使用Class!!!
    

    我相信很多人学习runtime的时候都看过这个代码,并且很多书籍也以上面的代码来讲解runtime的。其实现在这个已经废弃了,从上面的代码我们看到类实例(对象)中只有一个元素,isa指针,这个指针指向的是实例所述的类,类结构体中也有一个isa指针,其他的我好像是看不出来了,现在我们从objc源代码看一下类真正的结构:
    objc_class
    代码摘自objc4-750版本,代码太长,所以只看下属性:

    struct objc_class : objc_object {
        // Class ISA;             //isa指针注释掉了,暂且不管
        Class superclass;         //父类指针,
        cache_t cache;             // formerly cache pointer and vtable                   //缓存,应该是我们知道的缓存方法的cache吧
        class_data_bits_t bits;    // class_rw_t * plus custom rr/alloc flags             //应该是类存储的字节吧
        class_rw_t *data() {         //我们的方法列表、属性列表、变量什么的应该在这里面,,,往下找
            return bits.data();
        }
        ......
    }
    

    只有这几个属性,我们的方法列表、属性列表、变量什么的哪去了?我觉得应该跟data()有关,一看bits就是存数据的,data()是class_rw_t类型的,应该能从class_rw_t定义里面找到原因,来看下class_rw_t:

    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;          //协议列表
        Class firstSubclass;
        Class nextSiblingClass;
        char *demangledName;
    #if SUPPORT_INDEXED_ISA
        uint32_t index;
    #endif
        ......
    }
    

    看到了我们熟悉的方法列表、属性列表、协议列表,又看到了一个跟class_rw_t一样的东东class_ro_t,继续深入:

    struct class_ro_t {
        uint32_t flags;
        uint32_t instanceStart;
        uint32_t instanceSize;              //实例对象大小
    #ifdef __LP64__
        uint32_t reserved;
    #endif 
        const uint8_t * ivarLayout;
        const char * name;                  //类名
        method_list_t * baseMethodList;
        protocol_list_t * baseProtocols;
        const ivar_list_t * ivars;          // 成员变量
        const uint8_t * weakIvarLayout;
        property_list_t *baseProperties;
        method_list_t *baseMethods() const {
            return baseMethodList;
        }
    };
    

    class_rw_t 、class_ro_t中的rw、ro应该是readwrite、readonly的意思

    • class_ro_t存储的应该是经过编译之后的类实例的数据,保存了经过编译的变量、属性、实例方法、类方法等,编译之后这些都是readonly类型的,不能再发生改变了,那几个list就是类本来的方法属性协议啥的
    • class_rw_t是readwrite类型的,结合咱们之前了解的runtime的特性,还有里面的几个列表,顿时感觉自己已经猜到了真谛,这个是运行时的真正的类实例的结构,里面的ro是编译之后的类的结构,所以是const类型的,外面这几个列表应该是跟category有关,这么一想好像都通了。。。

    我们用Runtime的几个copy列表的方法看一下
    class_copyIvarList:获取变量列表,返回的应该是类的class_rw_t里面的class_ro_t下面的ivarlist
    class_copyMethodList:因为runtime可以动态添加方法、协议,那么返回的应该是class_rw_t下面的methods,而不是class_ro_t里面的,因为ro是const类型的。
    OK,来看下在objc源码中它的实现(看下关键代码就行):

    class_copyIvarList:

    Ivar *
    class_copyIvarList(Class cls, unsigned int *outCount)
    {
        const ivar_list_t *ivars;
        Ivar *result = nil;
        unsigned int count = 0;
        if (!cls) {
            if (outCount) *outCount = 0;
            return nil;
        }
        mutex_locker_t lock(runtimeLock);
        assert(cls->isRealized());
        if ((ivars = cls->data()->ro->ivars)  &&  ivars->count) {
            result = (Ivar *)malloc((ivars->count+1) * sizeof(Ivar));
            
            for (auto& ivar : *ivars) {
                if (!ivar.offset) continue;  // anonymous bitfield
                result[count++] = &ivar;
            }
            result[count] = nil;
        }
        if (outCount) *outCount = count;
        return result;
    }
    

    class_copyMethodList:

    Method *
    class_copyMethodList(Class cls, unsigned int *outCount)
    {
        unsigned int count = 0;
        Method *result = nil;
        if (!cls) {
            if (outCount) *outCount = 0;
            return nil;
        }
        mutex_locker_t lock(runtimeLock);
        assert(cls->isRealized());
        count = cls->data()->methods.count();
        if (count > 0) {
            result = (Method *)malloc((count + 1) * sizeof(Method));
            count = 0;
            for (auto& meth : cls->data()->methods) {
                result[count++] = &meth;
            }
            result[count] = nil;
        }
        if (outCount) *outCount = count;
        return result;
    }
    

    这样一看,很多我们之前不理解的都能说通了:

    • 类实例是对象,它的isa指针指向类,类也有个isa指针,指向它的元类,类是元类的对象,看定义,objc_class也是objc_object没错,objc_object里面有isa指针,所以objc_class也有isa指针啦。
    • category只能添加方法、不能添加变量的原因也找到了,因为变量是存储在ro里面的,只读,方法列表协议列表在rw中,所以可以动态添加,它们俩存储位置不一样。

    最后总结通过一张图进行总结: objc_class.png

    本文部分段落引用了ElaineYinCornBallast二位大佬的文章。在此表示感谢!

    相关文章

      网友评论

          本文标题:重新认识id 以及 Class

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