React Compiler

本页面将为你介绍新的实验性 React Compiler,以及如何成功试用。

正在建设中

这些文档仍在不断完善中。更多文档可在 React Compiler 工作组代码库 中找到,并在这些文档更加稳定时被整合进来。

你将会学习到

  • 开始使用 React Compiler
  • 安装 React Compiler 和 ESLint 插件
  • 疑难解答

注意

React Compiler 是一个新的实验性编译器,我们已经开源,以便从社区中获得早期反馈。它仍然存在一些问题,还没有完全准备好投入生产。

React Compiler 需要 React 19 RC。如果你无法升级到 React 19,你可以尝试 userspace 实现缓存功能,如 工作组 中所述。但请注意,这并不推荐,你应尽可能升级到 React 19。

React Compiler 是一个新的实验性编译器,我们已经开源以获得社区的早期反馈。它是一个仅在构建时使用的工具,可以自动优化你的 React 应用程序。它可以与纯 JavaScript 一起使用,并且了解 React 规则,因此你无需重写任何代码即可使用它。

编译器还包括一个 ESLint 插件,可以在你的编辑器中直接显示编译器的分析结果。该插件独立运行,即使你的应用程序中没有使用编译器也可以使用。我们建议所有 React 开发人员使用这个 ESLint 插件来帮助提高代码库的质量。

编译器是做什么的?

为了优化应用程序,React Compiler 会自动对你的代码进行记忆化处理。你可能已经熟悉了像 useMemouseCallbackReact.memo 这样的 API,通过这些 API,你可以告诉 React,如果输入没有发生变化,应用程序的某些部分不需要重新计算,从而减少更新时的工作量。虽然这些功能很强大,但很容易忘记应用记忆化或者错误地应用它们。这可能会导致更新效率低下,因为 React 必须检查 UI 中没有任何有意义的更改的部分。

编译器利用其对 JavaScript 和 React 规则的了解,自动对组件和钩子中的值或值组进行记忆化。如果它检测到规则的破坏,它将自动跳过那些组件或钩子,并继续安全地编译其他代码。

如果你的代码库已经非常好地进行了记忆化处理,你可能不会指望通过编译器看到主要的性能改进。然而,在实践中,手动正确记忆化导致性能问题的依赖关系是很棘手的。

深入探讨

React Compiler 添加了什么样的记忆?

React 编译器的初始版本主要专注于改善更新性能(重新渲染现有组件),因此它专注于以下两种用例:

  1. 跳过组件的级联重新渲染
    • 重新渲染 <Parent /> 会导致其组件树中的许多组件重新渲染,即使只有 <Parent /> 发生了变化
  2. 从 React 外部跳过昂贵计算
    • 例如,在需要该数据的组件或钩子内部调用 expensivelyProcessAReallyLargeArrayOfObjects()

优化重新渲染

React 允许你将你的 UI 表达为它们当前状态的函数(更具体地说:它们的属性、状态和上下文)。在当前的实现中,当组件的状态发生变化时,React 将重新渲染该组件及其所有子组件——除非你使用 useMemo()useCallback()React.memo() 应用了某种形式的手动记忆。例如,在以下示例中,每当 <FriendList> 的状态发生变化时,<MessageButton> 将重新呈现:

function FriendList({ friends }) {
const onlineCount = useFriendOnlineCount();
if (friends.length === 0) {
return <NoFriends />;
}
return (
<div>
<span>{onlineCount} online</span>
{friends.map((friend) => (
<FriendListCard key={friend.id} friend={friend} />
))}
<MessageButton />
</div>
);
}

在 React Compiler Playground 中查看此示例

React Compiler 会自动应用等效的手动记忆,确保只有应用的相关部分在状态发生变化时重新渲染,这有时被称为“细粒度反应”。在上面的例子中,React Compiler 确定 <FriendListCard /> 的返回值即使在 friends 发生变化时也可以重用,并且可以避免重新创建此 JSX,避免在 onlineCount 变化时重新渲染 <MessageButton>

昂贵计算也会被记忆

编译器还可以自动记忆渲染过程中使用的昂贵计算:

// 由于这不是组件或钩子,React Compiler 不会进行记忆
function expensivelyProcessAReallyLargeArrayOfObjects() { /* ... */ }

// 由 React Compiler 进行了记忆化,因为这是一个组件
function TableContainer({ items }) {
// 这个函数调用将被记忆:
const data = expensivelyProcessAReallyLargeArrayOfObjects(items);
// ...
}

在 React Compiler Playground 中查看此示例

但是,如果 expensivelyProcessAReallyLargeArrayOfObjects 确实是一个昂贵的函数,你可能需要考虑在 React 之外实现它自己的记忆,因为:

  • React Compiler 只记住 React 组件和钩子,而不是每个函数
  • React Compiler 的记忆不会在多个组件或钩子之间共享

因此,如果在许多不同的组件中使用 expensivelyProcessAReallyLargeArrayOfObjects,即使传递相同的 items,那昂贵的计算也会被重复运行。我们建议先进行 性能分析,看看是否真的那么昂贵,然后再使代码更加复杂。

编译器假设什么?

React Compiler 假设你的代码:

  1. 是有效的,语义化的 JavaScript
  2. 在访问可空/可选值和属性之前,测试它们是否已定义(例如,如果使用 TypeScript,则启用 strictNullChecks),即:if (object.nullableProperty) { object.nullableProperty.foo } 或者使用可选链 object.nullableProperty?.foo
  3. 遵循 React 规则

React Compiler 可以静态验证 React 的许多规则,并且在检测到错误时会安全地跳过编译。要查看错误,我们建议同时安装 eslint-plugin-react-compiler

我应该尝试一下编译器吗?

请注意,编译器仍处于实验阶段,存在许多不完善之处。虽然它已经在 Meta 等公司的生产环境中使用过,但将编译器应用于你的应用程序生产环境将取决于你的代码库的健康状况以及你是否遵循了 React的规则

你现在不必急着使用编译器。在采用它之前等到它达到稳定版本是可以的。 然而,我们确实赞赏在你的应用程序中进行小型实验,以便你可以向我们 提供反馈,帮助使编译器更好。

开始

除了这些文档之外,我们还建议查看 React Compiler 工作组,以获取有关编译器的更多信息和讨论。

检查兼容性

在安装编译器之前,你可以先检查你的代码库是否兼容:

Terminal
npx react-compiler-healthcheck@experimental

此脚本将:

  • 检查有多少个组件可以成功优化:越多越好
  • 检查 <StrictMode> 的使用情况:启用并遵循此功能意味着遵循 React 规则 的可能性更高
  • 检查不兼容的库使用情况:与编译器不兼容的已知库

举个例子:

Terminal
Successfully compiled 8 out of 9 components. StrictMode usage not found. Found no usage of incompatible libraries.

安装 eslint-plugin-react-compiler

React Compiler 还为 ESLint 插件提供支持。ESLint 插件可以独立于编译器使用,这意味着即使你不使用编译器,也可以使用 ESLint 插件。

Terminal
npm install eslint-plugin-react-compiler@experimental

然后,将其添加到你的 ESLint 配置中:

module.exports = {
plugins: [
'eslint-plugin-react-compiler',
],
rules: {
'react-compiler/react-compiler': "error",
},
}

ESLint 插件将在编辑器中显示任何违反 React 规则的行为。当它这样做时,这意味着编译器跳过了优化该组件或钩子。这是完全可以的,编译器可以恢复并继续优化代码库中的其他组件。

你不必立即修复所有的违反 ESLint 规则的代码。 你可以按照自己的节奏来处理它们,以增加被优化的组件和钩子的数量,但在你可以使用编译器之前并不需要修复所有问题。

将编译器应用到你的代码库

现有项目

编译器旨在编译遵循 React 规则的功能组件和钩子。它还可以处理违反这些规则的代码,通过跳过这些组件或钩子来终止执行。然而,由于JavaScript的灵活性,编译器无法捕捉到每一个可能的违规行为,可能会出现错误的负面编译:也就是说,编译器可能会意外地编译出一个违反 React 规则 的组件或钩子,这可能导致未定义的行为。

因此,要在现有项目中成功采用编译器,我们建议你先在项目代码中的一个小目录中运行它。你可以通过将编译器配置为仅在一组特定的目录上运行来执行此操作:

const ReactCompilerConfig = {
sources: (filename) => {
return filename.indexOf('src/path/to/dir') !== -1;
},
};

在罕见的情况下,你还可以使用 compilationMode: "annotation" 选项将编译器配置为以 “opt-in” 模式运行。这样编译器将只编译带有 "use memo" 指令的组件和钩子。请注意,annotation 模式是为了帮助早期采用者而设立的临时模式,我们并不打算长期使用 "use memo" 指令。

const ReactCompilerConfig = {
compilationMode: "annotation",
};

// src/app.jsx
export default function App() {
"use memo";
// ...
}

当你对编译器的推出更有信心时,你也可以将覆盖范围扩展到其他目录,并逐渐将其推出到整个应用程序。

新项目

如果你正在启动一个新项目,你可以在整个代码库上启用编译器,这是默认行为。

用法

Babel

Terminal
npm install babel-plugin-react-compiler@experimental

编译器包含一个 Babel 插件,你可以在构建流水线中使用它来运行编译器。

安装后,请将其添加到你的 Babel 配置中。请注意,编译器必须首先在流水线中运行。

// babel.config.js
const ReactCompilerConfig = { /* ... */ };

module.exports = function () {
return {
plugins: [
['babel-plugin-react-compiler', ReactCompilerConfig], // 必须首先运行!
// ...
],
};
};

babel-plugin-react-compiler 应该在其他 Babel 插件之前运行,因为编译器需要输入源信息进行声音分析。

Vite

如果你使用 Vite,你可以将插件添加到 vite-plugin-react 中:

// vite.config.js
const ReactCompilerConfig = { /* ... */ };

export default defineConfig(() => {
return {
plugins: [
react({
babel: {
plugins: [
["babel-plugin-react-compiler", ReactCompilerConfig],
],
},
}),
],
// ...
};
});

Next.js

Next.js 有一个实验性配置来启用 React 编译器。它会自动确保 Babel 已经配置了 babel-plugin-react-compiler

  • 安装使用 React 19 RC 版本的 Next.js canary
  • 安装 babel-plugin-react-compiler
Terminal
npm install next@canary babel-plugin-react-compiler@experimental

然后在 next.config.js 中配置实验选项:

// next.config.js
/** @type {import('next').NextConfig} */
const nextConfig = {
experimental: {
reactCompiler: true,
},
};

module.exports = nextConfig;

使用实验选项可确保在以下方面支持 React Compiler:

  • App Router
  • Pages Router
  • Webpack (default)
  • Turbopack (通过 --turbo 接入)

Remix

安装 vite-plugin-babel, 并将编译器的 Babel 插件添加到其中:

Terminal
npm install vite-plugin-babel
// vite.config.js
import babel from "vite-plugin-babel";

const ReactCompilerConfig = { /* ... */ };

export default defineConfig({
plugins: [
remix({ /* ... */}),
babel({
filter: /\.[jt]sx?$/,
babelConfig: {
presets: ["@babel/preset-typescript"], // 如果你使用 TypeScript
plugins: [
["babel-plugin-react-compiler", ReactCompilerConfig],
],
},
}),
],
});

Webpack

你可以为 React Compiler 创建自己的 loader,就像这样:

const ReactCompilerConfig = { /* ... */ };
const BabelPluginReactCompiler = require('babel-plugin-react-compiler');

function reactCompilerLoader(sourceCode, sourceMap) {
// ...
const result = transformSync(sourceCode, {
// ...
plugins: [
[BabelPluginReactCompiler, ReactCompilerConfig],
],
// ...
});

if (result === null) {
this.callback(
Error(
`Failed to transform "${options.filename}"`
)
);
return;
}

this.callback(
null,
result.code,
result.map === null ? undefined : result.map
);
}

module.exports = reactCompilerLoader;

Expo

请参考 Expo 文档 应用程序中启用和使用 React Compiler。

Metro (React Native)

React Native 通过 Metro 使用 Babel,因此请参考 使用 Babel 部分的安装说明。

Rspack

请参考 Rspack 文档 以启用并在 Rspack 应用程序中使用 React Compiler。

Rsbuild

请参考 Rsbuild 文档 以在 Rsbuild 应用程序中启用和使用 React Compiler。

疑难解答

请先在 React Compiler Playground 上创建一个最小的可复现问题,并将其包含在你的错误报告中。你可以在 facebook/react 仓库中提交 issue。

你也可以通过申请成为成员,在 React Compiler 工作组中提供反馈意见。请查看 README 以获取更多加入详情。

(0 , _c) is not a function error

如果你没有使用 React 19 RC 及更高版本,则会发生这种情况。要解决此问题,请先 将你的项目升级到 React 19 RC

如果你无法升级到 React 19,你可以尝试根据 工作组 描述的缓存功能的用户空间实现。但是,请注意这并不建议,你应尽快升级到React 19。

我如何知道我的组件已被优化?

React 开发工具(v5.0 及以上版本)对 React Compiler 有内置支持,并会在已被编译器优化的组件旁边显示“Memo ✨”徽章。

编译后某些内容无法正常工作

如果你安装了 eslint-plugin-react-compiler ,编译器将在你的编辑器中显示任何违反 React 规则的情况。当它这样做时,意味着编译器跳过了对该组件或钩子的优化。这完全没问题,并且编译器可以恢复并继续优化你代码库中的其他组件。你不必立即修复所有的违反 ESLint 规则的代码。 你可以按照自己的节奏来处理它们,以增加被优化的组件和钩子的数量。

然而,由于 JavaScript 的灵活和动态性质,不可能全面检测到所有情况。在这些情况下,可能会出现错误和未定义的行为,例如无限循环。

如果你的应用在编译后无法正常工作,并且你没有看到任何 ESLint 错误,编译器可能错误地编译了你的代码。为了确认这一点,尝试通过积极选择你认为可能相关的任何组件或钩子来解决问题,通过 "use no memo" 指令

function SuspiciousComponent() {
"use no memo"; // 选择不让此组件由 React Compiler 进行编译
// ...
}

注意

"use no memo"

"use no memo" 是一个临时的逃避机制,它允许你选择不让组件和钩子由 React Compiler 进行编译。此指令不像例如 "use client" 那样长期存在。

除非绝对必要,否则不建议使用这个指令。一旦你选择退出一个组件或钩子,它将永久退出,直到指令被移除。这意味着即使你修复了代码,编译器仍然会跳过编译它,除非你移除指令。

当你修复错误时,请确认删除退出指令是否会使问题重新出现。然后使用 React Compiler Playground 与我们分享一个错误报告(你可以尝试将其减少到一个小的重现,或者如果是开源代码,你也可以直接粘贴整个源代码),这样我们就可以识别并帮助解决问题。

其他问题

请查阅 https://github.com/reactwg/react-compiler/discussions/7