《Vue.js 设计与实现》—— 03 Vue.js 3 的设计思路

1. 声明式地描述 UI

Vue.js 3 是一个声明式的 UI 框架，即用户在使用 Vue.js 3 开发页面时是声明式地描述 UI 的。

编写前端页面涉及的内容如下：

• DOM 元素：例如是 div 标签还是 a 标签
• 属性：如 a 标签的 href 属性，再如 id、class 等通用属性
• 事件：如 click、keydown 等
• 元素的层级结构：DOM 树的层级结构，既有子节点，又有父节点

那么，如何声明式地描述上述内容呢？拿 Vue.js 3 来说，相应的解决方案是：

• 使用与 HTML 标签一致的方式来描述 DOM 元素，例如描述一个 div 标签时可以使用 <div></div>
• 使用与 HTML 标签一致的方式来描述属性，例如 <div id="app"></div>
• 使用 : 或 v-bind 来描述动态绑定的属性，例如 <div :id="dynamicId"></div>
• 使用 @ 或 v-on 来描述事件，例如点击事件 <div @click="handler"></div>
• 使用与 HTML 标签一致的方式来描述层级结构，例如一个具有 span 子节点的 div 标签 <div><span></span></div>。

可以看到，在 Vue.js 中，哪怕是事件，都有与之对应的描述方式。用户不需要手写任何命令式代码，这就是所谓的声明式地描述 UI。

除上述使用模板来声明式地描述 UI 外，还可以用 JavaScript 对象来描述，如：

const title = {// 标签名称tag: 'h1',// 标签属性props: {onClick: handler},// 子节点children: [{ tag: 'span' }]
}

对应到 Vue.js 模板，就是：

<h1 @click="handler"><span></span></h1>

相比模板，使用 JavaScript 对象描述 UI 更加灵活。例如，假如要表示一个标题，根据标题级别的不同，会分别采用 h1 - h6 这几个标签，如果用 JavaScript 对象来描述，只需要使用一个变量来代表 h 标签即可：

let level = 3
const title = {tag: `h${level}`, // h3 标签
}

如果使用模板来描述，就不得不穷举：

<h1 v-if="level === 1"></h1>
<h2 v-else-if="level === 2"></h2>
<h3 v-else-if="level === 3"></h3>
<h4 v-else-if="level === 4"></h4>
<h5 v-else-if="level === 5"></h5>
<h6 v-else-if="level === 6"></h6>

使用 JavaScript 对象来描述 UI 的方式，其实就是所谓的虚拟 DOM。

正是因为虚拟 DOM 的这种灵活性，Vue.js 3 除了支持使用模板描述 UI 外，还支持使用虚拟 DOM 描述 UI。事实上，我们在 Vue.js 组件中手写的渲染函数就是使用虚拟 DOM 来描述 UI 的，如：

import { h } from 'vue'export default {render() {return h('h1', { onClick: handler }) // 虚拟 DOM}
}

render 函数看似返回的是一个 h 函数，其实 h 函数的返回值就是一个对象，其作用是让用户编写虚拟 DOM 变得更加轻松。如果把上面 h 函数调用的代码改成 JavaScript 对象，就需要写更多内容：

export default {render() {return {tag: 'h1',props: { onClick: handler }}}
}

如果还有子节点，那么需要编写的内容就更多了，所以 h 函数就是一个辅助创建虚拟 DOM 的工具函数，仅此而已。

一个组件要渲染的内容是通过渲染函数来描述的，即上面的 render 函数，Vue.js 会根据组件的 render 函数的返回值拿到虚拟DOM，然后就可以把组件的内容渲染出来了。

2. 初识渲染器

虚拟 DOM 其实就是用 JavaScript 对象来描述真实的 DOM 结构。那么，虚拟 DOM 是如何变成真实 DOM 并渲染到浏览器页面中的呢？答案是渲染器。渲染器的作用就是把虚拟 DOM 渲染为真实 DOM，我们平时编写的 Vue.js 组件都是依赖渲染器来工作的。

假设有如下虚拟 DOM：

const vnode = {tag: 'div', // 标签名称props: { // 标签对应的属性和事件onClick: () => alert('hello')},children: 'click me' // 标签的子节点
}

接下来，需要编写一个渲染器，把上面这段虚拟 DOM 渲染为真实 DOM：

// vnode -- 虚拟 DOM 对象
// container -- 真实的 DOM 元素，作为挂载点
function renderer(vnode, container) {// 使用 vnode.tag 作为标签名称创建 DOM 元素const el = document.createElement(vnode.tag)// 遍历 vnode.props，将属性、事件添加到 DOM 元素for (const key in vnode.props) {if (/^on/.test(key)) {// 如果 key 以 on 开头，说明它是事件el.addEventListener(key.substr(2).toLowerCase(), // 事件名称 onClick -> clickvnode.props[key] // 事件处理函数)}}// 处理 childrenif (typeof vnode.children === 'string') {// 如果 children 是字符串，说明它是元素的文本子节点el.appendChild(document.createTextNode(vnode.children))} else if (Array.isArray(vnode.children)) {// 递归地调用 renderer 函数渲染子节点，使用当前元素 el 作为挂载点vnode.children.forEach(child => renderer(child, el))}// 将元素添加到挂载点下container.appendChild(el)
}

接下来，可以调用 renderer 函数：

renderer(vnode, document.body) // body 作为挂载点

创建节点只是“前菜”，渲染器的精髓都在更新节点的阶段。假设对 vnode 做一些小小的修改：

const vnode = {tag: 'div',props: {onClick: () => alert('hello')},children: 'click again' // 从 click me 改成 click again
}

对于渲染器来说，它需要精确地找到 vnode 对象的变更点并且只更新变更的内容。就上例来说，渲染器应该只更新元素的文本内容，而不需要再走一遍完整的创建元素的流程（这些内容将在后面讲解）。事实上，渲染器的工作原理其实很简单，归根结底都是使用一些熟悉的 DOM 操作 API 来完成渲染工作。

3. 组件的本质

关于组件，有三个问题：

• 什么是组件？
• 组件和虚拟 DOM 有什么关系？
• 渲染器如何渲染组件？

其实虚拟 DOM 除了能够描述真实 DOM 之外，还能够描述组件。例如使用 { tag: 'div' } 来描述 <div> 标签，但是组件并不是真实的 DOM 元素，如何使用虚拟 DOM 来描述呢？

组件的本质是一组 DOM 元素的封装，这组 DOM 元素就是组件要渲染的内容，因此可以定义一个函数来代表组件，而函数的返回值就代表组件要渲染的内容：

const MyComponent = function () {return {tag: 'div',props: {onClick: () => alert('hello')},children: 'click me'}
}

可以看到，组件的返回值也是虚拟 DOM，它代表组件要渲染的内容。可以让虚拟 DOM 对象中的 tag 属性来存储组件函数：

const vnode = {tag: MyComponent
}

就像 tag: 'div' 用来描述 <div> 标签一样，tag: MyComponent 用来描述组件，只不过此时的 tag 属性不是标签名称，而是组件函数。为了能够渲染组件，需要渲染器的支持。

前面封装的 renderer 函数仅能够渲染非组件（标签）元素，因此可以改名为 mountElement，内容不变，然后修改 renderer 函数为：

function renderer(vnode, container) {if (typeof vnode.tag === 'string') {// 说明 vnode 描述的是标签元素mountElement(vnode, container)} else if (typeof vnode.tag === 'function') {// 说明 vnode 描述的是组件mountComponent(vnode, container)}
}

mountComponent 函数实现如下：

function mountComponent(vnode, container) {// 调用组件函数，获取组件要渲染的内容（虚拟 DOM）const subtree = vnode.tag()// 递归地调用 renderer 渲染 subtreerenderer(subtree, container)
}

组件一定非得是函数吗？其实它完全可以是一个 JavaScript 对象，例如：

// MyComponent 是一个对象
const MyComponent = {render() { // render 函数的返回对象表示组件要渲染的内容return {tag: 'div',props: {onClick: () => alert('hello')},children: 'click me'}}
}

为了完成组件的渲染，需要修改 renderer 渲染器以及 mountComponent 函数。

首先，修改渲染器的判断条件：

function renderer(vnode, container) {if (typeof vnode.tag === 'string') {mountElement(vnode, container)} else if (typeof vnode.tag === 'object') { // 如果是对象，说明 vnode 描述的是组件mountComponent(vnode, container)}
}

接着，修改 mountComponent 函数：

function mountComponent(vnode, container) {// vnode.tag 是组件对象，调用它的 render 函数得到组件要渲染的内容（虚拟 DOM）const subtree = vnode.tag.render()// 递归地调用 renderer 渲染 subtreerenderer(subtree, container)
}

4. 模板的工作原理

无论是手写虚拟 DOM（渲染函数）还是使用模板，都属于声明式地描述 UI，并且 Vue.js 同时支持这两种描述 UI 的方式。那么模板是如何工作的呢？答案是编译器。编译器和渲染器一样，只是一段程序而已，不过它们的工作内容不同。编译器的作用是将模板编译为渲染函数，例如：

<div @click="handler">click me
</div>

对于编译器来说，模板就是一个普通的字符串，它会分析该字符串并生成一个功能与之相同的渲染函数：

render() {return h('div', { onClick: handler }, 'click me')
}

以 .vue 文件为例，一个 .vue 文件就是一个组件，如：

<template><div @click="handler">click me</div>
</template><script>
export default {data() {/* ... */},methods: {handler: () => {/* ... */}}
}
</script>

其中 <template> 标签里的内容就是模板内容，编译器会把模板内容编译成渲染函数并添加到 <script> 标签块的组件对象上，所以最终运行的代码是：

export default {data() {/* ... */},methods: {handler: () => {/* ... */}},render() {return h('div', { onClick: handler }, 'click me')}
}

所以，无论是使用模板还是直接手写渲染函数，对于一个组件来说，它要渲染的内容最终都是通过渲染函数产生的，然后渲染器再把渲染函数返回的虚拟 DOM 渲染为真实 DOM，这就是模板的工作原理，也是 Vue.js 渲染页面的流程。

5. Vue.js 是各个模块组成的有机整体

前面说到，组件的实现依赖于渲染器，模板的编译依赖于编译器，并且编译后生成的代码是根据渲染器和虚拟 DOM 的设计决定的，因此 Vue.js 的各个模块之间是互相关联、互相制约的，共同构成一个有机整体。

下面以编译器和渲染器这两个非常关键的模块为例，看看它们是如何配合工作，并实现性能提升的。假设有如下模板：

<div id="foo" :class="cls"></div>

编译器会把这段代码编译成渲染函数：

render() {// 下面的代码等价于：return h('div', { id: 'foo', class: cls })return {tag: 'div',props: {id: 'foo',class: cls // cls 是一个变量，可能会发生变化}}
}

渲染器的作用之一就是寻找并且只更新变化的内容，所以当变量 cls 的值发生变化时，渲染器会自行寻找变更点。对于渲染器来说，这个“寻找”的过程需要花费一些力气。

从编译器的视角来看，它能否知道哪些内容会发生变化呢？如果编译器有能力分析动态内容，并在编译阶段把这些信息提取出来，然后直接交给渲染器，这样渲染器不就不需要花费大力气去寻找变更点了吗？这是个好想法并且能够实现。

Vue.js 的模板是有特点的，以上面的代码为例，我们可以清楚的知道 id="foo" 是永远不会变化的，而 :class="cls" 是一个 v-bind 绑定，是可能发生变化的。所以编译器能识别出哪些是静态属性，哪些是动态属性，在生成代码的时候完全可以附带这些信息：

render() {return {tag: 'div',props: {id: 'foo',class: cls},patchFlags: 1 // 假设数字 1 代表 class 是动态的}
}

渲染器直接通过 patchFlags 判断变更，不需要自己“寻找”，性能自然就提升了。

因此，编译器和渲染器之间是存在信息交流的，它们互相配合使得性能进一步提升，而它们之间交流的媒介就是虚拟 DOM 对象。

更多文章可关注：GopherBlog、GopherBlog副站