期望第一集该文能帮你增进对 Vue 的认知，能踌躇满志蔡伯介他们娴熟Vue2/3。除此以外，也期望路经的好友能协助我查漏伯粉🤞。

文本杂乱用语 + 基本原理 + 采用留神得，提议珍藏，渐渐看。

差别

开发周期的变动

总体上看，变动并不大，而已英文名字绝大部分须要 + on，机能上类似于。采用上 Vue3 复合式 API 须要先导入；Vue2 快捷键 API 则可间接初始化，如下表所示右图。

// vue3

onMounted(() => {

  …

})

// 可将相同的方法论拆下成数个onMounted，仍然按次序继续执行，不被全面覆盖

onMounted(() => {

  …

})

// vue2

 default {         

() {             

        …         

      },           

   }

常用开发周期表格如下表所示右图。

Tips： setup是围绕beforeCreate和created开发周期钩子运行的，所以不须要显式地去定义。

多根节点

Vue3 支持了多根节点组件，也就是fragment。

Vue2中，编写页面的时候，我们须要去将组件包裹在<div>中，否则报错警告。

Vue3，我们能组件包含数个根节点，能少写一层，niceeee ！

异步组件

Vue3 提供 Suspense组件，允许程序在等待异步组件时渲染兜底的文本，如 loading ，采用户体验更平滑。采用它，需在模板中声明，并包括两个命名插槽：default和fallback。Suspense确保加载完异步文本时显示默认插槽，并将fallback插槽用作加载状态。

Loading…

真实的项目中踩过坑，若想在 setup 中初始化异步请求，需在 setup 前加async关键字。这时，会受到警告async setup() is used without a suspense boundary。

解决方案：在父页面初始化当前组件外包裹一层Suspense组件。

Teleport

Vue3 提供Teleport组件可将部分DOM移动到 Vue app之外的位置。比如项目中常见的Dialog组件。

>点击

>

>

复合式API

Vue2 是 快捷键式API（Option API），一个方法论会散乱在文件相同位置（data、props、computed、watch、开发周期函数等），导致代码的可读性变差，须要上下来回跳转文件位置。Vue3 复合式API（Composition API）则很好地解决了这个问题，可将同一方法论的文本写到一起。

除了增强了代码的可读性、内聚性，复合式API 还提供了较为完美的方法论复用性方案，举个🌰，如下表所示右图公用鼠标坐标案例。

// main.vue

  mouse position {{x}} {{y}}

const {x, y} = useMousePosition()

}

// useMousePosition.js

() {

 x = ref(0)

 y = ref(0)

update(e) {

    x.value = e.pageX

    y.value = e.pageY

  }

  onMounted(() => {

, update)

  })

  onUnmounted(() => {

, update)

  })

 {

    x,

    y

  }

}

解决了 Vue2 Mixin的存在的命名冲突隐患，依赖关系不明确，相同组件间配置化采用不够灵活。

响应式基本原理

Vue2 响应式基本原理基础是Object.defineProperty；Vue3 响应式基本原理基础是 Proxy。

基本用语：间接在一个对象上定义新的属性或修改现有的属性，并返回对象。

 obj = {}

, {

, // 可枚举（是否可通过for…in 或 Object.keys()进行访问）

, // 可配置（是否可采用delete删除，是否可再次设置属性）

  // value: , // 任意类型的值，默认undefined

, // 可重写

() {

 name

  },

(value) {

    name = value

  }

})

搬运 Vue2 核心源码，略删减。

defineReactive(obj, key, val) {

  // 一 key 一个 dep

  const dep = new Dep()

  const property = Object.getOwnPropertyDescriptor(obj, key)

 }

  const getter = property && property.get

const setter = property && property.set

((!getter || setter) && arguments.length === 2) { val = obj[key] }

// 递归处理，保证对象中所有 key 被观察

 childOb = observe(val)

  Object.defineProperty(obj, key, {

,

,

    // get 劫持 obj[key] 的 进行依赖收集

() {

const value = getter ? getter.call(obj) : val

(Dep.target) {

        // 依赖收集

        dep.depend()

(childOb) {

          // 针对嵌套对象，依赖收集

          childOb.dep.depend()

          // 触发数组响应式

(Array.isArray(value)) {

            dependArray(value)

          }

        }

      }

    }

 value

  })

 派发更新 obj[key]

reactiveSetter(newVal) {

    …

(setter) {

      setter.call(obj, newVal)

 {

      val = newVal

    }

    // 新值设置响应式

childOb = observe(val)

    // 依赖通知更新

    dep.notify()

  }

}

那 Vue3 为何会抛弃它呢？那肯定是有一些缺陷的。

主要原因：无法监听对象或数组新增、删除的元素。

Tips： Object.defineOProperty是能监听数组已有元素，但 Vue2 没有提供的原因是性能问题，具体可看见参考第二篇 ~。

Proxy是ES6新特性，通过第2个参数handler拦截目标对象的行为。相较于Object.defineProperty提供语言全范围的响应能力，消除了局限性。但在兼容性上放弃了（IE11以下）

局限性

基本用语：创建对象的代理，从而实现基本操作的拦截和自定义操作。

const handler = {

(obj, prop) {

 obj ? obj[prop] : 

  },

() {},

  …

}

搬运 Vue3 的源码 reactive.ts 文件

 createReactiveObject(target, isReadOnly, baseHandlers, collectionHandlers, proxyMap) {

…

  // collectionHandlers: 处理Map、Set、WeakMap、WeakSet

  // baseHandlers: 处理数组、对象

  const proxy = new Proxy(

target,

    targetType === TargetType.COLLECTION ? collectionHandlers : baseHandlers

  )

proxyMap.set(target, proxy)

 proxy

}

以 baseHandlers.ts 为例，采用Reflect.get而不是target[key]的原因是receiver参数能把this指向getter初始化时，而非Proxy构造时的对象。

// 依赖收集

) {

get(target: Target, key: string | symbol, receiver: object) {

    …

    // 数组类型

    const targetIsArray = isArray(target)

(!isReadonly && targetIsArray && hasOwn(arrayInstrumentations, key)) {

Reflect.get(arrayInstrumentations, key, receiver)

    }

    // 非数组类型

    const res = Reflect.get(target, key, receiver);

    // 对象递归初始化

(isObject(res)) {

(res) : reactive(res)

    }

 res

  }

}

// 派发更新

() {

(target: Target, key: string | symbol, value: unknown, receiver: Object) {

value = toRaw(value)

    oldValue = target[key]

 即可

(!isArray(target) && isRef(oldValue) && !isRef(value)) {

      oldValue.value = value

    }

，无 key add

    const hadKey = hasOwn(target, key)

    const result = Reflect.set(target, key, value, receiver)

(target === toRaw(receiver)) {

 (!hadKey) {

        trigger(target, TriggerOpTypes.ADD, key, value)

(hasChanged(value, oldValue)) {

        trigger(target, TriggerOpTypes.SET, key, value, oldValue)

      }

    }

 result

  }

}

虚拟DOM

Vue3 相比于 Vue2 虚拟DOM 上增加patchFlag字段。我们借助Vue3 Template Explorer上看。

>

技术摸鱼

今天天气真不错

渲染函数如下表所示。

),n=n(),_popScopeId(),n)

 }

) {

, _hoisted_1, [

    _hoisted_2,

    _hoisted_3,

, null, _toDisplayString(_ctx.name), 1 /* TEXT */)

  ]))

}

注意第 3 个_createElementVNode的第 4 个参数即patchFlag字段类型，字段类型情况如下表所示右图。1 代表节点为动态文本节点，那在 diff 过程中，只需比对文本对容，无需关注 class、style等。除此以外，发现所有的静态节点，都保存为一个变量进行静态提升，可在重新渲染时间接引用，无需重新创建。

 const enum PatchFlags { 

TEXT = 1, // 动态文本文本

  CLASS = 1 << 1, // 动态类名

  STYLE = 1 << 2, // 动态样式

  PROPS = 1 << 3, // 动态属性，不包含类名和样式

FULL_PROPS = 1 << 4, // 具有动态 key 属性，当 key 改变，须要进行完整的 diff 比较

  HYDRATE_EVENTS = 1 << 5, // 带有监听事件的节点

STABLE_FRAGMENT = 1 << 6, // 不会改变子节点次序的 fragment

  KEYED_FRAGMENT = 1 << 7, // 带有 key 属性的 fragment 或部分子节点

UNKEYED_FRAGMENT = 1 << 8,  // 子节点没有 key 的fragment

  NEED_PATCH = 1 << 9, // 只会进行非 props 的比较

DYNAMIC_SLOTS = 1 << 10, // 动态的插槽

  HOISTED = -1,  // 静态节点，diff阶段忽略其子节点

  BAIL = -2 // 代表 diff 应该结束

}

事件缓存

Vue3 的 cacheHandler可在第一次渲染后缓存我们的事件。相比于 Vue2 无需每次渲染都传递一个新函数。加一个click事件。

>

技术摸鱼

今天天气真不错

>

渲染函数如下表所示

),n=n(),_popScopeId(),n)

 }

], -1 /* HOISTED */))

) {

, _hoisted_1, [

_hoisted_2,

    _hoisted_3,

, null, _toDisplayString(_ctx.name), 1 /* TEXT */),

_hoisted_4

  ]))

}

Diff 优化

搬运 Vue3 patchChildren 源码。结合上文与源码，patchFlag协助 diff 时区分静态节点，以及相同类型的动态节点。一定程度地减少节点本身及其属性的比对。

patchChildren(n1, n2, container, parentAnchor, parentComponent, parentSuspense, isSVG, optimized) {

  const c1 = n1 && n1.children

  const c2 = n2.children

const prevShapeFlag = n1 ? n1.shapeFlag : 0

  const { patchFlag, shapeFlag } = n2

  // 处理 patchFlag 大于 0 

(patchFlag > 0) {

(patchFlag && PatchFlags.KEYED_FRAGMENT) {

      // 存在 key

      patchKeyedChildren()

(patchFlag && PatchFlags.UNKEYED_FRAGMENT) {

      // 不存在 key

      patchUnkeyedChildren()

    }

  }

  // 匹配是文本节点（静态）：移除老节点，设置文本节点

(shapeFlag && ShapeFlags.TEXT_CHILDREN) {

 (prevShapeFlag & ShapeFlags.ARRAY_CHILDREN) {

unmountChildren(c1 as VNode[], parentComponent, parentSuspense)

    }

 (c2 !== c1) {

      hostSetElementText(container, c2 as string)

    }

 {

    // 匹配新老 Vnode 是数组，则全量比较；否则移除当前所有的节点

 (prevShapeFlag & ShapeFlags.ARRAY_CHILDREN) {

(shapeFlag & ShapeFlags.ARRAY_CHILDREN) {

patchKeyedChildren(c1, c2, container, anchor, parentComponent, parentSuspense,…)

 {

)

      }

 {

(prevShapeFlag & ShapeFlags.TEXT_CHILDREN) {

        hostSetElementText(container, )

      } 

(shapeFlag & ShapeFlags.ARRAY_CHILDREN) {

        mountChildren(c2 as VNodeArrayChildren, container,anchor,parentComponent,…)

      }

    }

  }

}

patchUnkeyedChildren 源码如下表所示。

patchUnkeyedChildren(c1, c2, container, parentAnchor, parentComponent, parentSuspense, isSVG, optimized) {

  c1 = c1 || EMPTY_ARR

  c2 = c2 || EMPTY_ARR

const oldLength = c1.length

  const newLength = c2.length

  const commonLength = Math.min(oldLength, newLength)

 i

(i = 0; i < commonLength; i++) {

 一份，否则新建一个节点

const nextChild = (c2[i] = optimized ? cloneIfMounted(c2[i] as Vnode)) : normalizeVnode(c2[i])

    patch()

  }

(oldLength > newLength) {

    // 移除多余的节点

unmountedChildren()

 {

    // 创建新的节点

    mountChildren()

  }

}

patchKeyedChildren源码如下表所示，有运用最长递增序列的算法思想。

patchKeyedChildren(c1, c2, container, parentAnchor, parentComponent, parentSuspense, isSVG, optimized) {

i = 0;

  const e1 = c1.length – 1

  const e2 = c2.length – 1

  const l2 = c2.length

// 从头开始遍历，若新老节点是同一节点，继续执行 patch 更新差异；否则，跳出循环

(i <= e1 && i <= e2) {

    const n1 = c1[i]

    const n2 = c2[i]

(isSameVnodeType) {

patch(n1, n2, container, parentAnchor, parentComponent, parentSuspense, isSvg, optimized)

 {

    }

    i++

}

  // 从尾开始遍历，若新老节点是同一节点，继续执行 patch 更新差异；否则，跳出循环 

(i <= e1 && i <= e2) {

    const n1 = c1[e1]

const n2 = c2[e2]

(isSameVnodeType) {

patch(n1, n2, container, parentAnchor, parentComponent, parentSuspense, isSvg, optimized)

 {

    }

    e1–

    e2–

  }

  // 仅存在须要新增的节点

(i > e1) {    

(i <= e2) {

      const nextPos = e2 + 1

const anchor = nextPos < l2 ? c2[nextPos] : parentAnchor

(i <= e2) {

patch(null, c2[i], container, parentAnchor, parentComponent, parentSuspense, isSvg, optimized)

      }

    }

  }

  // 仅存在须要删除的节点

(i > e2) {

(i <= e1) {

)    

    }

  }

  // 新旧节点均未遍历完

// [i … e1 + 1]: a b [c d e] f g

  // [i … e2 + 1]: a b [e d c h] f g

  // i = 2, e1 = 4, e2 = 5

 {

    const s1 = i

    const s2 = i

// 缓存新 Vnode 剩余节点 上例即{e: 2, d: 3, c: 4, h: 5}

    const keyToNewIndexMap = new Map()

(i = s2; i <= e2; i++) {

      const nextChild = (c2[i] = optimized

          ? cloneIfMounted(c2[i] as VNode)

          : normalizeVNode(c2[i]))

(nextChild.key != null) {

 (__DEV__ && keyToNewIndexMap.has(nextChild.key)) {

          warn(

`Duplicate keys found during update:`,

             JSON.stringify(nextChild.key),

            `Make sure keys are unique.`

          )

        }

keyToNewIndexMap.set(nextChild.key, i)

      }

    }

  }

 j = 0

  // 记录即将 patch 的 新 Vnode 数量

 patched = 0

  // 新 Vnode 剩余节点长度

const toBePatched = e2 – s2 + 1

  // 是否移动标识

 maxNewindexSoFar = 0

  // 初始化 新老节点的对应关系（用于后续最大递增序列算法）

const newIndexToOldIndexMap = new Array(toBePatched)

(i = 0; i < toBePatched; i++) newIndexToOldIndexMap[i] = 0

  // 遍历老 Vnode 剩余节点

 (i = s1; i <= e1; i++) {

    const prevChild = c1[i]

// 代表当前新 Vnode 都已patch，剩余旧 Vnode 移除即可

 (patched >= toBePatched) {

)

    }

 newIndex

 (prevChild.key != null) {

newIndex = keyToNewIndexMap.get(prevChild.key)

 {

 (j = s2; j <= e2; j++) {

(newIndexToOldIndexMap[j – s2] === 0 && isSameVNodeType(prevChild, c2[j] as VNode)){

           newIndex = j

        }

      }           

   }

// 删除、更新节点

   // 新 Vnode 没有 当前节点，移除

 (newIndex === undefined) {

)

 {

     // 旧 Vnode 的下标位置 + 1，存储到对应 新 Vnode 的 Map 中

// + 1 处理是为了防止数组首位下标是 0 的情况，因为这里的 0 代表需创建新节点

     newIndexToOldIndexMap[newIndex – s2] = i + 1

     // 若不是连续递增，则代表须要移动

 (newIndex >= maxNewIndexSoFar) {

maxNewIndexSoFar = newIndex

 {

     }

     patch(prevChild,c2[newIndex],…)

     patched++

   }

  }

// 遍历结束，newIndexToOldIndexMap = {0:5, 1:4, 2:3, 3:0}

  // 新建、移动节点

  const increasingNewIndexSequence = moved

列

  ? getSequence(newIndexToOldIndexMap)

  : EMPTY_ARR

  j = increasingNewIndexSequence.length – 1

(i = toBePatched – 1; i >= 0; i–) {

    const nextIndex = s2 + i

    const nextChild = c2[nextIndex] as VNode

const anchor = extIndex + 1 < l2 ? (c2[nextIndex + 1] as VNode).el : parentAnchor

    // 0 新建 Vnode

(newIndexToOldIndexMap[i] === 0) {

      patch(null,nextChild,…)

 (moved) {

      // 移动节点

(j < 0 || i !== increasingNewIndexSequence[j]) {

        move(nextChild, container, anchor, MoveType.REORDER)

 {

        j–

      }

    }

  }

}

打包优化

tree-shaking：模块打包webpack、rollup等中的概念。移除 JavaScript 上下文中未引用的代码。主要依赖于import和export语句，用来检测代码模块是否被导出、导入，且被 JavaScript 文件采用。

以nextTick为例子，在 Vue2 中，全局 API 暴露在 Vue 实例上，即使未采用，也无法通过tree-shaking进行消除。

Vue.nextTick(() => {

  // 一些和DOM有关的东西

})

Vue3 中针对全局 和内部的API进行了重构，并考虑到tree-shaking的支持。因此，全局 API 现在只能作为ES模块构建的命名导出进行访问。

nextTick(() => {

  // 一些和DOM有关的东西

})

通过这一更改，只要模块绑定器支持tree-shaking，则 Vue 应用程序中未采用的api将从最终的捆绑包中消除，获得最佳文件大小。受此更改影响的全局API有如下表所示。

内部 API 也有诸如 transition、v-model等标签或者指令被命名导出。只有在程序真正采用才会被捆绑打包。

根据 尤大 直播能知道如今 Vue3 将所有运行机能打包也只有22.5kb，比 Vue2 轻量很多。

自定义渲染API

Vue3 提供的createApp默认是将 template 映射成 html。但若想生成canvas时，就须要采用custom renderer api自定义render生成函数。

// 自定义runtime-render函数

)

TypeScript 支持

Vue3 由TS重写，相对于 Vue2 有更好地TypeScript支持。

周边

列举一些 Vue3 配套产物，具体Composition API新语法可见官方迁移文档，参考中有链接~ 。

参考

Vue3.0性能优化之重写虚拟Dom

[1]

[2]

[3]

[4]

[5]

关于本文

作者：shaoqing