[Vue源碼]一塊兒來學Vue雙向綁定原理-數據劫持和發佈訂閱

時間 2019-12-31

標籤 vue 源碼一塊兒雙向綁定原理數據劫持發佈訂閱简体版

原文原文鏈接

有一段時間沒有更新技術博文了，由於這段時間埋下頭來看Vue源碼了。本文咱們一塊兒經過學習雙向綁定原理來分析Vue源碼。預計接下來會圍繞Vue源碼來整理一些文章，以下。javascript

這些文章統一放在個人git倉庫：github.com/yzsunlei/ja…。以爲有用記得star收藏。html

簡單應用

咱們先來看一個簡單的應用示例：vue

<div id="app">
  <input id="input" type="text" v-model="text">
  <div id="text">輸入的值爲：{{text}}</div>
</div>
<script>
  var vm = new Vue({
      el: '#app',
      data: {
        text: 'hello world'
      }
  })
</script>
複製代碼

上面的示例具備的功能就是初始時，'hello world'字符串會顯示在input輸入框中和div文本中，當手動輸入值後，div文本的值也相應的改變。java

咱們來簡單理一下實現思路：react

一、input輸入框以及div文本和data中的數據進行綁定
二、input輸入框內容變化時，data中的對應數據同步變化，即 view => model
三、data中數據變化時，對應的div文本內容同步變化，即 model => view

原理介紹

Vue.js是經過數據劫持以及結合發佈者-訂閱者來實現雙向綁定的，數據劫持是利用ES5的Object.defineProperty(obj, key, val)來劫持各個屬性的的setter以及getter，在數據變更時發佈消息給訂閱者，從而觸發相應的回調來更新視圖。git

雙向數據綁定，簡單點來講分爲三個部分：github

一、Observer：觀察者，這裏的主要工做是遞歸地監聽對象上的全部屬性，在屬性值改變的時候，觸發相應的watcher。
二、Watcher：訂閱者，當監聽的數據值修改時，執行響應的回調函數（Vue裏面的更新模板內容）。
三、Dep：訂閱管理器，鏈接Observer和Watcher的橋樑，每個Observer對應一個Dep，它內部維護一個數組，保存與該Observer相關的Watcher。

DEMO實現雙向綁定

下面咱們來一步步的實現雙向數據綁定。算法

第一部分是Observer：

function Observer(obj, key, value) {
  var dep = new Dep();
  if (Object.prototype.toString.call(value) == '[object Object]') {
    Object.keys(value).forEach(function(key) {
      new Observer(value, key, value[key])
    })
  };

  Object.defineProperty(obj, key, {
    enumerable: true,
    configurable: true,
    get: function() {
      if (Dep.target) {
        dep.addSub(Dep.target);
      };
      return value;
    },
    set: function(newVal) {
      value = newVal;
      dep.notify();
    }
  })
}
複製代碼

遞歸的爲對象obj的每一個屬性添加getter和setter。在getter中，咱們把watcher添加到dep中。在setter中，觸發watcher執行回調。express

第二部分是Watcher：

function Watcher(fn) {
  this.update = function() {
    Dep.target = this;
    fn();
    Dep.target = null;
  }
  this.update();
}
複製代碼

fn是數據變化後要執行的回調函數，通常是獲取數據渲染模板。默認執行一遍update方法是爲了在渲染模板過程當中，調用數據對象的getter時創建二者之間的關係。由於同一時刻只有一個watcher處於激活狀態，把當前watcher綁定在Dep.target（方便在Observer內獲取）。回調結束後，銷燬Dep.target。segmentfault

第三部分是Dep：

function Dep() {
  this.subs = [];

  this.addSub = function (watcher) {
    this.subs.push(watcher);
  }

  this.notify = function() {
    this.subs.forEach(function(watcher) {
      watcher.update();
    });
  }
}
複製代碼

內部一個存放watcher的數組subs。addSub用於向數組中添加watcher(getter時)。notify用於觸發watcher的更新(setter時)。

以上咱們就完成了簡易的雙向綁定的功能，咱們用一下看是否是能達到上面簡單應用一樣的效果。

<div id="app">
  <input id="input" type="text" v-model="text">
  <div id="text">輸入的值爲：{{text}}</div>
</div>
<script type="text/javascript"> var obj = { text: 'hello world' } Object.keys(obj).forEach(function(key){ new Observer(obj, key, obj[key]) }); new Watcher(function(){ document.querySelector("#text").innerHTML = "輸入的值爲：" + obj.text; }) document.querySelector("#input").addEventListener('input', function(e) { obj.text = e.target.value; }) </script>
複製代碼

固然上面這是最簡單的雙向綁定功能，Vue中還實現了對數組、對象的雙向綁定，下面咱們來看看Vue中的實現。

Vue中的雙向綁定

看Vue的實現源碼前，咱們先來看下下面這張圖，經典的Vue雙向綁定原理示意圖（圖片來自於網絡）：

簡單解析以下：

一、實現一個數據監聽器Obverser，對data中的數據進行監聽，如有變化，通知相應的訂閱者。
二、實現一個指令解析器Compile，對於每一個元素上的指令進行解析，根據指令替換數據，更新視圖。
三、實現一個Watcher，用來鏈接Obverser和Compile, 併爲每一個屬性綁定相應的訂閱者，當數據發生變化時，執行相應的回調函數，從而更新視圖。

Vue中的Observer：

首先是Observer對象，源碼位置src/core/observer/index.js

export class Observer {
  value: any;
  dep: Dep;
  vmCount: number;

  constructor (value: any) {
    this.value = value
    this.dep = new Dep()
    this.vmCount = 0
    // 添加__ob__來標示value有對應的Observer
    def(value, '__ob__', this)
    if (Array.isArray(value)) { // 處理數組
      if (hasProto) { // 實現是'__proto__' in {}
        protoAugment(value, arrayMethods)
      } else {
        copyAugment(value, arrayMethods, arrayKeys)
      }
      this.observeArray(value)
    } else { // 處理對象
      this.walk(value)
    }
  }

  // 給對象每一個屬性添加getter/setters
  walk (obj: Object) {
    const keys = Object.keys(obj)
    for (let i = 0; i < keys.length; i++) {
      defineReactive(obj, keys[i]) // 重點
    }
  }

  // 循環觀察數組的每一項
  observeArray (items: Array<any>) {
    for (let i = 0, l = items.length; i < l; i++) {
      observe(items[i]) // 重點
    }
  }
}
複製代碼

總體上，value分爲對象或數組兩種狀況來處理。這裏咱們先來看看defineReactive和observe這兩個比較重要的函數。

export function defineReactive (
  obj: Object,
  key: string,
  val: any,
  customSetter?: ?Function,
  shallow?: boolean
) {
  const dep = new Dep()

  const property = Object.getOwnPropertyDescriptor(obj, key)
  // 帶有不可配置的屬性直接跳過
  if (property && property.configurable === false) {
    return
  }

  // cater for pre-defined getter/setters
  // 保存對象屬性上自有的getter和setter
  const getter = property && property.get
  const setter = property && property.set
  // 若是屬性上以前沒有定義getter，而且沒有傳入初始val值，就把屬性原有的值賦值給val
  if ((!getter || setter) && arguments.length === 2) {
    val = obj[key]
  }

  let childOb = !shallow && observe(val)
  Object.defineProperty(obj, key, {
    enumerable: true,
    configurable: true,
    get: function reactiveGetter () {
      // 給屬性設置getter
      const value = getter ? getter.call(obj) : val
      if (Dep.target) {
        // 給每一個屬性建立一個dep
        dep.depend()
        if (childOb) {
          childOb.dep.depend()
          // 若是是數組，就遞歸建立
          if (Array.isArray(value)) {
            dependArray(value)
          }
        }
      }
      return value
    },
    set: function reactiveSetter (newVal) {
      // 給屬性設置setter
      const value = getter ? getter.call(obj) : val
      // 值未變化，就跳過
      if (newVal === value || (newVal !== newVal && value !== value)) {
        return
      }
      if (process.env.NODE_ENV !== 'production' && customSetter) {
        customSetter() // 非生產環境自定義調試用，這裏忽略
      }
      if (getter && !setter) return
      if (setter) {
        setter.call(obj, newVal)
      } else {
        val = newVal
      }
      childOb = !shallow && observe(newVal)
      // 值發生變化進行通知
      dep.notify()
    }
  })
}
複製代碼

defineReactive這個方法裏面，是具體的爲對象的屬性添加getter、setter的地方。它會爲每一個值建立一個dep，若是用戶爲這個值傳入getter和setter，則暫時保存。以後經過Object.defineProperty，從新添加裝飾器。在getter中，dep.depend其實作了兩件事，一是向Dep.target內部的deps添加dep，二是將Dep.target添加到dep內部的subs，也就是創建它們之間的聯繫。在setter中，若是新舊值相同，直接返回，不一樣則調用dep.notify來更新與之相關的watcher。

export function observe (value: any, asRootData: ?boolean): Observer | void {
  // 若是不是對象就跳過
  if (!isObject(value) || value instanceof VNode) {
    return
  }
  let ob: Observer | void
  if (hasOwn(value, '__ob__') && value.__ob__ instanceof Observer) {
    // 若是已有observer，就直接返回，上面講到過會用`__ob__`屬性來記錄
    ob = value.__ob__
  } else if (
    shouldObserve &&
    !isServerRendering() &&
    (Array.isArray(value) || isPlainObject(value)) &&
    Object.isExtensible(value) &&
    !value._isVue
  ) {
    // 若是沒有，就建立一個
    ob = new Observer(value)
  }
  if (asRootData && ob) {
    ob.vmCount++
  }
  return ob
}
複製代碼

observe這個方法用於觀察一個對象，返回與對象相關的Observer對象，若是沒有則爲value建立一個對應的Observer。

好的，咱們再回到Observer，若是傳入的是對象，咱們就調用walk，該方法就是遍歷對象，對每一個值執行defineReactive。

對於傳入的對象是數組的狀況，其實會有一些特殊的處理，由於數組自己只引用了一個地址，因此對數組進行push、splice、sort等操做，咱們是沒法監聽的。因此，Vue中改寫value的__proto__（若是有），或在value上從新定義這些方法。augment在環境支持__proto__時是protoAugment，不支持時是copyAugment。

// augment在環境支持__proto__時
function protoAugment (target, src: Object) {
  target.__proto__ = src
}
// augment在環境不支持__proto__時
function copyAugment (target: Object, src: Object, keys: Array<string>) {
  for (let i = 0, l = keys.length; i < l; i++) {
    const key = keys[i]
    def(target, key, src[key])
  }
}
複製代碼

augment在環境支持__proto__時，就很簡單，調用protoAugment其實就是執行了value.__proto__ = arrayMethods。augment在環境支持__proto__時，調用copyAugment中循環把arrayMethods上的arrayKeys方法添加到value上。

那這裏咱們就要看看arrayMethods方法了。arrayMethods實際上是改寫了數組方法的新對象。arrayKeys是arrayMethods中的方法列表。

const arrayProto = Array.prototype
export const arrayMethods = Object.create(arrayProto)

const methodsToPatch = [
  'push',
  'pop',
  'shift',
  'unshift',
  'splice',
  'sort',
  'reverse'
]

methodsToPatch.forEach(function (method) {
  const original = arrayProto[method]
  def(arrayMethods, method, function mutator (...args) {
    const result = original.apply(this, args)
    const ob = this.__ob__
    let inserted
    switch (method) {
      case 'push':
      case 'unshift':
        inserted = args
        break
      case 'splice':
        inserted = args.slice(2)
        break
    }
    // 是push、unshift、splice時，從新觀察數組，由於這三個方法都是像數組中添加新的元素
    if (inserted) ob.observeArray(inserted)
    // 通知變化
    ob.dep.notify()
    return result
  })
})
複製代碼

實際上仍是調用數組相應的方法來操做value，只不過操做以後，添加了相關watcher的更新。調用push、unshift、splice三個方法參數大於2時，要從新調用ob.observeArray，由於這三種狀況都是像數組中添加新的元素，因此須要從新觀察每一個子元素。最後在通知變化。

Vue中的Observer就講到這裏了。實際上還有兩個函數set、del沒有講解，其實就是在添加或刪除數組元素、對象屬性時進行getter、setter的綁定以及通知變化，具體能夠去看源碼。

Vue中的Dep：

看完Vue中的Observer，而後咱們來看看Vue中Dep，源碼位置：src/core/observer/dep.js。

let uid = 0
export default class Dep {
  static target: ?Watcher;
  id: number;
  subs: Array<Watcher>;

  constructor () {
    this.id = uid++
    this.subs = []
  }

  // 添加訂閱者
  addSub (sub: Watcher) {
    this.subs.push(sub)
  }

  // 移除訂閱者
  removeSub (sub: Watcher) {
    remove(this.subs, sub)
  }

  // 添加到訂閱管理器
  depend () {
    if (Dep.target) {
      Dep.target.addDep(this)
    }
  }

  // 通知變化
  notify () {
    const subs = this.subs.slice()
    if (process.env.NODE_ENV !== 'production' && !config.async) {
      subs.sort((a, b) => a.id - b.id)
    }
    // 遍歷全部的訂閱者，通知更新
    for (let i = 0, l = subs.length; i < l; i++) {
      subs[i].update()
    }
  }
}
複製代碼

Dep類就比較簡單，內部有一個id和一個subs，id用於做爲dep對象的惟一標識，subs就是保存watcher的數組。相比於上面咱們本身實現的demo應用，這裏多了removeSub和depend。removeSub是從數組中移除某個watcher，depend是調用了watcher的addDep。

好，Vue中的Dep只能說這麼多了。

Vue中的Watcher：

最後咱們再來看看Vue中的Watcher，源碼位置：src/core/observer/watcher.js。

// 注，我刪除了源碼中一些不過重要或與雙向綁定關係不太大的邏輯，刪除的代碼用// ... 表示
let uid = 0
export default class Watcher {
  vm: Component;
  expression: string;
  cb: Function;
  id: number;
  deep: boolean;
  user: boolean;
  lazy: boolean;
  sync: boolean;
  dirty: boolean;
  active: boolean;
  deps: Array<Dep>;
  newDeps: Array<Dep>;
  depIds: SimpleSet;
  newDepIds: SimpleSet;
  before: ?Function;
  getter: Function;
  value: any;

  constructor (
    vm: Component,
    expOrFn: string | Function,
    cb: Function,
    options?: ?Object,
    isRenderWatcher?: boolean
  ) {
    this.vm = vm
    if (isRenderWatcher) {
      vm._watcher = this
    }
    vm._watchers.push(this)
    // ...
    this.cb = cb
    this.id = ++uid
    // ...
    this.expression = process.env.NODE_ENV !== 'production'
      ? expOrFn.toString()
      : ''
    if (typeof expOrFn === 'function') {
      this.getter = expOrFn
    } else {
      this.getter = parsePath(expOrFn)
      if (!this.getter) {
        this.getter = noop
        process.env.NODE_ENV !== 'production' && warn(
          `Failed watching path: "${expOrFn}" ` +
          'Watcher only accepts simple dot-delimited paths. ' +
          'For full control, use a function instead.',
          vm
        )
      }
    }
    this.value = this.lazy
      ? undefined
      : this.get()
  }

  get () {
    pushTarget(this)
    let value
    const vm = this.vm
    // ...
    if (this.deep) {
      traverse(value)
    }
    popTarget()
    this.cleanupDeps()
    return value
  }

  addDep (dep: Dep) {
    const id = dep.id
    if (!this.newDepIds.has(id)) {
      this.newDepIds.add(id)
      this.newDeps.push(dep)
      if (!this.depIds.has(id)) {
        dep.addSub(this)
      }
    }
  }

  cleanupDeps () {
    // ...
  }

  update () {
    // 更新三種模式吧，lazy延遲更新，sync同步更新直接執行，默認異步更新添加處處理隊列
    if (this.lazy) {
      this.dirty = true
    } else if (this.sync) {
      this.run()
    } else {
      queueWatcher(this)
    }
  }

  run () {
    // 觸發更新，在這裏調用cb函數
    if (this.active) {
      const value = this.get()
      if (
        value !== this.value ||
        isObject(value) ||
        this.deep
      ) {
        const oldValue = this.value
        this.value = value
        if (this.user) {
          try {
            this.cb.call(this.vm, value, oldValue)
          } catch (e) {
            handleError(e, this.vm, `callback for watcher "${this.expression}"`)
          }
        } else {
          this.cb.call(this.vm, value, oldValue)
        }
      }
    }
  }

  evaluate () {
    // ...
  }

  depend () {
    let i = this.deps.length
    while (i--) {
      this.deps[i].depend()
    }
  }

  teardown () {
    // ...
  }
}
複製代碼

建立Watcher對象時，有兩個比較重要的參數，一個是expOrFn，一個是cb。

在Watcher建立時，會調用this.get，裏面會執行根據expOrFn解析出來的getter。在這個getter中，咱們或渲染頁面，或獲取某個數據的值。總之，會調用相關data的getter，來創建數據的雙向綁定。

當相關的數據改變時，會調用watcher的update方法，進而調用run方法。咱們看到，run中還會調用this.get來獲取修改以後的value值。

其實Watcher有兩種主要用途：一種是更新模板，另外一種就是監聽某個值的變化。

模板更新的狀況：在Vue聲明週期掛載元素時，咱們是經過建立Watcher對象，而後調用updateComponent來更新渲染模板的。

vm._watcher = new Watcher(vm, updateComponent, noop)
複製代碼

在建立Watcher會調用this.get，也就是這裏的updateComponent。在render的過程當中，會調用data的getter方法，以此來創建數據的雙向綁定，當數據改變時，會從新觸發updateComponent。

數據監聽的狀況：另外一個用途就是咱們的computed、watch等，即監聽數據的變化來執行響應的操做。此時this.get返回的是要監聽數據的值。初始化過程當中，調用this.get會拿到初始值保存爲this.value，監聽的數據改變後，會再次調用this.get並拿到修改以後的值，將舊值和新值傳給cb並執行響應的回調。

好，Vue中的Watcher就說這麼多了。其實上面註釋的代碼中還有cleanupDeps清除依賴邏輯、teardown銷燬Watcher邏輯等，留給你們本身去看源碼吧。

總結一下

Vue中雙向綁定，簡單來講就是Observer、Watcher、Dep三部分。下面咱們再梳理一下整個過程：

首先咱們爲每一個vue屬性用Object.defineProperty()實現數據劫持，爲每一個屬性分配一個訂閱者集合的管理數組dep；而後在編譯的時候在該屬性的數組dep中添加訂閱者，Vue中的v-model會添加一個訂閱者，{{}}也會，v-bind也會；最後修改值就會爲該屬性賦值，觸發該屬性的set方法，在set方法內通知訂閱者數組dep，訂閱者數組循環調用各訂閱者的update方法更新視圖。