React 架构的演变 - 更新机制

前面的文章分析了 Concurrent 模式下异步更新的逻辑，以及 Fiber 架构是如何进行时间分片的，更新过程中的很多内容都省略了，评论区也收到了一些同学对更新过程的疑惑，今天的文章就来讲解下 React Fiber 架构的更新机制。

为定襄等地区用户提供了全套网页设计制作服务，及定襄网站建设行业解决方案。主营业务为网站设计制作、成都做网站、定襄网站设计，以传统方式定制建设网站，并提供域名空间备案等一条龙服务，秉承以专业、用心的态度为用户提供真诚的服务。我们深信只要达到每一位用户的要求，就会得到认可，从而选择与我们长期合作。这样，我们也可以走得更远！

Fiber 数据结构

我们先回顾一下 Fiber 节点的数据结构(之前文章省略了一部分属性，所以和之前文章略有不同)：

 
 
 
 
      
  
  
  
  1. function FiberNode (tag, key) { 
    2.   
  
  
  
  2.   // 节点 key，主要用于了优化列表 diff 
    3.   
  
  
  
  3.   this.key = key 
    4.   
  
  
  
  4.   // 节点类型；FunctionComponent: 0, ClassComponent: 1, HostRoot: 3 ... 
    5.   
  
  
  
  5.   this.tag = tag 
    6.   
  
  
  
  6.  
    7.   
  
  
  
  7.  // 子节点 
    8.   
  
  
  
  8.   this.child = null 
    9.   
  
  
  
  9.   // 父节点 
    10.   
  
  
  
  10.   this.return = null  
    11.   
  
  
  
  11.   // 兄弟节点 
    12.   
  
  
  
  12.   this.sibling = null 
    13.   
  
  
  
  13.    
    14.   
  
  
  
  14.   // 更新队列，用于暂存 setState 的值 
    15.   
  
  
  
  15.   this.updateQueue = null 
    16.   
  
  
  
  16.   // 新传入的 props 
    17.   
  
  
  
  17.   this.pendingProps = pendingProps; 
    18.   
  
  
  
  18.   // 之前的 props 
    19.   
  
  
  
  19.   this.memoizedProps = null; 
    20.   
  
  
  
  20.   // 之前的 state 
    21.   
  
  
  
  21.   this.memoizedState = null; 
    22.   
  
  
  
  22.  
    23.   
  
  
  
  23.   // 节点更新过期时间，用于时间分片 
    24.   
  
  
  
  24.   // react 17 改为：lanes、childLanes 
    25.   
  
  
  
  25.   this.expirationTime = NoLanes 
    26.   
  
  
  
  26.   this.childExpirationTime = NoLanes 
    27.   
  
  
  
  27.  
    28.   
  
  
  
  28.   // 对应到页面的真实 DOM 节点 
    29.   
  
  
  
  29.   this.stateNode = null 
    30.   
  
  
  
  30.   // Fiber 节点的副本，可以理解为备胎，主要用于提升更新的性能 
    31.   
  
  
  
  31.   this.alternate = null 
    32.   
  
  
  
  32.  
    33.   
  
  
  
  33.   // 副作用相关，用于标记节点是否需要更新 
    34.   
  
  
  
  34.   // 以及更新的类型：替换成新节点、更新属性、更新文本、删除…… 
    35.   
  
  
  
  35.   this.effectTag = NoEffect 
    36.   
  
  
  
  36.   // 指向下一个需要更新的节点 
    37.   
  
  
  
  37.   this.nextEffect = null 
    38.   
  
  
  
  38.   this.firstEffect = null 
    39.   
  
  
  
  39.   this.lastEffect = null 
    40.   
  
  
  
  40. } 
    41.

缓存机制

可以注意到 Fiber 节点有个 alternate 属性，该属性在节点初始化的时候默认为空(this.alternate = null)。这个节点的作用就是用来缓存之前的 Fiber 节点，更新的时候会判断 fiber.alternate 是否为空来确定当前是首次渲染还是更新。下面我们上代码：

 
 
 
 
      
  
  
  
  1. import React from 'react'; 
    2.   
  
  
  
  2. import ReactDOM from 'react-dom'; 
    3.   
  
  
  
  3.  
    4.   
  
  
  
  4. class App extends React.Component { 
    5.   
  
  
  
  5.   state = { val: 0 } 
    6.   
  
  
  
  6.   render() { 
    7.   
  
  
  
  7.     return 
    val: { this.state.val }
     
    8.   
  
  
  
  8.   } 
    9.   
  
  
  
  9. } 
    10.   
  
  
  
  10.  
    11.   
  
  
  
  11. ReactDOM.unstable_createRoot( 
    12.   
  
  
  
  12.   document.getElementById('root') 
    13.   
  
  
  
  13. ).render() 
    14.

在调用 createRoot 的时候，会先生成一个FiberRootNode，在 FiberRootNode 下会有个 current 属性，current 指向 RootFiber 可以理解为一个空 Fiber。后续调用的 render 方法，就是将传入的组件挂载到 FiberRootNode.current(即 RootFiber) 的空 Fiber 节点上。

 
 
 
 
      
  
  
  
  1. // 实验版本对外暴露的 createRoot 需要加上 `unstable_` 前缀 
    2.   
  
  
  
  2. exports.unstable_createRoot = createRoot 
    3.   
  
  
  
  3.  
    4.   
  
  
  
  4. function createRoot(container) { 
    5.   
  
  
  
  5.   return new ReactDOMRoot(container) 
    6.   
  
  
  
  6. } 
    7.   
  
  
  
  7. function ReactDOMRoot(container) { 
    8.   
  
  
  
  8.   var root = new FiberRootNode() 
    9.   
  
  
  
  9.   // createRootFiber => createFiber => return new FiberNode(tag); 
    10.   
  
  
  
  10.   root.current = createRootFiber() // 挂载一个空的 fiber 节点 
    11.   
  
  
  
  11.   this._internalRoot = root 
    12.   
  
  
  
  12. } 
    13.   
  
  
  
  13. ReactDOMRoot.prototype.render = function render(children) { 
    14.   
  
  
  
  14.   var root = this._internalRoot 
    15.   
  
  
  
  15.   var update = createUpdate() 
    16.   
  
  
  
  16.   update.payload = { element: children } 
    17.   
  
  
  
  17.   const rootFiber = root.current 
    18.   
  
  
  
  18.   // update对象放到 rootFiber 的 updateQueue 中 
    19.   
  
  
  
  19.   enqueueUpdate(rootFiber, update) 
    20.   
  
  
  
  20.   // 开始更新流程 
    21.   
  
  
  
  21.   scheduleUpdateOnFiber(rootFiber) 
    22.   
  
  
  
  22. } 
    23.

render 最后调用 scheduleUpdateOnFiber 进入更新任务，该方法之前有说明，最后会通过 scheduleCallback 走 MessageChannel 消息进入下个任务队列，最后调用 performConcurrentWorkOnRoot 方法。

 
 
 
 
      
  
  
  
  1. // scheduleUpdateOnFiber 
    2.   
  
  
  
  2. // => ensureRootIsScheduled 
    3.   
  
  
  
  3. // => scheduleCallback(performConcurrentWorkOnRoot) 
    4.   
  
  
  
  4. function performConcurrentWorkOnRoot(root) { 
    5.   
  
  
  
  5.   renderRootConcurrent(root) 
    6.   
  
  
  
  6. } 
    7.   
  
  
  
  7. function renderRootConcurrent(root) { 
    8.   
  
  
  
  8.   // workInProgressRoot 为空，则创建 workInProgress 
    9.   
  
  
  
  9.   if (workInProgressRoot !== root) { 
    10.   
  
  
  
  10.     createWorkInProgress() 
    11.   
  
  
  
  11.   } 
    12.   
  
  
  
  12. } 
    13.   
  
  
  
  13. function createWorkInProgress() { 
    14.   
  
  
  
  14.   workInProgressRoot = root 
    15.   
  
  
  
  15.   var current = root.current 
    16.   
  
  
  
  16.   var workInProgress = current.alternate; 
    17.   
  
  
  
  17.   if (workInProgress === null) { 
    18.   
  
  
  
  18.     // 第一次构建，需要创建副本 
    19.   
  
  
  
  19.     workInProgress = createFiber(current.tag) 
    20.   
  
  
  
  20.     workInProgress.alternate = current 
    21.   
  
  
  
  21.     current.alternate = workInProgress 
    22.   
  
  
  
  22.   } else { 
    23.   
  
  
  
  23.     // 更新过程可以复用 
    24.   
  
  
  
  24.     workInProgress.nextEffect = null 
    25.   
  
  
  
  25.     workInProgress.firstEffect = null 
    26.   
  
  
  
  26.     workInProgress.lastEffect = null 
    27.   
  
  
  
  27.   } 
    28.   
  
  
  
  28. } 
    29.

开始更新时，如果 workInProgress 为空会指向一个新的空 Fiber 节点，表示正在进行工作的 Fiber 节点。

 
 
 
 
      
  
  
  
  1. workInProgress.alternate = current 
    2.   
  
  
  
  2. current.alternate = workInProgress 
    3.

fiber tree

构造好 workInProgress 之后，就会开始在新的 RootFiber 下生成新的子 Fiber 节点了。

 
 
 
 
      
  
  
  
  1. function renderRootConcurrent(root) { 
    2.   
  
  
  
  2.   // 构造 workInProgress... 
    3.   
  
  
  
  3.   // workInProgress.alternate = current 
    4.   
  
  
  
  4.  // current.alternate = workInProgress 
    5.   
  
  
  
  5.  
    6.   
  
  
  
  6.   // 进入遍历 fiber 树的流程 
    7.   
  
  
  
  7.   workLoopConcurrent() 
    8.   
  
  
  
  8. } 
    9.   
  
  
  
  9.  
    10.   
  
  
  
  10. function workLoopConcurrent() { 
    11.   
  
  
  
  11.   while (workInProgress !== null && !shouldYield()) { 
    12.   
  
  
  
  12.     performUnitOfWork() 
    13.   
  
  
  
  13.   } 
    14.   
  
  
  
  14. } 
    15.   
  
  
  
  15.  
    16.   
  
  
  
  16. function performUnitOfWork() { 
    17.   
  
  
  
  17.   var current = workInProgress.alternate 
    18.   
  
  
  
  18.   // 返回当前 Fiber 的 child 
    19.   
  
  
  
  19.   const next = beginWork(current, workInProgress) 
    20.   
  
  
  
  20.   // 省略后续代码... 
    21.   
  
  
  
  21. } 
    22.

按照我们前面的案例， workLoopConcurrent 调用完成后，最后得到的 fiber 树如下：

 
 
 
 
      
  
  
  
  1. class App extends React.Component { 
    2.   
  
  
  
  2.   state = { val: 0 } 
    3.   
  
  
  
  3.   render() { 
    4.   
  
  
  
  4.     return 
    val: { this.state.val }
     
    5.   
  
  
  
  5.   } 
    6.   
  
  
  
  6. } 
    7.

fiber tree

最后进入 Commit 阶段的时候，会切换 FiberRootNode 的 current 属性：

 
 
 
 
      
  
  
  
  1. function performConcurrentWorkOnRoot() { 
    2.   
  
  
  
  2.   renderRootConcurrent() // 结束遍历流程，fiber tree 已经构造完毕 
    3.   
  
  
  
  3.  
    4.   
  
  
  
  4.   var finishedWork = root.current.alternate 
    5.   
  
  
  
  5.   root.finishedWork = finishedWork 
    6.   
  
  
  
  6.   commitRoot(root) 
    7.   
  
  
  
  7. } 
    8.   
  
  
  
  8. function commitRoot() { 
    9.   
  
  
  
  9.   var finishedWork = root.finishedWork 
    10.   
  
  
  
  10.   root.finishedWork = null 
    11.   
  
  
  
  11.   root.current = finishedWork // 切换到新的 fiber 树 
    12.   
  
  
  
  12. } 
    13.

fiber tree

上面的流程为第一次渲染，通过 setState({ val: 1 }) 更新时，workInProgress 会切换到 root.current.alternate。

 
 
 
 
      
  
  
  
  1. function createWorkInProgress() { 
    2.   
  
  
  
  2.   workInProgressRoot = root 
    3.   
  
  
  
  3.   var current = root.current 
    4.   
  
  
  
  4.   var workInProgress = current.alternate; 
    5.   
  
  
  
  5.   if (workInProgress === null) { 
    6.   
  
  
  
  6.     // 第一次构建，需要创建副本 
    7.   
  
  
  
  7.     workInProgress = createFiber(current.tag) 
    8.   
  
  
  
  8.     workInProgress.alternate = current 
    9.   
  
  
  
  9.     current.alternate = workInProgress 
    10.   
  
  
  
  10.   } else { 
    11.   
  
  
  
  11.     // 更新过程可以复用 
    12.   
  
  
  
  12.     workInProgress.nextEffect = null 
    13.   
  
  
  
  13.     workInProgress.firstEffect = null 
    14.   
  
  
  
  14.     workInProgress.lastEffect = null 
    15.   
  
  
  
  15.   } 
    16.   
  
  
  
  16. } 
    17.

fiber tree

在后续的遍历过程中(workLoopConcurrent())，会在旧的 RootFiber 下构建一个新的 fiber tree，并且每个 fiber 节点的 alternate 都会指向 current fiber tree 下的节点。

fiber tree

这样 FiberRootNode 的 current 属性就会轮流在两棵 fiber tree 不停的切换，即达到了缓存的目的，也不会过分的占用内存。

更新队列

在 React 15 里，多次 setState 会被放到一个队列中，等待一次更新。

 
 
 
 
      
  
  
  
  1. // setState 方法挂载到原型链上 
    2.   
  
  
  
  2. ReactComponent.prototype.setState = function (partialState, callback) { 
    3.   
  
  
  
  3.   // 调用 setState 后，会调用内部的 updater.enqueueSetState 
    4.   
  
  
  
  4.   this.updater.enqueueSetState(this, partialState) 
    5.   
  
  
  
  5. }; 
    6.   
  
  
  
  6.  
    7.   
  
  
  
  7. var ReactUpdateQueue = { 
    8.   
  
  
  
  8.   enqueueSetState(component, partialState) { 
    9.   
  
  
  
  9.     // 在组件的 _pendingStateQueue 上暂存新的 state 
    10.   
  
  
  
  10.     if (!component._pendingStateQueue) { 
    11.   
  
  
  
  11.       component._pendingStateQueue = [] 
    12.   
  
  
  
  12.     } 
    13.   
  
  
  
  13.     // 将 setState 的值放入队列中 
    14.   
  
  
  
  14.     var queue = component._pendingStateQueue 
    15.   
  
  
  
  15.     queue.push(partialState) 
    16.   
  
  
  
  16.     enqueueUpdate(component) 
    17.   
  
  
  
  17.   } 
    18.   
  
  
  
  18. } 
    19.

同样在 Fiber 架构中，也会有一个队列用来存放 setState 的值。每个 Fiber 节点都有一个 updateQueue 属性，这个属性就是用来缓存 setState 值的，只是结构从 React 15 的数组变成了链表结构。

无论是首次 Render 的 Mount 阶段，还是 setState 的 Update 阶段，内部都会调用 enqueueUpdate 方法。

 
 
 
 
      
  
  
  
  1. // --- Render 阶段 --- 
    2.   
  
  
  
  2. function initializeUpdateQueue(fiber) { 
    3.   
  
  
  
  3.   var queue = { 
    4.   
  
  
  
  4.     baseState: fiber.memoizedState, 
    5.   
  
  
  
  5.     firstBaseUpdate: null, 
    6.   
  
  
  
  6.     lastBaseUpdate: null, 
    7.   
  
  
  
  7.     shared: { 
    8.   
  
  
  
  8.       pending: null 
    9.   
  
  
  
  9.     }, 
    10.   
  
  
  
  10.     effects: null 
    11.   
  
  
  
  11.   } 
    12.   
  
  
  
  12.   fiber.updateQueue = queue 
    13.   
  
  
  
  13. } 
    14.   
  
  
  
  14. ReactDOMRoot.prototype.render = function render(children) { 
    15.   
  
  
  
  15.   var root = this._internalRoot 
    16.   
  
  
  
  16.   var update = createUpdate() 
    17.   
  
  
  
  17.   update.payload = { element: children } 
    18.   
  
  
  
  18.   const rootFiber = root.current 
    19.   
  
  
  
  19.   // 初始化 rootFiber 的 updateQueue 
    20.   
  
  
  
  20.   initializeUpdateQueue(rootFiber) 
    21.   
  
  
  
  21.   // update 对象放到 rootFiber 的 updateQueue 中 
    22.   
  
  
  
  22.   enqueueUpdate(rootFiber, update) 
    23.   
  
  
  
  23.   // 开始更新流程 
    24.   
  
  
  
  24.   scheduleUpdateOnFiber(rootFiber) 
    25.   
  
  
  
  25. } 
    26.   
  
  
  
  26.  
    27.   
  
  
  
  27. // --- Update 阶段 --- 
    28.   
  
  
  
  28. Component.prototype.setState = function (partialState, callback) { 
    29.   
  
  
  
  29.   this.updater.enqueueSetState(this, partialState) 
    30.   
  
  
  
  30. } 
    31.   
  
  
  
  31. var classComponentUpdater = { 
    32.   
  
  
  
  32.   enqueueSetState: function (inst, payload) { 
    33.   
  
  
  
  33.     // 获取实例对应的fiber 
    34.   
  
  
  
  34.     var fiber = get(inst) 
    35.   
  
  
  
  35.     var update = createUpdate() 
    36.   
  
  
  
  36.     update.payload = payload 
    37.   
  
  
  
  37.  
    38.   
  
  
  
  38.     // update 对象放到 rootFiber 的 updateQueue 中 
    39.   
  
  
  
  39.     enqueueUpdate(fiber, update) 
    40.   
  
  
  
  40.     scheduleUpdateOnFiber(fiber) 
    41.   
  
  
  
  41.   } 
    42.   
  
  
  
  42. } 
    43.

enqueueUpdate 方法的主要作用就是将 setState 的值挂载到 Fiber 节点上。

 
 
 
 
      
  
  
  
  1. function enqueueUpdate(fiber, update) { 
    2.   
  
  
  
  2.   var updateQueue = fiber.updateQueue; 
    3.   
  
  
  
  3.  
    4.   
  
  
  
  4.   if (updateQueue === null) { 
    5.   
  
  
  
  5.     // updateQueue 为空则跳过 
    6.   
  
  
  
  6.     return; 
    7.   
  
  
  
  7.   } 
    8.   
  
  
  
  8.   var sharedQueue = updateQueue.shared; 
    9.   
  
  
  
  9.   var pending = sharedQueue.pending; 
    10.   
  
  
  
  10.  
    11.   
  
  
  
  11.   if (pending === null) { 
    12.   
  
  
  
  12.     update.next = update; 
    13.   
  
  
  
  13.   } else { 
    14.   
  
  
  
  14.     update.next = pending.next; 
    15.   
  
  
  
  15.     pending.next = update; 
    16.   
  
  
  
  16.   } 
    17.   
  
  
  
  17.  
    18.   
  
  
  
  18.   sharedQueue.pending = update; 
    19.   
  
  
  
  19. } 
    20.

多次 setState 会在 sharedQueue.pending 上形成一个单向循环链表，具体例子更形象的展示下这个链表结构。

 
 
 
 
      
  
  
  
  1. class App extends React.Component { 
    2.   
  
  
  
  2.   state = { val: 0 } 
    3.   
  
  
  
  3.   click () { 
    4.   
  
  
  
  4.     for (let i = 0; i < 3; i++) { 
    5.   
  
  
  
  5.       this.setState({ val: this.state.val + 1 }) 
    6.   
  
  
  
  6.     } 
    7.   
  
  
  
  7.   } 
    8.   
  
  
  
  8.   render() { 
    9.   
  
  
  
  9.     return  { 
    10.   
  
  
  
  10.       this.click() 
    11.   
  
  
  
  11.     }}>val: { this.state.val }
 
  •   } 
  • } 

    • 点击 div 之后，会连续进行三次 setState，每次 setState 都会更新 updateQueue。

    第一次 setState

    第二次 setState

    第三次 setState

    更新过程中，我们遍历下 updateQueue 链表，可以看到结果与预期的一致。

     
 
 
 
        
  
  
  
    1. let $pending = sharedQueue.pending 
      2.   
  
  
  
    2. // 遍历链表，在控制台输出 payload 
      3.   
  
  
  
    3. while($pending) { 
      4.   
  
  
  
    4.   console.log('update.payload', $pending.payload) 
      5.   
  
  
  
    5.   $pending = $pending.next 
      6.   
  
  
  
    6. } 
      7.

    链表数据

    递归 Fiber 节点

    Fiber 架构下每个节点都会经历递(beginWork)和归(completeWork)两个过程：

    先回顾下这个流程：

     
 
 
 
        
  
  
  
    1. function workLoopConcurrent() { 
      2.   
  
  
  
    2.   while (workInProgress !== null && !shouldYield()) { 
      3.   
  
  
  
    3.     performUnitOfWork() 
      4.   
  
  
  
    4.   } 
      5.   
  
  
  
    5. } 
      6.   
  
  
  
    6.  
      7.   
  
  
  
    7. function performUnitOfWork() { 
      8.   
  
  
  
    8.   var current = workInProgress.alternate 
      9.   
  
  
  
    9.   // 返回当前 Fiber 的 child 
      10.   
  
  
  
    10.   const next = beginWork(current, workInProgress) 
      11.   
  
  
  
    11.   if (next === null) { // child 不存在 
      12.   
  
  
  
    12.     completeUnitOfWork() 
      13.   
  
  
  
    13.   } else { // child 存在 
      14.   
  
  
  
    14.     // 重置 workInProgress 为 child 
      15.   
  
  
  
    15.     workInProgress = next 
      16.   
  
  
  
    16.   } 
      17.   
  
  
  
    17. } 
      18.   
  
  
  
    18. function completeUnitOfWork() { 
      19.   
  
  
  
    19.   // 向上回溯节点 
      20.   
  
  
  
    20.   let completedWork = workInProgress 
      21.   
  
  
  
    21.   while (completedWork !== null) { 
      22.   
  
  
  
    22.     // 收集副作用，主要是用于标记节点是否需要操作 DOM 
      23.   
  
  
  
    23.     var current = completedWork.alternate 
      24.   
  
  
  
    24.     completeWork(current, completedWork) 
      25.   
  
  
  
    25.  
      26.   
  
  
  
    26.     // 省略构造 Effect List 过程 
      27.   
  
  
  
    27.  
      28.   
  
  
  
    28.     // 获取 Fiber.sibling 
      29.   
  
  
  
    29.     let siblingFiber = workInProgress.sibling 
      30.   
  
  
  
    30.     if (siblingFiber) { 
      31.   
  
  
  
    31.       // sibling 存在，则跳出 complete 流程，继续 beginWork 
      32.   
  
  
  
    32.       workInProgress = siblingFiber 
      33.   
  
  
  
    33.       return 
      34.   
  
  
  
    34.     } 
      35.   
  
  
  
    35.  
      36.   
  
  
  
    36.     completedWork = completedWork.return 
      37.   
  
  
  
    37.     workInProgress = completedWork 
      38.   
  
  
  
    38.   } 
      39.   
  
  
  
    39. } 
      40.

    递(beginWork)

    先看看 beginWork 进行了哪些操作：

     
 
 
 
        
  
  
  
    1. function beginWork(current, workInProgress) { 
      2.   
  
  
  
    2.   if (current !== null) { // current 不为空，表示需要进行 update 
      3.   
  
  
  
    3.     var oldProps = current.memoizedProps // 原先传入的 props 
      4.   
  
  
  
    4.     var newProps = workInProgress.pendingProps // 更新过程中新的 props 
      5.   
  
  
  
    5.     // 组件的 props 发生变化，或者 type 发生变化 
      6.   
  
  
  
    6.     if (oldProps !== newProps || workInProgress.type !== current.type) { 
      7.   
  
  
  
    7.       // 设置更新标志位为 true 
      8.   
  
  
  
    8.       didReceiveUpdate = true 
      9.   
  
  
  
    9.     } 
      10.   
  
  
  
    10.   } else { // current 为空表示首次加载，需要进行 mount 
      11.   
  
  
  
    11.     didReceiveUpdate = false 
      12.   
  
  
  
    12.   } 
      13.   
  
  
  
    13.    
      14.   
  
  
  
    14.   // tag 表示组件类型，不用类型的组件调用不同方法获取 child 
      15.   
  
  
  
    15.   switch(workInProgress.tag) { 
      16.   
  
  
  
    16.     // 函数组件 
      17.   
  
  
  
    17.     case FunctionComponent: 
      18.   
  
  
  
    18.       return updateFunctionComponent(current, workInProgress, newProps) 
      19.   
  
  
  
    19.     // Class组件 
      20.   
  
  
  
    20.     case ClassComponent: 
      21.   
  
  
  
    21.       return updateClassComponent(current, workInProgress, newProps) 
      22.   
  
  
  
    22.     // DOM 原生组件（div、span、button……） 
      23.   
  
  
  
    23.     case HostComponent: 
      24.   
  
  
  
    24.       return updateHostComponent(current, workInProgress) 
      25.   
  
  
  
    25.     // DOM 文本组件 
      26.   
  
  
  
    26.     case HostText: 
      27.   
  
  
  
    27.       return updateHostText(current, workInProgress) 
      28.   
  
  
  
    28.   } 
      29.   
  
  
  
    29. } 
      30.

    首先判断 current(即：workInProgress.alternate) 是否存在，如果存在表示需要更新，不存在就是首次加载，didReceiveUpdate 变量设置为 false，didReceiveUpdate 变量用于标记是否需要调用 render 新建 fiber.child，如果为 false 就会重新构建fiber.child，否则复用之前的 fiber.child。

    然后会依据 workInProgress.tag 调用不同的方法构建 fiber.child。关于 workInProgress.tag 的含义可以参考 react/packages/shared/ReactWorkTags.js，主要是用来区分每个节点各自的类型，下面是常用的几个：

     
 
 
 
        
  
  
  
    1. var FunctionComponent = 0; // 函数组件 
      2.   
  
  
  
    2. var ClassComponent = 1; // Class组件 
      3.   
  
  
  
    3. var HostComponent = 5; // 原生组件 
      4.   
  
  
  
    4. var HostText = 6; // 文本组件 
      5.

    调用的方法不一一展开讲解，我们只看看 updateClassComponent：

     
 
 
 
        
  
  
  
    1. // 更新 class 组件 
      2.   
  
  
  
    2. function updateClassComponent(current, workInProgress, newProps) { 
      3.   
  
  
  
    3.   // 更新 state，省略了一万行代码，只保留了核心逻辑，看看就好 
      4.   
  
  
  
    4.   var oldState = workInProgress.memoizedState 
      5.   
  
  
  
    5.   var newState = oldState 
      6.   
  
  
  
    6.  
      7.   
  
  
  
    7.   var queue = workInProgress.updateQueue 
      8.   
  
  
  
    8.   var pendingQueue = queue.shared.pending 
      9.   
  
  
  
    9.   var firstUpdate = pendingQueue 
      10.   
  
  
  
    10.   var update = pendingQueue 
      11.   
  
  
  
    11.  
      12.   
  
  
  
    12.   do { 
      13.   
  
  
  
    13.     // 合并 state 
      14.   
  
  
  
    14.     var partialState = update.payload 
      15.   
  
  
  
    15.     newState = Object.assign({}, newState, partialState) 
      16.   
  
  
  
    16.  
      17.   
  
  
  
    17.     // 链表遍历完毕 
      18.   
  
  
  
    18.     update = update.next 
      19.   
  
  
  
    19.     if (update === firstUpdate) { 
      20.   
  
  
  
    20.      // 链表遍历完毕 
      21.   
  
  
  
    21.       queue.shared.pending = null 
      22.   
  
  
  
    22.       break 
      23.   
  
  
  
    23.     } 
      24.   
  
  
  
    24.   } while (true) 
      25.   
  
  
  
    25.  
      26.   
  
  
  
    26.  workInProgress.memoizedState = newState // state 更新完毕 
      27.   
  
  
  
    27.    
      28.   
  
  
  
    28.   // 检测 oldState 和 newState 是否一致，如果一致，跳过更新 
      29.   
  
  
  
    29.   // 调用 componentWillUpdate 判断是否需要更新 
      30.   
  
  
  
    30.    
      31.   
  
  
  
    31.  
      32.   
  
  
  
    32.   var instance = workInProgress.stateNode 
      33.   
  
  
  
    33.   instance.props = newProps 
      34.   
  
  
  
    34.   instance.state = newState 
      35.   
  
  
  
    35.  
      36.   
  
  
  
    36.   // 调用 Component 实例的 render 
      37.   
  
  
  
    37.   var nextChildren = instance.render() 
      38.   
  
  
  
    38.   reconcileChildren(current, workInProgress, nextChildren) 
      39.   
  
  
  
    39.   return workInProgress.child 
      40.   
  
  
  
    40. } 
      41.

    首先遍历了之前提到的 updateQueue 更新 state，然后就是判断 state 是否更新，以此来推到组件是否需要更新(这部分代码省略了)，最后调用的组件 render 方法生成子组件的虚拟 DOM。最后的 reconcileChildren 就是依据 render 的返回值来生成 fiber 节点并挂载到 workInProgress.child 上。

     
 
 
 
        
  
  
  
    1. // 构造子节点 
      2.   
  
  
  
    2. function reconcileChildren(current, workInProgress, nextChildren) { 
      3.   
  
  
  
    3.   if (current === null) { 
      4.   
  
  
  
    4.     workInProgress.child = mountChildFibers( 
      5.   
  
  
  
    5.       workInProgress, null, nextChildren 
      6.   
  
  
  
    6.     ) 
      7.   
  
  
  
    7.   } else { 
      8.   
  
  
  
    8.     workInProgress.child = reconcileChildFibers( 
      9.   
  
  
  
    9.       workInProgress, current.child, nextChildren 
      10.   
  
  
  
    10.     ) 
      11.   
  
  
  
    11.   } 
      12.   
  
  
  
    12. } 
      13.   
  
  
  
    13.  
      14.   
  
  
  
    14. // 两个方法本质上一样，只是一个需要生成新的 fiber，一个复用之前的 
      15.   
  
  
  
    15. var reconcileChildFibers = ChildReconciler(true) 
      16.   
  
  
  
    16. var mountChildFibers = ChildReconciler(false) 
      17.   
  
  
  
    17.  
      18.   
  
  
  
    18. function ChildReconciler(shouldTrackSideEffects) { 
      19.   
  
  
  
    19.   return function (returnFiber, currentChild, nextChildren) { 
      20.   
  
  
  
    20.     // 不同类型进行不同的处理 
      21.   
  
  
  
    21.     // 返回对象 
      22.   
  
  
  
    22.     if (typeof newChild === 'object' && newChild !== null) { 
      23.   
  
  
  
    23.    return placeSingleChild( 
      24.   
  
  
  
    24.         reconcileSingleElement( 
      25.   
  
  
  
    25.           returnFiber, currentChild, newChild 
      26.   
  
  
  
    26.         ) 
      27.   
  
  
  
    27.       ) 
      28.   
  
  
  
    28.     } 
      29.   
  
  
  
    29.     // 返回数组 
      30.   
  
  
  
    30.     if (Array.isArray(newChild)) { 
      31.   
  
  
  
    31.       // ... 
      32.   
  
  
  
    32.     } 
      33.   
  
  
  
    33.     // 返回字符串或数字，表明是文本节点 
      34.   
  
  
  
    34.     if ( 
      35.   
  
  
  
    35.       typeof newChild === 'string' || 
      36.   
  
  
  
    36.       typeof newChild === 'number' 
      37.   
  
  
  
    37.     ) { 
      38.   
  
  
  
    38.       // ... 
      39.   
  
  
  
    39.     } 
      40.   
  
  
  
    40.     // 返回 null，直接删除节点 
      41.   
  
  
  
    41.     return deleteRemainingChildren(returnFiber, currentChild) 
      42.   
  
  
  
    42.   } 
      43.   
  
  
  
    43. } 
      44.

    篇幅有限，看看 render 返回值为对象的情况(通常情况下，render 方法 return 的如果是 jsx 都会被转化为虚拟 DOM，而虚拟 DOM 必定是对象或数组)：

     
 
 
 
        
  
  
  
    1. if (typeof newChild === 'object' && newChild !== null) { 
      2.   
  
  
  
    2.   return placeSingleChild( 
      3.   
  
  
  
    3.     // 构造 fiber，或者是复用 fiber 
      4.   
  
  
  
    4.     reconcileSingleElement( 
      5.   
  
  
  
    5.       returnFiber, currentChild, newChild 
      6.   
  
  
  
    6.     ) 
      7.   
  
  
  
    7.   ) 
      8.   
  
  
  
    8. } 
      9.   
  
  
  
    9.  
      10.   
  
  
  
    10. function placeSingleChild(newFiber) { 
      11.   
  
  
  
    11.   // 更新操作，需要设置 effectTag 
      12.   
  
  
  
    12.   if (shouldTrackSideEffects && newFiber.alternate === null) { 
      13.   
  
  
  
    13.     newFiber.effectTag = Placement 
      14.   
  
  
  
    14.   } 
      15.   
  
  
  
    15.   return newFiber 
      16.   
  
  
  
    16. } 
      17.

    归(completeWork)

    当 fiber.child 为空时，就会进入 completeWork 流程。而 completeWork 主要就是收集 beginWork 阶段设置的 effectTag，如果有设置 effectTag 就表明该节点发生了变更， effectTag 的主要类型如下(默认为 NoEffect ，表示节点无需进行操作，完整的定义可以参考 react/packages/shared/ReactSideEffectTags.js)：

     
 
 
 
        
  
  
  
    1. export const NoEffect = /*                     */ 0b000000000000000; 
      2.   
  
  
  
    2. export const PerformedWork = /*                */ 0b000000000000001; 
      3.   
  
  
  
    3.  
      4.   
  
  
  
    4. // You can change the rest (and add more). 
      5.   
  
  
  
    5. export const Placement = /*                    */ 0b000000000000010; 
      6.   
  
  
  
    6. export const Update = /*                       */ 0b000000000000100; 
      7.   
  
  
  
    7. export const PlacementAndUpdate = /*           */ 0b000000000000110; 
      8.   
  
  
  
    8. export const Deletion = /*                     */ 0b000000000001000; 
      9.   
  
  
  
    9. export const ContentReset = /*                 */ 0b000000000010000; 
      10.   
  
  
  
    10. export const Callback = /*                     */ 0b000000000100000; 
      11.   
  
  
  
    11. export const DidCapture = /*                   */ 0b000000001000000; 
      12.

    我们看看 completeWork 过程中，具体进行了哪些操作：

     
 
 
 
        
  
  
  
    1. function completeWork(current, workInProgress) { 
      2.   
  
  
  
    2.   switch (workInProgress.tag) { 
      3.   
  
  
  
    3.     // 这些组件没有反应到 DOM 的 effect，跳过处理 
      4.   
  
  
  
    4.     case Fragment: 
      5.   
  
  
  
    5.     case MemoComponent: 
      6.   
  
  
  
    6.     case LazyComponent: 
      7.   
  
  
  
    7.     case ContextConsumer: 
      8.   
  
  
  
    8.     case FunctionComponent: 
      9.   
  
  
  
    9.       return null 
      10.   
  
  
  
    10.     // class 组件 
      11.   
  
  
  
    11.     case ClassComponent: { 
      12.   
  
  
  
    12.       // 处理 context 
      13.   
  
  
  
    13.       var Component = workInProgress.type 
      14.   
  
  
  
    14.       if (isContextProvider(Component)) { 
      15.   
  
  
  
    15.         popContext(workInProgress) 
      16.   
  
  
  
    16.       } 
      17.   
  
  
  
    17.       return null 
      18.   
  
  
  
    18.     } 
      19.   
  
  
  
    19.     case HostComponent: { 
      20.   
  
  
  
    20.       // 这里 Fiber 的 props 对应的就是 DOM 节点的 props 
      21.   
  
  
  
    21.       // 例如：id、src、className …… 
      22.   
  
  
  
    22.     var newProps = workInProgress.pendingProps // props 
      23.   
  
  
  
    23.       if ( 
      24.   
  
  
  
    24.         current !== null && 
      25.   
  
  
  
    25.         workInProgress.stateNode != null 
      26.   
  
  
  
    26.       ) { // current 不为空，表示是更新操作 
      27.   
  
  
  
    27.         var type = workInProgress.type 
      28.   
  
  
  
    28.         updateHostComponent(current, workInProgress, type, newProps) 
      29.   
  
  
  
    29.       } else { // current 为空，表示需要渲染 DOM 节点 
      30.   
  
  
  
    30.         // 实例化 DOM，挂载到 fiber.stateNode 
      31.   
  
  
  
    31.         var instance = createInstance(type, newProps) 
      32.   
  
  
  
    32.         appendAllChildren(instance, workInProgress, false, false); 
      33.   
  
  
  
    33.         workInProgress.stateNode = instance 
      34.   
  
  
  
    34.       } 
      35.   
  
  
  
    35.       return null 
      36.   
  
  
  
    36.     } 
      37.   
  
  
  
    37.     case HostText: { 
      38.   
  
  
  
    38.       var newText = workInProgress.pendingProps // props 
      39.   
  
  
  
    39.       if (current && workInProgress.stateNode != null) { 
      40.   
  
  
  
    40.         var oldText = current.memoizedProps 
      41.   
  
  
  
    41.         // 更新文本节点 
      42.   
  
  
  
    42.         updateHostText(current, workInProgress, oldText, newText) 
      43.   
  
  
  
    43.       } else { 
      44.   
  
  
  
    44.         // 实例文本节点 
      45.   
  
  
  
    45.         workInProgress.stateNode = createTextInstance(newText) 
      46.   
  
  
  
    46.       } 
      47.   
  
  
  
    47.       return null 
      48.   
  
  
  
    48.     } 
      49.   
  
  
  
    49.   } 
      50.   
  
  
  
    50. } 
      51.

    与 beginWork 一样，completeWork 过程中也会依据 workInProgress.tag 来进行不同的处理，其他类型的组件基本可以略过，只用关注下 HostComponent、HostText，这两种类型的节点会反应到真实 DOM 中，所以会有所处理。

     
 
 
 
        
  
  
  
    1. updateHostComponent = function ( 
      2.   
  
  
  
    2.  current, workInProgress, type, newProps 
      3.   
  
  
  
    3. ) { 
      4.   
  
  
  
    4.   var oldProps = current.memoizedProps 
      5.   
  
  
  
    5.  
      6.   
  
  
  
    6.   if (oldProps === newProps) { 
      7.   
  
  
  
    7.     // 新旧 props 无变化 
      8.   
  
  
  
    8.     return 
      9.   
  
  
  
    9.   } 
      10.   
  
  
  
    10.  
      11.   
  
  
  
    11.   var instance = workInProgress.stateNode // DOM 实例 
      12.   
  
  
  
    12.   // 对比新旧 props 
      13.   
  
  
  
    13.  var updatePayload = diffProperties(instance, type, oldProps, newProps) 
      14.   
  
  
  
    14.   // 将发生变化的属性放入 updateQueue 
      15.   
  
  
  
    15.   // 注意这里的 updateQueue 不同于 Class 组件对应的 fiber.updateQueue 
      16.   
  
  
  
    16.   workInProgress.updateQueue = updatePayload 
      17.   
  
  
  
    17. }; 
      18.

    updateHostComponent 方法最后会通过 diffProperties 方法获取一个更新队列，挂载到 fiber.updateQueue 上，这里的 updateQueue 不同于 Class 组件对应的 fiber.updateQueue，不是一个链表结构，而是一个数组结构，用于更新真实 DOM。

    下面举一个例子，修改 App 组件的 state 后，下面的 span 标签对应的 data-val、style、children 都会相应的发生修改，同时，在控制台打印出 updatePayload 的结果。

     
 
 
 
        
  
  
  
    1. import React from 'react' 
      2.   
  
  
  
    2.  
      3.   
  
  
  
    3. class App extends React.Component { 
      4.   
  
  
  
    4.   state = { val: 1 } 
      5.   
  
  
  
    5.   clickBtn = () => { 
      6.   
  
  
  
    6.     this.setState({ val: this.state.val + 1 }) 
      7.   
  
  
  
    7.   } 
      8.   
  
  
  
    8.   render() { 
      9.   
  
  
  
    9.     return (
       
      10.   
  
  
  
    10.       add 
      11.   
  
  
  
    11.         
  
  
  
    12.         data-val={this.state.val} 
      13.   
  
  
  
    13.         style={{ fontSize: this.state.val * 15 }} 
      14.   
  
  
  
    14.       > 
      15.   
  
  
  
    15.         { this.state.val } 
      16.   
  
  
  
    16.        
      17.   
  
  
  
    17.     
    ) 
  •   } 
  • } 
  •  
  • export default App 

    • console

    副作用链表

    在最后的更新阶段，为了不用遍历所有的节点，在 completeWork 过程结束后，会构造一个 effectList 连接所有 effectTag 不为 NoEffect 的节点，在 commit 阶段能够更高效的遍历节点。

     
 
 
 
        
  
  
  
    1. function completeUnitOfWork() { 
      2.   
  
  
  
    2.   let completedWork = workInProgress 
      3.   
  
  
  
    3.   while (completedWork !== null) { 
      4.   
  
  
  
    4.     // 调用 completeWork()... 
      5.   
  
  
  
    5.  
      6.   
  
  
  
    6.     // 构造 Effect List 过程 
      7.   
  
  
  
    7.     var returnFiber = completedWork.return 
      8.   
  
  
  
    8.     if (returnFiber !== null) { 
      9.   
  
  
  
    9.       if (returnFiber.firstEffect === null) { 
      10.   
  
  
  
    10.         returnFiber.firstEffect = completedWork.firstEffect; 
      11.   
  
  
  
    11.       } 
                网站标题：React 架构的演变 - 更新机制
                
      
                文章地址：http://www.csdahua.cn/qtweb/news48/166648.html
            
      
            
      
                网站建设、网络推广公司-快上网，是专注品牌与效果的网站制作，网络营销seo公司；服务项目有等
                                
      
            
      
                广告
                
            
      
            
      
                声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源：
                快上网

    成都快上网为您推荐相关内容

    解决方案知识

    行业网站建设

    企业网站建设　　 　谷歌推广　　 　成都口碑营销公司　　 　成都网站建设　　 　成都微信公众号开发　　 　成都网站优化　　 　成都微信小程序开发　　 　成都企业网站定制　　 　做网站　　 　网站改版维护　　 　德信企业管理　　 　成都二枢电信服务器托管　　 　网站空间　　 　达州主机托管　　 　成都网站制作公司　　 　眉山服务器托管　　 　川西大数据中心　　 　成都移动托管　　 　成都服务器托管　　 　gyruijie.cn