观察者模式


# 观察者模式

在众多设计模式中,可能最常见、最有名的就是观察者模式了。如果说前端只学一种设计模式,那一定非他莫属。

# 介绍

观察者模式(Observer Pattern)又叫发布 - 订阅模式(Publish-Subscribe Pattern, pub-sub),它定义了一种一对多的关系,让多个订阅者对象(或者叫观察者对象)同时监听某一个发布者(或者叫主题对象),这个主题对象的状态发生变化时就会通知所有订阅自己的订阅者对象,使得它们能够自动更新自己。

也有人提出发布 - 订阅模式和观察者模式之间是有一些区别的 (opens new window),但是大部分情况下你可以将他们当成是一个模式,本文将不对它们之间进行区分,文末会简单讨论一下他们之间的微妙区别,了解即可。

# 通俗的示例

在现实生活中其实我们会经常碰到观察者模式的例子。

  • 当我们被公众号主拉进了一个技术交流群,如果有人发言,那么这个群里的所有人都会收到这个人的发言。这是一个典型的发布 - 订阅模式,当我们加入了这个群,相当于订阅了在这个群发送的消息,当有新的消息产生,聊天室会负责将消息发布给所有聊天室的订阅者。
  • 当我们去鸿星尔克买鞋,发现之前在直播间看中的款式已经没货了。售货员告诉你不久后这个款式会进货,到时候打电话通知你,于是你留了个电话就回家了。当下周某个时候鸿星尔克进货了,售货员拿出小本本,给所有关注这个款式的人打电话。

上面两个生活小例子都属于发布 - 订阅模式的实例,群成员 / 买家属于消息的订阅者,订阅消息的变化。技术交流群 / 售货员属于消息的发布者,在合适的时机向群成员 / 小本本上的订阅者发布消息。

在类似场景中,这些例子有以下特点:

  • 买家(订阅者)只要声明对消息的一次订阅,就可以在未来的某个时候接受来自售货员(发布者)的消息,不用一直轮询消息的变化。
  • 售货员(发布者)持有一个小本本(订阅者列表),对这个本本上记录的订阅者的情况并不关心,只需要在消息发生时挨个去通知小本本上的订阅者,当订阅者增加或减少时,只需要在小本本上增删记录即可。
  • 将上面的逻辑升级一下,一个人可以加多个群,售货员也可以有多个小本本,当不同的群产生消息或者不款式的鞋进货了,发布者可以按照不同的名单 / 小本本分别去通知订阅了不同类型消息的订阅者,这里有个消息类型的概念。
  • 如果你在 DOM 上绑定过事件处理函数 addEventListener (opens new window),那么你已经使用过观察者模式了。
  • 我们经常将一些操作挂载在 onload (opens new window) 事件上执行,当页面元素加载完毕,就会触发你注册在 onload 事件上的回调。我们无法预知页面元素何时加载完毕,但是通过订阅 window 的 onload 事件,window 会在加载完毕时向订阅者发布消息,也就是执行回调函数。
    window.addEventListener('load', function () {
      console.log('loaded!')
    })
    
    1
    2
    3

# 观察者模式的通用实现

我们可以把上面例子的几个核心概念提取一下,买家可以被认为是订阅者(Subscriber),售货员可以被认为是发布者(Publisher),售货员持有小本本(SubscriberMap),小本本上记录有买家订阅(subscribe)的不同鞋型(Type)的信息,当然也可以退订(unSubscribe),当鞋型有消息时售货员会给订阅了当前类型消息的订阅者发布(notify)消息。

主要有下面几个概念:

  • Publisher:发布者,当消息发生时负责通知对应订阅者
  • Subscriber:订阅者,当消息发生时被通知的对象
  • SubscriberMap:持有不同 type 的数组,存储有所有订阅者的数组
  • type:消息类型,订阅者可以订阅的不同消息类型
  • subscribe:该方法为将订阅者添加到 SubscriberMap 中对应的数组中
  • unSubscribe:该方法为在 SubscriberMap 中删除订阅者
  • notify:该方法遍历通知 SubscriberMap 中对应 type 的每个订阅者

结构如下:

观察者模式结构图

(观察者模式结构图)

下面使用通用化的方法实现一下。

首先我们使用立即调用函数 IIFE(Immediately Invoked Function Expression)方式来将不希望公开的 SubscriberMap 隐藏,然后可以将注册的订阅行为换为回调函数的形式,这样我们可以在消息通知时附带参数信息,在处理通知的时候也更灵活:

const Publisher = (function() {
  const _subsMap = {}   // 存储订阅者
  return {
    /* 消息订阅 */
    subscribe(type, cb) {
      if (_subsMap[type]) {
        if (!_subsMap[type].includes(cb))
          _subsMap[type].push(cb)
      } else _subsMap[type] = [cb]
    },
    /* 消息退订 */
    unsubscribe(type, cb) {
      if (!_subsMap[type] || !_subsMap[type].includes(cb)) return
      const idx = _subsMap[type].indexOf(cb)
      _subsMap[type].splice(idx, 1)
    },
    /* 消息发布 */
    notify(type, ...payload) {
      if (!_subsMap[type]) return
      _subsMap[type].forEach(cb => cb(...payload))
    }
  }
})()

// 测试
Publisher.subscribe('面包鞋', message => console.log('152********' + message))   // 订阅面包鞋
Publisher.subscribe('面包鞋', message => console.log('138********' + message))
Publisher.subscribe('奇弹跑鞋', message => console.log('139********' + message)) // 订阅奇弹跑鞋

Publisher.notify('面包鞋', ' 面包鞋到货了 ~')       // 打电话通知买家面包鞋消息
Publisher.notify('奇弹跑鞋', ' 奇弹跑鞋售罄了 T.T') // 打电话通知买家奇弹跑鞋消息

// 输出:
// 152******** 面包鞋到货了 ~
// 138******** 面包鞋到货了 ~
// 139******** 奇弹跑鞋售罄了 T.T
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

上面是使用 IIFE 实现的,现在 ES6 的普及面已经很广了,生产中可以使用 class 语法来改写一下:

class Publisher {
  constructor() {
    this._subsMap = {}
  }

  /* 消息订阅 */
  subscribe(type, cb) {
    if (this._subsMap[type]) {
      if (!this._subsMap[type].includes(cb))
        this._subsMap[type].push(cb)
    } else this._subsMap[type] = [cb]
  }

  /* 消息退订 */
  unsubscribe(type, cb) {
    if (!this._subsMap[type] || !this._subsMap[type].includes(cb)) return
    const idx = this._subsMap[type].indexOf(cb)
    this._subsMap[type].splice(idx, 1)
  }

  /* 消息发布 */
  notify(type, ...payload) {
    if (!this._subsMap[type]) return
    this._subsMap[type].forEach(cb => cb(...payload))
  }
}

// 测试
const erke = new Publisher()

erke.subscribe('面包鞋', message => console.log('152********' + message))    // 订阅面包鞋
erke.subscribe('面包鞋', message => console.log('138********' + message))
erke.subscribe('奇弹跑鞋', message => console.log('139********' + message))    // 订阅奇弹跑鞋

erke.notify('面包鞋', ' 面包鞋到货了 ~')   // 打电话通知买家面包鞋消息
erke.notify('奇弹跑鞋', ' 奇弹跑鞋售罄了 T.T') // 打电话通知买家奇弹跑鞋消息

// 输出:  
// 152******** 面包鞋到货了 ~
// 138******** 面包鞋到货了 ~
// 139******** 奇弹跑鞋售罄了 T.T
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

# 观察者模式的实际应用

# 使用 jQuery 的方式来实现

我们使用 jQuery 的时候可以通过其自带的 API 比如 ontriggeroff 来轻松实现事件的订阅、发布、取消订阅等操作:

function eventHandler() {
  console.log('自定义方法');
}

/* ---- 事件订阅 ---- */
// 订阅
$('#app').on('myevent', eventHandler);
// 发布
$('#app').trigger('myevent');
// 输出:自定义方法


/* ---- 取消订阅 ---- */
$('#app').off('myevent');
$('#app').trigger('myevent');
// 没有输出
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

甚至我们可以使用原生的 addEventListenerdispatchEventremoveEventListener 来实现发布订阅:

// 输出:自定义方法
function eventHandler(dom) {
  console.log('自定义方法', dom);
}

var app = document.getElementById('app');

/* ---- 事件订阅 ---- */
// 订阅
app.addEventListener('myevent', eventHandler);
// 发布
app.dispatchEvent(new Event('myevent'));

// 输出:自定义方法+DOM


/* ---- 取消订阅 ---- */
app.removeEventListener('myevent', eventHandler);
app.dispatchEvent(new Event('myevent'));
// 没有输出
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

# 使用 Vue 的 EventBus

和 jQuery 一样,Vue 也是实现有一套事件机制,其中一个我们熟知的用法是 EventBus。在多层组件的事件处理中,如果你觉得一层层 $on$emit 比较麻烦,而你又不愿意引入 Vuex,那么这时候可以使用 EventBus 来解决组件间的数据通信:

// event-bus.js

import Vue from 'vue'
export const EventBus = new Vue()
1
2
3
4

使用时:

// 组件A
import { EventBus } from "./event-bus.js";

EventBus.$on("myevent", args => {
  console.log(args);
})
1
2
3
4
5
6
// 组件B
import { EventBus } from "./event-bus.js";

EventBus.$emit("myevent", 'some args');
1
2
3
4

实现组件间的消息传递,不过在中大型项目中,还是推荐使用 Vuex,因为如果 Bus 上的事件挂载过多,事件满天飞,就分不清消息的来源和先后顺序,对可维护性是一种破坏。

# Vue 源码中的观察者模式

观察者模式在源码中应用很多,特别是现在很多前端框架都会有的双向绑定机制的场景,这里以 Vue 为例,来分析一下 Vue 是如何利用观察者模式来实现视图层和数据层的双向绑定。先借用官网的双向绑定原理图:

双向绑定原理图

(双向绑定原理图)

下面稍微解释一下这个图(框架源码整个过程比较复杂,如果现在看不懂下面几段也没关系,大致了解一下即可)。

组件渲染函数(Component Render Function)被执行前,会对数据层的数据进行响应式化。响应式化大致就是使用 Object.defineProperty (opens new window) 把数据转为 getter/setter (opens new window),并为每个数据添加一个订阅者列表的过程。这个列表是 getter 闭包中的属性,将会记录所有依赖这个数据的组件。

也就是说,响应式化后的数据相当于发布者

每个组件都对应一个 Watcher 订阅者。当每个组件的渲染函数被执行时,都会将本组件的 Watcher 放到自己所依赖的响应式数据的订阅者列表里,这就相当于完成了订阅,一般这个过程被称为依赖收集(Dependency Collect)。

组件渲染函数执行的结果是生成虚拟 DOM 树(Virtual DOM Tree),这个树生成后将被映射为浏览器上的真实的 DOM 树,也就是用户所看到的页面视图。

当响应式数据发生变化的时候,也就是触发了 setter 时,setter 会负责通知(Notify)该数据的订阅者列表里的 Watcher,Watcher 会触发组件重渲染(Trigger re-render)来更新(update)视图。

我们可以看看 Vue 的源码 (opens new window)

// src/core/observer/index.js 响应式化过程

Object.defineProperty(obj, key, {
  enumerable: true,
  configurable: true,
  get: function reactiveGetter() {
    // ...
    const value = getter ? getter.call(obj) : val // 如果原本对象拥有getter方法则执行
    dep.depend()                     // 进行依赖收集,dep.addSub
    return value
  },
  set: function reactiveSetter(newVal) {
    // ...
    if (setter) { setter.call(obj, newVal) }    // 如果原本对象拥有setter方法则执行
    dep.notify()               // 如果发生变更,则通知更新
  }
})
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

而这个 dep 上的 dependnotify 就是订阅和发布通知的具体方法。

简单来说,响应式数据是消息的发布者,而视图层是消息的订阅者,如果数据更新了,那么发布者会发布数据更新的消息来通知视图更新,从而实现数据层和视图层的双向绑定。

# 设计原则验证

  • 主题(发布事件)和观察者(订阅事件)分离,不是主动触发而是被动监听,两者解耦(发布 - 订阅的方式)
  • 符合开放封闭原则

# 观察者模式的优缺点

观察者模式最大的优点就是解耦

优点:

  • 时间上的解耦:注册的订阅行为由消息的发布方来决定何时调用,订阅者不用持续关注,当消息发生时发布者会负责通知。
  • 对象上的解耦:发布者不用提前知道消息的接受者是谁,发布者只需要遍历处理所有订阅该消息类型的订阅者发送消息即可(迭代器模式),由此解耦了发布者和订阅者之间的联系,互不持有,都依赖于抽象,不再依赖于具体。

由于它的解耦特性,观察者模式的使用场景一般是:当一个对象的改变需要同时改变其它对象,并且它不知道具体有多少对象需要改变。观察者模式还可以帮助实现一些其他的模式,比如中介者模式

缺点:

  • 增加消耗:创建结构和缓存订阅者这两个过程需要消耗计算和内存资源,即使订阅后始终没有触发,订阅者也会始终存在于内存。
  • 增加复杂度:订阅者被缓存在一起,如果多个订阅者和发布者层层嵌套,那么程序将变得难以追踪和调试,参考一下 Vue 调试的时候你点开原型链时看到的那堆 deps/subs/watchers 们…

缺点主要在于理解成本、运行效率、资源消耗,特别是在多级发布 - 订阅时,情况会变得更复杂。

# 其他相关模式

# 观察者模式和发布 - 订阅模式

观察者模式与发布 - 订阅者模式,在平时你可以认为他们是一个东西,但是某些场合(比如面试)下可能需要稍加注意,借用网上一张流行的图:

观察者模式和发布-订阅模式

(观察者模式和发布-订阅模式)

区别主要在发布 - 订阅模式中间的这个 Event Channel:

  • 观察者模式 中的观察者和被观察者之间还存在耦合,被观察者还是知道观察者的。
  • 发布 - 订阅模式 中的发布者和订阅者不需要知道对方的存在,他们通过消息代理来进行通信,解耦更加彻底;

# 观察者模式和责任链模式

观察者模式和责任链模式也有点类似,主要区别在于:

  • 观察者模式 传播的消息是根据需要随时发生变化,是发布者和订阅者之间约定的结构,在多级发布 - 订阅的场景下,消息可能完全不一样。
  • 责任链模式 传播的消息是不变化的,即使变化也是在原来的消息上稍加修正,不会大幅改变结构;

(完)