React Router 6.4 架构决策:如何把 Remix 分层到 React Router 6.4 之上
本篇基于 React Router 仓库中的架构决策记录 0007-remix-on-react-router-6-4-0.md,完整还原 2022 年 8 月团队在 react-router@6.4.0 发布前夕做出的关键工程决策:如何以"绞杀者模式"(strangler pattern)把 Remix 框架的 Data API 层逐步替换为 React Router 6.4 新引入的 createStaticHandler 等能力。读完你会掌握:迁移问题的功能拆解方法(服务端数据加载 / 服务端渲染 / 客户端水合 / 客户端数据加载四个切面)、feature-flag 双跑断言的灰度迁移手法,以及该决策在当前仓库源码中的最终落地形态。
一、背景:为什么要在 6.4.0 之后动 Remix 的地基
该决策记录(Date: 2022-08-16,Status: accepted)的起点是 0005-remixing-react-router.md 中提出的"Remixing React Router"计划——把 Remix 的 Data API(路由匹配、loader/action 调度、错误边界等)下沉合并进 react-router 核心库。到写这份 ADR 时,合并工作已基本完成,react-router@6.4.0 即将发布。
此时出现了一个明显的"冗余":Remix 自身的运行时里还保留着一整套处理 Data API 的旧代码(请求分发、loader 执行、边界追踪等)。ADR 的核心目标非常直接:
把 Remix 分层(layer)到最新版 React Router 之上,从而可以删除 Remix 中大量处理 Data API 的重复代码。
ADR 同时强调这不是一次"big-bang merge"(一次性大重构),而是要设计可迭代、可回滚的渐进式实施方案。
二、迁移目标拆解:四个"功能切面"及其部署约束
ADR 从"迭代发布"视角把问题拆成 4 个独立的功能方面:
- Server data loading(服务端数据加载)
- Server react component rendering(服务端 React 组件渲染)
- Client hydration(客户端水合)
- Client data loading(客户端数据加载)
四者之间存在明确的依赖关系,这是制定部署节奏的依据:
- (1) 可以独立实现并独立部署——它只涉及服务端运行时,不依赖客户端代码同步变化;
- (2) 和 (3) 必须一起做——因为 SSR 产出的 HTML 上下文(contexts/components)必须与客户端水合时读取的上下文严格匹配,网络两侧的 React 树结构不能"半新半旧";
- (4) 几乎"免费"得到——一旦 (3) 中客户端创建路由时把 loaders/actions 挂了上去,客户端数据加载能力自然随之而来。
这个拆解直接决定了后文"先服务端、后渲染层"的推进顺序。
三、高层决策:四步走
ADR 的 Decision 部分给出了高层推进路线:
- SSR 数据加载迁移
- 更新
handleResourceRequest,在 feature flag 之后改用createStaticHandler- 目标:尽可能让单元测试与集成测试同时断言新旧两条流程
- 以同样方式更新
handleDataRequest - 以同样方式更新
handleDocumentRequest,确认所有单测和集成测试通过 - 把新的
RemixContext数据写入EntryContext,并移除旧流程
- 更新
- 对
@remix-run/server-runtime的改动观察稳定后再部署 @remix-run/react的改动放在一个短生命周期的 feature 分支中推进- 先做不带水合的服务端渲染(用
RemixContext替换EntryContext) - 再接客户端水合
- 最后补上向后兼容层
- 先做不带水合的服务端渲染(用
- 对
@remix-run/react的改动观察稳定后再部署
四、改动落点:两个包、一道"网络鸿沟"
ADR 指出需要改动的两个主要区域:
@remix-run/server-runtime中服务端请求处理(主要在server.ts文件);@remix-run/react中客户端水合 + 路由(主要在components.ts、server.ts、browser.ts文件)。
关键洞察是:这两个区域被网络(network chasm)天然隔开。服务端渲染出的 HTML 与客户端 hydration 是异步交接的,因此两侧可以各自独立实现、独立小步合并、独立开发,出问题时的回滚成本也更低——这是整份 ADR 能够"不做大爆炸式合并"的根本原因。
五、为什么先做服务端数据获取迁移
ADR 给出了两个明确理由:
- 改动面更小——新方案本质上只需要对接一个新 API:
createStaticHandler; - 更容易做成 feature-flag 形式——服务端代码不受 bundle 体积约束,可以放心地在代码里保留"新旧双跑"的对照逻辑。
在此基础上,ADR 选择了绞杀者模式(strangler pattern):保留旧流程不动,在新分支逻辑中用 flag 开关双跑新流程,并通过断言证明新方案与旧方案功能等价;等建立起足够信心后,再删除旧代码和 flag 条件。
5.1 双跑对照的伪代码(ADR 原文示例)
ADR 给出的示例:flag 初始提交为 false,本地开发和测试中切换为 true;一旦新静态处理器(static handler)产出的 SSR 数据与旧流程不一致,就抛出异常:
// Runtime-agnostic flag to enable behavior, will always be committed as
// `false` initially, and toggled to true during local dev
const ENABLE_REMIX_ROUTER = false;
async function handleDocumentRequest({ request }) {
const appState = {
trackBoundaries: true,
trackCatchBoundaries: true,
catchBoundaryRouteId: null,
renderBoundaryRouteId: null,
loaderBoundaryRouteId: null,
error: undefined,
catch: undefined,
};
// ... do all the current stuff
const serverHandoff = {
actionData,
appState: appState,
matches: entryMatches,
routeData,
};
const entryContext = {
...serverHandoff,
manifest: build.assets,
routeModules,
serverHandoffString: createServerHandoffString(serverHandoff),
};
// If the flag is enabled, process the request again with the new static
// handler and confirm we get the same data on the other side
if (ENABLE_REMIX_ROUTER) {
const staticHandler = unstable_createStaticHandler(routes);
const context = await staticHandler.query(request);
// Note: == only used for brevity ;)
assert(entryContext.matches === context.matches);
assert(entryContext.routeData === context.loaderData);
assert(entryContext.actionData === context.actionData);
if (catchBoundaryRouteId) {
assert(appState.catch === context.errors[catchBoundaryRouteId]);
}
if (loaderBoundaryRouteId) {
assert(appState.error === context.errors[loaderBoundaryRouteId]);
}
}
}
注意断言覆盖的四个维度:matches(路由匹配)、routeData(loader 数据)、actionData(action 数据)、以及按边界路由 id 索引的 errors(catch 边界与 error 边界各自对应)。这正是"功能等价"验收的最小完备集。
5.2 服务端的进一步迭代切分
服务端内部还可以再细分:handleResourceRequest、handleDataRequest、handleDocumentRequest 三者可以独立实现(也可以独立发布),且按这个顺序推进恰好从简单到复杂。
5.3 实施细节与注意事项(ADR Notes)
ADR 对 flag 方案补充了两个工程细节:
- 不能用
process.env——被改动的代码是 runtime-agnostic 的,所以先用server.ts里的本地硬编码变量,规避 runtime 特定的环境变量问题; - 测试需要各自的 flag 副本——例如存在"某路由 loader 只被调用一次"的单元测试,flag 开启后 loader 会被调用两次(新旧流程各一次),测试断言需要按 flag 做条件化;
entry.server.ts传递的remixContext形状会变化——团队将其视为不透明的(opaque)API,因此不认为这是 breaking change。
5.4 具体实现步骤(ADR Implementation approach)
- 用
createHierarchicalRoutes构建 RR 的DataRouteObject实例(ADR 指向brophdawg11/rrr分支中的createStaticHandlerDataRoutes); - 每个请求用
unstable_createStaticHandler创建 static handler; handleResourceRequest——"应该非常简单",因为它只需把queryRoute返回的原始Response透传回去;handleDataRequest——比资源路由稍复杂,需要处理错误序列化,并把重定向(redirect)处理为客户端的 204 响应;handleDocumentRequest——最大的一个。它最终能简化很多,但不匹配点也最集中:- 需要把 query 的"错误"映射到 Remix 对 error/catch 的定义上,并相应向上冒泡。举例:URL
/a/b/c中,若 C 导出了CatchBoundary但没有ErrorBoundary,它会被表示为hasErrorBoundary=true的DataRouteObject(因为@remix-run/router不做区分);若 C 的 loader 抛出错误,router 会在 C 的errorElement处"接住"它,但随后需要把它重新向上冒泡到最近的ErrorBoundary(ADR 指向分支中的differentiateCatchVersusErrorBoundaries); - 新的
RemixContext:包含manifest、routeModules、staticHandlerContext、serverHandoffString;创建时与EntryContext并存并断言两者值一致; - 若渲染过程中捕获到错误,边界信息已被记录在
staticHandlerContext上,可以用getStaticContextFromError生成第二遍渲染所需的新上下文(注意需要再次调用differentiateCatchVersusErrorBoundaries)。
- 需要把 query 的"错误"映射到 Remix 对 error/catch 的定义上,并相应向上冒泡。举例:URL
六、决策在当前仓库源码中的落地验证
ADR 是 2022 年的规划,而当前仓库中这些设计已经演进为 React Router(框架模式)的标准服务端运行时,可以直接在源码中逐一印证。
1. flag 双跑消失,新流程成为唯一流程。 在 packages/react-router/lib/server-runtime/server.ts 中,createRequestHandler 内部通过 derive() 一次性完成 ADR 步骤 1 中规划的接线(L63-L71):
function derive(build: ServerBuild, mode?: string) {
let dataRoutes = createStaticHandlerDataRoutes(build.routes);
// ...
let staticHandler = createStaticHandler(dataRoutes, {
basename: build.basename,
mapRouteProperties: defaultMapRouteProperties,
instrumentations: build.entry.module.instrumentations,
future: build.future,
});
// ...
}
ADR 中"先 handleResourceRequest、再 handleDataRequest、最后 handleDocumentRequest"的顺序,如今体现为统一的请求分派逻辑(L226-L300):以 .data 结尾的请求走 handleSingleFetchRequest,叶子路由没有 default 导出且没有 ErrorBoundary 时走 handleResourceRequest,其余走 handleDocumentRequest。
2. createHierarchicalRoutes 的设想落地为 createStaticHandlerDataRoutes。 ADR 要求把路由 manifest 转换为 RR 的 DataRouteObject 实例,当前实现位于 packages/react-router/lib/server-runtime/routes.ts(L48-L143)。其中值得注意的一处细节是 ErrorBoundary 的映射(L121-L125):
// Always include root due to default boundaries
ErrorBoundary:
route.id === "root" || route.module.ErrorBoundary != null
? () => null
: undefined,
即根路由永远带上占位错误边界——这正是 ADR 中"router 不区分 catch/error 边界,需要在数据层标记后重新冒泡"方案的直接产物:边界信息在构建 DataRouteObject 时就被打上标记,供后续错误路由使用。
3. handleDocumentRequest 与 handleResourceRequest 的形态与 ADR 描述一致。 资源路由路径确实"非常简单"——server.ts 中 handleResourceRequest 调用 staticHandler.queryRoute(request, { routeId, ... }),对结果是 Response 就透传、是字符串就包成 Response、否则 Response.json;错误处理分支中还会把 loader/action 抛出 Response 的情况原样返回(L697-L720),与 ADR "把 queryRoute 的原始 Response 回传"的设想吻合。文档请求路径则调用 staticHandler.query(request, { requestContext, generateMiddlewareResponse, ... })(L488-L503),拿到 StaticHandlerContext 后组装 EntryContext 交给 entry.server.tsx 的默认导出函数渲染。
4. getStaticContextFromError 的二次渲染路径被完整保留。 ADR 指出:渲染中出错时,用 getStaticContextFromError 生成包含"错误在正确边界上"的新上下文再渲染一遍。当前实现正是这样做的(server.ts):
// Get a new StaticHandlerContext that contains the error at the right boundary
context = getStaticContextFromError(
staticHandler.dataRoutes,
context,
errorForSecondRender,
);
随后重新生成 entryContext(含新的 staticHandlerContext 与 serverHandoffString/serverHandoffStream),再次调用 handleDocumentRequestFunction;若第二遍仍失败,则返回最终的 500 兜底响应。该函数的行为在测试 packages/react-router/tests/router/ssr-test.ts 中有专门的 describe("getStaticContextFromError") 用例覆盖,验证了错误被放到正确的路由边界上。
5. 新 API 的公开文档。 ADR 中写作 unstable_createStaticHandler 的 API,如今已是稳定公开 API,见 docs/api/data-routers/createStaticHandler.md,用于为给定路由树创建 query/queryRoute 等能力——这正是当时"只需对接一个新 API"所指的接口。
七、第二步:UI 渲染层的整体替换与兼容策略
ADR 认为 @remix-run/react 的渲染层是一次"更彻底的整体替换(whole-sale replacement)",且附带向后兼容负担,所以排在第二步。但实现仍可迭代,只是不能部署迭代——SSR 与客户端 HTML 必须保持同步(相关 hooks 必须读自同一套上下文)。推进顺序:先让 SSR 文档在没有 <Scripts/> 的情况下正确渲染,再加入客户端水合。
主要改动包括:
- 移除
RemixEntry及其上下文,改用一个包裹DataStaticRouter/DataBrowserRouter的新RemixContext.Provider:- 该上下文只需要 Remix 特有的部分(
manifest、routeModules); - 旧
RemixEntryContext中的其余内容全部转移到 router 的上下文中(SSR 期间则是staticHandlerContext);
- 该上下文只需要 Remix 特有的部分(
- 完全冗余、可直接改为从
react-router-dom重导出的组件:Form、useFormAction、useSubmit、useMatches、useFetchers; - 大部分冗余但需要保留 Remix 特有行为的组件(需要调整):
Link、useLoaderData、useActionData、useTransition、useFetcher。
向后兼容要点清单
ADR 逐条列出了必须保留的兼容行为,这也是评估"两个 router 是否真正等价"的验收清单:
useLoaderData/useActionData需要保留泛型(当时的react-router中它们还没有泛型);useTransition需要补上submission和type字段——因为<Form method="get">在react-router-dom中不再进入 "submitting" 状态,Remix 语义下必须保留;useFetcher需要补上type;unstable_shouldReload被shouldRevalidate取代——ADR 还留了一个开放问题:"如果两个都存在,能否优先用shouldRevalidate而兼容旧写法?"- error 边界与 catch 边界的区分语义必须保持;
Request.signal——继续以独立的signal参数传递(对应 ADR 伪代码中 loader 可拿到的取消信号)。
八、小结:一份 ADR 如何约束一次大重构
回看 decisions/0007-remix-on-react-router-6-4-0.md 的方法论,它对任何"在稳定基线上替换底层框架"的任务都有参考价值:
- 按部署边界拆解:利用"网络鸿沟"把问题切成服务端/客户端两个可独立回滚的战场,并把"必须一起上"的部分(SSR + hydration)明确标注;
- 用 strangler pattern 建立等价性证据:feature flag + 双跑 + 强断言(matches/loaderData/actionData/errors 四维对照),让"删旧代码"成为一个有测试背书的低风险动作;
- 从简单到复杂排序:
handleResourceRequest→handleDataRequest→handleDocumentRequest,复杂度递增的同时风险也递增,先易后难能尽早暴露映射不匹配的问题; - 兼容清单前置:在动 UI 层之前就列出泛型、状态字段、API 更名等全部兼容点,避免渲染层替换变成黑盒。
从当前仓库源码看(packages/react-router/lib/server-runtime/server.ts、routes.ts 与 __tests__/router/ssr-test.ts),这套方案已被完整执行:flag 双跑阶段结束后,createStaticHandler 驱动的 query/queryRoute 流程成为服务端运行的唯一路径,而 ADR 中预留的 getStaticContextFromError 二次渲染机制、边界标记策略,至今仍是框架模式服务端渲染的核心骨架。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0623
Hy4-previewHy4 preview 是由腾讯混元团队研发的新一代混合专家(MoE)旗舰模型。模型总参数量 770B,每个 token 激活 49B,主干共包含78层,第一层采用标准 FFN,其余 77 层均为 MoE 结构,每层包含 256 个路由专家与 1 个共享专家,每个 token 激活 top-8 路由专家及共享专家。主干之外原生内置 1 层 MTP(总参数量 10B,激活 0.7B)以支持投机解码。Python00
GLM-5.3GLM-5.3 与 GLM-5.2 使用相同的基座模型——所有提升均来自后训练。与 GLM-5.2 相比,它在复杂编程和长程任务上的表现显著提升。Jinja00
GLM-5.3-FlashGLM-5.3-Flash (320B-A18B),是GLM-5系列的首个原生多模态模型。320B总参数,能力超过GLM-5.2Jinja00
Spark-X2.5-4BSpark-X2.5-4B 旨在让强大的 AI 更实用、更高效、更易获得。在广泛日常任务中表现强劲,涵盖对话、写作、翻译、推理、编码、工具调用以及智能体工作流,并在同等规模的开源模型中取得领先成绩。Spark-X2.5 将面向效率的架构与最高 1M tokens 的原生上下文窗口相结合,并支持 200 多种语言。Python00
Spark-X2.5-1.7BSpark-X2.5-1.7B 旨在让强大的 AI 更加实用、高效且易于获取。这些模型在广泛的日常任务中表现出色,涵盖对话、写作、翻译、推理、编程、工具调用和智能体工作流,并在同等规模的开源模型中取得领先结果。Spark-X2.5 将面向效率的架构与最高 1M tokens 的原生上下文窗口相结合,并支持 200 多种语言。Python00