类的定义
类在OC中其实是一个指向objc_class的结构体指针,结构体的构造为:
typedef struct objc_class *Class;
struct objc_class {
Class isa;
Class super_class;
const char *name;
long version;
long info;
long instance_size;
struct objc_ivar_list *ivars;
struct objc_method_list **methodLists;
struct objc_cache *cache;
struct objc_protocol_list *protocols;
};
OC中对象的定义是这样:
typedef struct objc_object {
Class isa;
} *id;
每个对象都有一个类,在Objective-C中,对象的类是isa指针决定的,即 isa 指针指向对象所属的类。
元类的定义
由书上第十一条我们了解到了消息发送机制。
其原理就是 OC对象在发送消息时,运行时库会追寻着对象的isa指针得到对象所属的类。这个类包含了能应用于这个类的所有实例方法以及指向父类的指针,以便可以找到父类的实例方法。运行时库检查这个类和其父类的方法列表,找到与消息对应的方法。 编译器会将消息转换为消息函数objc_msgSend进行调用
同样我们也会有对类发送消息的情况:
NSString *testString = [NSString stringWithFormat:@"%d",3];
从此处我们可以知道,OC的类其实也是一个对象,一个对象就要有一个它属于的类,意味着类也要有一个isa指针,指向其所属的类。那么类的类是什么?就是我们所说的元类(MetaClass),所以,元类就是类的所属类。
所以从消息机制的层面来讲:
- 当你给对象发消息时,消息会寻找这个对象的类的方法列表
- 当你给类发消息时,消息是在寻找这个类的元类的方法列表
元类的类
既然元类是个类,和之前的类一样也是一个对象,那元类的类是什么呢?
所有的元类都使用根元类作为他们的类。根元类的 isa 指针指向了它自己。
三者的关系
使用最常见的这张图进行分析 instance(实例) Subclass(子类)
每一个实例变量的isa都指向自己所属的类,每一个类的isa都指向自己所属的元类,同时,父类的元类也是子类的元类的父类,父类的元类也是根元类的子类。而父类的元类和子类的元类都属于根元类。根元类的isa指向自己,同时根元类的父类也是自己的下属类(NSObject元类的父类是NSObject类)。
此作者通过源码 并且通过实际代码验证了这个指向关系
如果在NSObject元类中调用NSObject的方法 并不会报错。