摘要：算法子節點比較這部分代碼比較多，先說說原理后面再貼代碼。循環結束的標志就是舊子節點數組或新子節點數組遍歷完，即。第二步尾尾比較。第三步頭尾比較。第四步尾頭比較。節點確認后，真實序列為，未確認序列為第五次是均不相似，直接插入到未確認序列頭部。

通過對 Vue2.0 源碼閱讀，想寫一寫自己的理解，能力有限故從尤大佬2016.4.11第一次提交開始讀，準備陸續寫：

模版字符串轉AST語法樹
AST語法樹轉render函數
Vue雙向綁定原理
Vue虛擬dom比較原理

其中包含自己的理解和源碼的分析，盡量通俗易懂！由于是2.0的最早提交，所以和最新版本有很多差異、bug，后續將陸續補充，敬請諒解！包含中文注釋的Vue源碼已上傳...

先說一下為什么會有虛擬dom比較這一階段，我們知道了Vue是數據驅動視圖（數據的變化將引起視圖的變化），但你發現某個數據改變時，視圖是局部刷新而不是整個重新渲染，如何精準的找到數據對應的視圖并進行更新呢？那就需要拿到數據改變前后的dom結構，找到差異點并進行更新！

虛擬dom實質上是針對真實dom提煉出的簡單對象。就像一個簡單的div包含200多個屬性，但真正需要的可能只有tagName，所以對真實dom直接操作將大大影響性能！

簡化后的虛擬節點（vnode）大致包含以下屬性：

{
  tag: "div",       // 標簽名
  data: {},         // 屬性數據，包括class、style、event、props、attrs等
  children: [],     // 子節點數組，也是vnode結構
  text: undefined,  // 文本
  elm: undefined,   // 真實dom
  key: undefined    // 節點標識
}

虛擬dom的比較，就是找出新節點（vnode）和舊節點（oldVnode）之間的差異，然后對差異進行打補丁（patch）。大致流程如下

整個過程還是比較簡單的，新舊節點如果不相似，直接根據新節點創建dom；如果相似，先是對data比較，包括class、style、event、props、attrs等，有不同就調用對應的update函數，然后是對子節點的比較，子節點的比較用到了diff算法，這應該是這篇文章的重點和難點吧。

值得注意的是，在Children Compare 過程中，如果找到了相似的childVnode，那它們將遞歸進入新的打補丁過程。

這次的源碼解析寫簡潔一點，寫太多發現自己都不愿意看 (┬＿┬)

先來看patch()函數：

function patch (oldVnode, vnode) {
  var elm, parent;
  if (sameVnode(oldVnode, vnode)) {
    // 相似就去打補丁（增刪改）
    patchVnode(oldVnode, vnode);
  } else {
    // 不相似就整個覆蓋
    elm = oldVnode.elm;
    parent = api.parentNode(elm);
    createElm(vnode);
    if (parent !== null) {
      api.insertBefore(parent, vnode.elm, api.nextSibling(elm));
      removeVnodes(parent, [oldVnode], 0, 0);
    }
  }
  return vnode.elm;
}

patch()函數接收新舊vnode兩個參數，傳入的這兩個參數有個很大的區別：oldVnode的elm指向真實dom，而vnode的elm為undefined...但經過patch()方法后，vnode的elm也將指向這個（更新過的）真實dom。

判斷新舊vnode是否相似的sameVnode()方法很簡單，就是比較tag和key是否一致。

function sameVnode (a, b) {
  return a.key === b.key && a.tag === b.tag;
}

對于新舊vnode不一致的處理方法很簡單，就是根據vnode創建真實dom，代替oldVnode中的elm插入DOM文檔。

對于新舊vnode一致的處理，就是我們前面經常說到的打補丁了。具體什么是打補丁？看看patchVnode()方法就知道了：

function patchVnode (oldVnode, vnode) {
  // 新節點引用舊節點的dom
  let elm = vnode.elm = oldVnode.elm;
  const oldCh = oldVnode.children;
  const ch = vnode.children;

  // 調用update鉤子
  if (vnode.data) {
    updateAttrs(oldVnode, vnode);
    updateClass(oldVnode, vnode);
    updateEventListeners(oldVnode, vnode);
    updateProps(oldVnode, vnode);
    updateStyle(oldVnode, vnode);
  }

  // 判斷是否為文本節點
  if (vnode.text == undefined) {
    if (isDef(oldCh) && isDef(ch)) {
      if (oldCh !== ch) updateChildren(elm, oldCh, ch, insertedVnodeQueue)
    } else if (isDef(ch)) {
      if (isDef(oldVnode.text)) api.setTextContent(elm, "")
      addVnodes(elm, null, ch, 0, ch.length - 1, insertedVnodeQueue)
    } else if (isDef(oldCh)) {
      removeVnodes(elm, oldCh, 0, oldCh.length - 1)
    } else if (isDef(oldVnode.text)) {
      api.setTextContent(elm, "")
    }
  } else if (oldVnode.text !== vnode.text) {
    api.setTextContent(elm, vnode.text)
  }
}

打補丁其實就是調用各種updateXXX()函數，更新真實dom的各個屬性。每個的update函數都類似，就拿updateAttrs()舉例看看：

function updateAttrs (oldVnode, vnode) {
  let key, cur, old
  const elm = vnode.elm
  const oldAttrs = oldVnode.data.attrs || {}
  const attrs = vnode.data.attrs || {}

  // 更新/添加屬性
  for (key in attrs) {
    cur = attrs[key]
    old = oldAttrs[key]
    if (old !== cur) {
      if (booleanAttrsDict[key] && cur == null) {
        elm.removeAttribute(key)
      } else {
        elm.setAttribute(key, cur)
      }
    }
  }
  // 刪除新節點不存在的屬性
  for (key in oldAttrs) {
    if (!(key in attrs)) {
      elm.removeAttribute(key)
    }
  }
}

屬性（Attribute）的更新函數的大致思路就是：

遍歷vnode屬性，如果和oldVnode不一樣就調用setAttribute()修改；

遍歷oldVnode屬性，如果不在vnode屬性中就調用removeAttribute()刪除。

你會發現里面有個booleanAttrsDict[key]的判斷，是用于判斷在不在布爾類型屬性字典中。

["allowfullscreen", "async", "autofocus", "autoplay", "checked", "compact", "controls", "declare", ......]
eg: ，想關閉自動播放，需要移除該屬性。

所有數據比較完后，就到子節點的比較了。先判斷當前vnode是否為文本節點，如果是文本節點就不用考慮子節點的比較；若是元素節點，就需要分三種情況考慮：

新舊節點都有children，那就進入子節點的比較（diff算法）；

新節點有children，舊節點沒有，那就循環創建dom節點；

新節點沒有children，舊節點有，那就循環刪除dom節點。

后面兩種情況都比較簡單，我們直接對第一種情況，子節點的比較進行分析。

子節點比較這部分代碼比較多，先說說原理后面再貼代碼。先看一張子節點比較的圖：

圖中的oldCh和newCh分別表示新舊子節點數組，它們都有自己的頭尾指針oldStartIdx，oldEndIdx，newStartIdx，newEndIdx，數組里面存儲的是vnode，為了容易理解就用a,b,c,d等代替，它們表示不同類型標簽（div,span,p）的vnode對象。

子節點的比較實質上就是循環進行頭尾節點比較。循環結束的標志就是：舊子節點數組或新子節點數組遍歷完，（即 oldStartIdx > oldEndIdx || newStartIdx > newEndIdx）。大概看一下循環流程：

第一步 頭頭比較。若相似，舊頭新頭指針后移（即 oldStartIdx++ && newStartIdx++），真實dom不變，進入下一次循環；不相似，進入第二步。

第二步 尾尾比較。若相似，舊尾新尾指針前移（即 oldEndIdx-- && newEndIdx--），真實dom不變，進入下一次循環；不相似，進入第三步。

第三步 頭尾比較。若相似，舊頭指針后移，新尾指針前移（即 oldStartIdx++ && newEndIdx--），未確認dom序列中的頭移到尾，進入下一次循環；不相似，進入第四步。

第四步 尾頭比較。若相似，舊尾指針前移，新頭指針后移（即 oldEndIdx-- && newStartIdx++），未確認dom序列中的尾移到頭，進入下一次循環；不相似，進入第五步。

第五步 若節點有key且在舊子節點數組中找到sameVnode（tag和key都一致），則將其dom移動到當前真實dom序列的頭部，新頭指針后移（即 newStartIdx++）；否則，vnode對應的dom（vnode[newStartIdx].elm）插入當前真實dom序列的頭部，新頭指針后移（即 newStartIdx++）。

先看看沒有key的情況，放個動圖看得更清楚些！

相信看完圖片有更好的理解到diff算法的精髓，整個過程還是比較簡單的。上圖中一共進入了6次循環，涉及了每一種情況，逐個敘述一下：

第一次是頭頭相似（都是a），dom不改變，新舊頭指針均后移。a節點確認后，真實dom序列為：a,b,c,d,e,f，未確認dom序列為：b,c,d,e,f；

第二次是尾尾相似（都是f），dom不改變，新舊尾指針均前移。f節點確認后，真實dom序列為：a,b,c,d,e,f，未確認dom序列為：b,c,d,e；

第三次是頭尾相似（都是b），當前剩余真實dom序列中的頭移到尾，舊頭指針后移，新尾指針前移。b節點確認后，真實dom序列為：a,c,d,e,b,f，未確認dom序列為：c,d,e；

第四次是尾頭相似（都是e），當前剩余真實dom序列中的尾移到頭，舊尾指針前移，新頭指針后移。e節點確認后，真實dom序列為：a,e,c,d,b,f，未確認dom序列為：c,d；

第五次是均不相似，直接插入到未確認dom序列頭部。g節點插入后，真實dom序列為：a,e,g,c,d,b,f，未確認dom序列為：c,d；

第六次是均不相似，直接插入到未確認dom序列頭部。h節點插入后，真實dom序列為：a,e,g,h,c,d,b,f，未確認dom序列為：c,d；

但結束循環后，有兩種情況需要考慮：

新的字節點數組（newCh）被遍歷完（newStartIdx > newEndIdx）。那就需要把多余的舊dom（oldStartIdx -> oldEndIdx）都刪除，上述例子中就是c,d；

新的字節點數組（oldCh）被遍歷完（oldStartIdx > oldEndIdx）。那就需要把多余的新dom（newStartIdx -> newEndIdx）都添加。

上面說了這么多都是沒有key的情況，說添加了:key可以優化v-for的性能，到底是怎么回事呢？因為v-for大部分情況下生成的都是相同tag的標簽，如果沒有key標識，那么相當于每次頭頭比較都能成功。你想想如果你往v-for綁定的數組頭部push數據，那么整個dom將全部刷新一遍（如果數組每項內容都不一樣），那加了key會有什么幫助呢？這邊引用一張圖：

有key的情況，其實就是多了一步匹配查找的過程。也就是上面循環流程中的第五步，會嘗試去舊子節點數組中找到與當前新子節點相似的節點，減少dom的操作！

有興趣的可以看看代碼：

function updateChildren (parentElm, oldCh, newCh) {
  let oldStartIdx = 0
  let newStartIdx = 0
  let oldEndIdx = oldCh.length - 1
  let oldStartVnode = oldCh[0]
  let oldEndVnode = oldCh[oldEndIdx]
  let newEndIdx = newCh.length - 1
  let newStartVnode = newCh[0]
  let newEndVnode = newCh[newEndIdx]
  let oldKeyToIdx, idxInOld, elmToMove, before

  while (oldStartIdx <= oldEndIdx && newStartIdx <= newEndIdx) {
    if (isUndef(oldStartVnode)) {
      oldStartVnode = oldCh[++oldStartIdx] // 未定義表示被移動過
    } else if (isUndef(oldEndVnode)) {
      oldEndVnode = oldCh[--oldEndIdx]
    } else if (sameVnode(oldStartVnode, newStartVnode)) { // 頭頭相似
      patchVnode(oldStartVnode, newStartVnode)
      oldStartVnode = oldCh[++oldStartIdx]
      newStartVnode = newCh[++newStartIdx]
    } else if (sameVnode(oldEndVnode, newEndVnode)) { // 尾尾相似
      patchVnode(oldEndVnode, newEndVnode)
      oldEndVnode = oldCh[--oldEndIdx]
      newEndVnode = newCh[--newEndIdx]
    } else if (sameVnode(oldStartVnode, newEndVnode)) { // 頭尾相似
      patchVnode(oldStartVnode, newEndVnode)
      api.insertBefore(parentElm, oldStartVnode.elm, api.nextSibling(oldEndVnode.elm))
      oldStartVnode = oldCh[++oldStartIdx]
      newEndVnode = newCh[--newEndIdx]
    } else if (sameVnode(oldEndVnode, newStartVnode)) { // 尾頭相似
      patchVnode(oldEndVnode, newStartVnode)
      api.insertBefore(parentElm, oldEndVnode.elm, oldStartVnode.elm)
      oldEndVnode = oldCh[--oldEndIdx]
      newStartVnode = newCh[++newStartIdx]
    } else {
      // 根據舊子節點的key，生成map映射
      if (isUndef(oldKeyToIdx)) oldKeyToIdx = createKeyToOldIdx(oldCh, oldStartIdx, oldEndIdx)
      // 在舊子節點數組中，找到和newStartVnode相似節點的下標
      idxInOld = oldKeyToIdx[newStartVnode.key]
      if (isUndef(idxInOld)) { 
        // 沒有key，創建并插入dom
        api.insertBefore(parentElm, createElm(newStartVnode), oldStartVnode.elm)
        newStartVnode = newCh[++newStartIdx]
      } else {
        // 有key，找到對應dom ，移動該dom并在oldCh中置為undefined
        elmToMove = oldCh[idxInOld]
        patchVnode(elmToMove, newStartVnode)
        oldCh[idxInOld] = undefined
        api.insertBefore(parentElm, elmToMove.elm, oldStartVnode.elm)
        newStartVnode = newCh[++newStartIdx]
      }
    }
  }
  // 循環結束時，刪除/添加多余dom
  if (oldStartIdx > oldEndIdx) {
    before = isUndef(newCh[newEndIdx+1]) ? null : newCh[newEndIdx + 1].elm
    addVnodes(parentElm, before, newCh, newStartIdx, newEndIdx, insertedVnodeQueue)
  } else if (newStartIdx > newEndIdx) {
    removeVnodes(parentElm, oldCh, oldStartIdx, oldEndIdx)
  }
}

希望看完這篇對虛擬dom的比較會有一定的了解！如果有什么錯誤記得悄悄告訴我啊哈哈。

文筆還是不好，希望大家能理解o(︶︿︶)o

4篇文章寫了兩個月......真是佩服自己的執行力！但發現寫博客好像確實挺費時的(┬＿┬)，不過以后一定會經常寫，先兩周一篇？