《Vue.js设计与实现》day04:第3章 Vue.js3的设计思路

765 阅读16分钟

一、前言

在第1 章中,我们阐述了框架设计是权衡的艺术,这里面存在取舍,例如性能与可维护性之间的取舍、运行时与编译时之间的取舍等。

在第2 章中,我们详细讨论了框架设计的几个核心要素,有些要素是框架设计者必须要考虑的,另一些要素则是从专业和提升开发体验的角度考虑的。框架设计讲究全局视角的把控,一个项目就算再大,也是存在一条核心思路的,并围绕核心展开。

本章从全局视角了解Vue.js3 的设计思路、工作机制及其重要的组成部分。可以把这些组成部分当作独立的功能模块,看看它们之间是如何相互配合的。

二、本章内容

3.1 声明式地描述UI

Vue.js3是一个声明式的 UI框架,意思是说用户在使用 Vue.js3 开发页面时是声明式地描述UI的。

思考:思如果让你设计一个声明式的UI框架,你会怎么设计呢?


为了搞清楚上面的问题,需要先了解编写前端页面都涉及哪些内容

  • DOM 元素:例如是 div 标签还是a标签。
  • 属性:如a标签的 href 属性,再如 idclass 等通用属性。
  • 事件:如clickkeydown 等。
  • 元素的层级结构:DOM树的层级结构,既有子节点,又有父节点。

思考:如何声明式地描述上述内容呢?

这是框架设计者需要思考的问题。方案可以有很多, 拿Vue.js3 来说,相应的解决方案是:

  • 使用与 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有何不同呢?

答案是:使用 JavaScript对象描述UI更加灵活。

举个例子,假如我们要表示一个标题,根据标题级别的不同,会分别采用h1~h6这几个标签,如果用 JavaScript 对象来描述,我们只需要使用一个变量来代表h标签即可:

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

可以看到,当变量 level值改变,对应的标签名字也会在h1h6之间变化。但是如果使用模板来描述,就不得不穷举:

<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对象灵活。而使用 JavaScript 对象来描述UI 的方式,其实就是所谓的虚拟DOM

现在大家应该觉得虚拟 DOM 其实也没有那么神秘了吧。正是因为虚拟DOM 的这种灵活性,Vue.js3除了支持使用模板描述UI外,还支持使用虚拟DOM描述UI。

Vue.js组件中手写的渲染函数就是使用虚拟 DOM 来描述UI的,如以下代码所示:

import {h} from 'vue'
export default{

  render(){
    return h('h1',{onClick:handler}) //虚拟DOM
  }
}

你可能会问,这里是h函数调用呀,也不是 JavaScript 对象啊。其实h 函数的返回值就是一个对象,其作用是让我们编写虚拟DOM 变得更加轻松。如果把上面h函数调用的代码改成 JavaScript 对象,就需要写更多内容:

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

如果还有子节点,那么需要编写的内容就更多了,所以h函数就是一个辅助创建虚拟 DOM 的工具两数,仅此而已。另外,这里有必要解释一下什么是组件的渲染函数

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

3.2 初识渲染器

了解了什么是虚拟 DOM,它其实就是用 JavaScript对象来描述真实的 DOM结构。

那么,虚拟 DOM 是如何变成真实 DOM 并這染到浏览器页面中的呢?这就用到了我们接下来要介绍的:渲染器。


渲染器的作用就是把虚拟 DOM 渲染为真实 DOM,如图所示。

渲染器是非常重要的角色,大家平时编写的Vue.js组件都是依赖渲染器来工作的,因此后面我们会专门讲解渲染器。不过这里有必要先初步认识渲染器,以便更好地理解 Vue.js 的工作原理。

假设我们有如下虚拟 DOM:

const node = {
  tag:'div',
  props: {
    onClick: () => alert('hello" )
  },
  children: 'click me'
}

首先简单解释一下上面这段代码。

  • tag 用来描述标签名称,所以 tag'div'描述的就是一个<div>标签。
  • props 是一个对象,用来描述<div>标签的属性、事件等内容。可以看到,我们希望给div绑定一个点击事件。
  • children 用来描述标签的子节点。在上面的代码中,children 是一个宇符串值,意思是div标签有一个文本子节点<div>click me </div>

实际上,你完全可以自己设计虚拟 DOM 的结构,例如可以使用 tagName 代替tag,因为它本身就是一个JavaScript 对象,并没有特殊含义.

编写一个渲染器,把上面这段虚拟 DOM 渲染为真实 DOM:

function renderer (vnode, container){
// 使用vnode.tag 作为标签名称创建DOM 元素
const el= docunent.createElenent(vnode. tag)
//遍历 vnode.props,将属性、事件添加到 DOM 元素
for(const kev in vnode.props){
  if (/^on/. test(key)) {
    // 如果key以on 开头,说明它是事件
    el addEventlistener(
      key .substr(2).toLowercase(),// 事件名称 onclick ---s click
      vnode.props[key]//事件处理函数
    )
  }
}
  
//处理 children
if (typeof node.children === "string"){
//如果children是字符串,说明它是元索的文本子节点
    el. appendChild (document. createTextNode(vnode.children)
}else if(Arrav.isArray(vnode.children)){
//递归地调用renderer 函数渲染子节点,使用当前元素 el 作为挂載点
  vnode.children.forEach (child => renderer(child. el))
//将元索添加到挂載点下
  contatner.appendChild(el)
}

这里的 renderer 函数接收如下两个参数。

  • vnode:虚拟 DOM对象
  • container:一个真实 DOM 元素,作为挂载点,渲染器会把虚拟 DOM 渲染到该挂载

点下。

接下来,我们可以调用 renderer 函数:

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

在浏览器中运行,会渲染出“click me” 文本,点击该文本, 会弹出alert('hello')

现在我们回过头来分析渲染器 renderer的实现思路,总体来说分为三步:

  • 创建元素:把vnode.tag 作为标签名称来创建 DOM 元素。
  • 为元素添加属性和事件:遍历 vnode.props 对象,如果keyon 字符 开头,说明它是一个事件,把字符 on 截取掉后再调用 tolowerCase 两数将事件名称小写化,最终得到合法的事件名称,例如 onclick 会变成click,最后调用 addEventlistener 绑定事件处理两数。
  • 处理children:如果chidlren 是一个数组,就递归地调用 renderer 继续渲染,注意,此时我们要把刚刚创建的元素作为挂载点(父节点);如果children 是宇符串,则使用createTextNode 两数创建一个文本节点,并将其添加到新创建的元素内。

以上是渲染器创建节点的过程,渲染器的精髓都在更新节点的阶段。假设我们对 vnode 做一些小小的修改:

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

对于涫染器来说,它需要精确地找到vnode对象的变更点并且只更新变更的内容。就上例来说,渲染器应该只更新元索的文本内容,而不需要再走一遍完整的创建元素的流程。

渲染器的工作原理其实很简单,归根结底,都是使用一些我们熟悉的 DOM操作 API 来完成渲染工作。

3.3 组件的本质

我们已经初步了解了 虚拟 DOM 和渲染器,知道了虚拟 DOM 其实就是用来描述真实 DOM的普通 JavaScript 对象,渲染器会把这个对象渲染为真实 DOM 元素。

思考:

  • 那么组件又是什么呢?
  • 组件和虛拟 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 来描述组件了。很简单,我们可以让虚拟 DOM 对象中的 tag 属性来存储组件函数:

const vnode = {
  tag:MyComponent
}

就像 tag:"div" 用來描述<div>标签一样,tag:MyComponent 用来描述组件,只不过此时的tag属性不是标签名称,而是组件函数。为了能够渲染组件,需要渲染器的支持。修改前面提到的renderer 两数,如下所示:

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

如果vnode.tag 的类型是字符串,说明它描述的是普通标签元素,此时调用 mountElenent 函数完成渲染;如果 vnode.tag 的类型是函数,则说明它描述的是组件,此时调用 mountComponent函数完成渲染。其中mountElement 两数与上文中 renderer 函数的内容一致:

function mountElement(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 ---> click
        vnode.props[key ] // 事件处理函数
      )                     
    }
  }
  // 处理 children
  if (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)
}

再来看 mountComponent 函数是如何实现的:

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

可以看到,非常简单。首先调用 vnode.tag 函数,我们知道它其实就是组件函数本身,其返回值是虛拟 DOM,即组件要渲染的内容,这里我们称之为 subtree。既然subtree 也是虚拟 DOM那么直接调用renderer 两数完成渲染即可。

思考:例如组件一定得是函数吗?

//MyComponent 是一个对象
const MyComponent = {
  render(){
    return{
      tag:'div',
      props:{
        onClick:()=> alert('hello')
      },
      children:"click me"
    }
  }
}

这里我们使用一个对象来代表组件,该对象有一个函数,叫作render,其返回值代表组件要渲染的内容。为了完成组件的渲染,我们需要修改 renderer 這染器以及 mountComponent 函数。

1、修改渲染器的判断条件

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

现在我们使用对象而不是两数来表达组件,因此要将 typeof vnode.tag ==='function’修改为 typeof vnode . tag ==="object'

2、接着,修改mountComponent 函数:

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

在上述代码中,vnode.tag 是表达组件的对象,调用该对象的render 函数得到组件要渲染的内容,也就是虚拟 DOM。

可以发现,我们只做了很小的修改,就能够满足用对象来表达组件的需求。那么大家可以继续发挥想象力,看看能否创造出其他的组件表达方式。其实 Vue.js中的有状态组件就是使用对象结构来表达的。

3.4 模版的工作原理

无论是手写虚拟 DOM (渲染两数) 还是使用模板,都届于声明式地描述UI,并且Vue.js同时支持这两种描述 UI 的方式。上文中我们讲解了虚拟DOM 是如何渲染成真实 DOM 的,那么模板是如何工作的呢?这就要提到 Vue.js框架中的另外一个重要组成部分:编译器。


编译器和渲染器—样,只是一段程序而已,不过它们的工作内容不同。编译器的作用其实就

是将模板编译为渲染函数,例如给出如下模板:

<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 渲染页面的流程。

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

如新所达,组件的实现依赖于 渲染器,模板的编译依赖于编译器,并且编译后生成的代码是

根据渲染器和虚拟 DOM 的设计决定的,因此Vue.js的各个模块之问是互相关联、互相制约的,共同构成一个有机整体。因此,我们在学习Vue.js 原理的时候,应该把各个模块结合到一起去看,才能明白到底是怎么回事。

这里我们以编泽器渲染器这两个非常关键的模块为例,看看它们是如何配合工作,并实现性能提升的。

假设模版如下:

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

根据上文的介绍,我们知道编译器会把这段代码编译成渲染两数:

render(){
  //为了效果更加直观,这里没有使用h 函数,而是直接来用了虛拟DOM 对象
  //下面的代码等价于:
  //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是动态的
  }
}

如上面的代码所示,在生成的虚拟 DOM对象中多出了一个patchFlags属性,我们假设数字1代表“class 是动态的”,这样渲染器看到这个标志时就知道:“哦,原来只有 class 属性会发

生改变。”对于渲染器来说,就相当于省去了寻找变更点的工作量,性能自然就提升了。

通过这个例子,我们了解到编译器和渲染器之间是存在信息交流的,它们互相配合使得性能

进一步提升,而它们之间交流的媒介就是虚拟 DOM 对象。在后面的学习中,我们会看到一个虚拟 DOM 对象中会包含多种数据字段,每个字段都代表一定的含义。

三、总结

  • 我们首先介绍了声明式地描述 UI 的概念。我们知道,Vue.js 是一个声明式的框架。

    • 声明式的好处在于,它直按描达结果,用户不需要关注过程。
    • Vuejs 采用模板的方式来描述UI,但它同样支持使用虚拟 DOM 来描述 UI。
    • 虚拟 DOM 要比模板更加灵活,但模板要比虚拟DOM 更加直观。
  • 讲解了最基本的渲染器的实现。

    • 渲染器的作用是,把虚拟 DOM 对象渲染为真实DOM 元素。
    • 它的工作原理是,递归地遍历虚拟 DOM 对象,并调用原生 DOM API 来完成真实DOM 的创建。渲
    • 染器的精髓在于后续的更新,它会通过 Diff算法找出变更点,并且只会更新需要更新的内容。
  • 讨论了组件的本质。

    • 组件其实就是一组虛拟 DOM 元素的封装,它可以是一个返回虚拟 DOM 的两数,也可以是一个对象,但这个对象下必须要有一个两数用来产出组件要渲染的虚拟 DOM。
    • 渲染器在渲染组件时,会先获取组件要渲染的内容,即执行组件的渲染两数并得到其返回值,我们称之为 subtree,最后再递归地调用渲染器将subtree 渲染出来即可。
  • Vue.js 的模板会被一个叫作编译器的程序编译为渲染函数,后面我们会着重讲解编译器相关知识。最后,编译器、渲染器都是Vue.js 的核心组成部分,它们共同构成一个有机的整体,不同模块之间互相配合,进一步提升框架性能。