2019 iOS面试题---runtime相关

2019 iOS面试题大全---全方面剖析面试

• 数据结构：objc_object，objc_class，isa，class_data_bits_t，cache_t，method_t
• 对象，类对象，元类对象
• 消息传递
• 消息转发

---

一、数据结构：objc_object，objc_class，isa，class_data_bits_t，cache_t，method_t

image.png

• objc_object（id）
  isa_t,关于isa操作相关，弱引用相关，关联对象相关，内存管理相关
• objc_class (class) 继承自objc_object
  Class superClass,cache_t cache,class_data_bits_t bits

• isa指针，共用体isa_t

  
  
  

  image.png
• isa指向
  关于对象，其指向类对象。
  关于类对象，其指向元类对象。
  实例--(isa)-->class--(isa)-->MetaClass
• cache_t
  用于快速查找方法执行函数，是可增量扩展的哈希表结构，是局部性原理的最佳运用

 struct cache_t {
    struct bucket_t *_buckets;//一个散列表，用来方法缓存，bucket_t类型，包含key以及方法实现IMP
    mask_t _mask;//分配用来缓存bucket的总数
    mask_t _occupied;//表明目前实际占用的缓存bucket的个数
｝
struct bucket_t {
    private:
    cache_key_t _key;
    IMP _imp;
 ｝

• class_data_bits_t：对class_rw_t的封装

struct class_rw_t {
     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;
｝    

Objc的类的属性、方法、以及遵循的协议都放在class_rw_t中，class_rw_t代表了类相关的读写信息，是对class_ro_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;
    }
  };

• method_t
  函数四要素：名称，返回值，参数，函数体

struct method_t {
  SEL name;           //名称
  const char *types;//返回值和参数
  IMP imp;              //函数体
｝

二、 对象，类对象，元类对象

• 类对象存储实例方法列表等信息。

• 元类对象存储类方法列表等信息。
  

  

  image.png
  
  superClass是一层层集成的,到最后NSObject的superClass是nil.而NSObject的isa指向根元类,这个根元类的isa指向它自己,而它的superClass是NSObject,也就是最后形成一个环,
  三、消息传递

  void objc_msgSend(void /* id self, SEL op, ... */ )
  
  void objc_msgSendSuper(void /* struct objc_super *super, SEL op, ... */ )
  
  struct objc_super {
      /// Specifies an instance of a class.
      __unsafe_unretained _Nonnull id receiver;
  
      /// Specifies the particular superclass of the instance to message. 
  #if !defined(__cplusplus)  &&  !__OBJC2__
      /* For compatibility with old objc-runtime.h header */
      __unsafe_unretained _Nonnull Class class;
  #else
      __unsafe_unretained _Nonnull Class super_class;
  #endif
      /* super_class is the first class to search */
  };
  

消息传递的流程：缓存查找-->当前类查找-->父类逐级查找

• 调用方法之前，先去查找缓存，看看缓存中是否有对应选择器的方法实现，如果有，就去调用函数，完成消息传递（缓存查找：给定值SEL,目标是查找对应bucket_t中的IMP，哈希查找）
• 如果缓存中没有，会根据当前实例的isa指针查找当前类对象的方法列表，看看是否有同样名称的方法 ，如果找到，就去调用函数，完成消息传递（当前类中查找：对于已排序好的方法列表，采用二分查找，对于没有排序好的列表，采用一般遍历）
• 如果当前类对象的方法列表没有，就会逐级父类方法列表中查找，如果找到，就去调用函数，完成消息传递（父类逐级查找：先判断父类是否为nil，为nil则结束，否则就继续进行缓存查找-->当前类查找-->父类逐级查找的流程）
• 如果一直查到根类依然没有查找到，则进入到消息转发流程中，完成消息传递

四、消息转发

+ (BOOL)resolveInstanceMethod:(SEL)sel;//为对象方法进行决议
+ (BOOL)resolveClassMethod:(SEL)sel;//为类方法进行决议
- (id)forwardingTargetForSelector:(SEL)aSelector;//方法转发目标
- (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector;
- (void)forwardInvocation:(NSInvocation *)anInvocation;

image.png

那么最后消息未能处理的时候，还会调用到
- (void)doesNotRecognizeSelector:(SEL)aSelector这个方法，我们也可以在这个方法中做处理，避免掉crash，但是只建议在线上环境的时候做处理，实际开发过程中还要把异常抛出来

• 方法交换(Method-Swizzling)

    + (void)load
  {
      Method test = class_getInstanceMethod(self, @selector(test));
  
      Method otherTest = class_getInstanceMethod(self, @selector(otherTest));
  
      method_exchangeImplementations(test, otherTest);
  }
  

应用场景：替换系统的方法，比如viewDidLoad，viewWillAppear以及一些响应方法，来进行统计信息

• 动态添加方法

  class_addMethod(self, sel, testImp, "v@:");
  
  void testImp (void)
  {
      NSLog(@"testImp");
  }
  

• @dynamic 动态方法解析
  动态运行时语言将函数决议推迟到运行时
  编译时语言在编译期进行函数决议

• [obj foo]和objc_msgSend()函数之间有什么关系？
  objc_msgSend()是[obj foo]的具体实现。在runtime中，objc_msgSend()是一个c函数，[obj foo]会被翻译成这样的形式objc_msgSend(obj, foo)。

• runtime是如何通过selector找到对应的IMP地址的？
  缓存查找-->当前类查找-->父类逐级查找

• 能否向编译后的类中增加实例变量？
  不能。 编译后，该类已经完成了实例变量的布局，不能再增加实例变量。
  但可以向动态添加的类中增加实例变量。