KVO实现原理

KVO(Key Value Observing)，是观察者模式在Foundation中的实现

KVO的原理

简而言之就是：

1. 当一个object有观察者时，动态创建这个object的类的子类
2. 对于每个被观察的property，重写其set方法
3. 在重写的set方法中调用- willChangeValueForKey:和- didChangeValueForKey:通知观察者
4. 当一个property没有观察者时，删除重写的方法
5. 当没有observer观察任何一个property时，删除动态创建的子类

空说无凭，简单验证下。

@interface Sark : NSObject@property (nonatomic, copy) NSString *name;@end@implementation Sark@end

测试代码：

Sark *sark = [Sark new];// breakpoint 1[sark addObserver:self forKeyPath:@"name" options:NSKeyValueObservingOptionNew context:nil];// breakpoint 2sark.name = @"萨萨萨";[sark removeObserver:self forKeyPath:@"name"];// breakpoint 3

断住后分别使用- class和object_getClass()打出sark对象的Class和真实的Class 

// breakpoint 1(lldb) po sark.classSark(lldb) po object_getClass(sark)Sark// breakpoint 2(lldb) po sark.classSark(lldb) po object_getClass(sark)NSKVONotifying_Sark// breakpoint 3(lldb) po sark.classSark(lldb) po object_getClass(sark)Sark

上面的结果说明，在sark对象被观察时，framework使用runtime动态创建了一个Sark类的子类NSKVONotifying_Sark
而且为了隐藏这个行为，NSKVONotifying_Sark重写了- class方法返回之前的类，就好像什么也没发生过一样
但是使用object_getClass()时就暴露了，因为这个方法返回的是这个对象的isa指针，这个指针指向的一定是个这个对象的类对象

---

然后来偷窥一下这个动态类实现的方法，这里请出一个NSObject的扩展NSObject+DLIntrospection，它封装了打印一个类的方法、属性、协议等常用调试方法，一目了然。 

@interface NSObject (DLIntrospection)+ (NSArray *)classes;+ (NSArray *)properties;+ (NSArray *)instanceVariables;+ (NSArray *)classMethods;+ (NSArray *)instanceMethods;+ (NSArray *)protocols;+ (NSDictionary *)descriptionForProtocol:(Protocol *)proto;+ (NSString *)parentClassHierarchy;@end

然后继续在刚才的断点处调试： 

// breakpoint 1(lldb) po [object_getClass(sark) instanceMethods]<__NSArrayI 0x8e9aa00>(- (void)setName:(id)arg0 ,- (void).cxx_destruct,- (id)name)// breakpoint 2(lldb) po [object_getClass(sark) instanceMethods]<__NSArrayI 0x8d55870>(- (void)setName:(id)arg0 ,- (class)class,- (void)dealloc,- (BOOL)_isKVOA)// breakpoint 3(lldb) po [object_getClass(sark) instanceMethods]<__NSArrayI 0x8e9cff0>(- (void)setName:(id)arg0 ,- (void).cxx_destruct,- (id)name)

首先就有个扎眼的- .cxx_destruct冒出来，这货是个啥？详细的探究请参考我的另一篇文章。

大概就是说arc下这个方法在所有dealloc调用完成后负责释放所有的变量，当然这个和kvo没啥关系了，回到正题。
从上面breakpoint2的打印可以看出，动态类重写了4个方法： 

1. - setName:最主要的重写方法，set值时调用通知函数
2. - class隐藏自己必备啊，返回原来类的class
3. - dealloc做清理犯罪现场工作
4. - _isKVOA这就是内部使用的标示了，判断这个类有没被KVO动态生成子类

---

接下来验证一下KVO重写set方法后是否调用了- willChangeValueForKey:和- didChangeValueForKey:
最直接的验证方法就是在Sark类中重写这两个方法：

@implementation Sark- (void)willChangeValueForKey:(NSString *)key {    NSLog(@"%@", NSStringFromSelector(_cmd));    [super willChangeValueForKey:key];}- (void)didChangeValueForKey:(NSString *)key {    NSLog(@"%@", NSStringFromSelector(_cmd));    [super didChangeValueForKey:key];}@end

没问题。