
> 本篇是 Rspack 源码解析系列第八篇。经过图优化后，Rspack 依次执行 `ModuleIdsPass`、`ChunkIdsPass`、`AssignRuntimeIdsPass` 与 `OptimizeCodeGenerationPass`。它们将内部图里的稳定 key 转换为生成代码可使用的 ID，并在真正 code generation 前完成最后一轮面向生成的优化。

## 前言：内部 key 不等于输出 ID

Rspack 内部会使用 `ModuleIdentifier`、`ChunkUkey` 这样的 key 来索引结构。它们服务于 Rust 内存中的图操作；最终 JavaScript 却需要能序列化的模块 ID、Chunk ID 和 runtime ID：

```text
ModuleIdentifier("/abs/src/a.ts") --内部索引-->
ModuleId("123")                 --写入 bundle-->
__webpack_require__(123)
```

把两者分开有两个好处：内部索引不受输出命名策略约束；生产构建可以选择 deterministic、named 等不同 ID 插件，而图算法无需改动。

## ModuleIdsPass：只给真正需要的模块分配 ID

源码先筛选：

```rust
fn get_modules_needing_ids(compilation: &Compilation, ids: &ModuleIdsArtifact) -> IdentifierSet {
  compilation.get_module_graph().modules()
    .map(|(_, module)| module)
    .filter(|m| {
      m.need_id()
        && ChunkGraph::get_module_id(ids, m.identifier()).is_none()
        && chunk_graph.get_number_of_module_chunks(m.identifier()) != 0
    })
    .map(|m| m.identifier())
    .collect()
}
```

三个条件很关键：模块本身需要 ID、尚未分配过、并且确实属于至少一个 Chunk。被 Tree Shaking 移除的模块不会占用输出 ID。

随后会依次调用 `before_module_ids` 和 `module_ids` Hook。前者允许插件预先保留自定义 ID，后者执行完整策略。`ModuleIdsArtifact` 单独保存分配结果，因此增量编译可复用未受影响模块的 ID。

## ChunkIdsPass：给将要加载的文件身份

`ChunkIdsPass` 的结构几乎相同，只是处理 `chunk_by_ukey` 和 `named_chunk_ids_artifact`：

```rust
compilation.compilation_hooks.chunk_ids.call(
  compilation,
  &mut chunk_by_ukey,
  &mut named_chunk_ids_artifact,
  &mut diagnostics,
).await?;
```

Chunk ID 往往会进入文件名与异步加载表达式。例如 `import()` 的 runtime 代码需要根据一个 Chunk ID 查找对应资源。稳定 ID 是长期缓存的重要前提：无关模块变化时，未变 Chunk 的名称和内容不应无故变化。

## AssignRuntimeIdsPass：入口 runtime 如何找到自己

runtime 是一组“执行这个入口所需的运行时能力”的标识，并不等同于 Chunk。实现会遍历普通入口和异步入口：

```rust
let runtime = entrypoint.kind.get_entry_options()
  .and_then(|options| match &options.runtime {
    Some(EntryRuntime::String(name)) => Some(name.to_owned()),
    _ => None,
  })
  .or_else(|| entrypoint.name().map(str::to_string));

chunk_graph.set_runtime_id(runtime, chunk.id().map(str::to_string));
```

优先使用 `entry.runtime` 配置，未设置时回退为 entrypoint name；随后取该 entrypoint 的 runtime chunk，并在 `ChunkGraph` 中保存映射。

```text
Entrypoint(main)
  runtime name: "main"
  runtime chunk id: "runtime~main"
  -> ChunkGraph.runtime_id["main"] = "runtime~main"
```

这份映射会在生成 runtime 和 asset 名称时被消费。

## OptimizeCodeGeneration：代码生成前的最后一次图调整

最后一个 Pass 仍然把 `BuildModuleGraphArtifact` 与 `ExportsInfoArtifact` 取出交给 Hook：

```rust
let mut module_graph = compilation.build_module_graph_artifact.steal();
let mut exports = compilation.exports_info_artifact.steal();
compilation.compilation_hooks.optimize_code_generation.call(
  compilation, &mut module_graph, &mut exports, &mut diagnostics
).await?;
```

和前面的图优化不同，这里关注“如何生成代码”而不是“模块归属在哪个 Chunk”。比如最终导出使用状态、模块拼接的生成细节，都必须在 `Module::code_generation()` 之前确定。代码一旦生成，改变这些图信息就会导致缓存失效或生成结果不一致。

## Rust 角度：策略与存储分离

这四个 Pass 有一个重复的结构：

```text
Core：筛选对象、持有 Artifact、定义 Hook 时序
Plugin：决定 named / deterministic / natural 等具体策略
Artifact：保存本轮或跨增量构建可复用的结果
```

这种分离避免 `Compilation` 依赖每种 ID 算法，也使 JS 侧的兼容插件可以映射到 Rust Hook。对 Rust 学习而言，这是典型的“稳定 trait/Hook 边界 + 可替换策略实现”。

## 这一篇应该带走什么

1. `Identifier`/`Ukey` 是内部图 key，Module/Chunk ID 是最终输出身份；
2. ID 分配会跳过已移除或不在任何 Chunk 中的模块；
3. runtime ID 将入口名（或配置）映射到 runtime chunk 的输出 ID；
4. `OptimizeCodeGenerationPass` 是图状态进入代码生成前的最后稳定点；
5. Artifact 保存状态，Hook 提供策略，Core 负责调度。

## 写在最后

第五篇已经介绍过 `CodeGenerationPass` 怎样生成模块源码。模块生成完后，还不知道每个 Chunk 需要哪些 runtime helper。下一篇进入 `RuntimeRequirementsPass`，看 Rspack 如何把模块声明的能力需求向上汇总，并最终加入 RuntimeModule。

本篇是 Rspack 源码解析系列第八篇。经过图优化后，Rspack 依次执行 ModuleIdsPass、ChunkIdsPass、AssignRuntimeIdsPass 与 OptimizeCodeGenerationPass。它们将内部图里的稳定 key 转换为生成代码可使用的 ID，并在真正 code generation 前完成最后一轮面向生成的优化。

Rspack 源码解析（八）：Module、Chunk 与 Runtime ID

人工智能

Rspack源码解析第八篇：经过图优化后，依次执行ModuleIdsPass、ChunkIdsPass、AssignRuntimeIdsPass与OptimizeCodeGenerationPass，将内部Key转换为输出ID。ModuleIdsPass筛选需ID模块，跳过TreeShaking移除项；ChunkIdsPass稳定文件身份；AssignRuntimeIdsPass映射入口runtime；OptimizeCodeGenerationPass在代码生成前做最后图调整，确保缓存一致性。

代码解释

JavaScript

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

Rspack源码解析第八篇：经过图优化后，依次执行ModuleIdsPass、ChunkIdsPass、AssignRuntimeIdsPass与OptimizeCodeGenerationPass，将内部Key转换为输出ID。ModuleIdsPass筛选需ID模块，跳过TreeShaking移除项；ChunkIds...

Rspack 源码解析（八）：Module、Chunk 与 Runtime ID-腾讯云开发者社区-腾讯云

Rspack 源码解析（八）：Module、Chunk 与 Runtime ID

Rspack 源码解析（八）：Module、Chunk 与 Runtime ID

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐