大厂进阶五：React源码解析之深度剖析Diff算法

news2024/11/16 1:33:59

本文主要针对React源码进行解析，内容有：
1、Diff算法原理、两次遍历
2、Diff瓶颈及限制
3、Diff更新之单节点和多节点原理

一、Diff源码解析

以下是关于 React Diff 算法的详细解析及实例：

1、React Diff 算法的基本概念和重要性

1.1 概念

React Diff 算法是 React 用于比较虚拟 DOM 树之间差异的一种高效算法。其目的是在更新组件时，尽可能高效地找出真实 DOM 中需要更新的最小部分，从而减少不必要的 DOM 操作，提高渲染性能。
会将当前组件与该组件上次更新时对应的Fiber节点进行比较，将比较的结果生成新的Fiber节点

1.2 重要性

在前端应用中，频繁的 DOM 操作是非常昂贵的，会导致性能下降。通过 Diff 算法，React 可以在每次状态变化时，先在虚拟 DOM 层面进行比较和计算，只对实际发生变化的部分进行真实 DOM 的更新，大大提高了应用的性能和响应速度。

2、Diff 算法的原理

2.1 树的层级比较

(1) 不同类型的元素，React销毁原节点，新建节点

React 首先会对新旧两棵虚拟 DOM 树进行层级比较。如果两棵树的根节点类型不同，React 会直接销毁旧树，重新创建新树并插入到 DOM 中。
例如，旧的根节点是一个 <div>，新的根节点是一个 <span>，那么 React 会将旧的 <div> 及其子树从 DOM 中移除，然后创建新的 <span> 及其子树并插入到 DOM 中。

（2）同一层级节点比较

当根节点类型相同时，React 会进一步比较同一层级的子节点。
1、对于类型为元素的节点（如 <div>、<p> 等）：

  • 首先比较节点的属性（如 className、style 等），如果属性发生了变化，React 会更新相应的 DOM 属性。
  • 然后比较子节点。React 采用了一种高效的策略，通过给每个子节点设置唯一的 key 属性来辅助比较。

2、 key 的作用：

  • key 是用来帮助 React 识别哪些子元素发生了变化。在列表渲染中，如果子元素没有设置 key，React 会进行低效的顺序比较。当设置了 key 后，React 可以更准确、更快速地找到变化的元素。
    例如，在渲染一个列表时：
  {[1, 2, 3].map((item) => (
     <li key={item}>{item}</li>
   ))}
  • 如果列表中的元素顺序发生了变化，React 可以通过 key 快速识别出哪些元素移动了，哪些元素是新增或删除的，而不是对整个列表进行重新渲染。

3、使用index作为key有性能问题：

  • 如果列表顺序发生变化，可能无法有效的复用组件
  • 删除或者增加元素时，索引改变，可能会重建元素而不是复用

3、实例分析

假设初始状态有以下组件结构：

<div id="parent">
  <p className="text">Hello</p>
  <ul>
    <li>Item 1</li>
    <li>Item 2</li>
  </ul>
</div>

当状态更新后变为：

<div id="parent">
  <p className="new-text">World</p>
  <ul>
    <li>Item 2</li>
    <li>Item 3</li>
  </ul>
</div>

  1. 树的层级比较
    根节点 <div> 类型没有变化，继续比较子节点。

  2. 子节点比较
    <p> 节点：
    类型相同，但是 className 从 "text" 变为 "new-text"，并且文本从 "Hello" 变为 "World"。React 会更新 <p> 元素的 className 和文本内容。
    <ul> 节点：
    类型相同，继续比较子 <li> 节点。
    第一个 <li> 节点：
    旧列表中的 "Item 1" 消失，React 会从 DOM 中移除对应的 <li> 元素。
    第二个 <li> 节点：
    文本从 "Item 2" 没有变化，但是位置发生了变化，React 会根据新的位置进行 DOM 操作，将其移动到新的位置。
    新增了 "Item 3" 的 <li> 节点，React 会创建新的 <li> 元素并插入到 DOM 中。

通过这样的 Diff 算法，React 能够高效地处理组件的更新，只对实际发生变化的部分进行 DOM 操作，保证了应用的性能和用户体验。

4、相关节点

结合render和commit阶段，一个DOM节点最多有4个节点与之相关：

  1. current Fiber。如果该DOM节点已在页面中，current Fiber代表该DOM节点对应的Fiber节点；
  2. workInProgress Fiber。如果该DOM节点将在本次更新中渲染到页面中，workInProgress Fiber代表该DOM节点对应的Fiber节点；
  3. DOM节点本身；
  4. JSX对象。即ClassComponent的render方法的返回结果，或FunctionComponent的调用结果。JSX对象中包含描述DOM节点的信息；

5、Diff的瓶颈及处理方法

diff操作本身也会带来性能损耗，React文档中提到，即使在最前沿的算法中，将前后两棵树完全比对的算法的复杂程度为 O(n^3)，其中n是树中元素的数量；如果在React中使用了该算法，那么展示1000个元素所需要执行的计算量将在十亿的量级范围。这个开销实在是太过高昂；

为了降低算法复杂度，React的diff会预设三个限制：

  1. 只对同级元素进行diff。如果一个DOM节点在前后两次更新中跨越了层级，那么React会忽略；
  2. 两个不同类型的元素会产生出不同的树。如果元素由div变为p，React会销毁div及其子孙节点，并新建p及其子孙节点；
  3. 开发者可以通过 key prop来暗示哪些子元素在不同的渲染下能保持稳定；

6、Diff是如何实现的

Diff的入口函数是reconcileChildFibers：会根据newChild（即JSX对象）类型调用不同的处理函数

// 根据newChild类型选择不同diff函数处理
function reconcileChildFibers(
  returnFiber: Fiber,
  currentFirstChild: Fiber | null,
  newChild: any,
): Fiber | null {

  const isObject = typeof newChild === 'object' && newChild !== null;

  if (isObject) {
    // object类型，可能是 REACT_ELEMENT_TYPE 或 REACT_PORTAL_TYPE
    switch (newChild.$$typeof) {
      case REACT_ELEMENT_TYPE:
        // 调用 reconcileSingleElement 处理
      // // ...省略其他case
    }
  }

  if (typeof newChild === 'string' || typeof newChild === 'number') {
    // 调用 reconcileSingleTextNode 处理
    // ...省略
  }

  if (isArray(newChild)) {
    // 调用 reconcileChildrenArray 处理
    // ...省略
  }

  // 一些其他情况调用处理函数
  // ...省略

  // 以上都没有命中，删除节点
  return deleteRemainingChildren(returnFiber, currentFirstChild);
}

根据同级的节点数量将Diff分为两类：

  1. 当newChild类型为object、number、string，代表同级只有一个节点
  2. 当newChild类型为Array，同级有多个节点

7、单节点diff

可以用文字来描述一个 React Diff 单节点更新的简单逻辑：

7.1 整体流程：

  1. 开始比较：
    首先获取旧的虚拟 DOM 节点和新的虚拟 DOM 节点。
    检查它们的类型是否相同（例如都是<div>、<p>等）。

  2. 类型相同的处理：
    如果类型相同，进一步检查属性。
    属性比较可以看作是一个属性列表的对比，对于不同的属性（如className、style等）进行标记。
    然后检查子节点。
    对于子节点，如果是文本节点，对比文本内容是否变化；如果是元素节点，递归地进行同样的节点类型、属性和子节点的比较。

  3. 类型不同的处理：
    如果类型不同，直接标记该节点及其子树需要完全更新。
    旧节点将从 DOM 中卸载，新节点将创建并插入到 DOM 中。

大致可以用以下的流程图来表示（简化版）：

开始
|
V
节点类型相同？
|---- 否 ----> 卸载旧节点，创建新节点插入DOM
|
V
属性有变化？
|---- 否 ----> 不操作属性
|
V
检查子节点
|
V
子节点变化？
|---- 否 ----> 不操作子节点
|
V
结束

通过这个流程图也可以解释单节点diff的过程：
在这里插入图片描述

以下是 React Diff 单节点更新的原理及实例解析：

7.2 实例

假设初始有以下组件：

function App() {
    return (
        <div id="myDiv" className="oldClass">
            <p>Initial Text</p>
        </div>
    );
}

当状态更新后变为：

function App() {
    return (
        <div id="myDiv" className="newClass">
            <p>Updated Text</p>
        </div>
    );
}

  1. 节点类型检查：
    前后都是<div>，节点类型未变，继续下一步。

  2. 属性比较：
    id属性未变。
    className从oldClass变为newClass，React 会更新 DOM 中<div>元素的className属性。

  3. 子节点比较：
    <p>标签仍然存在。
    文本从Initial Text变为Updated Text，React 会更新<p>元素中的文本内容。

通过这样的过程，React 在 Diff 算法中对单节点进行了有效的更新，只更新了发生变化的部分，避免了不必要的 DOM 操作，从而提高了性能。

8、多节点diff

8.1 概述

对于多节点的functionComponent，reconcileChildFibers的newChild参数类型为Array，执行reconcileChildrenArray

if (isArray(newChild)) {
    // 调用 reconcileChildrenArray 处理
    // ...省略
}

同级多个节点的diff，归纳为：

  1. 节点更新
// 更新前
<ul>
  <li key="0" className="before">0<li>
  <li key="1">1<li>
</ul>

// 更新后 情况1 —— 节点属性变化
<ul>
  <li key="0" className="after">0<li>
  <li key="1">1<li>
</ul>

// 更新后 情况2 —— 节点类型更新
<ul>
  <div key="0">0</div>
  <li key="1">1<li>
</ul>
  1. 节点新增或减少
// 更新前
<ul>
  <li key="0">0<li>
  <li key="1">1<li>
</ul>

// 更新后 情况1 —— 新增节点
<ul>
  <li key="0">0<li>
  <li key="1">1<li>
  <li key="2">2<li>
</ul>

// 更新后 情况2 —— 删除节点
<ul>
  <li key="1">1<li>
</ul>
  1. 节点位置变化
// 更新前
<ul>
  <li key="0">0<li>
  <li key="1">1<li>
</ul>

// 更新后
<ul>
  <li key="1">1<li>
  <li key="0">0<li>
</ul>

前提：操作优先级一样，但实际开发中，React团队发现，相较于新增和删除，更新组件发生的频率更高。所以Diff会优先判断当前节点是否属于更新。

8.2 思路

react团队提供的思路：2轮遍历

  1. 处理 更新 的节点；
  2. 处理非 更新 的节点；
    在这里插入图片描述

8.3 第一轮遍历

  1. let i = 0，遍历newChildren，将newChildren[i]与oldFiber比较，判断DOM节点是否可复用；
  2. 如果可复用，i++，继续比较newChildren[i]与oldFiber.sibling，可以复用则继续遍历；
  3. 如果不可复用，分两种情况：
  • key不同导致不可复用，立即跳出整个遍历，第一轮遍历结束；
  • key相同type不同导致不可复用，会将oldFiber标记为DELETION，并继续遍历；
  1. 如果newChildren遍历完（即 i === newChildren.length - 1 ）或者oldFiber遍历完（即oldFiber.sibling === null），跳出遍历，第一轮遍历结束；

8.4 第二轮遍历

  1. newChildren 和 oldFiber 同时遍历完
    不需要第二轮的遍历，直接进行 update，diff结束；

  2. newChildren没遍历完，oldFiber遍历完
    已有的DOM节点都对比结束，这时还有新加入的节点，意味着本次更新有新节点插入，我们只需要遍历剩下的newChildren为生成的workInProgress fiber依次标记Placement；

  3. newChildren遍历完，oldFiber没遍历完
    本次更新比之前的节点数量少，有节点被删除了。所以需要遍历剩下的oldFiber，依次标记Deletion；

  4. newChildren与oldFiber都没遍历完
    意味着有节点更新了位置

😖如何处理更新后的节点，将oldFiber放入map数据结构中
我们将所有还未处理的oldFiber存入以index为key，oldFiber为value的Map中

let existingChildren= new Map();
existingChildren.set(index, oldFiber);

接下来遍历剩余的newChildren，通过newChildren[i].index就能在existingChildren中找到key相同的oldFiber

😖标记节点是否移动
本次更新中节点是按newChildren的顺序排列。在遍历newChildren过程中，每个遍历到的可复用节点一定是当前遍历到的所有可复用节点中最靠右的那个，即一定在lastPlacedIndex对应的可复用的节点在本次更新中位置的后面；
所以只需要比较遍历到的可复用节点在上次更新时是否也在lastPlacedIndex对应的oldFiber后面，就能知道两次更新中这两个节点的相对位置改变没有；
我们用变量oldIndex表示遍历到的可复用节点在oldFiber中的位置索引。
如果oldIndex < lastPlacedIndex，代表本次更新该节点需要向右移动；

8.5 代码示例

// 之前
abcd

// 之后
acdb

===第一轮遍历开始===
a（之后）vs a（之前）  
key不变，可复用
此时 a 对应的oldFiber（之前的a）在之前的数组（abcd）中索引为0
所以 lastPlacedIndex = 0;

继续第一轮遍历...

c（之后）vs b（之前）  
key改变，不能复用，跳出第一轮遍历
此时 lastPlacedIndex === 0;
===第一轮遍历结束===

===第二轮遍历开始===
newChildren === cdb，没用完，不需要执行删除旧节点
oldFiber === bcd，没用完，不需要执行插入新节点

将剩余oldFiber（bcd）保存为map

// 当前oldFiber：bcd
// 当前newChildren：cdb

继续遍历剩余newChildren

key === c 在 oldFiber中存在
const oldIndex = c（之前）.index;
此时 oldIndex === 2;  // 之前节点为 abcd，所以c.index === 2
比较 oldIndex 与 lastPlacedIndex;

如果 oldIndex >= lastPlacedIndex 代表该可复用节点不需要移动
并将 lastPlacedIndex = oldIndex;
如果 oldIndex < lastplacedIndex 该可复用节点之前插入的位置索引小于这次更新需要插入的位置索引，代表该节点需要向右移动

在例子中，oldIndex 2 > lastPlacedIndex 0，
则 lastPlacedIndex = 2;
c节点位置不变

继续遍历剩余newChildren

// 当前oldFiber：bd
// 当前newChildren：db

key === d 在 oldFiber中存在
const oldIndex = d（之前）.index;
oldIndex 3 > lastPlacedIndex 2 // 之前节点为 abcd，所以d.index === 3
则 lastPlacedIndex = 3;
d节点位置不变

继续遍历剩余newChildren

// 当前oldFiber：b
// 当前newChildren：b

key === b 在 oldFiber中存在
const oldIndex = b（之前）.index;
oldIndex 1 < lastPlacedIndex 3 // 之前节点为 abcd，所以b.index === 1
则 b节点需要向右移动
===第二轮遍历结束===

最终acd 3个节点都没有移动，b节点被标记为移动

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/2050027.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

【串口助手开发】--温度曲线图实时显示功能，全流程小白教程，zedgraph控件的使用方法，Visual Studio 软件C#语言

【串口助手开发】--温度曲线图实时显示功能，全流程小白教程，zedgraph控件的使用方法，Visual Studio 软件C#语言

1、ZedGraph.dll 控件下载 链接&#xff1a;下载ZedGraph&#xff08;ZedGraph.dll 和ZedGraph.Web.dll文件&#xff09; 打开链接后&#xff0c;图中红框显示的是仅下载zedgraph控件&#xff0c;本文所需的文件是ZedGraph.dll。 2、ZedGraph.dll 控件添加进Visual Studio 软…
阅读更多...
【Arduino】ATmega328PB 连接 LSM6DS3 姿态传感器，并读数据（不确定 ESP 系列是否可行，但大概率是可行的）

【Arduino】ATmega328PB 连接 LSM6DS3 姿态传感器，并读数据（不确定 ESP 系列是否可行，但大概率是可行的）

总览 1.初始化 ATmega328PB&#xff0c;默认大家已经完成了 328 的配置准备工作&#xff0c;已经直接能够向里面写入程序 2.接线&#xff0c;然后验证 mega328 的 I2C 设备接口能否扫描到 LSM6DS3 3.编写代码&#xff0c;上传&#xff0c;查看串口数据。完成。 一、初始化 AT…
阅读更多...
Gauss超几何函数详细介绍

Gauss超几何函数详细介绍

阅读更多...
履带无人车+无人机+自组网：空地一体化技术详解

履带无人车+无人机+自组网：空地一体化技术详解

履带无人车、无人机与自组网技术的结合&#xff0c;构成了空地一体化技术的核心框架&#xff0c;这种技术在多个领域展现出巨大的潜力和应用价值。以下是对该技术的详细解析&#xff1a; 一、技术概述 空地一体化技术巧妙融合了履带无人车、无人机以及自组网技术&#xff0c;…
阅读更多...
EPIC Institute of Technology Round August 2024 (Div. 1 + Div. 2)

EPIC Institute of Technology Round August 2024 (Div. 1 + Div. 2)

前言 又是一场压线不掉分的比赛。 Standings&#xff1a;2706 题目链接&#xff1a;Dashboard - EPIC Institute of Technology Round August 2024 (Div. 1 Div. 2) - Codeforces A. Distanced Coloring 题意&#xff1a; 给一个 n * m 的矩阵&#xff0c;涂色&#xff0c;要…
阅读更多...
pkg 打包后运行报错 Cannot mkdir in a snapshot. Try mountpoints instead.

pkg 打包后运行报错 Cannot mkdir in a snapshot. Try mountpoints instead.

把项目中使用到的 __dirname 类似这样的 join(__dirname, ./config)替换为 process.cwd() __dirname&#xff1a;获取的是当前文件目录路径&#xff0c;二进制文件内部的文件(pkg打包的二进制文件是快照文件&#xff0c;里面的文件只能读不能修改新增)&#xff0c;比如&#x…
阅读更多...
区块链基础

区块链基础

1、区块链定义 区块链技术本质上是一个去中心化的数据库&#xff0c;它是比特币的核心技术与基础架构&#xff0c;是分布式数据存储、点对点传输、共识机制、加密算法等计算机技术的新型应用模式。狭义来讲&#xff0c;区块链是一种按照时间顺序将数据区块以顺序相连的方式组合…
阅读更多...
XSS-跨站脚本攻击

XSS-跨站脚本攻击

目录 XSS简介 XSS分类 反射型XSS&#xff08;非持久型XSS&#xff09; 存储型XSS&#xff08;持久型XSS&#xff09; DOM型XSS HTML文档解析过程 例题 HTML解析 字符实体(character entities) HTML字符实体(HTML character entities) 字符引用&#xff08;character…
阅读更多...
程序员如何写PLC程序

程序员如何写PLC程序

PLC是可编程逻辑控制器的简称&#xff0c;常用的编程语言是IEC61131-3&#xff08;梯形图、结构化文本、指令表、功能块、顺序功能图&#xff09;和西门子的SCL。程序员常用的编程语言是JS、Java、Python、C/C、Go等。PLC广泛采用编程工具有codesys、博图等。程序员常用的编程工…
阅读更多...
用Python实现9大回归算法详解——06. K近邻回归算法

用Python实现9大回归算法详解——06. K近邻回归算法

1. K近邻回归的基本概念 K近邻回归&#xff08;K-Nearest Neighbors Regression, KNN Regression&#xff09;是一种基于实例的学习方法。与传统的回归模型不同&#xff0c;KNN回归不通过显式的函数来建模数据之间的关系&#xff0c;而是通过查找输入样本的“邻居”来进行预测…
阅读更多...
【PDF技巧】如何编辑忘记密码PDF文件？

【PDF技巧】如何编辑忘记密码PDF文件？

PDF文件打开之后&#xff0c;发现编辑功能都是灰色的&#xff0c;无法使用&#xff0c;无法编辑PDF文件&#xff0c;遇到这种情况&#xff0c;因为PDF文件设置了限制编辑导致的。一般情况下&#xff0c;我们只需要输入PDF密码&#xff0c;将限制编辑取消就可以正常编辑文件了&a…
阅读更多...
在线装修管理系统pf

在线装修管理系统pf

TOC springboot389在线装修管理系统pf 第1章 绪论 1.1 课题背景 互联网发展至今&#xff0c;无论是其理论还是技术都已经成熟&#xff0c;而且它广泛参与在社会中的方方面面。它让信息都可以通过网络传播&#xff0c;搭配信息管理工具可以很好地为人们提供服务。所以各行业…
阅读更多...
C语言 | Leetcode C语言题解之第345题反转字符串中的元音字母

C语言 | Leetcode C语言题解之第345题反转字符串中的元音字母

题目&#xff1a; 题解&#xff1a; char vowel[] "aeiouAEIOU";bool isVowel(char ch) {for (int i 0; vowel[i]; i) {if (vowel[i] ch) {return true;}}return false; };char* reverseVowels(char* s) {int n strlen(s);int i 0, j n - 1;while (i < j) …
阅读更多...
C语言三目运算符深度解析

C语言三目运算符深度解析

[大师C语言]合集&#xff3b;大师C语言(第一篇)&#xff3d;C语言栈溢出背后的秘密&#xff3b;大师C语言(第二十五篇)&#xff3d;C语言字符串探秘&#xff3b;大师C语言(第二篇)&#xff3d;C语言main函数背后的秘密&#xff3b;大师C语言(第二十六篇)&#xff3d;C语言结构体…
阅读更多...
08 STM32 DMA

08 STM32 DMA

DMA 协助CPU&#xff0c;完成数据转运工作。 两个程序&#xff1a; DMA数据转运&#xff0c;DMAAD多通道 DMA数据转运&#xff0c;将使用DMA&#xff0c;进行存储器到存储器的数据转运&#xff0c;也就是把一个数组里面的数据&#xff0c;复制到另一个数组里。 定义一个数组D…
阅读更多...
3：html（CSS)：基础语法3

3：html（CSS)：基础语法3

3.1网页布局与id 3.1.1网页布局 在这里将使用<div>分成一个一个的块&#xff0c;然后进行CSS的美化。这里要说一下html是一个前端的代码&#xff0c;但是它写出来的东西单调缺少美感&#xff0c;CSS就是进行美化的&#xff0c;这里我们使用类的概念来美化我们的网站。 …
阅读更多...
apt E: 无法定位软件包 winehq-stable

apt E: 无法定位软件包 winehq-stable

执行了 添加wine源 wget -NP /etc/apt/sources.list.d/ https://dl.winehq.org/wine-builds/ubuntu/dists/jammy/winehq-jammy.sources还需要执行 更新源 apt update
阅读更多...
【观察】星河AI网络：构筑AI时代高质量网络底座，撑起新质生产力发展的浩瀚星空...

【观察】星河AI网络：构筑AI时代高质量网络底座，撑起新质生产力发展的浩瀚星空...

知名科技杂志《连线》创始主编凯文凯利曾预测&#xff1a;“在未来的 100 年里&#xff0c;人工智能将超越任何一种人工力量&#xff0c;将人类引领到一个前所未有的时代。” 确实如此&#xff0c;犹如历史上蒸汽机、电力、计算机和互联网等通用技术一样&#xff0c;近20年来&a…
阅读更多...
【邀请函】2024 PowerData数字经济-开源行：NineData联合主办，并探讨面向Doris实时数据仓库的应用

【邀请函】2024 PowerData数字经济-开源行：NineData联合主办，并探讨面向Doris实时数据仓库的应用

2024年8月25日&#xff0c;PowerData 技术社区以“数字经济-城市开源行”为主题技术沙龙将在杭州 NineData 公司举办。本次活动由 SelectDB、NineData、字节跳动ByConity、阿里云 Flink CDC 等联合主办&#xff0c;围绕技术应用&#xff0c;最佳实践、迁移同步、以及数据管理等…
阅读更多...
NoSQL之Redis配置与优化（二）

NoSQL之Redis配置与优化（二）

&#x1f49d;&#x1f49d;&#x1f49d;欢迎来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐:Linux运维老纪的首页…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023