React 18发布，仅用400行代码就能实现一个Mini-React

【CSDN 编者按】400行代码在React 18中实现可中断的异步更新的最小模型！

原文链接： htt ps://be tterpr ogramming.pub/react-18-has-been-released-implement-mini-react-in-400-lines-of-code-837559761758

声明：本文为 CSDN 翻译，转载请注明来源。

作者 | Zachary Lee       译者 | 彭慧中

责编 | 屠敏

出品 | CSDN（ID：CSDNnews）

以下为译文：

React v18已经发布，它给我们带来了许多特性，但最重要的特性是可中断的异步更新，许多新的上层API都是通过它创建的。可以说，它是React v18的底层引擎。

本文将使用大约400行代码带你实现一个可以异步更新和可中断更新的Mini-React，如下图所示：

我使用了React官方网站提供的tic-tac-toe教程示例（以下是链接：https://reactjs.org/tutorial/tutorial.html#what-are-we-building），可以看到它非常有效。此外，它目前支持函数组件和类组件，可以满足开发者80%的需求！我也把它放在GitHub上（以下是链接：https://github.com/islizeqiang/mini-react），你也可以在本地复制它，并按照我的文章一步一步地调试。

这是我在阅读了大量React的源代码后创建的，在整体逻辑和函数命名上基本上和React一样，如果你对React的内部原理感兴趣，这篇文章就是为你准备的！

 

JSX和createEelement

我相信你对 React 中的 JSX 并不陌生。我们使用 JSX 来描述 DOM，它们最终会被 babel 转换成 React 提供的 API。例如下面的代码：

你也可以自己在StackBlitz上试试(在终端输入node transform-JSX.js)：

// run `node transform-JSX.js` in the terminal
const babel = require('@babel/core');const optionsObject = {  presets: ['@babel/preset-env'],  plugins: [['@babel/plugin-transform-react-jsx']],};
const { code } = babel.transformSync(  'const element = <div id="test"><h1>Hello</h1></div>',  optionsObject);
console.log(code);

你还可以在编译好的字符串中加入更多的元素，再看看最终的结果，我在这里直接给出React.createElement提供的选项。

1.type：表示当前节点的类型，如上图中的div。

2.config：表示当前元素节点上的属性，如上图中的{id: "test"}。

3.children：子元素，可以是多个、简单的文本，也可以由React.createElement创建的子节点。

然后根据这个要求实现你自己的React.createElement，就像下面的代码一样，我们定义一个自定义的数据结构。

 

渲染

然后我们可以根据上面创建的数据结构实现一个简化版的渲染函数，将JSX渲染到真实的DOM上。

下面的代码演示将使用CodeSandbox，拖动左栏查看代码，点击上方的菜单按钮查看目录结构。你也可以直接编辑，查看显示的结果。

import React from "./mini-react";
const App = (  <div id="test">    <h1>Hello</h1>  </div>);
// eslint-disable-next-line react/no-deprecatedReact.render(App, document.getElementById("root"));

所以你可以看到它工作，但现在它只渲染一次，不能与我们互动。

另外，请注意我们在这里使用react-scripts@3.4.4来帮助编译JSX，API在以后的版本中已经发生了变化，但是React.createElement在结束时仍然被调用。我提供的GitHub库使用了Vite而不是react-scripts。

接下来，是React的核心纤程架构和并发模式，这是从React 17开始提出的，主要是为了解决一旦完整的元素树被递归，就无法终止的问题，这可能导致主线程长时间被阻塞，那些高优先级的任务（比如那些用户输入或动画等）无法及时处理。

所以在React源代码中，工作被分解成小单元。一旦浏览器处于空闲状态，它将处理这些小的工作单元，然后将结果映射到实际的DOM，直到所有结果都被处理完。

requestIdleCallback是一个实验性API，它在浏览器空闲时执行回调。接下来，我们将使用这个API来简单地实现这个功能。我将在最后给出React目前使用的调度程序包的模拟实现。

在开始编写下一个代码之前，我想再次介绍一下工作单元之间的连接。

 

就像上面的图片一样，我们将像链表一样创建每个纤程节点之间的连接，它们是：

1.child：父节点指向第一个子元素的指针。

2.return/parent：所有子元素都有一个指向父元素的指针。

3.sibling：从第一个子元素指向下一个同级元素。

所以现在你可以愉快地编写代码：

import React from "./mini-react";
const App = (  <div id="test">    <h1>Hello</h1>  </div>);
// eslint-disable-next-line react/no-deprecatedReact.render(App, document.getElementById("root"));

尽管添加了这么多代码，我们只是重构了渲染逻辑。重构后的调用顺序为workLoop →performUnitOfWork→reconcileChildren。下面让我来总结一下各个功能的作用：

1.workLoop：通过连续调用requestIdleCallback来获得空闲时间。如果当前空闲且有单元任务要执行，则执行每个单元任务。

2.performUnitOfWork：执行的特定单元任务。这是链表思想的体现。即一次只处理一个纤程节点，并返回下一个要处理的节点。

3.reconcileChildren：协调当前纤程节点，它实际上是虚拟DOM的比较，并记录要进行的更改。你可以看到，我们直接在每个纤程节点上修改和保存，因为现在它只是对JavaScript对象的修改，而不涉及真正的DOM。

4.最后一步是commitRoot。如果当前需要更新(根据wipRoot)，并且没有下一个单元任务要处理(根据!nextUnitOfWork)，这意味着需要将虚拟更改映射到实际的DOM。commitRoot负责根据纤程节点的变化修改真实的DOM。

到目前为止，我们已经实现了纤程架构，是时候见证它的威力了。

我们想给组件添加状态，让我们实现一个useState。

import React from "./mini-react";import "./styles.css";
function calculateWinner(squares) {  const lines = [    [0, 1, 2],    [3, 4, 5],    [6, 7, 8],    [0, 3, 6],    [1, 4, 7],    [2, 5, 8],    [0, 4, 8],    [2, 4, 6]  ];  for (let i = 0; i < lines.length; i += 1) {    const [a, b, c] = lines[i];    if (squares[a] && squares[a] === squares[b] && squares[a] === squares[c]) {      return squares[a];    }  }  return null;}
class Square extends React.Component {  render() {    return (      <button onClick={this.props.onClick} className="square">        {this.props.value}      </button>    );  }}
class Board extends React.Component {  renderSquare(i) {    return (      <Square        value={this.props.squares[i]}        onClick={() => {          this.props.onClick(i);        }}      />    );  }
  render() {    return (      <div>        <div className="board-row">          {this.renderSquare(0)}          {this.renderSquare(1)}          {this.renderSquare(2)}        </div>        <div className="board-row">          {this.renderSquare(3)}          {this.renderSquare(4)}          {this.renderSquare(5)}        </div>        <div className="board-row">          {this.renderSquare(6)}          {this.renderSquare(7)}          {this.renderSquare(8)}        </div>      </div>    );  }}
class App extends React.Component {  constructor(props) {    super(props);    this.state = {      history: [        {          squares: Array(9).fill(null)        }      ],      stepNumber: 0,      xIsNext: true    };  }
  handleClick(i) {    const history = this.state.history.slice(0, this.state.stepNumber + 1);    const current = history[history.length - 1];    const squares = current.squares.slice();    if (calculateWinner(squares) || squares[i]) {      return;    }
    squares[i] = this.state.xIsNext ? "X" : "O";    this.setState({      history: history.concat([        {          squares        }      ]),      stepNumber: history.length,      xIsNext: !this.state.xIsNext    });  }
  jumpTo(step) {    this.setState({      stepNumber: step,      xIsNext: step % 2 === 0    });  }
  render() {    const { history } = this.state;    const current = history[this.state.stepNumber];    const winner = calculateWinner(current.squares);
    const moves = history.map((step, move) => {      const desc = move ? `Go to move #${move}` : "Go to game start";      return (        <li key={move}>          <button onClick={() => this.jumpTo(move)}>{desc}</button>        </li>      );    });
    let status;    if (winner) {      status = `Winner: ${winner}`;    } else {      status = `Next player: ${this.state.xIsNext ? "X" : "O"}`;    }
    return (      <div className="game">        <div className="game-board">          <Board            squares={current.squares}            onClick={(i) => {              this.handleClick(i);            }}          />        </div>        <div className="game-info">          <div>{status}</div>          <ol>{moves}</ol>        </div>      </div>    );  }}
// eslint-disable-next-line react/no-deprecatedReact.render(<App />, document.getElementById("root"));

useState巧妙地将hook的状态保留在纤程节点上，并通过队列修改状态。从这里，我们也可以知道为什么React-hooks要求每次调用的顺序不能改变。

除此以外，我们还实现了一个Component ，这里只是简单地转换为一个渲染的方法，并添加了一点它的独特身份。

模拟requestIdleCallback

现在我们几乎实现了所有的功能，让我解释一下React目前采用的调度器包，它实际上是一个比requestIdleCallback更复杂的调度逻辑，包括更新任务的优先级等等。

上面是我实现模拟requestIdleCallback的参考调度程序，它结合了requestAnimationFrame和MessageChannel。这里使用MessageChannel的目的是使用宏任务来处理每一轮的单元任务。

那么为什么要使用宏任务呢?

为了放弃主线程，浏览器可以在空闲期间更新DOM或接收事件。因为浏览器更新DOM是一个独立的任务，而JavaScript在这个时候不会被执行，因为主线程一次只能运行一个功能，要么执行JS，要么处理DOM计算样式，要么接收输入事件，等等。

为什么不使用微任务呢?

因为微任务包含在每一轮宏任务中，所以在所有微任务执行完毕之前，也就是当前宏任务未完成时，主线程不能放弃。

为什么不使用setTimeout呢?

因为如果setTimeout被嵌套调用超过5次，该函数将被视为阻塞，浏览器将把最小时间设置为4ms，所以它不够精确。

最终版本

下面是最终的版本，你可以看到，在去掉注释后，不到400行代码就实现了React的核心思想。

import React from "./mini-react";import "./styles.css";
function calculateWinner(squares) {  const lines = [    [0, 1, 2],    [3, 4, 5],    [6, 7, 8],    [0, 3, 6],    [1, 4, 7],    [2, 5, 8],    [0, 4, 8],    [2, 4, 6]  ];  for (let i = 0; i < lines.length; i += 1) {    const [a, b, c] = lines[i];    if (squares[a] && squares[a] === squares[b] && squares[a] === squares[c]) {      return squares[a];    }  }  return null;}
class Square extends React.Component {  render() {    return (      <button onClick={this.props.onClick} className="square">        {this.props.value}      </button>    );  }}
class Board extends React.Component {  renderSquare(i) {    return (      <Square        value={this.props.squares[i]}        onClick={() => {          this.props.onClick(i);        }}      />    );  }
  render() {    return (      <div>        <div className="board-row">          {this.renderSquare(0)}          {this.renderSquare(1)}          {this.renderSquare(2)}        </div>        <div className="board-row">          {this.renderSquare(3)}          {this.renderSquare(4)}          {this.renderSquare(5)}        </div>        <div className="board-row">          {this.renderSquare(6)}          {this.renderSquare(7)}          {this.renderSquare(8)}        </div>      </div>    );  }}
class App extends React.Component {  constructor(props) {    super(props);    this.state = {      history: [        {          squares: Array(9).fill(null)        }      ],      stepNumber: 0,      xIsNext: true    };  }
  handleClick(i) {    const history = this.state.history.slice(0, this.state.stepNumber + 1);    const current = history[history.length - 1];    const squares = current.squares.slice();    if (calculateWinner(squares) || squares[i]) {      return;    }
    squares[i] = this.state.xIsNext ? "X" : "O";    this.setState({      history: history.concat([        {          squares        }      ]),      stepNumber: history.length,      xIsNext: !this.state.xIsNext    });  }
  jumpTo(step) {    this.setState({      stepNumber: step,      xIsNext: step % 2 === 0    });  }
  render() {    const { history } = this.state;    const current = history[this.state.stepNumber];    const winner = calculateWinner(current.squares);
    const moves = history.map((step, move) => {      const desc = move ? `Go to move #${move}` : "Go to game start";      return (        <li key={move}>          <button onClick={() => this.jumpTo(move)}>{desc}</button>        </li>      );    });
    let status;    if (winner) {      status = `Winner: ${winner}`;    } else {      status = `Next player: ${this.state.xIsNext ? "X" : "O"}`;    }
    return (      <div className="game">        <div className="game-board">          <Board            squares={current.squares}            onClick={(i) => {              this.handleClick(i);            }}          />        </div>        <div className="game-info">          <div>{status}</div>          <ol>{moves}</ol>        </div>      </div>    );  }}
// eslint-disable-next-line react/no-deprecatedReact.render(<App />, document.getElementById("root"));

我还在GitHub中添加了一个TypeScript版本的Mini-React（https://github.com/islizeqiang/mini-react/blob/master/src/mini-react.ts），如果你有兴趣，可以去看看。

END

— 推荐阅读 —
☞突发！大疆宣布暂停俄罗斯乌克兰业务
☞Safari 重返 Windows 系统？
☞华为：有质量地活下来！

—点这里↓↓↓记得关注标星哦~— 

一键三连 「分享」「点赞」「在看」

成就一亿技术人