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

5.7.1 数组的索引与 length

数组中「索引」与「length」是联动的:改索引可能改 length,改 length 可能删索引,因此触发响应时必须互相带上。

一、通过索引设置元素

  • 设置 arr[1] = 'bar' 同样走内部方法 [[Set]],而 [[Set]] 依赖 [[DefineOwnProperty]] —— 数组与常规对象的差异就在这里;
  • 按规范 10.4.2.1 节:如果设置的索引值大于数组当前的长度,则要更新数组的 length 属性;
  • 所以此时不仅要触发与索引 '1' 关联的副作用函数,还要触发与 length 关联的副作用函数。

数组下的操作类型判断

数组不能再用 hasOwnProperty 判断 ADD/SET,而要比较索引与长度:

const type = Array.isArray(target)
  // 索引值小于数组长度 → SET(不改变长度);否则 → ADD(会隐式改变 length)
  ? (Number(key) < target.length ? 'SET' : 'ADD')
  : (Object.prototype.hasOwnProperty.call(target, key) ? 'SET' : 'ADD')

trigger 中补上 length 依赖

// 当操作类型为 ADD 且目标对象是数组时,取出并执行与 length 相关联的副作用函数
if (type === 'ADD' && Array.isArray(target)) {
  const lengthEffects = depsMap.get('length')
  lengthEffects && lengthEffects.forEach(effectFn => {
    if (effectFn !== activeEffect) effectsToRun.add(effectFn)
  })
}
const arr = reactive(['foo']) // 原长度 1

effect(() => {
  console.log(arr.length) // 1
})

arr[1] = 'bar' // 索引 1 ≥ 长度 1 → ADD,数组长度变为 2,触发 length 的副作用函数

二、修改 length 属性

arr.length = 0 会隐式删除索引大于等于新 length 的所有元素,因此也应该触发这些元素对应的副作用函数。

要点:只有索引值 ≥ 新 length 的元素才需要触发响应。

function trigger(target, key, type, newVal) {  // 新增第四个参数 newVal
  // ...收集与 key、ITERATE_KEY 相关的副作用函数

  // 目标对象是数组,并且修改的是 length 属性
  if (Array.isArray(target) && key === 'length') {
    // 对于索引 ≥ 新的 length 值的元素,把相关副作用函数取出待执行
    depsMap.forEach((effects, key) => {
      if (key >= newVal) {
        effects.forEach(effectFn => {
          if (effectFn !== activeEffect) effectsToRun.add(effectFn)
        })
      }
    })
  }

  // ...统一执行 effectsToRun
}

调用处要把新值传进去:

trigger(target, key, type, newVal)
const arr = reactive(['foo'])

effect(() => {
  console.log(arr[0]) // foo
})

arr.length = 0 // 第 0 个元素被隐式删除,触发响应

易错点:depsMap 中可能存有 Symbol 类型的 key(如 ITERATE_KEY),key >= newVal 会尝试把它转成数字并抛出 TypeError: Cannot convert a Symbol value to a number。数组的遍历依赖改用 'length' 作为 key,正是为了避开这个问题(见 5.7.2)。

三、小结

操作影响需要额外触发的 key
arr[1] = 'bar'(索引 ≥ 长度)隐式修改 length'length'
arr[1] = 'bar'(索引 < 长度)只改元素无
arr.length = 0隐式删除索引 ≥ 新长度的元素所有索引 ≥ 新 length 的 key

相关

  • 5.7 代理数组:数组有哪些读写操作要处理
  • 5.7.2 遍历数组:for...in 遍历数组时为什么要用 length 作为追踪的 key
最近更新: 2026/10/12 00:05
Contributors: liujw
Prev
5.7 代理数组
Next
5.7.2 遍历数组