React16源码: React中的不同的expirationTime的源码实现

不同的 expirationTime

1 ）概述

在React中不仅仅有异步任务
大部分情况下都是同步的任务，所以会有不同 expirationTime 的存在

2 ）种类

A. Sync 模式，优先级最高
- 任务创建完成之后，立马更新到真正的dom里面
- 是一个创建即更新的流程
B. Async 模式, 异步模式
- 会有一个调度
- 包含一系列复杂的操作在里面
- 可能会中断，所以会有一个计算出来的过期时间
- 过期时间根据异步的两种情况，如前文所述
  - 最低优先级的异步
  - 最高优先级的异步
C. 指定context

3 ) 源码

在 ReactFiberReconciler.js 中的 updateContainer 中

调用的是 computeExpirationForFiber
- 它接收两个参数: currentTime: ExpirationTime, fiber: Fiber

这个方法来自于 ReactFiberScheduler.js 文件

function computeExpirationForFiber(currentTime: ExpirationTime, fiber: Fiber) {let expirationTime;if (expirationContext !== NoWork) {// An explicit expiration context was set;expirationTime = expirationContext;} else if (isWorking) {if (isCommitting) {// Updates that occur during the commit phase should have sync priority// by default.expirationTime = Sync;} else {// Updates during the render phase should expire at the same time as// the work that is being rendered.expirationTime = nextRenderExpirationTime;}} else {// No explicit expiration context was set, and we're not currently// performing work. Calculate a new expiration time.if (fiber.mode & ConcurrentMode) {if (isBatchingInteractiveUpdates) {// This is an interactive updateexpirationTime = computeInteractiveExpiration(currentTime);} else {// This is an async updateexpirationTime = computeAsyncExpiration(currentTime);}// If we're in the middle of rendering a tree, do not update at the same// expiration time that is already rendering.if (nextRoot !== null && expirationTime === nextRenderExpirationTime) {expirationTime += 1;}} else {// This is a sync updateexpirationTime = Sync;}}if (isBatchingInteractiveUpdates) {// This is an interactive update. Keep track of the lowest pending// interactive expiration time. This allows us to synchronously flush// all interactive updates when needed.if (expirationTime > lowestPriorityPendingInteractiveExpirationTime) {lowestPriorityPendingInteractiveExpirationTime = expirationTime;}}return expirationTime;
}

1 ）这里有一系列的判断，首先是对 expirationContext 的判断

它是 ExpirationTime 类型，默认初始化值是 NoWork

下面是它的一个修改场景

function deferredUpdates<A>(fn: () => A): A {const currentTime = requestCurrentTime();const previousExpirationContext = expirationContext;const previousIsBatchingInteractiveUpdates = isBatchingInteractiveUpdates;expirationContext = computeAsyncExpiration(currentTime); // 这里isBatchingInteractiveUpdates = false;try {return fn();} finally {expirationContext = previousExpirationContext;isBatchingInteractiveUpdates = previousIsBatchingInteractiveUpdates;}
}

expirationContext = computeAsyncExpiration(currentTime);
可以看到 computeAsyncExpiration 这个函数对其进行修改赋值

还有一种场景, 往下进行搜索

function syncUpdates<A, B, C0, D, R>(fn: (A, B, C0, D) => R,a: A,b: B,c: C0,d: D,
): R {const previousExpirationContext = expirationContext;expirationContext = Sync; // 变成了 Synctry {return fn(a, b, c, d); // 这里是 setState 操作} finally {expirationContext = previousExpirationContext; // 最终还原}
}

syncUpdates 在 ReactDOM.js 中的 flushSync API

flushSync: DOMRenderer.flushSync 一直溯源往上找到 ReactFiberScheduler.js 中的 flushSync

这个就是本源的 flushSync

// TODO: Batching should be implemented at the renderer level, not within
// the reconciler.
function flushSync<A, R>(fn: (a: A) => R, a: A): R {invariant(!isRendering,'flushSync was called from inside a lifecycle method. It cannot be ' +'called when React is already rendering.',);const previousIsBatchingUpdates = isBatchingUpdates;isBatchingUpdates = true;try {return syncUpdates(fn, a); // 这里} finally {isBatchingUpdates = previousIsBatchingUpdates;performSyncWork();}
}

上述调用的是 syncUpdates，在之前的示例中，如下
```
flushSync(() => {this.setState({num: newNum,})
})
```
上述示例就是传入 fn 回调, 内部调用 setState
在这种场景下 expirationTime 变成了 Sync

以上两种情况是给 expirationContext 进行赋值

2 ）当 expirationTime 变成了 Sync 就不符合第一种情况了，这时候往下走，匹配到了 isWorking
- isWorking 表示有任务正在更新
- 也是基于条件指定某个值
- 这块涉及到后续任务的更新，跳过
3 ）没有外部强制的情况下
- if (fiber.mode & ConcurrentMode)
- 判断 fiber.mode 是否是 ConcurrentMode
- 找到 ConcurrentMode 的定义处 ReactTypeOfMode.js
```
export type TypeOfMode = number;export const NoContext = 0b000;
export const ConcurrentMode = 0b001;
export const StrictMode = 0b010;
export const ProfileMode = 0b100;
```
- 可见，使用二进制方式来定义的
- 可以通过与或这类逻辑的操作，非常方便的组合 Mode
- 以及判断是否有某个Mode，例如
```
const a = 0b000;
const b = 0b001;
const c = 0b010;
const d = 0b100;
let mode = a; // 默认等于 a, 在后续渲染时并不知道是否有更改过
mode & b // 如果 结果为 0 表示没有过b这种情况
mode |= b // 这样给 mode 增加 b，这时候 mode 变成1，就对应了 b
mode |= c // 给 mode 增加 c, 这时候 mode 变成 3，也就是 0b011
mode & b // 这时候判断mode是否有b, 如果是1，则有b， 结果是1 对应b
mode & c // 这时候判断mode是否有c, 如果是1，则有c, 结果是2 对应c
```
  - 这是一种巧妙的设计方式
  - 类似的，在 ReactSideEffectTags.js 中也是这么设计的
- 回到代码里，如果是 ConcurrentMode 才会调用
- computeInteractiveExpiration 和 computeAsyncExpiration 两个函数中的一个计算 expirationTime
```
if (isBatchingInteractiveUpdates) {// This is an interactive updateexpirationTime = computeInteractiveExpiration(currentTime);
} else {// This is an async updateexpirationTime = computeAsyncExpiration(currentTime);
}
```
  - 关于 isBatchingInteractiveUpdates 在 interactiveUpdates 函数中被赋值为 true
    - 大部分的 React 事件产生的更新，事件中绑定回调函数，这个回调函数执行的时候
    - 大部分都是在 interactiveUpdates 情况下，也就是 isBatchingInteractiveUpdates 为 true 时
  - 后面 expirationTime += 1; 是为了区分下一个即将进行的更新和当前正在创造的更新，防止一样，强制把当前+1
- 如果不属于，则还是 Sync