C++20 Module Partitions：拆分大模块时，别让编译器替你“猜”依赖

写过大型 C++ 项目的人都懂那种微妙的疲惫感：改一行 utils.h，整个项目重编译五分钟；想把一个千行模块拆开，又怕头文件嵌套失控、ODR 违规悄无声息地埋雷。C++20 的 module 确实带来了曙光，但很多人卡在了「怎么合理切分」这一步——尤其是面对 module partition 时，容易误以为它只是“把 .cpp 换成 .ixx”，结果反而让构建更难维护。

其实，module partition 的核心价值，从来不是物理拆文件，而是显式声明「谁依赖谁」的契约关系。它解决的不是代码组织问题，而是编译期依赖图的可预测性问题。

举个真实场景：你正在写一个 math::geometry 模块，包含点、向量、矩阵、空间变换四类功能。如果全塞进一个 geometry.ixx 里，看似简单，但很快会发现——

• 向量运算（加减、点积）被所有其他类型高频调用；
• 矩阵类依赖向量，但点类只依赖向量，不碰矩阵；
• 空间变换要组合前三者，却只暴露一个 transform() 接口给外部。

这时候硬塞进单个模块，外部用户 import math::geometry; 就得被迫拉入所有符号，编译器还得分析整棵树才能确认哪些符号真被用到。而 partitions 让你能把「向量」抽成独立逻辑单元，不暴露头文件，不污染全局命名空间，也不增加链接负担——它只是模块内部的“私有子系统”。

具体怎么做？关键在三处语法细节，且必须协同使用：

第一，partition 名称必须带模块名前缀，且不可省略。
比如主模块叫 math.geometry，那么向量部分不能叫 vector，而应写作 math.geometry:vector。冒号不是装饰，是编译器识别 partition 的唯一标记。漏掉 math.geometry:，它就变成一个孤立的 global module fragment，和其他部分完全失联。

第二，主模块单元（primary interface unit）必须显式 export import 所需 partitions。
这不是可选项。你写：

// math.geometry.ixx
export module math.geometry;
export import :vector;     // ✅ 显式导出 vector 分区
export import :matrix;     // ✅ 显式导出 matrix 分区
// 注意：没有 export import :internal_utils —— 它就不该被外部看到

这里 import :vector 不是“包含”，而是“声明：本模块对外提供的接口中，包含了 vector 分区导出的内容”。外部 import math.geometry; 能用 vector 的符号，全靠这一行授权。

第三，partition 文件本身不 export module，只 module :vector;。
它没有 export 关键字开头，也不声明模块名全称。这个语法刻意削弱其独立性——它天生就是附属品。你可以放心在里面定义 inline 函数、constexpr 数据、甚至 template 实现，只要不 export，它们就只对所属模块可见，连同模块内其他 partitions 都无法直接访问（除非主单元显式 import）。

有人问：“那我能不能让 :matrix 直接 import :vector？” 可以，但强烈建议避免跨 partition 的 import。因为这会让依赖关系隐含在底层，主模块的 export import 清单就失去了“接口契约”的意义。更好的做法是：matrix 分区只声明接口，实现细节（如向量运算）由主模块统一 export import 后提供——这样调用方清楚知道“我用了 geometry，也就意味着向量和矩阵都可用”，而不会某天发现 matrix 突然不工作了，只因 :vector 被悄悄重构。

还有一点常被忽略：partition 不解决 ODR 问题，但能帮你提前暴露它。
比如你在 :vector 里定义了一个 inline double norm_sq(const Vec3&)，又在 :matrix 里写了同名同签名函数——编译器不会报错，直到链接阶段或模板实例化时才崩溃。而如果你把这两个函数都放进主模块单元，编译器立刻提示重复定义。所以，partition 更适合放 不同语义 的功能块，而非同一概念的多份实现。

最后说个实用技巧：用 partition 控制测试粒度。
你可以为 :vector 单独写一个 test_vector.ixx，import math.geometry:vector; ——注意，这里 import 的是分区名，不是主模块。它能访问 :vector 中 export 的一切，但看不到 :matrix 的任何符号。这种隔离让单元测试真正“单元”，也倒逼你把接口边界划清楚。

C++ module partitions 不是炫技语法，它是你在大型项目里握在手里的“依赖刻刀”。刀锋所向，不是文件大小，而是人脑对系统结构的理解成本。当你的团队开始争论“这个工具类该放哪”，不妨先问一句：它是否该被某个模块的使用者直接感知？如果答案是否定的，那就把它藏进一个 partition 里——不声张，不暴露，只在需要时，由主模块郑重引荐。