iOS开发-KVO的奥秘

作者: sindri的小巢 | 来源:发表于2015-12-12 23:41 被阅读43675次

    序言

    在iOS开发中,苹果提供了许多机制给我们进行回调。KVO(key-value-observing)是一种十分有趣的回调机制,在某个对象注册监听者后,在被监听的对象发生改变时,对象会发送一个通知给监听者,以便监听者执行回调操作。最常见的KVO运用是监听scrollViewcontentOffset属性,来完成用户滚动时动态改变某些控件的属性实现效果,包括渐变导航栏、下拉刷新控件等效果。

    渐变导航栏

    使用

    KVO的使用非常简单,使用KVO的要求是对象必须能支持kvc机制——所有NSObject的子类都支持这个机制。拿上面的渐变导航栏做,我们为tableView添加了一个监听者controller,在我们滑动列表的时候,会计算当前列表的滚动偏移量,然后改变导航栏的背景色透明度。

    //添加监听者
    [self.tableView addObserver: self forKeyPath: @"contentOffset" options: NSKeyValueObservingOptionNew context: nil];
    /**
     *  监听属性值发生改变时回调
     */
    - (void)observeValueForKeyPath:(NSString *)keyPath ofObject:(id)object change:(NSDictionary<NSString *,id> *)change context:(void *)context
    {
        CGFloat offset = self.tableView.contentOffset.y;
        CGFloat delta = offset / 64.f + 1.f;
        delta = MAX(0, delta);
        [self alphaNavController].barAlpha = MIN(1, delta);
    }
    

    毫无疑问,kvo是一种非常便捷的回调方式,但是编译器是怎么完成监听这个任务的呢?先来看看苹果文档对于KVO的实现描述

    Automatic key-value observing is implemented using a technique called isa-swizzling... When an observer is registered for an attribute of an object the isa pointer of the observed object is modified, pointing to an intermediate class rather than at the true class ..

    简要的来说,在我们对某个对象完成监听的注册后,编译器会修改监听对象(上文中的tableView)的isa指针,让这个指针指向一个新生成的中间类。从某个意义上来说,这是一场骗局。

    typedef struct objc_class *Class;
    typedef struct objc_object {
       Class isa;
    } *id;
    

    这里要说明的是isa这个指针,isa是一个Class类型的指针,对象的首地址一般是isa变量,同时isa又保存了对象的类对象的首地址。我们通过object_getClass方法来获取这个对象的元类,即是对象的类对象的类型(正常来说,class方法内部的实现就是获取这个isa保存的对象的类型,在kvo的实现中苹果对被监听对象的class方法进行了重写隐藏了实现)。class方法是获得对象的类型,虽然这两个返回的结果是一样的,但是两个方法在本质上得到的结果不是同一个东西
    在oc中,规定了只要拥有isa指针的变量,通通都属于对象。上面的objc_object表示的是NSObject这个类的结构体表示,因此oc不允许出现非NSObject子类的对象
    (block是一个特殊的例外)*
    当然了,苹果并不想讲述更多的实现细节,但是我们可以通过运行时机制来完成一些有趣的调试。

    苹果的黑魔法

    根据苹果的说法,在对象完成监听注册后,修改了被监听对象的某些属性,并且改变了isa指针,那么我们可以在监听前后输出被监听对象的相关属性来进一步探索kvo的原理。为了保证能够得到对象的真实类型,我使用了object_getClass方法,这个方法在runtime.h头文件中

    NSLog(@"address: %p", self.tableView);
    NSLog(@"class method: %@", self.tableView.class);
    NSLog(@"description method: %@", self.tableView);
    NSLog(@"use runtime to get class: %@", object_getClass(self.tableView));
    [self.tableView addObserver: self forKeyPath: @"contentOffset" options: NSKeyValueObservingOptionNew context: nil];
    NSLog(@"===================================================");
    NSLog(@"address: %p", self.tableView);
    NSLog(@"class method: %@", self.tableView.class);
    NSLog(@"description method: %@", self.tableView);
    NSLog(@"use runtime to get class %@", object_getClass(self.tableView));
    

    在看官们运行这段代码之前,可以先思考一下上面的代码会输出什么。

    2015-12-12 23:02:33.216 LXDAlphaNavigationController[1487:63171] address: 0x7f927a81d200
    2015-12-12 23:02:33.216 LXDAlphaNavigationController[1487:63171] class method: UITableView
    2015-12-12 23:02:33.217 LXDAlphaNavigationController[1487:63171] description method: <UITableView: 0x7f927a81d200; frame = (0 0; 320 568); clipsToBounds = YES; autoresize = W+H; gestureRecognizers = <NSArray: 0x7f927971f9a0>; layer = <CALayer: 0x7f9279706f50>; contentOffset: {0, 0}; contentSize: {600, 0}>
    2015-12-12 23:02:33.217 LXDAlphaNavigationController[1487:63171] use runtime to get class: UITableView
    2015-12-12 23:02:33.217 LXDAlphaNavigationController[1487:63171] ===================================================
    2015-12-12 23:02:33.218 LXDAlphaNavigationController[1487:63171] address: 0x7f927a81d200
    2015-12-12 23:02:33.218 LXDAlphaNavigationController[1487:63171] class method: UITableView
    2015-12-12 23:02:33.218 LXDAlphaNavigationController[1487:63171] description method: <UITableView: 0x7f927a81d200; frame = (0 0; 320 568); clipsToBounds = YES; autoresize = W+H; gestureRecognizers = <NSArray: 0x7f927971f9a0>; layer = <CALayer: 0x7f9279706f50>; contentOffset: {0, 0}; contentSize: {600, 0}>
    2015-12-12 23:02:33.230 LXDAlphaNavigationController[1487:63171] use runtime to get class NSKVONotifying_UITableView
    

    除了通过object_getClass获取的类型之外,其他的输出没有任何变化。class方法跟description方法可以重写实现上面的效果,但是为什么连地址都是一样的。
    这里可以通过一句小代码来说明一下:

    NSLog(@"%@, %@", self.class, super.class);
    

    上面这段代码不管你怎么输出,两个结果都是一样的。这是由于super本质上指向的是父类内存。这话说起来有点绕口,但是我们可以通过对象内存图来表示:

    类的内存
    每一个对象占用的内存中,一部分是父类属性占用的;在父类占用的内存中,又有一部分是父类的父类占用的。前文已经说过isa指针指向的是父类,因此在这个图中,Son的地址从Father开始,Father的地址从NSObject开始,这三个对象内存的地址都是一样的。通过这个,我们可以猜到苹果文档中所提及的中间类就是被监听对象的子类。并且为了隐藏实现,苹果还重写了这个子类的class方法跟description方法来掩人耳目。另外,我们还看到了新类相对于父类添加了一个NSKVONotifying_前缀,添加这个前缀是为了避免多次创建监听子类,节省资源

    怎么实现类似效果

    既然知道了苹果的实现过程,那么我们可以自己动手通过运行时机制来实现KVO。runtime允许我们在程序运行时动态的创建新类、拓展方法、method-swizzling、绑定属性等等这些有趣的事情。
    在创建新类之前,我们应该学习苹果的做法,判断当前是否存在这个类,如果不存在我们再进行创建,并且重新实现这个新类的class方法来掩盖具体实现。基于这些原则,我们用下面的方法来获取新类

    - (Class)createKVOClassWithOriginalClassName: (NSString *)className
    {
        NSString * kvoClassName = [kLXDkvoClassPrefix stringByAppendingString: className];
        Class observedClass = NSClassFromString(kvoClassName);
        if (observedClass) { return observedClass; }
    
        //创建新类,并且添加LXDObserver_为类名新前缀
        Class originalClass = object_getClass(self);
        Class kvoClass = objc_allocateClassPair(originalClass, kvoClassName.UTF8String, 0);
    
        //获取监听对象的class方法实现代码,然后替换新建类的class实现
        Method classMethod = class_getInstanceMethod(originalClass, @selector(class));
        const char * types = method_getTypeEncoding(classMethod);
        class_addMethod(kvoClass, @selector(class), (IMP)kvo_Class, types);
        objc_registerClassPair(kvoClass);
        return kvoClass;
    }
    

    另外,在判断是否需要中间类来完成监听的注册前,我们还要判断监听的属性的有效性。通过获取变量的setter方法名(将首字母大写并加上前缀set),以此来获取setter实现,如果不存在实现代码,则抛出异常使程序崩溃。

    SEL setterSelector = NSSelectorFromString(setterForGetter(key));
    Method setterMethod = class_getInstanceMethod([self class], setterSelector);
    if (!setterMethod) {
        @throw [NSException exceptionWithName: NSInvalidArgumentException reason: [NSString stringWithFormat: @"unrecognized selector sent to instance %p", self] userInfo: nil];
        return;
    }
    Class observedClass = object_getClass(self);
    NSString * className = NSStringFromClass(observedClass);
    
    //如果被监听者没有LXDObserver_,那么判断是否需要创建新类
    if (![className hasPrefix: kLXDkvoClassPrefix]) {
        observedClass = [self createKVOClassWithOriginalClassName: className];
        object_setClass(self, observedClass);
    }
    //重新实现setter方法,使其完成
    const char * types = method_getTypeEncoding(setterMethod);
    class_addMethod(observedClass, setterSelector, (IMP)KVO_setter, types);
    

    在重新实现setter方法的时候,有两个重要的方法:willChangeValueForKeydidChangeValueForKey,分别在赋值前后进行调用。此外,还要遍历所有的回调监听者,然后通知这些监听者:

    static void KVO_setter(id self, SEL _cmd, id newValue)
    {
        NSString * setterName = NSStringFromSelector(_cmd);
        NSString * getterName = getterForSetter(setterName);
        if (!getterName) {
            @throw [NSException exceptionWithName: NSInvalidArgumentException reason: [NSString stringWithFormat: @"unrecognized selector sent to instance %p", self] userInfo: nil];
            return;
        }
    
        id oldValue = [self valueForKey: getterName];
        struct objc_super superClass = {
            .receiver = self,
            .super_class = class_getSuperclass(object_getClass(self))
        };
    
        [self willChangeValueForKey: getterName];
        void (*objc_msgSendSuperKVO)(void *, SEL, id) = (void *)objc_msgSendSuper;
        objc_msgSendSuperKVO(&superClass, _cmd, newValue);
        [self didChangeValueForKey: getterName];
    
        //获取所有监听回调对象进行回调
        NSMutableArray * observers = objc_getAssociatedObject(self, (__bridge const void *)kLXDkvoAssiociateObserver);
        for (LXD_ObserverInfo * info in observers) {
            if ([info.key isEqualToString: getterName]) {        
                dispatch_async(dispatch_queue_create(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
                info.handler(self, getterName, oldValue, newValue);
                });
            }
        }
    }
    

    所有的监听者通过动态绑定的方式将其存储起来,但这样也会产生强引用,所以我们还需要提供释放监听的方法:

    - (void)LXD_removeObserver:(NSObject *)object forKey:(NSString *)key
    {
        NSMutableArray * observers = objc_getAssociatedObject(self, (__bridge void *)kLXDkvoAssiociateObserver);
    
        LXD_ObserverInfo * observerRemoved = nil;
        for (LXD_ObserverInfo * observerInfo in observers) {
        
            if (observerInfo.observer == object && [observerInfo.key isEqualToString: key]) {
            
                observerRemoved = observerInfo;
                break;
            }
        }
        [observers removeObject: observerRemoved];
    }
    

    虽然上面已经粗略的实现了kvo,并且我们还能自定义回调方式。使用target-action或者block的方式进行回调会比单一的系统回调要全面的多。但kvo真正的实现并没有这么简单,上述代码目前只能实现对象类型的监听,基本类型无法监听,况且还有keyPath可以监听对象的成员对象的属性这种更强大的功能。

    尾言

    对于基本类型的监听,苹果可能是通过void *类型对对象进行桥接转换,然后直接获取内存,通过type encoding我们可以获取所有setter对象的具体类型,虽然实现比较麻烦,但是确实能够达成类似的效果。
    钻研kvo的实现可以让我们对苹果的代码实现有更深层次的了解,这些知识涉及到了更深层次的技术,探究它们对我们的开发视野有着很重要的作用。同时,对比其他的回调方式,KVO的实现在创建子类、重写方法等等方面的内存消耗是很巨大的,因此博主更加推荐使用delegate、block等回调方式,甚至直接使用method-swizzling来替换这种重写setter方式也是可行的。
    ps:昨天有人问我说为什么kvo不直接通过重写setter方法的方式来进行回调,而要创建一个中间类。诚然,method_swizzling是一个很赞的机制,完全能用它来满足监听需求。但是,如果我们要监听的对象是tableView呢?正常而言,一款应用中远不止一个列表,使用method_swizzling会导致所有的列表都添加了监听回调,先不考虑这可能导致的崩溃风险,所有继承自tableView的视图(包括自身)的setter都受到了影响。而使用中间类却避免了这个问题文章demo
    文集:iOS开发

    转载注明链接:KVO的奥秘

    相关文章

      网友评论

      • Tamp_:请教一下,KVO不能监听数组,因为改变数组并不会改变数组的指针,所以KVO是监听的指针的改变,但是我看过这么多博客,没有一篇有提到这个原理的,为什么说KVO是监听的指针
        sindri的小巢:@Tamp__ 嗯,我有空试试
        Tamp_:。。。。。执行了,你可以实验一下
        sindri的小巢:@Tamp__ 监听实际上是重写了setter方法,你对数组里面的元素修改并没有执行setter
      • 出门右转掘金见:楼主这篇文章写得挺好,只是这么多人都在说isa问题,为啥不更新下呢..
      • RenJK:NSLog(@"%@, %@", self.class, super.class);
        关于打印的结果,应该分被监听前和被监听后两种情况来说。
        假设有类A及对象a : A *a = [A new];
        a被监听前,打印的结果应当相同:"A,A",因为不论self.class还是super.class,调用的都是NSObject类的 -(Class)class方法, 此方法直接返回对象本身的isa, 不论以self还是super调用,对象本身相同,也就是评论里大家说的内存是同一块,所以返回值相同.
        a被监听后,这个打印结果必定不同, 应该是输出:"A, NSKVONotifying_A". 因为此时a的实际类及isa变成了NSKVONotifying_A, 而且在这个新生成子类里,覆盖重写了-(Class)class方法,这个方法会直接返回 [A class], 也就是类A本身. 此时以self.class,最终调用的是[A class], 所以返回A, 而当以super.class调用时,将不是调用这个覆盖重写的-(Class)class方法, 而是调用了根类的(因为往NSKVONotifying_A父类方法列表发消息了), 上面提到,根类的实现就是直接返回isa,而且被监听后,isa改变为指向NSKVONotifying_A了,所以返回NSKVONotifying_A.
      • liyan:NSLog(@"%@, %@", self.class, super.class);
        其实是 : objc_msgSend(self,class) objc_msgSendSuper(self,class)
        都是给 self 发消息
      • acdc90ee2604:- (void)viewDidLoad {
        [super viewDidLoad];

        [self loadData];

        [self.tableView addObserver:self forKeyPath: @"contentOffset" options: NSKeyValueObservingOptionNew context: nil];

        }

        - (void)observeValueForKeyPath:(NSString *)keyPath ofObject:(id)object change:(NSDictionary<NSString *,id> *)change context:(void *)context
        {
        CGFloat offset = self.tableView.contentOffset.y;
        NSLog(@"偏移量y%f",offset);
        }

        并没有走到监听事件啊,楼主怎么回事啊
      • 8586d6c36372:kvo 深层
      • 苏大盒子:。前文已经说过isa指针指向的是父类,因此在这个图中,Son的地址从Father开始,Father的地址从NSObject开始,这三个对象内存的地址都是一样的。
        =============
        都已经纠错了,还不改彻底?建议博主再去深入了解一下isa
      • 王道钦:更正一点:
        这里说明一下isa这个指针, isa是一个指向Class类指针(专业术语是指向元类,pointer to the metaclass),用来指向类的类型,我们可以通过object_getClass方法来获取这个值; 正常来说,class方法内部的实现就是获取这个isa指针代表的元类(metaclass),但在kvo机制中苹果注册监听对象后 通过objc_allocateClassPair动态重新创建了一个新类和元类,此时object_getClass()获取的事就不是原来isa指向的元类 而是是新建的元类 参见苹果文档:Creates a new class and metaclass.You can get a pointer to the new metaclass by calling object_getClass(newClass))。

        另外备注下[self class]和object_getClass(self)可是不一样的,具体什么不一样参考:http://stackoverflow.com/questions/15906130/object-getclassobj-and-obj-class-give-different-results(一个返回的是类,一个是实例,能一样吗?)
        51bitquant:楼上分析的好专业。多交流
        王道钦:@Sindri的小巢 也多谢你的分享,之后半夜研究下,发现如果重写了class方法 在addobserver后打印出来的self.class就该改变了,前后考虑,自己去看看了苹果文档发现的。 以后多多交流,在你这学到不少! :smile:
        sindri的小巢:@王道钦 受教了,谢谢
      • 不够流氓:alphaNavController 是在哪里定义的啊
        sindri的小巢:@博爱1616 这里是讲代码的思路,不代表里面的代码一模一样
        95c9800fdf47:@Sindri的小巢 [self alphaNavController].barAlpha = MIN(1, delta);
        这句你自定义的,在你demo里也没有,我们杂用?
        sindri的小巢:@不够流氓 我自定义的
      • 编程小翁:为什么NSLog(@"%@, %@", self.class, super.class);输出的结果始终一样呢?因为无论是self还是super,在runtime转化成message消息,消息的接受者都是本类
        sindri的小巢:@刘小壮 哈哈,你的说法更容易理解
        刘小壮:@Sindri的小巢 调用super的方法,只是在消息发送的时候,向父类的Method List发送消息,但是从内存上来说接收消息的对象还是self自身。
        sindri的小巢:是的,但是为什么会是本类接收这个消息呢,就是因为在类里面使用super的时候本质上是指向自己内存中从父类继承过来的那一部分内存,就是我文中说到的父类内存的地址
      • 编程小翁:写的不错,但是关于NSLog(@"%@, %@", self.class, super.class);那段的解释基本全错了。1、super本质上只是一个编译器指示符,不存在“指向”的说法;2、类、父类、父类的父类...这三个类的对象地址不可能一样
        sindri的小巢:@编程小翁 说的不是父类地址,我说的是在对象那块内存中属于父类内存的空间
      • 玉树林峯_爆seed:ImplementKVO 中文注释版?
        玉树林峯_爆seed:@Sindri的小巢 👍
        sindri的小巢:@玉树林峯_爆seed 你可以这么理解,但是我跟他的有差别
      • 额123:欢迎加入app外包群:499482153,接私活,发包,提供一个安全可靠、方便快捷的平台。
      • 夏都:isa 并不是指向其父类
        sindri的小巢:@夏都 哈哈,是啊
        夏都:@Sindri的小巢 ~ ~ meta Class的父类和isa就可能是完全不一样的东西了
        sindri的小巢:@夏都 哈哈,应该说是指向类型,这里确实描述上有点错误
      • MarkTang:很好
      • Bluelich:好牛:cow:

      本文标题:iOS开发-KVO的奥秘

      本文链接:https://www.haomeiwen.com/subject/zqoyhttx.html