《React 编译器到底做了什么》

Sat, 10 Oct 2026 23:31:54 GMT

《React 编译器到底做了什么》

标签：
#前端工程 #编译器优化 #ReactCompiler #组件内联 #细粒度更新 #状态选择器 #性能基准测试

总结：
作者 Jimmy Miller 通过"边做边讲"的方式拆解 React Compiler 的工作原理：它把组件代码转成基于 memo cache 槽位的低级形式，绕开 Hooks 规则限制自动做记忆化。在此之上，他手工原型化了一系列激进优化（组件内联、Block DOM、列表缓存、Context 选择器、外部 store 选择器等），在 13 项微基准测试中最高取得 51 倍加速，但强调这些都只是探索性原型，不代表 React 官方应该采纳。

文章要点：
1. React Compiler 的输出特征是把 JSX 构造包进 _c() 缓存槽位中，首次渲染写入缓存，后续渲染直接复用，本质上相当于给所有内容自动套上了 memo。
2. 编译产物用的是比 Hooks 更底层的 API，可以在条件返回之后做缓存，绕开"useMemo 不能写在条件分支后"这类 Hooks 规则的限制，作者认为这个啰嗦的形式正是理想的编译目标。
3. 编译器内部先把代码转成 SSA（静态单赋值）形式，再跑大量 pass：有的简化代码（如把 props.method() 拆成属性加载 + 普通调用），有的推断信息，有的做变换优化。
4. 作者尝试组件内联，结果反而更慢（1038 ms 对比编译器的 444 ms），因为内联破坏了 Row 组件自带的缓存边界；说明内联本身只是为后续优化铺路的前置步骤。
5. 借鉴 Million.js 的思路实现 Block DOM（静态/动态分离、按状态 diff 而非树 diff）后，追加 2000 行从 1038 ms 降到 164 ms，内联反而开始带来收益，因为静态边界变得更大了。
6. 列表选择优化借鉴 Solid 的 createSelector：记录选中值变化只影响"旧选中行"和"新选中行"，200 次选择从 250 ms 降到 5.4 ms；Context 细分选择器把 typing 更新场景从 80 ms 降到 11.7 ms。
7. 对 Zustand 这类外部 store，把 === 判断挪进 selector 内部这一小改动就能带来数倍提升，编译器完全可以自动完成这类分析（200 次选择从 311.5 ms 降到 48.9 ms）。
8. 作者反复强调：微基准测试的胜利不等于生产环境该采纳，真正的难点不在原型而在验证——理解真实负载、权衡内存代价、与生态和未来规划对齐；此外 SSR、hydration 等方向尚未触及。

URL：https://jimmyhmiller.com/what-does-the-react-compiler-even-do

Jimmy Miller

Can we Make React Faster using the React Compiler?

I prototyped a number of optimizations as a way to learn more about the React Compiler and got some significant improvements.

《让React Compiler接管Memoization后，我踩了哪些坑》

Mon, 06 Jul 2026 01:23:55 GMT

《让React Compiler接管Memoization后，我踩了哪些坑》

标签：#前端 #React #ReactCompiler #Memoization #NextJS #ReactHookForm

总结：

作者在生产级Next.js项目中启用React Compiler v1.0的真实踩坑记录。编译器确实能自动处理大部分memoization，但"大部分"这个词背后藏着不少陷阱：React Hook Form的watch()因内部可变状态导致实时预览冻结；Chart.js的点击处理器在移除useCallback后出现数据过时问题；DevTools的Memo徽章仅表示组件被"处理"而非"成功优化"。核心结论是：迁移不是一键操作，需要先升级eslint-plugin-react-hooks、在feature分支启用、用E2E测试覆盖，并保留那些跨越React边界的显式hook。

文章要点：

1. React Compiler的本质是Babel插件：它通过为每个组件预分配扁平缓存数组（内部hook _c）来实现比手写useMemo更细粒度的自动memoization，让你可以删掉大部分显式hook
2. React Hook Form的watch()直接翻车：启用编译器后，表单的实时预览完全冻结，原因是RHF依赖内部可变状态，编译器无法安全memoize。解决方案是用"use no memo"指令包裹useForm的调用
3. 有些useCallback真的删不得：Chart.js的点击处理器在移除useCallback后，高并发下偶尔引用旧数据。这不是编译器bug，而是编译器的memoization节奏与外部库（按引用注册回调）的预期不一致，最终选择保留useCallback并加注释说明
4. DevTools的Memo徽章会误导你：徽章只表示编译器"处理过"该组件，不代表优化成功。即使组件违反React规则（如直接修改props），徽章依然可能出现，真正没徽章的只有显式加了"use no memo"的组件
5. 迁移有明确的正确顺序：先升级eslint-plugin-react-hooks到v7+并修复lint错误，再在feature分支启用编译器，最后用Profiler和E2E测试验证，不要依赖Memo徽章作为正确性信号

URL：https://blog.logrocket.com/react-compiler-memoization-what-actually-broke/

LogRocket Blog

I let React Compiler handle memoization: Here's what actually broke - LogRocket Blog

Learn how to migrate a production Next.js app to React Compiler v1.0, including real breakages with React Hook Form, useMemo, useCallback, and DevTools tips.

ReactCompiler | 锤子前端

《React 编译器到底做了什么》

《让React Compiler接管Memoization后，我踩了哪些坑》