看透 react 源码之感受 react 的进化
写在前面
网上有许多关于react
源码解读的文章,其中有很多都只是单纯贴源码,罗列变量名。其实大家都知道这个英文怎么读,直译也大概知道意思,但是这个英文在react
中起到什么作用,并没有说的很通俗明白。
对于刚刚接触源码或者想要了解react
实现的人来说,没有起到引导作用,一堆函数变量反而劝退了很多人。
所以打算开启一个系列的文章,用简单的代码片段代替源码,拆解react
的时间分片、优先级调度、diff 等核心模块,让大家一眼就能明白其中的原理。
react15 为什么需要进化
react15 有两大原罪,渲染阻塞和无法合并异步函数里面的 setState
原罪 1:同步渲染阻塞主线程
react15 从setState
到 DOM 节点渲染到页面上,整个流程都是同步的,所以如果其中某个环节占用时间特别长,就会造成主线程阻塞。
由于 JS 的执行是单线程的,JS 线程与浏览器的其他线程互斥,如果 JS 线程阻塞,浏览器的渲染线程、事件线程也会相应的挂起。此时用户触发的浏览器原生事件也会无响应,造成卡顿的现象。
疑问:react15什么情况下会造成阻塞?
react15 采用的是树形结构的虚拟DOM树
,使用了递归
方式的进行节点遍历,递归意味着虚拟 DOM 树的构建是一个同步的过程,只要一开始就无法中断。而且 DOM 节点层级越深,节点数越多,diff 流程霸占 JS 线程的时间就越长。
当然网上都是这么说,实际上是不是真的是树形结构,是不是真的用递归的方式进行节点遍历,还是需要经过实际源码考证,为此我翻看了react@15.5.3
的源码
求证 1:树形结构
上面 JSX 代码在转换为 DOM 树结构时是通过树形的结构进行层层遍历
求证 2:递归遍历
这里采用伪代码的形式模拟react15
的节点遍历,具体源码调用层级跨度大贴代码不好分析,有兴趣的同学可以翻看真正的源码查看具体细节
可以看到当遍历到一个节点发现下面有子节点的时候,他会递归调用构建节点的方法继续往下构建 DOM 树,整个 DOM 树构建的过程都是同步的。
原罪 2:无法合并异步函数里面的 setState
除了阻塞,react15 下setState
的合并更新机制是以函数为单位,将函数内同步
执行的setState
合并,注意,是同步执行的setState
,这样会出现一个问题,异步函数中的setState
无法被合并。
问题 1:异步函数中的
setState
更新会以同步的形式呈现问题 2:异步函数内的每一个
setState
都会触发一次完整的视图更新,造成性能损耗下面展示一下问题代码
上面的的代码为什么会输出这样的结果,react15
的合并更新是怎么实现的呀??
卖个关子,我会在后面的系列文章中为你解答,用 30 行代码告诉你 react15
合并更新原理
Fiber 架构下的 react 得到哪些提升
为解决react15
的痛点,在 16+版本后,react
重写整个架构,为的就是实现异步可中断更新。异步可中断更新这几个字说着简单,那具体需要怎么实现呢?
回顾react15
的两大痛点,我们需要解决两件事情
解决阻塞问题。
让 setState 在异步函数里面也能被合并。下面将一一解决这两个问题
解决阻塞问题
看完上面react15
节点遍历的伪代码,不难发现阻塞的根源有两个
递归遍历节点树,无法中断遍历
遍历节点树会一直占用主线程,阻塞了浏览器的其他线程
解决手段1:改变树结构和节点遍历方式
react15
使用了树形结构串联整棵树,这也间接导致react15
采用递归+子节点 for 循环的方式对虚拟 DOM 树进行层层遍历,过程无法中断。
要实现可中断的遍历好办,不用递归,改用 while 遍历的话就能满足中断这个要求
但是树形结构不方便做while
遍历啊,嵌套层级深,分支又多,那咋整?
把整棵树拍扁,用链表的形式描述树结构,这样我就能无需维护多余的变量记录维护遍历顺序,非常轻松的一个个遍历节点,通过while
循环做遍历中断也会更加清晰
下面我用伪代码的形式简单模拟一下react16+
的遍历
注意,需要被遍历的幸运儿节点 = 需要被遍历的幸运儿节点.next,react 并不是简简单单用 next 去描述节点关系,我会在后面系列文章中详细描述
解决手段2:时间分片
好了,终于实现了可中断的更新,我们算是完成了半个react16
了,还差一个异步,怎么做呢?那就是时间分片
时间分片顾名思义,就是设定一个固定而连续且有间隔的时间区间(好像不那么顾名思义)
什么是固定?就是我每天固定摸鱼工作 8 小时
什么是连续?我每天都需要上班
什么是有间隔?周末休息
在 react
的 时间分片
对应的就是
时间分片固定的 5 毫秒左右(会根据优先级有所浮动,求生欲)
分片支配着 react 工作的中断和开启(其实只是作用于部分工作)
分片与分片之间是有间隔的,这段间隔就是让浏览器有空闲时间去处理其他线程的任务
下面简单实现一下时间分片
时间分片在 performance 中的直观体现(基本都控制在 5 毫秒左右)
让 setState 在异步函数里面也能被合并
react16+
对于这一块的实现,是基于整个 Fiber 架构的设计实现的,需要对时间分片、异步调度、lane 优先级机制、state 计算方式、事件系统有一定前置知识,或者能更好去理解
这里我简述下实现的原理
每一次执行
setState
a. 将此次更新的优先级关联到当前 Fiber 节点和根 Fiber 节点
b. 执行调度函数
调度函数会先进行一个逻辑判断,判断当前应用根节点的优先级和当前已被调度的优先级是否相等
a. 相等。是同一个函数下面的 setState,可以合并更新,不重复发起协调任务
b. 不相等。发起协调任务
这里不相等分为两种情况,一种是第一次发起调度,一种是高优先级任务进来。
如果对源码有一定了解小伙伴可能会有点点明白我这里说的是什么意思,上面说的并不完全与源码一一对应,但大概逻辑是相通的,后面我会以更详细的篇幅给大家理清楚优先级调度。
宏观角度了解 react 的新架构
系列第一篇主要是为大家理解react16+
源码做一个前置知识的铺垫,让大家对react16+
的构成有一个大概的了解,下面是一张react16+
的模块功能分布图
相关参考视频讲解:进入学习
Scheduler
Scheduler 主要负责 react 的任务调度,其中包括分片调度和优先级调度
分片调度
的主要任务是负责reconcile (render)
阶段能够间断执行节点遍历任务优先级调度
主要是为了将 react 任务划分为多种优先级类型,能够实现高优先级任务快速响应
Reconciler
Reconciler 主要负责 Fiber 节点的构建和创建相应的副作用
state计算
在引入了优先级机制后,并不是简单的将 state 计算覆盖,其中关联到低优先级任务重启的逻辑diff
就是通过遍历新旧 Fiber 树,找出需要增删改的节点副作用创建
将需要增删改的节点以位与运算的形式记录到 Fiber 节点的 flags 属性上,等待 commit 阶段清除这些副作用(副作用包含但不限于节点增删改,还有 useEffect 执行,ref 更新等等的副作用)
Renderer
Renderer (commit)
阶段做的事情就是清除副作用,然后开启下一轮的调度
以上就是 react 的基本构成和各个模块的职责。后续为了更方便进行解读,我会用render阶段
代指Reconciler
,用commit阶段
代指Renderer
写在最后
本文主要简述了react
的进化历程和新react
架构的基本构成。下一篇我会讲讲 react 的时间分片
,同时会结合react
的任务去模拟一个时间分片的运行过程。
上文所述如果有说的不对的,望各位大佬可以包涵指正。如果有不懂的,可以把疑问点提出来,我会逐一解答。每一次交流的过程都是一次思想和学习的碰撞,大家可以尽情 diss
评论