详解Vue的diff算法

文字表述

当组件创建和更新时，vue均会执行内部的update函数，该函数在内部调用render函数生成虚拟dom树，组件会指向新树，然后vue将新旧两树进行对比，找到差异点，最终更新到真实dom。

对比差异的过程叫diff，vue在内部通过一个叫patch的函数完成该过程。在对比时，vue采用深度优先、逐层比较的方式进行比对。在判断两个节点是否相同时，vue是通过虚拟节点的key和tag来进行判断的。

具体来说，就是首先对根节点进行对比，如果相同则将旧节点关联的真实dom的引用挂到新节点上，然后根据需要更新属性到真实dom，然后再对比其子节点数组；如果不相同，则按照新节点的信息递归创建所有真实dom，同时挂到对应虚拟节点上，然后移除掉旧的dom。在对比其子节点数组时，vue对每个子节点数组使用了两个指针，分别指向头尾，然后不断向中间靠拢来进行对比，这样做的目的是尽量复用真实dom，尽量少的销毁和创建真实dom。如果发现相同，则进入和根节点一样的对比流程，如果发现不同，则移动真实dom到合适的位置。这样一直递归下去，直到整棵树完成对比。

1.diff的时机

当组件创建时，以及依赖的属性或数据变化时，会运行一个函数，该函数会做两件事:

• 运行_render生成一棵新的虚拟dom树(vnode tree)
• 运行_update，传入虚拟dom树的根节点，对新旧两棵树进行对比，最终完成对真实dom的更新

核心代码如下

function Vue(){
  var updateComponent = () => {
    this._update(this._render())
  }
  new Watcher(updateComponent)
}

所以diff就发生在_update函数运行的过程中。

2._update函数在干什么

_update函数接收到一个vnode 参数，就是新生成的虚拟dom树，同时，_update函数通过当前组件的_vnode 属性，拿到旧的虚拟dom树，_update函数首先会给组件的_vnode 属性重新赋值，让它指向新树。

然后会判断旧树是否存在：

• 不存在：说明这是第一次加载组件，于是通过内部的patch函数，直接遍历新树，为每个节点生成真实DOM，挂载到每个节点的elm（每个虚拟节点都有elm属性，记录了真实节点）属性上。
• 存在：说明之前已经渲染过该组件，于是通过内部的patch函数，对新旧两棵树进行对比，以达到下面两个目标：
  • 完成对所有真实dom的最小化处理
  • 让新树的节点对应合适的真实dom

3.pacth函数的对比流程

术语解释

1.「相同」：是指两个节点的标签类型、key值均相同，但input元素还要看type属性
2.「新建元素」：是指根据一个虚拟节点提供的信息，创建一个真实dom元素，同时挂载到虚拟节点的elm属性上
3.「销毁元素」：是指vnode.elm.remave()
4.「更新」:是指对两个虚拟节点进行对比更新，它仅发生在两个虚拟节点「相同」的情况下。具体过程稍后措述
5.「对比子节点」:是指对两个虚拟节点的子节点进行对比，具体过程稍后描述

详细流程

1.「对比根节点」

patch函数首先对根节点进行比较，如果两个节点：

• 「相同」进入「更新」流程
  1.将旧节点的真实dom赋值到新节点:newVnode.elm=oldvnode.elm
  2.对比新节点和旧节点的属性，有变化的更新到真实dom中
  3.当前两个节点处理完毕，开始「对比子节点」
• 不「相同」
  1.新节点递归「新建元素」（即根据新的虚拟Dom树创建新的真实Dom）
  2.旧节点「销毁元素」（即销毁旧的真实Dom）

2.「对比子节点」

在「对比子节点」时，vue一切的出发点，都是为了：

• 尽量啥也别做
• 不行的话，尽量仅改动元素属性
• 还不行的话，尽量移动元素，而不是删除和创建元素
• 还不行的话，删除和创建元素