美文网首页iOS-面试程序员
Category:从底层原理研究到面试题分析

Category:从底层原理研究到面试题分析

作者: 五分钟学算法 | 来源:发表于2018-09-19 16:29 被阅读48次
    image

    本文将对category的源码进行比较全面的整理分析,最后结合一些面试题进行总结,希望对读者有所裨益。
    GitHub Repo:iOSDeepAnalyse
    Follow: MisterBooo · GitHub
    Source: Category:从底层原理研究到面试题分析

    目录

    • 1.Category源码分析
    • 2.load源码分析
    • 3.initialize源码分析
    • 4.load与initialize对比
    • 5.面试题分析

    源码分析

    1.源码阅读前的准备

    本节代码基于以下的代码进行编译研究:

    @interface Person : NSObject
    - (void)instanceRun;
    + (void)methodRun;
    @property(nonatomic, copy) NSString *name;
    @end
    
    @interface Person (Eat)
    @property(nonatomic, assign) int age;
    - (void)instanceEat;
    + (void)methodEat;
    @end
    
    
    @interface Person (Drink)
    - (void)instanceEat;
    @property(nonatomic, copy) NSString *waters;
    @end
    

    2.objc4中的源码

    通过objc4中的源码进行分析,可以在objc-runtime-new.h中找到Category的结构如下

    struct category_t {
        const char *name;
        classref_t cls;
        struct method_list_t *instanceMethods;
        struct method_list_t *classMethods;
        struct protocol_list_t *protocols;
        struct property_list_t *instanceProperties;
        // Fields below this point are not always present on disk.
        struct property_list_t *_classProperties;
    
        method_list_t *methodsForMeta(bool isMeta) {
            if (isMeta) return classMethods;
            else return instanceMethods;
        }
    
        property_list_t *propertiesForMeta(bool isMeta, struct header_info *hi);
    };
    

    不难发现在这个结构体重存储着对象方法、类方法、协议和属性。接下来我们来验证一下我们刚刚自己编写的Person+Eat.m这个分类在编译时是否是这种结构。

    通过

    xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc Person+Eat.m

    命令将Person+Eat.m文件编译成cpp文件,以下的源码分析基于Person+Eat.cpp里面的代码。下面让我们开始窥探Category的底层结构吧~

    2.Person+Eat.cpp源码

    Person+Eat.cpp的代码滑到底部部分,可以看见一个名为_category_t的结构体,这就是Category的底层结构

    struct _category_t {
        const char *name;
        struct _class_t *cls;
        const struct _method_list_t *instance_methods; // 对象方法列表
        const struct _method_list_t *class_methods;// 类方法列表
        const struct _protocol_list_t *protocols;// 协议列表
        const struct _prop_list_t *properties;// 属性列表
    };
    

    Person+Eat.m这个分类的结构也是符合_category_t这种形式的

    static struct _category_t _OBJC_$_CATEGORY_Person_$_Eat __attribute__ ((used, section ("__DATA,__objc_const"))) = 
    {
        "Person",
        0, // &OBJC_CLASS_$_Person,
        (const struct _method_list_t *)&_OBJC_$_CATEGORY_INSTANCE_METHODS_Person_$_Eat, // 对象方法列表
        (const struct _method_list_t *)&_OBJC_$_CATEGORY_CLASS_METHODS_Person_$_Eat,// 类方法列表
        (const struct _protocol_list_t *)&_OBJC_CATEGORY_PROTOCOLS_$_Person_$_Eat, // 协议列表
        (const struct _prop_list_t *)&_OBJC_$_PROP_LIST_Person_$_Eat, // 属性列表
    };
    

    我们开始来分析上面这个结构体的内部成员,其中Person表示类名

    对象方法列表

    _OBJC_$_CATEGORY_INSTANCE_METHODS_Person_$_Eat是对象方法列表,在Person+Eat.cpp文件中可以找到_OBJC_$_CATEGORY_INSTANCE_METHODS_Person_$_Eat具体描述

    _OBJC_$_CATEGORY_INSTANCE_METHODS_Person_$_Eat __attribute__ ((used, section ("__DATA,__objc_const"))) = {
        sizeof(_objc_method),
        1,
        {{(struct objc_selector *)"instanceEat", "v16@0:8", (void *)_I_Person_Eat_instanceEat}}
    };
    

    instanceEat就是我们上述实现的Person+Eat分类里面的实例方法。

    类方法列表

    _OBJC_$_CATEGORY_CLASS_METHODS_Person_$_Eat是类方法列表,在Person+Eat.cpp中具体描述如下

     _OBJC_$_CATEGORY_CLASS_METHODS_Person_$_Eat __attribute__ ((used, section ("__DATA,__objc_const"))) = {
        sizeof(_objc_method),
        1,
        {{(struct objc_selector *)"classEat", "v16@0:8", (void *)_C_Person_Eat_classEat}}
    };
    
    协议列表

    _OBJC_CATEGORY_PROTOCOLS_$_Person_$_Eat是协议列表,在Person+Eat.cpp中具体描述如下

     _OBJC_CATEGORY_PROTOCOLS_$_Person_$_Eat __attribute__ ((used, section ("__DATA,__objc_const"))) = {
        2,
        &_OBJC_PROTOCOL_NSCopying,
        &_OBJC_PROTOCOL_NSCoding
    };
    
    属性列表

    _OBJC_$_PROP_LIST_Person_$_Eat是属性列表,在Person+Eat.cpp中具体描述如下

    _OBJC_$_PROP_LIST_Person_$_Eat __attribute__ ((used, section ("__DATA,__objc_const"))) = {
        sizeof(_prop_t),
        2,
        {{"weight","Ti,N"},
        {"height","Ti,N"}}
    };
    

    3.Category的加载处理过程

    通过上面的分析,我们验证了编写一个分类的时候,在编译期间,这个分类内部的确会有category_t这种数据结构,那么这种数据结构是如何作用到这个类的呢?分类的方法和类的方法调用的逻辑是怎么样的呢?我们接下来回到objc4源码中进一步分析Category的加载处理过程来揭晓Category的神秘面纱。

    我们按照如下函数的调用顺序,一步一步的研究Category的加载处理过程

    void _objc_init(void);
    └── void map_images(...);
        └── void map_images_nolock(...);
            └── void _read_images(...);
                └── void _read_images(...);
                    └── static void remethodizeClass(Class cls);
                        └──attachCategories(Class cls, category_list *cats, bool flush_caches);
    
    文件名 方法
    objc-os.mm _objc_init
    objc-os.mm map_images
    objc-os.mm map_images_nolock
    objc-runtime-new.mm _read_images
    objc-runtime-new.mm remethodizeClass
    objc-runtime-new.mm attachCategories
    objc-runtime-new.mm attachLists

    iOS 程序 main 函数之前发生了什么
    中提到,_objc_init这个函数是runtime的初始化函数,那我们从_objc_init这个函数开始进行分析。

    /***********************************************************************
    * _objc_init
    * Bootstrap initialization. Registers our image notifier with dyld.
    * Called by libSystem BEFORE library initialization time
    **********************************************************************/
    
    void _objc_init(void)
    {
        static bool initialized = false;
        if (initialized) return;
        initialized = true;
        
        // fixme defer initialization until an objc-using image is found?
        environ_init();
        tls_init();
        static_init();
        lock_init();
        exception_init();
    
        _dyld_objc_notify_register(&map_images, load_images, unmap_image);
    }
    

    接着我们来到 &map_images读取资源(images这里代表资源模块),来到map_images_nolock函数中找到_read_images函数,在_read_images函数中我们找到与分类相关的代码

    // Discover categories. 
        for (EACH_HEADER) {
            category_t **catlist = 
                _getObjc2CategoryList(hi, &count);
            bool hasClassProperties = hi->info()->hasCategoryClassProperties();
    
            for (i = 0; i < count; i++) {
                category_t *cat = catlist[i];
                Class cls = remapClass(cat->cls);
    
                if (!cls) {
                    catlist[i] = nil;
                    if (PrintConnecting) {
                        _objc_inform("CLASS: IGNORING category \?\?\?(%s) %p with "
                                     "missing weak-linked target class", 
                                     cat->name, cat);
                    }
                    continue;
                }
                bool classExists = NO;
                if (cat->instanceMethods ||  cat->protocols  
                    ||  cat->instanceProperties) 
                {
                    addUnattachedCategoryForClass(cat, cls, hi);
                    if (cls->isRealized()) {
                        remethodizeClass(cls);
                        classExists = YES;
                    }
                    if (PrintConnecting) {
                        _objc_inform("CLASS: found category -%s(%s) %s", 
                                     cls->nameForLogging(), cat->name, 
                                     classExists ? "on existing class" : "");
                    }
                }
    
                if (cat->classMethods  ||  cat->protocols  
                    ||  (hasClassProperties && cat->_classProperties)) 
                {
                    addUnattachedCategoryForClass(cat, cls->ISA(), hi);
                    if (cls->ISA()->isRealized()) {
                        remethodizeClass(cls->ISA());
                    }
                    if (PrintConnecting) {
                        _objc_inform("CLASS: found category +%s(%s)", 
                                     cls->nameForLogging(), cat->name);
                    }
                }
            }
        }
    
    

    在上面的代码中,主要做了以下的事情

    • 1.获取category列表list
    • 2.遍历category list中的每一个category
    • 3.获取categorycls,如果没有cls,则跳过(continue)这个继续获取下一个
    • 4.如果cat有实例方法、协议、属性,则调用addUnattachedCategoryForClass,同时如果cls有实现的话,就进一步调用remethodizeClass方法
    • 5.如果cat有类方法、协议,则调用addUnattachedCategoryForClass,同时如果cls的元类有实现的话,就进一步调用remethodizeClass方法

    其中4,5两步的区别主要是cls是类对象还是元类对象的区别,我们接下来主要是看在第4步中的addUnattachedCategoryForClassremethodizeClass方法。

    addUnattachedCategoryForClass
    static void addUnattachedCategoryForClass(category_t *cat, Class cls, 
                                              header_info *catHeader)
    {
        runtimeLock.assertWriting();
    
        // DO NOT use cat->cls! cls may be cat->cls->isa instead
        NXMapTable *cats = unattachedCategories();
        category_list *list;
    
        list = (category_list *)NXMapGet(cats, cls);
        if (!list) {
            list = (category_list *)
                calloc(sizeof(*list) + sizeof(list->list[0]), 1);
        } else {
            list = (category_list *)
                realloc(list, sizeof(*list) + sizeof(list->list[0]) * (list->count + 1));
        }
        list->list[list->count++] = (locstamped_category_t){cat, catHeader};
        NXMapInsert(cats, cls, list);
    }
    static NXMapTable *unattachedCategories(void)
    {
        runtimeLock.assertWriting();
        //全局对象
        static NXMapTable *category_map = nil;
        if (category_map) return category_map;
        // fixme initial map size
        category_map = NXCreateMapTable(NXPtrValueMapPrototype, 16);
        return category_map;
    }
    

    对上面的代码进行解读:

    • 1.通过unattachedCategories()函数生成一个全局对象cats
    • 2.我们从这个单例对象中查找cls ,获取一个category_list *list列表
    • 3.要是没有list 指针。那么我们就生成一个category_list 空间。
    • 4.要是有list 指针,那么就在该指针的基础上再分配出category_list 大小的空间
    • 5.在这新分配好的空间,将这个catcatHeader 写入。
    • 6.将数据插入到cats 中,keycls, 值是list
    remethodizeClass
    static void remethodizeClass(Class cls)
    {
        //分类数组
        category_list *cats;
        bool isMeta;
    
        runtimeLock.assertWriting();
    
        isMeta = cls->isMetaClass();
    
        // Re-methodizing: check for more categories
        if ((cats = unattachedCategoriesForClass(cls, false/*not realizing*/))) {
            if (PrintConnecting) {
                _objc_inform("CLASS: attaching categories to class '%s' %s", 
                             cls->nameForLogging(), isMeta ? "(meta)" : "");
            }
            
            attachCategories(cls, cats, true /*flush caches*/);        
            free(cats);
        }
    }
    

    remethodizeClass函数中将通过attachCategories函数我们的分类信息附加到该类中。

    attachCategories
    //cls = [Person class]
    //cats = [category_t(Eat),category_t(Drink)]
    static void 
    attachCategories(Class cls, category_list *cats, bool flush_caches)
    {
        if (!cats) return;
        if (PrintReplacedMethods) printReplacements(cls, cats);
    
        bool isMeta = cls->isMetaClass();
    
        // 重新分配内存
        method_list_t **mlists = (method_list_t **)
            malloc(cats->count * sizeof(*mlists));
        property_list_t **proplists = (property_list_t **)
            malloc(cats->count * sizeof(*proplists));
        protocol_list_t **protolists = (protocol_list_t **)
            malloc(cats->count * sizeof(*protolists));
    
        // Count backwards through cats to get newest categories first
        int mcount = 0;
        int propcount = 0;
        int protocount = 0;
        int i = cats->count;
        bool fromBundle = NO;
        while (i--) {
            auto& entry = cats->list[i];
    
            method_list_t *mlist = entry.cat->methodsForMeta(isMeta);
            if (mlist) {
                mlists[mcount++] = mlist;
                fromBundle |= entry.hi->isBundle();
            }
    
            property_list_t *proplist = 
                entry.cat->propertiesForMeta(isMeta, entry.hi);
            if (proplist) {
                proplists[propcount++] = proplist;
            }
    
            protocol_list_t *protolist = entry.cat->protocols;
            if (protolist) {
                protolists[protocount++] = protolist;
            }
        }
    
        auto rw = cls->data();
    
        prepareMethodLists(cls, mlists, mcount, NO, fromBundle);
        rw->methods.attachLists(mlists, mcount);
        free(mlists);
        if (flush_caches  &&  mcount > 0) flushCaches(cls);
    
        rw->properties.attachLists(proplists, propcount);
        free(proplists);
    
        rw->protocols.attachLists(protolists, protocount);
        free(protolists);
    }
    

    对上面的代码进行解读(假设cls是类对象,元类对象分析同理):

    • 1.根据方法列表、属性列表、协议列表分配内存

    • 2.cats是这种数据结构:[category_t(Eat),category_t(Drink),。。。],遍历cats,然后

      • 1.获取一个分类里面的所有对象方法,存储在mlist数组中,然后再将mlist数组添加到二维数组mlists
      • 2.获取一个分类里面的所有协议,存储在proplist数组中,然后再将proplist数组添加到二维数组proplists
      • 3.获取一个分类里面的所有属性,存储在protolist数组中,然后再将protolist数组添加到二维数组protolists
    • 3.获取cls 的的bits 指针 class_rw_t,通过attachLists方法,将mlists附加到类对象方法列表中,将proplists附加到类对象的属性列表中,将protolists附加到类对象的协议列表中

    其中mlists的数据结构如下,proplistsprotolists同理:

    [
        [method_t,method_t],
        [method_t,method_t]
    ]
    
    attachLists
       void attachLists(List* const * addedLists, uint32_t addedCount) {
            if (addedCount == 0) return;
    
            if (hasArray()) {
                // many lists -> many lists
                uint32_t oldCount = array()->count;
                uint32_t newCount = oldCount + addedCount;
                setArray((array_t *)realloc(array(), array_t::byteSize(newCount)));
                array()->count = newCount;
                memmove(array()->lists + addedCount, array()->lists, 
                        oldCount * sizeof(array()->lists[0]));
                memcpy(array()->lists, addedLists, 
                       addedCount * sizeof(array()->lists[0]));
            }
            else if (!list  &&  addedCount == 1) {
                // 0 lists -> 1 list
                list = addedLists[0];
            } 
            else {
                // 1 list -> many lists
                List* oldList = list;
                uint32_t oldCount = oldList ? 1 : 0;
                uint32_t newCount = oldCount + addedCount;
                setArray((array_t *)malloc(array_t::byteSize(newCount)));
                array()->count = newCount;
                if (oldList) array()->lists[addedCount] = oldList;
                memcpy(array()->lists, addedLists, 
                       addedCount * sizeof(array()->lists[0]));
            }
        }
    

    attachLists方法主要关注两个变量array()->listsaddedLists

    • array()->lists: 类对象原来的方法列表,属性列表,协议列表,比如Person中的那些方法等
    • addedLists:传入所有分类的方法列表,属性列表,协议列表,比如Person(Eat)、Person(Drink)中的那些方法等。

    上面代码的作用就是通过memmove将原来的类找那个的方法、属性、协议列表分别进行后移,然后通过memcpy将传入的方法、属性、协议列表填充到开始的位置。
    我们来总结一下这个过程:

    • 通过Runtime加载某个类的所有Category数据

    • 把所有Category的方法、属性、协议数据,合并到一个大数组中,后面参与编译的Category数据,会在数组的前面

    • 将合并后的分类数据(方法、属性、协议),插入到类原来数据的前面

    我们可以用如下的动画来表示一下这个过程


    image

    通过这个动画我们不难注意到以下两点:

    • 1)、category的方法没有“完全替换掉”原来类已经有的方法,也就是说如果category和原来类都有methodA,那么category附加完成之后,类的方法列表里会有两个methodA.
    • 2)、category的方法被放到了新方法列表的前面,而原来类的方法被放到了新方法列表的后面,这也就是我们平常所说的category的方法会“覆盖”掉原来类的同名方法,这是因为运行时在查找方法的时候是顺着方法列表的顺序查找的,它只要一找到对应名字的方法,就会罢休_,殊不知后面可能还有一样名字的方法。

    我们通过代码来验证一下上面两个注意点是否正确

    image

    load与initialize

    load方法与initialize方法的调用与一般普通方法的调用有所区别,因此笔者将其放在这一节一并分析进行想对比

    load源码分析

    同样的,我们按照如下函数的调用顺序,一步一步的研究load的加载处理过程

    void _objc_init(void);
    └── void load_images(...);
        └── void call_load_methods(...);
            └── void call_class_loads(...);
    

    我们直接从load_images方法进行分析

    void
    load_images(const char *path __unused, const struct mach_header *mh)
    {
        // Return without taking locks if there are no +load methods here.
        if (!hasLoadMethods((const headerType *)mh)) return;
    
        recursive_mutex_locker_t lock(loadMethodLock);
    
        // Discover load methods
        {
            rwlock_writer_t lock2(runtimeLock);
            prepare_load_methods((const headerType *)mh);
        }
    
        // Call +load methods (without runtimeLock - re-entrant)
        call_load_methods();
    }
    

    load_images方法中主要关注prepare_load_methods方法与call_load_methods方法

    prepare_load_methods
    void prepare_load_methods(header_info *hi)
    {
        size_t count, i;
    
        rwlock_assert_writing(&runtimeLock);
    
        classref_t *classlist =
            _getObjc2NonlazyClassList(hi, &count);
        for (i = 0; i < count; i++) {
            schedule_class_load(remapClass(classlist[i]));
        }
    
        category_t **categorylist = _getObjc2NonlazyCategoryList(hi, &count);
        for (i = 0; i < count; i++) {
            category_t *cat = categorylist[i];
            Class cls = remapClass(cat->cls);
            if (!cls) continue;  // category for ignored weak-linked class
            realizeClass(cls);
            assert(cls->ISA()->isRealized());
            add_category_to_loadable_list(cat);
        }
    }
    
    static void schedule_class_load(Class cls)
    {
        if (!cls) return;
        assert(cls->isRealized());  // _read_images should realize
    
        if (cls->data()->flags & RW_LOADED) return;
    
        // 确保父类优先的顺序
        schedule_class_load(cls->superclass);
    
        add_class_to_loadable_list(cls);
        cls->setInfo(RW_LOADED);
    }
    

    顾名思义,这个函数的作用就是提前准备好满足 +load 方法调用条件的类和分类,以供接下来的调用。
    然后在这个类中调用了schedule_class_load(Class cls)方法,并且在入参时对父类递归的调用了,确保父类优先的顺序。

    call_load_methods

    经过prepare_load_methods的准备,接下来call_load_methods就开始大显身手了。

    void call_load_methods(void)
    {
        static BOOL loading = NO;
        BOOL more_categories;
    
        recursive_mutex_assert_locked(&loadMethodLock);
    
        // Re-entrant calls do nothing; the outermost call will finish the job.
        if (loading) return;
        loading = YES;
    
        void *pool = objc_autoreleasePoolPush();
    
        do {
            // 1. Repeatedly call class +loads until there aren't any more
            while (loadable_classes_used > 0) {
                call_class_loads();
            }
    
            // 2. Call category +loads ONCE
            more_categories = call_category_loads();
    
            // 3. Run more +loads if there are classes OR more untried categories
        } while (loadable_classes_used > 0  ||  more_categories);
    
        objc_autoreleasePoolPop(pool);
    
        loading = NO;
    }
    

    call_load_methods中我们看do循环这个方法,它调用上一步准备好的类和分类中的 +load 方法,并且确保类优先于分类的顺序。

    call_class_loads

    call_class_loadsload方法调用的核心方法

    static void call_class_loads(void)
    {
        int i;
    
        // Detach current loadable list.
        struct loadable_class *classes = loadable_classes;
        int used = loadable_classes_used;
        loadable_classes = nil;
        loadable_classes_allocated = 0;
        loadable_classes_used = 0;
    
        // Call all +loads for the detached list.
        for (i = 0; i < used; i++) {
            Class cls = classes[i].cls;
            load_method_t load_method = (load_method_t)classes[i].method;
            if (!cls) continue;
    
            if (PrintLoading) {
                _objc_inform("LOAD: +[%s load]\n", cls->nameForLogging());
            }
            (*load_method)(cls, SEL_load);
        }
    
        // Destroy the detached list.
        if (classes) _free_internal(classes);
    }
    

    这个函数的作用就是真正负责调用类的 +load 方法了。它从全局变量 loadable_classes 中取出所有可供调用的类,并进行清零操作。

    loadable_classes = nil;
    loadable_classes_allocated = 0;
    loadable_classes_used = 0;
    

    其中 loadable_classes 指向用于保存类信息的内存的首地址,loadable_classes_allocated 标识已分配的内存空间大小,loadable_classes_used 则标识已使用的内存空间大小。

    然后,循环调用所有类的 +load 方法。注意,这里是(调用分类的 +load 方法也是如此)直接使用函数内存地址的方式 (*load_method)(cls, SEL_load); 对 +load 方法进行调用的,而不是使用发送消息 objc_msgSend 的方式。

    但是如果我们写[Student load]时,这是使用发送消息 objc_msgSend 的方式。

    举个🌰:

    @interface Person : NSObject
    @end
    @implementation Person
    + (void)load{
        NSLog(@"%s",__func__);
    }
    @end
    
    @interface Student : Person
    @end
    @implementation Student
    //+ (void)load{
    //    NSLog(@"%s",__func__);
    //}
    @end
    
    int main(int argc, const char * argv[]) {
        @autoreleasepool {
            [Student load];
        }
        return 0;
    }
    

    输出如下:

    image

    第一句走的是load的加载方式,而第二句走的是objc_msgSend中消息发送机制,isa指针通过superclass在父类中找到类方法。

    小总结

    • +load方法会在runtime加载类、分类时调用
    • 每个类、分类的+load,在程序运行过程中只调用一次
    • 调用顺序

    1.先调用类的+load

    按照编译先后顺序调用(先编译,先调用)
    调用子类的+load之前会先调用父类的+load

    2.再调用分类的+load

    按照编译先后顺序调用(先编译,先调用)

    initialize源码分析

    同样的,我们按照如下函数的调用顺序,一步一步的研究initialize的加载处理过程

    Method class_getInstanceMethod(Class cls, SEL sel);
    └── IMP lookUpImpOrNil(Class cls, SEL sel, id inst, bool initialize, bool cache, bool resolver);
        └── IMP lookUpImpOrForward(Class cls, SEL sel, id inst, bool initialize, bool cache, bool resolver);
            └── void _class_initialize(Class cls);
                  └── void callInitialize(Class cls);
    
    

    我们直接打开objc-runtime-new.mm文件来研究lookUpImpOrForward这个方法

    lookUpImpOrForward
    IMP lookUpImpOrForward(Class cls, SEL sel, id inst,
                           bool initialize, bool cache, bool resolver)
    {
        ...
            rwlock_unlock_write(&runtimeLock);
        }
    
        if (initialize  &&  !cls->isInitialized()) {
            _class_initialize (_class_getNonMetaClass(cls, inst));
            // If sel == initialize, _class_initialize will send +initialize and 
            // then the messenger will send +initialize again after this 
            // procedure finishes. Of course, if this is not being called 
            // from the messenger then it won't happen. 2778172
        }
    
        // The lock is held to make method-lookup + cache-fill atomic 
        // with respect to method addition. Otherwise, a category could 
        ...
    }
    
    

    initialize && !cls->isInitialized()判断代码表明当一个类需要初始化却没有初始化时,会调用_class_initialize进行初始化。

    _class_initialize
    void _class_initialize(Class cls)
    {
        ...
        Class supercls;
        BOOL reallyInitialize = NO;
    
        // Make sure super is done initializing BEFORE beginning to initialize cls.
        // See note about deadlock above.
        supercls = cls->superclass;
        if (supercls  &&  !supercls->isInitialized()) {
            _class_initialize(supercls);
        }
         ...
     
         callInitialize(cls);
         
        ...
    }
    

    同样的supercls && !supercls->isInitialized()表明对入参的父类进行了递归调用,以确保父类优先于子类初始化。

    callInitialize
    void callInitialize(Class cls)
    {
        ((void(*)(Class, SEL))objc_msgSend)(cls, SEL_initialize);
        asm("");
    }
    

    最后在callInitialize中通过发送消息 objc_msgSend 的方式对 +initialize方法进行调用,也就是说+ initialize与一般普通方法的调用处理是一样的。
    举个🌰:

    @interface Person : NSObject
    @end
    @implementation Person
    + (void)initialize{
        NSLog(@"%s",__func__);
    }
    @end
    @implementation Person (Eat)
    + (void)initialize{
        NSLog(@"%s",__func__);
    }
    @end
    
    @interface Student : Person
    @end
    @implementation Student
    + (void)initialize{
        NSLog(@"%s",__func__);
    }
    @end
    
    @interface Teacher : Person
    @end
    @implementation Teacher
    @end
    
    int main(int argc, const char * argv[]) {
        @autoreleasepool {
            [Student alloc];
            [Student initialize];
            [Person alloc];
            [Person alloc];
            [Person alloc];
            [Person alloc];
            [Person alloc];
            [Person alloc];
            NSLog(@"****分割线***");
            [Teacher alloc];
            [Teacher initialize];
        }
        return 0;
    }
    

    输出如下:


    image

    小总结

    • +initialize方法会在类第一次接收到消息时调用
    • 调用顺序
    1. 先调用父类的+initialize,再调用子类的+initialize
    2. 先初始化父类,再初始化子类,每个类只会初始化1次

    load与initialize对比

    条件 +load +initialize
    关键方法 (*load_method)(cls, SEL_load) objc_msgSend
    调用时机 被添加到 runtime 时 收到第一条消息前,可能永远不调用
    调用顺序 父类->子类->分类 父类->子类
    调用次数 1次 多次
    是否需要显式调用父类实现
    是否沿用父类的实现
    分类中的实现 类和分类都执行 覆盖类中的方法,只执行分类的实现

    面试题

    1.Category的使用场合是什么?
      1. 给现有的类添加方法
      1. 将一个类的实现拆分成多个独立的源文件
      1. 声明私有的方法
    2.Category和Class Extension的区别是什么?
      1. Class Extension是编译时决议,在编译的时候,它的数据就已经包含在类信息中
      1. Category是运行时决议,在运行时,才会将数据合并到类信息中(可通过上面的动画进行理解^_^
    3.Category的实现原理?
      1. Category编译之后的底层结构是struct category_t,里面存储着分类的对象方法、类方法、属性、协议信息
      1. 在程序运行的时候,runtime会将Category的数据,合并到类信息中(类对象、元类对象中)(依旧可通过上面的动画进行理解-_-||))
    4.一个类的有多个分类方法,分类中都含有与原类同名的方法,请问调用改方法时会调用谁的方法?分类会覆盖原类的方法吗?

    不会覆盖!所有分类的方法会在运行时将它们的方法都合并到一个大数组中,后面参与编译的Category数据,会在数组的前面,然后再将该数组合并到类信息中,调用时顺着方法列表的顺序查找。

    5.load与initialize的区别

    loadinitialize对比章节的表格

    6.Category能否添加成员变量?如果可以,如何给Category添加成员变量?

    不能直接给Category添加成员变量,但是可以通过关联对象或者全局字典等方式间接实现Category有成员变量的效果

    相关文章

      网友评论

        本文标题:Category:从底层原理研究到面试题分析

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