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 组件

11.3 如何移动元素

需要移动时,先求 source 数组的最长递增子序列:这些节点在更新前后相对顺序没变,可以不动;其余节点从后往前逐个 insert 到「下一个节点」之前,从而用最少的移动次数完成更新。

一、什么是最长递增子序列(LIS)

  • 递增子序列:从给定序列中挑出一个子序列,子序列中的值递增,元素在原序列中不一定连续。
  • 一个序列可能有很多个递增子序列,其中最长的那一个就是最长递增子序列。
  • 例:[0, 8, 4, 12] 的最长递增子序列是 [0, 8, 12]([0, 4, 12] 也是正确答案之一)。

二、seq 在快速 Diff 中的意义

  • getSequence(source) 返回的是最长递增子序列中的元素在 source 数组中的位置索引(下标,不是元素值)。
  • 例:source = [2, 3, 1, -1],递增的部分是值 2, 3,返回结果却是它们的下标 [0, 1]。
  • 意义:在新的一组子节点中,重新编号后下标为 0、1 的这两个节点(key3、key4),更新前后顺序没有发生变化 → 不需要移动。
  • 因为取的是最长递增子序列,「不需要移动」的节点数量最多,所以移动次数最少。

三、移动逻辑:倒序循环 + insert

if (moved) {
  // 计算最长递增子序列:返回其在 source 中的位置索引
  const seq = getSequence(source)

  // s 指向最长递增子序列的最后一个元素
  let s = seq.length - 1
  // i 指向新的一组子节点的最后一个元素
  let i = count - 1

  // 倒序遍历:从后往前匹配,锚点可以直接使用下一个节点
  for (i; i >= 0; i--) {
    if (source[i] === -1) {
      // ① source[i] 为 -1 → 全新节点,挂载
      const pos = i + newStart
      const newVNode = newChildren[pos]
      const nextPos = pos + 1
      const anchor = nextPos < newChildren.length ? newChildren[nextPos].el : null
      patch(null, newVNode, container, anchor)
    } else if (i !== seq[s]) {
      // ② 不在 seq 中 → 需要移动:插入到「下一个节点」的 DOM 之前
      const pos = i + newStart
      const newVNode = newChildren[pos]
      const nextPos = pos + 1
      const anchor = nextPos < newChildren.length ? newChildren[nextPos].el : null
      insert(newVNode.el, container, anchor)
    } else {
      // ③ i === seq[s] → 该节点不需要移动,s 指向 seq 的上一个元素
      s--
    }
  }
}
  • 必须倒序:循环方向与节点在 DOM 中的最终顺序相反,因此锚点可以直接取下一个节点(nextPos)的真实 DOM,不必额外查找。
  • s 只在遇到「不需要移动」的节点时递减,与 i 一起在 seq 上从右向左推进。

四、getSequence 的实现要点

  • 贪心 + 二分:
    • result 存的是下标:result 中下标对应的值构成递增序列,其长度就是当前最长递增子序列的长度,每一项代表「长度为 i+1 的递增子序列的最小末尾元素的下标」;
    • 遇到比当前末尾(arr[result[result.length - 1]])更大的值 → 直接 push;
    • 否则在 result 上二分查找第一个「值不小于 arrI」的位置并替换,让末尾更小,为后面接更多元素留出空间。
  • 记录前驱:
    • p 初始为 arr.slice(),p[i] 记录「下标 i 接在哪个下标之后」;
    • 只靠替换得到的 result 值是对的、下标未必对,所以最后必须用 p 回溯:从 result 的末尾往前推,把每一项换成真正的前驱下标。
function getSequence(arr) {
  const p = arr.slice() // 记录前驱下标,用于回溯
  const result = [0] // 存递增子序列的下标
  let i, j, u, v, c
  const len = arr.length

  for (i = 0; i < len; i++) {
    const arrI = arr[i]
    if (arrI !== 0) {
      j = result[result.length - 1]
      if (arr[j] < arrI) {
        // 比末尾大,直接接在末尾之后
        p[i] = j
        result.push(i)
        continue
      }
      // 二分查找第一个值 >= arrI 的位置
      u = 0
      v = result.length - 1
      while (u < v) {
        c = ((u + v) / 2) | 0
        if (arr[result[c]] < arrI) {
          u = c + 1
        } else {
          v = c
        }
      }
      if (arrI < arr[result[u]]) {
        if (u > 0) {
          p[i] = result[u - 1]
        }
        result[u] = i // 用更小的末尾替换
      }
    }
  }

  // 回溯:把 result 里的下标换成真正的前驱下标
  u = result.length
  v = result[u - 1]
  while (u-- > 0) {
    result[u] = v
    v = p[v]
  }
  return result
}

只要长度的话不需要 p 和回溯:草稿 lengthOfLIS 就是「贪心 + 二分」只维护 result 并返回 len 的写法;快速 Diff 需要的是下标序列,所以必须记录前驱再回溯。

五、示例

  • 旧:1 2 3 4 6 5;新:1 3 4 2 7 5;source = [2, 3, 1, -1],count = 4,newStart = 1
  • getSequence(source) → [0, 1]:下标 0(key3)、1(key4)的节点不需要移动
isource[i]命中的分支动作
3-1① 新增key7 挂载到 key5 的 DOM 之前
21② i !== seq[s]key2 插入到 key7 的 DOM 之前
13③ i === seq[s]=1,s--key4 不移动
02③ i === seq[s]=0,s--key3 不移动

六、易错点

getSequence 返回的是下标数组(在 source 中的位置),不是子序列的值。 source[i] === -1 表示新增节点,要先挂载再处理后续节点,否则锚点会取到不存在的 DOM。 getSequence 内部跳过的是 arrI !== 0(Vue 源码以 0 作为「无对应旧节点」的占位值),与本书 source.fill(-1) 的字面值不同但含义一致,阅读源码时不要被绕进去。 循环必须倒序:只有从后往前,nextPos 位置的节点才已处于最终位置,可以直接拿来当锚点。

相关

  • 11.1 相同的前置元素和后置元素:预处理摘掉相同的前置 / 后置节点,减少需要移动的节点数量。
  • 11.2 判断是否需要进行 DOM 移动操作:source 数组与 moved 标记,是本篇计算最长递增子序列的输入。
最近更新: 2026/10/12 00:05
Contributors: liujw
Prev
11.2 判断是否需要进行 DOM 移动操作