1. 函数调用(消息)实现分析:
我们看这条语句:
1 | [self.person setValue:@"Vincent"forKey:@"name"]; |
就会被编译器处理成:
1 | SEL sel = sel_get_uid ("setValue:forKey:"); |
2 |
3 | IMP method = objc_msg_lookup (self.person->isa,sel); |
4 |
5 | method(self.person, sel,@"Vincent",@"name"); |
也就是说iOS中函数调用并不是被静态编译为地址调用,而是被转为查表、调用!
2. 这里需要介绍几个基本概念:
(1). SEL数据类型:它是编译器运行Objective-C里的方法的环境参数。
(2). IMP数据类型:他其实就是一个 编译器内部实现时候的函数指针。当Objective-C编译器去处理实现一个方法的时候,就会指向一个IMP对象,这个对象是C语言表述的类型(事实上,在Objective-C的编译器处理的时候,基本上都是C语言的)。
(3). isa指针,如其名称所指,(就是is a kind of的意思),指向维护分发表的对象的类。该分发表实际上包含了指向实现类中的方法的指针,和其它数据。
3. KVO/KVC实现分析:
当我们为一个类的某个属性添加observer时候,框架自动创建这个类的一个子类,并且修改这个类的isa指向这个新的子类。
由于在ios中函数调用都是转化为isa查表形式,所以这次查得时新的子类的表,
也就是说对类的函数调用被子类给拦截了,在拦截的实现中就可以通知observer了。
修改类的isa被称为isa-swizzling技术。isa-swizzling就是类型混合指针机制。KVC主要通过isa-swizzling,来实现其内部查找定位的。
比如还是这段代码:
1 | [self.person setValue:@"Vincent"forKey:@"name"]; |
它会被编译为:
1 | SEL sel = sel_get_uid ("setValue:forKey:"); |
2 |
3 | IMP method = objc_msg_lookup (self.person->isa,sel); |
4 |
5 | method(self.person, sel,@"Vincent",@"name"); |
这里的isa是动态生成的子类,你debugger调试一个被观察的类就会发现它的isa已经发生了变化!而没有被观察的类的isa是正常的,如图所示:
也就是说我们调用setValue...的时候实际上已经调用observer的didChangeValueForKey:方法!
因为KVC的实现机制,可以很容易看到某个KVC操作的Key,而后也很容易的跟观察者注册表中的Key进行匹对。假如访问的Key是被观察的Key,那么我们在内部就可以很容易的到观察者注册表中去找到观察者对象,而后给他发送消息。