iOS底层系列：KVO

前言

最近打算从新梳理一遍iOS底层的知识，尽可能把全部的底层知识点都搞懂搞透彻，碍于iOS不开源，有不少东西并不能很直观的去学习，因此可能有瑕疵，但愿你们能够理解，并一块儿交流，笔者也尽量作到尽善尽美吧。

KVO概述

KVO的底层是如何实现的呢？

对于这个问题，我想你们均可以简单的聊上这么几句。

对某个实例的某一个属性添加KVO监听后，系统会利用runtime的运行时特性，生成一个临时的类NSKVONotifying_xxx，而后把该实例的isa指针指向NSKVONotifying_xxx，监听哪一个属性，就重写NSKVONotifying_xxx中此属性的set方法，而后在重写的set方法中实现监听和通知。

简单的来讲就是这样，可是这太笼统了，下面咱们经过例子，一步一步的来分析。

探究

1. 为何会想到多是类发生了变化？

Person * person1 = [[Person alloc] init];
Person * person2 = [[Person alloc] init];
    
[person1 addObserver:self
          forKeyPath:@"age"
             options:NSKeyValueObservingOptionNew | NSKeyValueObservingOptionOld
             context:nil];
    
person1.age = 10;
person2.age = 20;

这是一个最基本的KVO使用，在回调中只有person1的值改变被监听了，可是咱们在赋值的时候都是调用了age的set方法，若是咱们在Person类中实现setAge：的方法并debug，这两次赋值都会走setAge方法，问题不是出在setAge这里，因此咱们推测多是类发声了某些变化。（此处应该有runtime的知识基础，runtime有能力对类作一些动态的改变）。

因此咱们能够获取一下这两个实例的类型

// 输出 person1:NSKVONotifying_Person
NSLog(@"person1:%@",object_getClass(person1));
    
// 输出 person2:Person
NSLog(@"person2:%@",object_getClass(person2));

到这里咱们就能够肯定确实是生成了一个中间类。而且让person1的isa指针指向了这个类（object_getClassName方法就是返回isa的指向）。

注：此处为何要用runtime的api，由于runtime的api调用后的结果更加接近本质

2. NSKVONotifying_Person类中作了什么处理？

首先咱们先看一下这面这个图，其实这就是添加了KVO以后类的类型结构

关于NSKVONotifying_Person类实现的方法，咱们是怎么样获得的呢，这里咱们能够借助runtime的api窥探一下。

[self printMethodList:object_getClass(person1)];
// 下面是方法实现
- (void)printMethodList:(Class)cls {
    unsigned int count;
    Method * methodList = class_copyMethodList(cls, &count);
    for (unsigned int i = 0; i < count; i++) {
        Method method = methodList[i];
        NSLog(@"method(%d) : %@", i, NSStringFromSelector(method_getName(method)));
    }
    free(methodList);
}

输出结果

method(0) : setAge:
method(1) : class
method(2) : dealloc
method(3) : _isKVOA

到这一步，咱们能够先作一下小总结：

person2的isa指针指向Person类，因此在setAge的时候，就直接调用了Person中实现的setAge：方法，正常的赋值操做，没有触发KVO。可是person1的isa动态改变，指向了NSKVONotifying_Person，同时NSKVONotifying_Person中又从新实现了setAge：方法，因此在给person1的age赋值时，首先调用的是NSKVONotifying_Person中的setAge：方法，可是咱们在以前的debug中发现，Person中的setAge：方法也会调用，其实这很容易理解，这应该是在NSKVONotifying_Person的setAge：实现中又调用了Person的setAge，毕竟NSKVONotifying_Person的isa指向Person（请自行验证）。

3. NSKVONotifying_Person中的setAge：的实现

我的感受，挖掘setAge：的实现是比较难的。

咱们经过下面的方法打印一下方法IMP的地址

NSLog(@"person1添加KVO以前的两个setAge地址: \n -person1:%p -- person2:%p",
      [person1 methodForSelector:@selector(setAge:)],
      [person2 methodForSelector:@selector(setAge:)]);
    
[person1 addObserver:self
          forKeyPath:@"age"
             options:NSKeyValueObservingOptionNew | NSKeyValueObservingOptionOld
             context:nil];
    
NSLog(@"person1添加KVO以后的两个setAge地址: \n -person1:%p -- person2:%p",
    [person1 methodForSelector:@selector(setAge:)],
    [person2 methodForSelector:@selector(setAge:)]);

输出:

person1添加KVO以前的两个setAge地址: 
-person1:0x1005ee850 -- person2:0x1005ee850
 
person1添加KVO以后的两个setAge地址: 
-person1:0x7fff25623f0e -- person2:0x1005ee850

咱们能够看到，在添加KVO监听先后，person2的setAge实现的地址没有发生变化，可是person1的变了，咱们在打印台用lldb命令打印一下0x7fff25623f0e

(lldb) p (IMP)0x7fff25623f0e
(IMP) $1 = 0x00007fff25623f0e (Foundation`_NSSetIntValueAndNotify)

能够看到setAge的实现其实就是调用了Foundation框架的_NSSetIntValueAndNotify方法。那具体的_NSSetIntValueAndNotify内部实现是怎么样的呢？由于Foundation不开源，咱们只能猜想，并对咱们的猜想作出相应的验证。

下面是我看过一些大神的分析以后猜想的_NSSetIntValueAndNotify实现的伪代码(特此鸣谢咱们的MJ老师)

void _NSSetIntValueAndNotify() {
    [self willChangeValueForKey:@"age"];
    [super setAge:age];
    [self didChangeValueForKey:@"age"];
}


- (void)didChangeValueForKey:(NSString *)keyPath {
    // 通知监听者,已经修改完毕
    [observer observeValueForKeyPath:keyPath ofObject:self change:nil context:nil];
}

如何验证一下咱们的猜想呢？

咱们知道NSKVONotifying_Person类中没有实现willChangeValueForKey和didChangeValueForKey这两个方法，因此咱们能够在NSKVONotifying_Person的父类，也就是Person类型重写这两个方法，改造完以后的Person类里面应该是下面这样子：

@interface Person : NSObject
@property (nonatomic, assign) int age;
@end
@implementation Person
- (void)setAge:(int)age {
    _age = age;
    NSLog(@"age:%d",age);
}
    
- (void)willChangeValueForKey:(NSString *)key {
    [super willChangeValueForKey:key];
    NSLog(@"willChangeValueForKey");
}
    
- (void)didChangeValueForKey:(NSString *)key {
    NSLog(@"didChangeValueForKey - begin");
    [super didChangeValueForKey:key];
    NSLog(@"didChangeValueForKey - end");
}
@end

person1在添加了KVO监听，并设置值person1.age = 10;以后，输出以下：

2020-09-07 23:47:13.787066+0800 KVO[8122:119707] willChangeValueForKey
2020-09-07 23:47:13.787229+0800 KVO[8122:119707] age:10
2020-09-07 23:47:13.787334+0800 KVO[8122:119707] didChangeValueForKey - begin
2020-09-07 23:47:13.787592+0800 KVO[8122:119707] <Person: 0x60000288c190> -- age -- {
    kind = 1;
    new = 10;
    old = 0;
}
2020-09-07 23:47:13.787732+0800 KVO[8122:119707] didChangeValueForKey - end

输出结果与咱们的猜想一致。

其余小知识点

NSKVONotifying_Person也重写了class方法，使用[person1 class]的时候返回的是Person，其实也很容易理解，只是为了隐藏NSKVONotifying_Person这个类，尽可能隐藏KVO的内部实现。

你们也能够看一下我下面附上的参考文章，写的很不错。

结束语

通过上面的层层分析，咱们探究了KVO的实现原理，有不缜密的地方还请指点。
感谢阅读。

参考

mikeash.com: just this guy, you know?
本身实现 KVO