Jw
首页
技术
英语
首页
技术
英语
  • 01-权衡的艺术

    • 1.1 命令式与声明式
    • 1.2 性能与可维护性的权衡
    • 1.3 虚拟DOM的性能到底如何
    • 1.4 运行时和编译时
  • 02-框架设计的核心要素

    • 2.1 提升用户的开发体验
    • 2.2 控制框架代码的体积
    • 2.3 框架要做到良好的 Tree-Shaking
    • 2.4 框架应该输出怎样的构建产物
    • 2.5 特性开关
    • 2.6 错误处理
    • 2.7 良好的 TypeScript 类型支持
  • 03-Vue.js 3 的设计思路

    • 3.1 声明式地描述UI
    • 3.2 初识渲染器
    • 3.3 组件的本质
    • 3.4 模板的工作原理
    • 3.5 Vue.js 是各个模块组成的有机整体
  • 04-响应系统的作用与实现

    • 4.1 响应式数据与副作用函数
    • 4.2 响应式数据的基本实现
    • 4.3 设计一个完善的响应系统
    • 4.4 分支切换与 cleanup
    • 4.5 嵌套的effect与effect栈
    • 4.6 避免无限递归循环
    • 4.7 调度执行
    • 4.8 计算属性 computed 与 lazy
    • 4.9 watch 的实现原理
    • 4.10 立即执行的 watch 与回调执行时机
    • 4.11 过期的副作用
  • 05-非原始值的响应式方案

    • 5.1 理解 Proxy 和 Reflect
    • 5.2 JavaScript 对象及 Proxy 的工作原理
    • 5.3 如何代理 Object
    • 5.4 合理地触发响应
    • 5.5 浅响应与深响应
    • 5.6 只读和浅只读
    • 5.7 代理数组
    • 5.7.1 数组的索引与 length
    • 5.7.2 遍历数组
    • 5.7.3 数组的查找方法
    • 5.7.4 隐式修改数组长度的原型方法
    • 5.8 代理 Set 和 Map
    • 5.8.1 如何代理Set和Map
    • 5.8.2 建立响应联系
    • 5.8.3 避免污染原始数据
    • 5.8.4 处理forEach
    • 5.8.5 迭代器方法
    • 5.8.6 values与keys方法
  • 06-原始值的响应式方案

    • 6.1 引入 ref 的概念
    • 6.2 响应丢失问题
    • 6.3 自动脱ref
  • 07-渲染器的设计

    • 7.1 渲染器与响应系统的结合
    • 7.2 渲染器的基本概念
    • 7.3 自定义渲染器
  • 08-挂载与更新

    • 8.1 挂载子节点和元素的属性
    • 8.2 HTML Attributes 与 DOM Properties
    • 8.3 正确地设置元素属性
    • 8.4 class的处理
    • 8.5 卸载操作
    • 8.6 区分vnode类型
    • 8.7 事件的处理
    • 8.8 事件冒泡与更新时机问题
    • 8.9 更新子节点
    • 8.10 文本节点和注释节点
    • 8.11 Fragment
  • 09-简单 Diff 算法

    • 9.1 减少 DOM 操作的性能开销
    • 9.2 DOM 复用与 key 的作用
    • 9.3 找到需要移动的元素
    • 9.4 如何移动元素
    • 9.5 添加新元素
    • 9.6 移除不存在的元素
  • 10-双端 Diff 算法

    • 10.1 双端比较的原理
    • 10.3 非理想状况的处理方式
    • 10.4 添加新元素
    • 10.5 移除不存在的元素
  • 11-快速 Diff 算法

    • 11.1 相同的前置元素和后置元素
    • 11.2 判断是否需要进行 DOM 移动操作
    • 11.3 如何移动元素
  • 12-组件的实现原理

    • 12.1 渲染组件
    • 12.2 组件状态与自更新
    • 12.3 组件实例与组件的生命周期
    • 12.4 props与组件的被动更新
    • 12.5 setup 函数的作用与实现
    • 12.6 组件事件与 emit 的实现
    • 12.7 插槽的工作原理与实现
    • 12.8 注册生命周期
  • 13-异步组件与函数式组件

    • 13.1 异步组件要解决的问题
    • 13.2.1 封装defineAsyncComponent函数
    • 13.2.2 超时与 Error 组件
    • 13.2.3 延迟与 Loading 组件
    • 13.2.4 重试机制
    • 13.3 函数式组件
  • 14-内建组件和模块

    • 14.1.1 组件的激活与失活
    • 14.1.2 include 和 exclude
    • 14.1.3 缓存管理
    • 14.2.1 Teleport 组件要解决的问题
    • 14.2.2 实现 Teleport 组件
    • 14.3.1 原生 DOM 的过渡
    • 14.3.2 实现 Transition 组件
  • 15-编译器核心技术概览

    • 15.1 模板 DSL 的编译器
    • 15.2 parser 的实现原理与状态机
    • 15.3 构造AST
    • 15.4 AST 的转换与插件化架构
    • 15.4.1 节点的访问
    • 15.4.2 转换上下文与节点操作
    • 15.4.3 进入与退出
    • 15.5 将模板 AST 转为 JavaScript AST
    • 15.6 代码生成
  • 16-解析器

    • 16.1 文本模式及其对解析器的影响
    • 16.2 递归下降算法构造模板 AST
    • 16.3 状态机的开启与停止
    • 16.4 解析标签节点
    • 16.5 解析属性
    • 16.6.1 解析文本
    • 16.6.2 解码命名字符引用
    • 16.6.3 解码数字字符引用
    • 16.7 解析插值与注释
  • 17-编译优化

    • 17.1.1 传统Diff算法问题
    • 17.1.2 Block 与 PatchFlags
    • 17.1.3 收集动态节点
    • 17.1.4 渲染器的运行时支持
    • 17.2.1 带有 v-if 指令的节点
    • 17.2.2 带有 v-for 指令的节点
    • 17.2.3 Fragment 的稳定性
    • 17.3 静态提升
    • 17.4 预字符串化
    • 17.5 缓存内联事件处理函数
    • 17.6 v-once
  • 18-同构渲染

    • 18.1 CSR、SSR 以及同构渲染
    • 18.2 将虚拟 DOM 渲染为 HTML 字符串
    • 18.3 将组件渲染为 HTML 字符串
    • 18.4 客户端激活的原理
    • 18.5.1 组件的生命周期
    • 18.5.2 使用跨平台的 API
    • 18.5.3 只在某一端引入模块
    • 18.5.4 避免交叉请求引起的状态污染
    • 18.5.5 ClientOnly 组件

10.4 添加新元素

双端比较遇到旧 children 中不存在的节点时要把它挂载(mount)到正确位置;如果新增节点出现在尾部,还要在 while 循环结束后收尾。

一、新节点出现在头部

  • 旧子节点:p-1、p-2、p-3
  • 新子节点:p-4、p-1、p-3、p-2

第一轮四步全不命中,拿新头节点 p-4 去旧 children 里 findIndex 也返回 -1 → p-4 是全新的节点。

该挂载到哪里? p-4 是新的一组子节点的头部节点,所以只需要把它挂载到当前头部节点的真实 DOM 之前即可;这里的「当前头部节点」就是旧 children 的头节点 p-1。

} else {
  // 遍历旧 children,试图寻找与 newStartVNode 拥有相同 key 值的元素
  const idxInOld = oldChildren.findIndex(
    node => node.key === newStartVNode.key
  )
  if (idxInOld > 0) {
    // ...找到可复用节点,移动 + 打补丁
  } else {
    // 说明 newStartVNode 是一个全新的节点,将其挂载到头部
    // 锚点用当前头部节点 oldStartVNode.el
    patch(null, newStartVNode, container, oldStartVNode.el)
  }
  // 无论走哪个分支都要推进 newStartIdx(写在 if/else 之外,避免死循环)
  newStartVNode = newChildren[++newStartIdx]
}

新增节点也必须走 patch(null, ...):patch 内部会执行 mountElement,而 mountElement 负责把新建的真实 DOM 赋给 vnode.el。跳过它直接插 DOM,后续就找不到这个节点的 el。

二、新节点出现在尾部:循环结束后的收尾

  • 旧子节点:p-1、p-2、p-3
  • 新子节点:p-1、p-2、p-3、p-4

前三轮都靠第 1 步命中(新旧头节点依次配对),索引同步推进;到第 4 轮时 oldStartIdx(3)已经大于 oldEndIdx(2),循环条件不成立 → 循环直接结束。

此时 newStartIdx = 3 <= newEndIdx = 3,新节点 p-4 从头到尾都没被处理,说明算法有缺陷。

所以在 while 循环之后要检查索引情况:

循环结束时的条件含义处理
oldStartIdx > oldEndIdx 且 newStartIdx <= newEndIdx旧节点已全部处理完,新节点有剩余新增:把剩余新节点挂载上去
newStartIdx > newEndIdx 且 oldStartIdx <= oldEndIdx新节点已全部处理完,旧节点有剩余删除:把剩余旧节点卸载掉(见 10.5)
两个条件都不成立(两边都越界)新旧节点都处理完了什么都不做
// 循环结束后检查索引值的情况
if (oldEndIdx < oldStartIdx && newStartIdx <= newEndIdx) {
  // 有新的节点遗留,需要挂载它们
  for (let i = newStartIdx; i <= newEndIdx; i++) {
    // 锚点取当前旧头节点的真实 DOM(它是 undefined 时的兜底写法见下一节)
    patch(null, newChildren[i], container, oldStartVNode.el)
  }
}

三、为什么锚点用 oldStartVNode.el

锚点决定新节点插到哪里,而这个锚点只能从旧 children 里取——新 children 中的节点还没有真实 DOM。

  • 剩余的新节点位于头部时,旧的头节点正好是它们的「下一个兄弟」,插在 oldStartVNode.el 之前位置就对了;
  • 剩余的新节点位于尾部时,oldStartVNode 可能已经被消费成 undefined(如上例中 oldStartIdx 已经走到 3),此时 oldStartVNode.el 会抛 Cannot read properties of undefined (reading 'el')。

写成 oldStartVNode?.el 即可兜底:锚点为 undefined 等价于 insertBefore(el, null),也就是追加到容器末尾——正是尾部新增节点想要的位置。

四、循环结束后的完整收尾

while (oldStartIdx <= oldEndIdx && newStartIdx <= newEndIdx) {
  // 跳过已被置为 undefined 的位置
  if (!oldStartVNode) {
    oldStartVNode = oldChildren[++oldStartIdx]
  } else if (!oldEndVNode) {
    oldEndVNode = oldChildren[--oldEndIdx]
  } else if (oldStartVNode.key === newStartVNode.key) {
    // ...四步比较与 DOM 移动
  } else {
    // ...非理想状况:查找可复用节点 / 挂载新节点
  }
}

// 循环结束后检查索引值的情况
if (oldEndIdx < oldStartIdx && newStartIdx <= newEndIdx) {
  // 有新的节点遗留,需要挂载它们
  for (let i = newStartIdx; i <= newEndIdx; i++) {
    patch(null, newChildren[i], container, oldStartVNode?.el)
  }
}

相关

  • 10.3 非理想状况的处理方式:四步不命中时如何在旧 children 中找可复用节点
  • 10.5 移除不存在的元素:另一种收尾——旧节点有剩余时逐个卸载
  • 10.1 双端比较的原理:四个索引与四步比较
最近更新: 2026/10/12 00:05
Contributors: liujw
Prev
10.3 非理想状况的处理方式
Next
10.5 移除不存在的元素