您好,登錄后才能下訂單哦!
今天小編給大家分享一下Vue2 diff算法怎么掌握的相關知識點,內容詳細,邏輯清晰,相信大部分人都還太了解這方面的知識,所以分享這篇文章給大家參考一下,希望大家閱讀完這篇文章后有所收獲,下面我們一起來了解一下吧。
在我的理解中,diff 指代的是 differences
,即 新舊內容之間的區別計算;Vue 中的 diff 算法,則是通過一種 簡單且高效 的手段快速對比出 新舊 VNode 節點數組之間的區別 以便 以最少的 dom 操作來更新頁面內容。
此時這里有兩個必須的前提:
對比的是 VNode 數組
同時存在新舊兩組 VNode 數組
所以它一般只發生在 數據更新造成頁面內容需要更新時執行,即 renderWatcher.run()
。
上面說了,diff 中比較的是 VNode,而不是真實的 dom 節點,相信為什么會使用 VNode 大部分人都比較清楚,筆者就簡單帶過吧?~
在 Vue 中使用 VNode 的原因大致有兩個方面:
VNode 作為框架設計者根據框架需求設計的 JavaScript 對象,本身屬性相對真實的 dom 節點要簡單,并且操作時不需要進行 dom 查詢,可以大幅優化計算時的性能消耗
在 VNode 到真實 dom 的這個渲染過程,可以根據不同平臺(web、微信小程序)進行不同的處理,生成適配各平臺的真實 dom 元素
在 diff 過程中會遍歷新舊節點數據進行對比,所以使用 VNode 能帶來很大的性能提升。
在網頁中,真實的 dom 節點都是以 樹 的形式存在的,根節點都是 <html>
,為了保證虛擬節點能與真實 dom 節點一致,VNode 也一樣采用的是樹形結構。
如果在組件更新時,需要對比全部 VNode 節點的話,新舊兩組節點都需要進行 深度遍歷 和比較,會產生很大的性能開銷;所以,Vue 中默認 同層級節點比較,即 如果新舊 VNode 樹的層級不同的話,多余層級的內容會直接新建或者舍棄,只在同層級進行 diff 操作。
一般來說,diff 操作一般發生在 v-for
循環或者有 v-if/v-else
、component
這類 動態生成 的節點對象上(靜態節點一般不會改變,對比起來很快),并且這個過程是為了更新 dom,所以在源碼中,這個過程對應的方法名是 updateChildren
,位于 src/core/vdom/patch.ts
中。如下圖:
這里回顧一下 Vue 組件實例的創建與更新過程:
首先是
beforeCreate
到created
階段,主要進行數據和狀態以及一些基礎事件、方法的處理然后,會調用
$mount(vm.$options.el)
方法進入Vnode
與 dom 的創建和掛載階段,也就是beforeMount
到mounted
之間(組件更新時與這里類似)原型上的
$mount
會在platforms/web/runtime-with-compiler.ts
中進行一次重寫,原始實現在platforms/web/runtime/index.ts
中;在原始實現方法中,其實就是調用mountComponent
方法執行render
;而在web
下的runtime-with-compiler
中則是增加了 模板字符串編譯 模塊,會對options
中的的template
進行一次解析和編譯,轉換成一個函數綁定到options.render
中
mountComponent
函數內部就是 定義了渲染方法updateComponent = () => (vm._update(vm._render())
,實例化一個具有before
配置的watcher
實例(即renderWatcher
),通過定義watch
觀察對象為 剛剛定義的updateComponent
方法來執行 首次組件渲染與觸發依賴收集,其中的before
配置僅僅配置了觸發beforeMount/beforeUpdate
鉤子函數的方法;這也是為什么在beforeMount
階段取不到真實 dom 節點與beforeUpdate
階段獲取的是舊 dom 節點的原因
_update
方法的定義與mountComponent
在同一文件下,其核心就是 讀取組件實例中的$el
(舊 dom 節點)與_vnode
(舊 VNode)與_render()
函數生成的vnode
進行patch
操作
patch
函數首先對比 是否具有舊節點,沒有的話肯定是新建的組件,直接進行創建和渲染;如果具有舊節點的話,則通過patchVnode
進行新舊節點的對比,并且如果新舊節點一致并且都具有children
子節點,則進入diff
的核心邏輯 ——updateChildren
子節點對比更新,這個方法也是我們常說的diff
算法
既然是對比新舊 VNode 數組,那么首先肯定有 對比 的判斷方法:sameNode(a, b)
、新增節點的方法 addVnodes
、移除節點的方法 removeVnodes
,當然,即使 sameNode
判斷了 VNode 一致之后,依然會使用 patchVnode
對單個新舊 VNode 的內容進行深度比較,確認內部數據是否需要更新。
這個方法就一個目的:比較新舊節點是否相同。
在這個方法中,首先比較的就是 a 和 b 的 key
是否相同,這也是為什么 Vue 在文檔中注明了 v-for、v-if、v-else
等動態節點必須要設置 key
來標識節點唯一性,如果 key
存在且相同,則只需要比較內部是否發生了改變,一般情況下可以減少很多 dom 操作;而如果沒有設置的話,則會直接銷毀重建對應的節點元素。
然后會比較是不是異步組件,這里會比較他們的構造函數是不是一致。
然后會進入兩種不同的情況比較:
非異步組件:標簽一樣、都不是注釋節點、都有數據、同類型文本輸入框
異步組件:舊節點占位符和新節點的錯誤提示都為 undefined
函數整體過程如下
顧名思義,添加新的 VNode 節點。
該函數接收 6 個參數:parentElm
當前節點數組父元素、refElm
指定位置的元素、vnodes
新的虛擬節點數組、startIdx
新節點數組的插入元素開始位置、endIdx
新節點數組的插入元素結束索引、insertedVnodeQueue
需要插入的虛擬節點隊列。
函數內部會 從 startIdx
開始遍歷 vnodes
數組直到 endIdx
位置,然后調用 createElm
依次在 refElm
之前創建和插入 vnodes[idx]
對應的元素。
當然,在這個 vnodes[idx]
中有可能會有 Component
組件,此時還會調用 createComponent
來創建對應的組件實例。
因為整個
VNode
和 dom 都是一個 樹結構,所以在 同層級的比較之后,還需要處理當前層級下更深層次的 VNode 和 dom 處理。
與 addVnodes
相反,該方法就是用來移除 VNode 節點的。
由于這個方法只是移除,所以只需要三個參數:vnodes
舊虛擬節點數組、startIdx
開始索引、endIdx
結束索引。
函數內部會 從 startIdx
開始遍歷 vnodes
數組直到 endIdx
位置,如果 vnodes[idx]
不為 undefined
的話,則會根據 tag
屬性來區分處理:
存在 tag
,說明是一個元素或者組件,需要 遞歸處理 vnodes[idx]
的內容, 觸發 remove hooks 與 destroy hooks
不存在 tag
,說明是一個 純文本節點,直接從 dom 中移除該節點即可
節點對比的 實際完整對比和 dom 更新 方法。
在這個方法中,主要包含 九個 主要的參數判斷,并對應不同的處理邏輯:
新舊 VNode 全等,則說明沒有變化,直接退出
如果新的 VNode 具有真實的 dom 綁定,并且需要更新的節點集合是一個數組的話,則拷貝當前的 VNode 到集合的指定位置
如果舊節點是一個 異步組件并且還沒有加載結束的話就直接退出,否則通過 hydrate
函數將新的 VNode 轉化為真實的 dom 進行渲染;兩種情況都會 退出該函數
如果新舊節點都是 靜態節點 并且 key
相等,或者是 isOnce
指定的不更新節點,也會直接 復用舊節點的組件實例 并 退出函數
如果新的 VNode 節點具有 data
屬性并且有配置 prepatch
鉤子函數,則執行 prepatch(oldVnode, vnode)
通知進入節點的對比階段,一般這一步會配置性能優化
如果新的 VNode 具有 data
屬性并且遞歸改節點的子組件實例的 vnode,依然是可用標簽的話,cbs
回調函數對象中配置的 update
鉤子函數以及 data
中配置的 update
鉤子函數
如果新的 VNode 不是文本節點的話,會進入核心對比階段:
如果新舊節點都有 children
子節點,則進入 updateChildren
方法對比子節點
如果舊節點沒有子節點的話,則直接創建 VNode 對應的新的子節點
如果新節點沒有子節點的話,則移除舊的 VNode 子節點
如果都沒有子節點的話,并且舊節點有文本內容配置,則清空以前的 text
文本
如果新的 VNode 具有 text
文本(是文本節點),則比較新舊節點的文本內容是否一致,否則進行文本內容的更新
最后調用新節點的 data
中配置的 postpatch
鉤子函數,通知節點更新完畢
簡單來說,patchVnode
就是在 同一個節點 更新階段 進行新內容與舊內容的對比,如果發生改變則更新對應的內容;如果有子節點,則“遞歸”執行每個子節點的比較和更新。
而 子節點數組的比較和更新,則是 diff 的核心邏輯,也是面試時經常被提及的問題之一。
下面,就進入 updateChildren
方法的解析吧~
updateChildren
diff 核心解析首先,我們先思考一下 以新數組為準比較兩個對象數組元素差異 有哪些方法?
一般來說,我們可以通過 暴力手段直接遍歷兩個數組 來查找數組中每個元素的順序和差異,也就是 簡單 diff 算法。
即 遍歷新節點數組,在每次循環中再次遍歷舊節點數組 對比兩個節點是否一致,通過對比結果確定新節點是新增還是移除還是移動,整個過程中需要進行 m*n 次比較,所以默認時間復雜度是 On。
這種比較方式在大量節點更新過程中是非常消耗性能的,所以 Vue 2 對其進行了優化,改為 雙端對比算法
,也就是 雙端 diff
。
顧名思義,雙端 就是 從兩端開始分別向中間進行遍歷對比 的算法。
在 雙端 diff
中,分為 五種比較情況:
新舊頭相等
新舊尾相等
舊頭等于新尾
舊尾等于新頭
四者互不相等
其中,前四種屬于 比較理想的情況,而第五種才是 最復雜的對比情況。
判斷相等即
sameVnode(a, b)
等于true
下面我們通過一種預設情況來進行分析。
為了盡量同時演示出以上五種情況,我預設了以下的新舊節點數組:
作為初始節點順序的舊節點數組 oldChildren
,包含 1 - 7 共 7 個節點
作為亂序后的新節點數組 newChildren
,也有 7 個節點,但是相比舊節點減少了一個 vnode 3
并增加了一個 vnode 8
在進行比較之前,首先需要 定義兩組節點的雙端索引:
let oldStartIdx = 0
let oldEndIdx = oldCh.length - 1
let oldStartVnode = oldCh[0]
let oldEndVnode = oldCh[oldEndIdx]
let newStartIdx = 0
let newEndIdx = newCh.length - 1
let newStartVnode = newCh[0]
let newEndVnode = newCh[newEndIdx]
復制的源代碼,其中
oldCh
在圖中為oldChildren
,newCh
為newChildren
然后,我們定義 遍歷對比操作的停止條件:
while (oldStartIdx <= oldEndIdx && newStartIdx <= newEndIdx)
這里的停止條件是 只要新舊節點數組任意一個遍歷結束,則立即停止遍歷。
此時節點狀態如下:
為了保證新舊節點數組在對比時不會進行無效對比,會首先排除掉舊節點數組 起始部分與末尾部分 連續且值為 Undefined
的數據。
if (isUndef(oldStartVnode)) {
oldStartVnode = oldCh[++oldStartIdx]
} else if (isUndef(oldEndVnode)) {
oldEndVnode = oldCh[--oldEndIdx]
當然我們的例子中沒有這種情況,可以忽略。
此時相當于新舊節點數組的兩個 起始索引 指向的節點是 基本一致的,那么此時會調用 patchVnode
對兩個 vnode 進行深層比較和 dom 更新,并且將 兩個起始索引向后移動。即:
if (sameVnode(oldStartVnode, newStartVnode)) {
patchVnode(
oldStartVnode,
newStartVnode,
insertedVnodeQueue,
newCh,
newStartIdx
)
oldStartVnode = oldCh[++oldStartIdx]
newStartVnode = newCh[++newStartIdx]
}
這時的節點和索引變化如圖所示:
與頭結點相等類似,這種情況代表 新舊節點數組的最后一個節點基本一致,此時一樣調用 patchVnode
比較兩個尾結點和更新 dom,然后將 兩個末尾索引向前移動。
if (sameVnode(oldEndVnode, newEndVnode)) {
patchVnode(
oldEndVnode,
newEndVnode,
insertedVnodeQueue,
newCh,
newEndIdx
)
oldEndVnode = oldCh[--oldEndIdx]
newEndVnode = newCh[--newEndIdx]
}
這時的節點和索引變化如圖所示:
這里表示的是 舊節點數組 當前起始索引 指向的 vnode 與 新節點數組 當前末尾索引 指向的 vnode 基本一致,一樣調用 patchVnode
對兩個節點進行處理。
但是與上面兩種有區別的地方在于:這種情況下會造成 節點的移動,所以此時還會在 patchVnode
結束之后 通過 nodeOps.insertBefore
將 舊的頭節點 重新插入到 當前 舊的尾結點之后。
然后,會將 舊節點的起始索引后移、新節點的末尾索引前移。
看到這里大家可能會有一個疑問,為什么這里移動的是 舊的節點數組,這里因為 vnode 節點中有一個屬性
elm
,會指向該 vnode 對應的實際 dom 節點,所以這里移動舊節點數組其實就是 側面去移動實際的 dom 節點順序;并且注意這里是 當前的尾結點,在索引改變之后,這里不一定就是原舊節點數組的最末尾。
即:
if (sameVnode(oldStartVnode, newEndVnode)) {
patchVnode(
oldStartVnode,
newEndVnode,
insertedVnodeQueue,
newCh,
newEndIdx
)
canMove && nodeOps.insertBefore(parentElm, oldStartVnode.elm, nodeOps.nextSibling(oldEndVnode.elm))
oldStartVnode = oldCh[++oldStartIdx]
newEndVnode = newCh[--newEndIdx]
}
此時狀態如下:
這里與上面的 舊頭等于新尾 類似,一樣要涉及到節點對比和移動,只是調整的索引不同。此時 舊節點的 末尾索引 前移、新節點的 起始索引 后移,當然了,這里的 dom 移動對應的 vnode 操作是 將舊節點數組的末尾索引對應的 vnode 插入到舊節點數組 起始索引對應的 vnode 之前。
if (sameVnode(oldEndVnode, newStartVnode)) {
patchVnode(
oldEndVnode,
newStartVnode,
insertedVnodeQueue,
newCh,
newStartIdx
)
canMove && nodeOps.insertBefore(parentElm, oldEndVnode.elm, oldStartVnode.elm)
oldEndVnode = oldCh[--oldEndIdx]
newStartVnode = newCh[++newStartIdx]
}
此時狀態如下:
在以上情況都處理之后,就來到了四個節點互相都不相等的情況,這種情況也是 最復雜的情況。
當經過了上面幾種處理之后,此時的 索引與對應的 vnode 狀態如下:
可以看到四個索引對應的 vnode 分別是:vnode 3、vnode 5、 vnode 4、vnode 8,這幾個肯定是不一樣的。
此時也就意味著 雙端對比結束。
后面的節點對比則是 將舊節點數組剩余的 vnode (oldStartIdx
到 oldEndIdx
之間的節點)進行一次遍歷,生成由 vnode.key
作為鍵,idx
索引作為值的對象 oldKeyToIdx
,然后 遍歷新節點數組的剩余 vnode(newStartIdx
到 newEndIdx
之間的節點),根據新的節點的 key
在 oldKeyToIdx
進行查找。此時的每個新節點的查找結果只有兩種情況:
找到了對應的索引,那么會通過 sameVNode
對兩個節點進行對比:
相同節點,調用 patchVnode
進行深層對比和 dom 更新,將 oldKeyToIdx
中對應的索引 idxInOld
對應的節點插入到 oldStartIdx
對應的 vnode 之前;并且,這里會將 舊節點數組中 idxInOld
對應的元素設置為 undefined
不同節點,則調用 createElm
重新創建一個新的 dom 節點并將 新的 vnode 插入到對應的位置
沒有找到對應的索引,則直接 createElm
創建新的 dom 節點并將新的 vnode 插入到對應位置
注:這里 只有找到了舊節點并且新舊節點一樣才會將舊節點數組中
idxInOld
中的元素置為undefined
。
最后,會將 新節點數組的 起始索引 向后移動。
if (isUndef(oldKeyToIdx)) {
oldKeyToIdx = createKeyToOldIdx(oldCh, oldStartIdx, oldEndIdx)
}
idxInOld = isDef(newStartVnode.key)
? oldKeyToIdx[newStartVnode.key]
: findIdxInOld(newStartVnode, oldCh, oldStartIdx, oldEndIdx)
if (isUndef(idxInOld)) {
// New element
createElm(
newStartVnode,
insertedVnodeQueue,
parentElm,
oldStartVnode.elm,
false,
newCh,
newStartIdx
)
} else {
vnodeToMove = oldCh[idxInOld]
if (sameVnode(vnodeToMove, newStartVnode)) {
patchVnode(
vnodeToMove,
newStartVnode,
insertedVnodeQueue,
newCh,
newStartIdx
)
oldCh[idxInOld] = undefined
canMove &&
nodeOps.insertBefore(
parentElm,
vnodeToMove.elm,
oldStartVnode.elm
)
} else {
// same key but different element. treat as new element
createElm(
newStartVnode,
insertedVnodeQueue,
parentElm,
oldStartVnode.elm,
false,
newCh,
newStartIdx
)
}
}
newStartVnode = newCh[++newStartIdx]
}
大致邏輯如下圖:
經過上面的處理之后,根據判斷條件也不難看出,遍歷結束之后 新舊節點數組都剛好沒有剩余元素 是很難出現的,當且僅當遍歷過程中每次新頭尾節點總能和舊頭尾節點中總能有兩個新舊節點相同時才會發生,只要有一個節點發生改變或者順序發生大幅調整,最后 都會有一個節點數組起始索引和末尾索引無法閉合。
那么此時就需要對剩余元素進行處理:
舊節點數組遍歷結束、新節點數組仍有剩余,則遍歷新節點數組剩余數據,分別創建節點并插入到舊末尾索引對應節點之前
新節點數組遍歷結束、舊節點數組仍有剩余,則遍歷舊節點數組剩余數據,分別從節點數組和 dom 樹中移除
即:
以上就是“Vue2 diff算法怎么掌握”這篇文章的所有內容,感謝各位的閱讀!相信大家閱讀完這篇文章都有很大的收獲,小編每天都會為大家更新不同的知識,如果還想學習更多的知識,請關注億速云行業資訊頻道。
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。