你要知道的runtime都在这里
转载请注明出处 http://www.jianshu.com/p/17e158a666b1
本文主要讲解runtime
相关知识,从原理到实践,由于包含内容过多分为以下五篇文章详细讲解,可自行选择需要了解的方向:
- 从runtime开始: 理解面向对象的类到面向过程的结构体
- 从runtime开始: 深入理解OC消息转发机制
- 从runtime开始: 理解OC的属性property
- 从runtime开始: 实践Category添加属性与黑魔法method swizzling
- 从runtime开始: 深入weak实现机理
本文是系列文章的第一篇文章从runtime开始: 理解面向对象的类到面向过程的结构体,主要从runtime
出发讲解面向对象的类是如何转变为面向过程的结构体,来探究OC对类的处理本质。
什么是runtime
runtime
就是运行时,在实际开发中使用runtime
的场景并不多,但是了解runtime
有助于我们更好的理解OC的原理,从而提高开发水平。
runtime
很强大,是OC最重要的一部分也是OC最大的特色,可以不夸张的说runtime
成就了OC,尽管runtime
是OC的一个模块而已。
我们都知道高级编程语言想要成为可执行文件需要先编译为汇编语言再汇编为机器语言,机器语言也是计算机能够识别的唯一语言,但是OC并不能直接编译为汇编语言,而是要先转写为纯C语言再进行编译和汇编的操作,从OC到C语言的过渡就是由runtime
来实现的。然而我们使用OC进行面向对象开发,而C语言更多的是面向过程开发,这就需要将面向对象的类转变为面向过程的结构体,本文正是通过runtime
源码分析来讲解runtime
是如何将面向对象的类转变为面向过程的结构体。
深入代码理解instance、class object、metaclass
面向对象编程中,最重要的概念就是类,下面我们就从代码入手,看看OC是如何实现类的。
前文一直在说runtime
将面向对象的类转变为面向过程的结构体,那这个结构体到底是什么样子的?打开#import<objc/objc.h>
文件,可以发现以下几行代码
/// 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 OBJC_ISA_AVAILABILITY;
};
/// A pointer to an instance of a class.
typedef struct objc_object *id;
通过注释和代码不难发现,我们创建的一个对象或实例其实就是一个struct objc_object
结构体,而我们常用的id
也就是这个结构体的指针。有如下代码:
//以下两种写法都成立
id str = [[NSString alloc] init];
NSString *str = [[NSString alloc] init];
通过上述代码可以看出,我们创建的NSString类
的实例str
其实就是一个struct objc_object
结构体指针,所以不管是Foundation
框架中的类或是自定义的类,我们创建的类的实例最终获取的都是一个结构体指针,这个结构体只有一个成员变量就是Class
类型的isa
指针,Class
是结构体指针,指向struct objc_class
,那这个结构体又是什么呢?这里先透露一句话str is a NSString
,再加上Class
这个指针的名字,我们不难猜测,Class
就是代表NSString
这个类。
接下来会详细讲解这个结构体,现在再看另一个例子,有时我们也会通过下述方法来创建一个实例:
NSString *str = [[NSString alloc] initWithString: @"Hello World"];
Class c = [str class];
NSString *str2 = [[c alloc] initWithString: @"Hello World"];
可能你已经发现了,通过实例对象调用的class
方法,我们能够获取到一个Class
类型的变量,我们可以通过这个Class
来创建相应的实例对象。
实际上,OC中的类也是一个对象,称为类对象
,上述方法中通过[str class]
方法获取到的就是NSString类
的类对象
,接着我们就可以通过这个类对象
来创建实例对象,那这个类对象
又是什么东西呢?打开#import<objc/runtime.h>
文件,我们可以找到结构体struct objc_class
的定义,该结构体定义如下:
文件objc/runtime.h中有如下定义:
struct objc_class {
Class isa OBJC_ISA_AVAILABILITY;
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
}
/* Use `Class` instead of `struct objc_class *` */
文件objc/objc.h文件中有如下定义
/// 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 OBJC_ISA_AVAILABILITY;
};
/// A pointer to an instance of a class.
typedef struct objc_object *id;
struct objc_class
结构体定义了很多变量,通过命名不难发现,结构体里保存了指向父类的指针、类的名字、版本、实例大小、实例变量列表、方法列表、缓存、遵守的协议列表等,一个类包含的信息也不就正是这些吗?没错,类对象
就是一个结构体struct objc_class
,这个结构体存放的数据称为元数据(metadata)
,该结构体的第一个成员变量也是isa
指针,这就说明了Class
本身其实也是一个对象,因此我们称之为类对象
,类对象
在编译期产生用于创建实例对象,是单例。
类对象
中的元数据
存储的都是如何创建一个实例的相关信息,那么类对象
和类方法
应该从哪里创建呢?就是从isa
指针指向的结构体创建,类对象
的isa
指针指向的我们称之为元类(metaclass)
,元类
中保存了创建类对象
以及类方法
所需的所有信息,因此整个结构应该如下图所示:
通过上图我们可以清晰的看出来一个实例对象也就是struct objc_object
结构体它的isa
指针指向类对象
,类对象
的isa
指针指向了元类,super_class
指针指向了父类的类对象
,而元类
的super_class
指针指向了父类的元类
,那元类
的isa
指针又指向了什么?为了更清晰的表达直接使用一个大神画的图。
通过上图我们可以看出整个体系构成了一个自闭环,如果是从NSObject
中继承而来的上图中的Root class
就是NSObject
。至此,整个实例
、类对象
、元类
的概念也就讲清了,接下来我们在代码中看看这些概念该怎么应用。
@interface Person : NSObject
@property (nonatomic, copy) NSString* name;
@property (nonatomic, assign) NSUInteger age;
@end
@implementation Person
@synthesize name = _name;
@synthesize age = _age;
@end
int main(int argc, const char * argv[]) {
@autoreleasepool {
Person *p = [[Person alloc] init];
Class c1 = [p class];
Class c2 = [Person class];
//输出 1
NSLog(@"%d", c1 == c2);
}
return 0;
}
c1
是通过一个实例对象获取的Class
,实例对象可以获取到其类对象
,类名作为消息的接受者时代表的是类对象
,因此类对象获取Class
得到的是其本身,同时也印证了类对象
是一个单例的想法。
那么如果我们想获取isa
指针的指向对象呢?
介绍两个函数
OBJC_EXPORT BOOL class_isMetaClass(Class cls)
OBJC_AVAILABLE(10.5, 2.0, 9.0, 1.0);
OBJC_EXPORT Class object_getClass(id obj)
OBJC_AVAILABLE(10.5, 2.0, 9.0, 1.0);
class_isMetaClass
用于判断Class
对象是否为元类
,object_getClass
用于获取对象的isa
指针指向的对象。
再看如下代码:
int main(int argc, const char * argv[]) {
@autoreleasepool {
Person *p = [[Person alloc] init];
//输出1
NSLog(@"%d", [p class] == object_getClass(p));
//输出0
NSLog(@"%d", class_isMetaClass(object_getClass(p)));
//输出1
NSLog(@"%d", class_isMetaClass(object_getClass([Person class])));
//输出0
NSLog(@"%d", object_getClass(p) == object_getClass([Person class]));
}
return 0;
}
通过代码可以看出,一个实例对象通过class
方法获取的Class
就是它的isa
指针指向的类对象
,而类对象
不是元类
,类对象
的isa
指针指向的对象是元类
。
总结
通过上文的代码分析,我们已经了解了OC中的类和实例是如何映射到C语言结构体的,实例对象是一个结构体,这个结构体只有一个成员变量,指向构造它的那个类对象,这个类对象中存储了一切实例对象需要的信息包括实例变量、实例方法等,而类对象是通过元类创建的,元类中保存了类变量和类方法,这样就完美解释了整个类和实例是如何映射到结构体的。
下一步
了解类到结构体映射只是揭开runtime
神秘面纱的第一步,下一篇博客将会介绍OC的消息传递机制以及runtime
对OC消息传递所做的具体操作,感兴趣的读者可以继续学习下一篇文章从runtime开始: 深入理解OC消息转发机制。
备注
由于作者水平有限,难免出现纰漏,如有问题还请不吝赐教。