OC - Runtime

一、首先，从 runtime.h头文件中找到对 class 与 object 的定义

复制代码
/// An opaque type that represents an Objective-C class.
typedef struct objc_class *Class;

/// Represents an instance of a class.
struct objc_object {
    Class isa;
};

/// A pointer to an instance of a class.
typedef struct objc_object *id;
复制代码
  由此可见，Class是一个指向objc_class结构体的指针，而id是一个指向objc_object结构体的指针，其成员isa是一个指向objec_class结构体的指针。

  二、下面我们再看看头文件中关于objc_class的定义

复制代码
struct objc_class {
        Class isa; // 指向metaclass
        
        Class super_class ; // 指向其父类
        const char *name ; // 类名
        long version ; // 类的版本信息，初始化默认为0，可以通过runtime函数class_setVersion和class_getVersion进行修改、读取
        long info; // 一些标识信息,如CLS_CLASS (0x1L) 表示该类为普通 class ，其中包含对象方法和成员变量;CLS_META (0x2L) 表示该类为 metaclass，其中包含类方法;
        long instance_size ; // 该类的实例变量大小(包括从父类继承下来的实例变量);
        struct objc_ivar_list *ivars; // 用于存储每个成员变量的地址
        struct objc_method_list **methodLists ; // 与 info 的一些标志位有关,如CLS_CLASS (0x1L),则存储对象方法，如CLS_META (0x2L)，则存储类方法;
        struct objc_cache *cache; // 指向最近使用的方法的指针，用于提升效率；
        struct objc_protocol_list *protocols; // 存储该类遵守的协议
    }
复制代码
  由此可见，类比对象的结构体中多了众多的成员，下面详细介绍下objec_class中各成员：

isa：objec_object（对象）中isa指针指向的类结构称为class（也就是该对象所属的类），其中存放着普通成员变量与对象方法 （“-”开头的方法）；然而此处isa指针指向的类结构称为metaclass，其中存放着static类型的成员变量与static类型的方法 （“+”开头的方法）。

super_class： 指向该类的父类的指针，如果该类是根类（如NSObject或NSProxy），那么super_class就为NULL。

  下面，我们通过一幅图可以看清楚OC中类与对象的继承层次关系：

 



 

注意：所有的metaclass中isa指针都是指向根metaclass，而根metaclass则指向自身。根metaclass是通过继承根类产生的，与根class结构体成员一致，不同的是根metaclass的isa指针指向自身。

1、当我们调用某个对象的对象方法时，它会首先在自身isa指针指向的类（class）methodLists中查找该方法，如果找不到则会通过class的super_class指针找到其父类，然后从其methodLists中查找该方法，如果仍然找不到，则继续通过 super_class向上一级父类结构体中查找，直至根class；

2、当我们调用某个类方法时，它会首先通过自己的isa指针找到metaclass，并从其methodLists中查找该类方法，如果找不到则会通过metaclass的super_class指针找到父类的metaclass结构体，然后从methodLists中查找该方法，如果仍然找不到，则继续通过super_class向上一级父类结构体中查 找，直至根metaclass；

一、Objective-C多态

1.概念：相同接口，不同的实现
来自不同类可以定义共享相同名称的方法。
动态类型能使程序直到执行时才确定对象所属类型
动态类型绑定能使程序直到执行时才确定要对对象调用的实际方法
2.Objective-C不同于传统程序设计语言，它可以再运行时加入新的数据类型和新的程序模块：动态类型识别，动态绑定，动态加载
3.id类型：通用指针类型，弱类型，编译时不进行类型检查

二、动态类型识别

1.任意NSObject的子类都会继承NSObject的isa实例变量，而且当NSObject的子类实例化对象时，isa实例变量永远是对象的第一个实例变量。

2.类对象
＊类对象再程序运行时一直存在。
＊类对象是一种数据结构，存储类的基本信息：类大小，类名称，类的版本以及消息与函数的映射表等
＊类对象所保存的信息在程序编译时确定，在程序启动时加载到内存中。
＊类对象代表类，class代表类对象，类方法属于类对象
＊如果消息的接收者是类名，则类名代表类对象
＊运行时，所有类的实例都由类对象生成，类对象会把实例的isa的值修改成自己的地址，每个实例的isa都指向该实例的类对象，＊从类对象里可以知道父类信息、可以响应的方法等
＊类对象只能使用类方法，不能用实例方法

3.SEL类型
Objective-C在编译的时候,会根据方法的名字 (包括参数序列),生成一个用来区分这个方法的唯一的一个标示(ID),这个标示(ID)就是SEL类型的,在运行时候是通过方法的标示来查找方法的。只要方法的名字(包括参数序列)相同,那么它们的 ID都是相同的。可以通过@select()指示符获得方法的标示。SEL mydraw =@select(draw)；
NSSelectorFromString(NSString*);根据方法名得到方法标识
(NSString*)NSStringFromSelector(SEL);得到SEL类型的方法名

4.动态类型识别常用方法
-(BOOL)isKindOfClass:classObj 是否是classObj类或其子类
-(BOOL)isMemberOfClass:classObj是否是classObj的实例
-(BOOL)respondsTosSelector:selector 类中是否有这个方法
NSClassFromString(NSString*);由字符串得到类对象
NSStringFromClass([类名 Class]);由类名得到字符串

Class rectClass= [Rectangle class];通过类名得到类对象
Class aClass =[anObject class];通过实例得到类对象
if([obj1 class]== [obj2 class])判断是不是相同类的实例


5. 可以将对象分为id类型和静态类型
– 如果不涉及到多态,尽量使用静态类型
– 静态类型可更好的在编译阶段而不是运行阶段指 出错误
– 静态类型能够提高程序的可读性

三、动态绑定

1. 在objective-c中,一个对象内否调用指定的方法不是由编译器决定而是由运行时决定,这被称作是方法的动态绑定。
2. 在objective-c里,对象不调用方法,而是接收消息,消息 表达式为: [reciver message];运行时系统首先确定接收者的类型(动态类型识别),然 后根据消息名在类的方法列表里选择相依的方法执行,所 以在源代码里消息也称为选择器(selector)
3. 消息函数的作用:
– 首先通过第一个参数的receiver,找到它的isa 指针,然 后在isa 指向的Class 对象中使用第二个参数selector 查 找方法;
– 如果没有找到,就使用当前Class 对象中的新的isa 指针 到上一级的父类的Class 对象中查找;
– 当找到方法后,再依据receiver 的中的self 指针找到当前 的对象,调用当前对象的具体实现的方法(IMP),然后传 递参数,调用实现方法。
– 假如一直找到NSObject 的Class 对象,也没有找到你调 用的方法,就会报告不能识别发送消息的错误。
5. 什么是IMP
– IMP是”implementation”的缩写,它是objetive-C 方法 (method)实现代码块的地址,类似函数指针,通过它可以 直接访问任意一个方法。免去发送消息的代价。

6. 获取方法的IMP

– -(IMP)methodForSelector:(SEL)aSelector;
SEL print_sel =NSSelectorFromString(@“print:”);//获得SEL 
IMP imp=[person methodForSelector:print_sel];//得到IMP 
imp(person,print_sel,@“*********”);
//通过IMP直接调用方法 等效调用:
[person print_sel:@“*********”];

– imp的第一参数是对象自己(self),第二参数是方法标示, 第三个是方法的参数