学习Virtual Dom笔记
实现虚拟(Virtual) Dom
把一个div
元素的属性打印出来,如下:
可以看到仅仅是第一层,真正DOM
的元素是非常庞大的,这也是DOM
加载慢的原因。
相对于DOM
对象,原生的JavaScript
对象处理起来更快,而且更简单。DOM
树上的结构、属性信息都可以用JavaScript
对象表示出来:
var element = { tagName: 'ul', // 节点标签名 props: { // DOM的属性,用一个对象存储键值对 id: 'list' }, children: [ // 该节点的子节点 {tagName: 'li', props: {class: 'item'}, children: ["Item 1"]}, {tagName: 'li', props: {class: 'item'}, children: ["Item 2"]}, {tagName: 'li', props: {class: 'item'}, children: ["Item 3"]}, ] }
上面对应的HTML
写法是:
<ul id='list'> <li class='item'>Item 1</li> <li class='item'>Item 2</li> <li class='item'>Item 3</li> </ul>
DOM
树的信息可以用JavaScript
对象表示出来,则说明可以用JavaScript
对象去表示树结构来构建一棵真正的DOM
树。
状态变更->重新渲染整个视图的方式可以用新渲染的对象树去和旧的树进行对比,记录这两棵树的差异。两者的不同之处就是我们需要对页面真正的DOM
操作,然后把它们应用在真正的DOM
树上,页面就变更了。这样可以做到:视图的结构确实是整个全新渲染了,但是最后操作DOM
的只有变更不同的地方。
Virtual DOM算法,可以归纳为以下几个步骤:
- 用JavaScript对象结构表示
DOM
树的结构,然后用这个树构建一个真正的DOM
树,插到文档当中 - 当状态变更的时候,重新构建一棵新的对象树。然后用新的树和旧的树进行比较,记录两棵树的差异
- 把
2
所记录的差异应用到步骤1所构建的的真正的DOM
树上,视图就更新了
Virtual DOM
本质就是在JS和DOM之间做了一个缓存,JS
操作Virtual DOM
,最后再应用到真正的DOM
上。
难点-算法实现
步骤一:用JS
对象模拟虚拟DOM
树
用JavaScript
来表示一个DOM
节点,则需要记录它的节点类型、属性、子节点:
element.js
function Element (tagName, props, children) { this.tagName = tagName this.props = props this.children = children } module.exports = function (tagName, props, children) { return new Element(tagName, props, children) }
上面的DOM结构可以表示为:
var el = require('./element') var ul = el('ul', {id: 'list'}, [ el('li', {class: 'item'}, ['Item 1']), el('li', {class: 'item'}, ['Item 2']), el('li', {class: 'item'}, ['Item 3']) ])
现在ul
只是一个JavaScript
对象表示的DOM
结构,页面上并没有这个结构。可以根据这个ul
构建真正的<ul>
:
Element.prototype.render = function () { var el = document.createElement(this.tagName) // 根据tagName构建 var props = this.props for (var propName in props) { // 设置节点的DOM属性 var propValue = props[propName] el.setAttribute(propName, propValue) } var children = this.children || [] children.forEach(function (child) { var childEl = (child instanceof Element) ? child.render() // 如果子节点也是虚拟DOM,递归构建DOM节点 : document.createTextNode(child) // 如果字符串,只构建文本节点 el.appendChild(childEl) }) return el }
render
方法会根据tagName
构建一个真正的DOM
节点,然后设置这个节点的属性,最后递归地把自己的子节点也构建起来。所以需要:
var ulRoot = ul.render() document.body.appendChild(ulRoot)
上面的ulRoot
是真正的DOM
节点,把它塞进文档中,这样body
里面就有了真正的<ul>
的DOM结构:
<ul id='list'> <li class='item'>Item 1</li> <li class='item'>Item 2</li> <li class='item'>Item 3</li> </ul>
步骤二:比较两棵虚拟DOM树的差异
比较两棵DOM
树的差异是Virtual DOM
算法最核心的部分,就是diff
算法。两棵树的完全diff
算法是一个时间复杂度为O(n^3)
的问题。但在前端中,很少会跨越层级地移动DOM
元素。所以Virtual DOM
只会对同一层级的元素进行对比:
上面的div
只会和同一层级的div
对比,第二层级的只会跟第二层级对比。这样算法复杂度就可以达到O(n)
。
a.深度优先遍历,记录差异
在实际的代码中,会对新旧两棵树进行一个深度优先的遍历,这样每个节点都会有一个唯一的标记:
在深度优先遍历的时候,每遍历到一个节点就把该节点和新的树进行对比。如果有差异的话就记录到一个对象里面。
// diff 函数,对比两棵树 function diff (oldTree, newTree) { var index = 0 // 当前节点的标志 var patches = {} // 用来记录每个节点差异的对象 dfsWalk(oldTree, newTree, index, patches) return patches } // 对两棵树进行深度优先遍历 function dfsWalk (oldNode, newNode, index, patches) { // 对比oldNode和newNode的不同,记录下来 patches[index] = [...] diffChildren(oldNode.children, newNode.children, index, patches) } // 遍历子节点 function diffChildren (oldChildren, newChildren, index, patches) { var leftNode = null var currentNodeIndex = index oldChildren.forEach(function (child, i) { var newChild = newChildren[i] currentNodeIndex = (leftNode && leftNode.count) // 计算节点的标识 ? currentNodeIndex + leftNode.count + 1 : currentNodeIndex + 1 dfsWalk(child, newChild, currentNodeIndex, patches) // 深度遍历子节点 leftNode = child }) }
例如,上面的div和新的div有差异,当前的标记是0
,那么:
patches[0] = [{difference}, {difference}, ...] // 用数组存储新旧节点的不同
同理p
是patches[1]
,ul
是patches[3]
,以此类推
b.差异类型
对DOM
操作会有的差异:
- 替换掉原来的节点,例如把上面的
div
换成了section
- 移动、删除、新增子节点,例如上面的
div
的子节点,把p
和ul
顺序互换 - 修改了节点的属性
- 对于文本节点,文本内容可能会改变。例如修改上面的文本节点
2
内容为Virtual DOM2
所以定义了几种差异类型:
var REPLACE = 0 var REORDER = 1 var PROPS = 2 var TEXT = 3
对于节点的替换,判断新旧节点的tagName
和是不是一样,如果不一样就替换掉。如div
换成section
,记录如下:
patches[0] = [{ type: REPALCE, node: newNode // el('section', props, children) }]
如果给div
新增了属性id
为container
,记录如下:
patches[0] = [{ type: REPALCE, node: newNode // el('section', props, children) }, { type: PROPS, props: { id: "container" } }]
如果修改文本节点,如上面的文本节点2
,记录如下:
patches[2] = [{ type: TEXT, content: "Virtual DOM2" }]
c.列表对比算法
上面如果把div
中的子节点重新排序,看如p
,ul
,div
的顺序换成了div
,p
,ul
。按照同层进行顺序对比的话,它们都会被替换掉,这样DOM
开销非常大。而实际上只需要通过节点移动就可以的了。
假设现在可以英文字母唯一得标志每一个子节点:
旧的节点顺序:a b c d e f g h i
现在对节点进行删除、插入、移动的操作。新增j节点,删除e节点,移动h节点:
新的节点顺序:a b c h d f g i j
现在知道了新旧的顺序,求最小的插入、删除操作(移动可以看成是删除和插入操作的结合)。这个问题抽象出来其实是字符串的最小编辑距离问题(Edition Distance
),最常见的算法是Levenshtein Distance
,
通过动态规划求解,时间复杂度为O(M*N)
。而我们只需要优化一些常见的移动操作,牺牲一定的DOM
操作,让算法时间复杂度达到线性的O((max(M,N)))
。
获取某个父节点的子节点的操作,就可以记录如下:
patches[0] = [{ type: REORDER, moves: [{remove or insert}, {remove or insert}, ...] }]
由于tagName
是可以重复的,所以不能用这个来进行对比。需要给子节点加上一盒唯一标识key
,列表对比的时候,使用key
进行对比,这样就能复用旧的DOM
树上的节点。
通过深度优先遍历两棵树,每层节点进行对比,记录下每个节点的差异。完整的diff
算法访问:https://github.com/livoras/si...
步骤三:把差异应用到真正的DOM
树上
因为步骤一所构建的JavaScript
对象树和render
出来的真正的DOM
树的信息、结构是一样的。所以可以对那棵DOM
树也进行深度优先遍历,遍历的时候从步骤二生成的patches
对象中找出当前遍历的节点差异,然后进行DOM
操作。
function patch (node, patches) { var walker = {index: 0} dfsWalk(node, walker, patches) } function dfsWalk (node, walker, patches) { var currentPatches = patches[walker.index] // 从patches拿出当前节点的差异 var len = node.childNodes ? node.childNodes.length : 0 for (var i = 0; i < len; i++) { // 深度遍历子节点 var child = node.childNodes[i] walker.index++ dfsWalk(child, walker, patches) } if (currentPatches) { applyPatches(node, currentPatches) // 对当前节点进行DOM操作 } }
applyPatches
,根据不同类型的差异对当前节点进行 DOM
操作:
function applyPatches (node, currentPatches) { currentPatches.forEach(function (currentPatch) { switch (currentPatch.type) { case REPLACE: node.parentNode.replaceChild(currentPatch.node.render(), node) break case REORDER: reorderChildren(node, currentPatch.moves) break case PROPS: setProps(node, currentPatch.props) break case TEXT: node.textContent = currentPatch.content break default: throw new Error('Unknown patch type ' + currentPatch.type) } }) }
完整patch
代码访问:https://github.com/livoras/si...