Cpp20 Modules 是 C++20 引入的真正模块系统，替代头文件机制以解决宏污染、重复解析等问题；通过 export module 定义接口单元、module 声明实现单元、import 导入使用，并需编译器特定支持与构建系统配合。
Cpp20 Modules 是 C++20 引入的**真正意义上的模块系统**，它替代了传统头文件（#include）机制，解决宏污染、重复解析、编译依赖爆炸等问题。用对了，能显著提升编译速度、接口封装性和构建可维护性。
模块接口单元（module interface unit）怎么写
一个模块以 module 声明开头，后跟模块名（可带作用域），用 export module 标记为对外导出的接口单元：
// mathlib.ixx （.ixx 是 MSVC 推荐后缀；GCC/Clang 常用 .cppm）
export module mathlib;
<p>export namespace math {
int add(int a, int b);
int multiply(int a, int b);
}</p><p>// 实现可以内联，也可放在实现单元中
export int math::add(int a, int b) { return a + b; }
注意：export 只修饰你希望被外部导入的声明（函数、类、变量、命名空间等），未 export 的内容仅在本模块内可见。
模块实现单元（module implementation unit）怎么组织
当逻辑复杂时，把实现细节挪到单独的实现单元里，避免接口单元臃肿：
立即学习“C++免费学习笔记（深入）”；
- 实现单元以
module mathlib;开头（不加export），表示属于同名模块 - 可包含私有辅助函数、模板定义、
static变量等非导出内容 - 仍可
#include传统头文件（如<vector>），但不能import其他模块（除非先声明）
// mathlib.cpp
module mathlib;
<h1>include <cassert></h1><p>namespace detail {
bool is_positive(int x) { return x > 0; }
}</p><p>int math::multiply(int a, int b) {
assert(detail::is_positive(a));
return a * b;
}
怎么在其他文件里使用模块
用 import 替代 #include，语法简洁且语义明确：
// main.cpp
import mathlib; // 导入整个模块
<h1>include <iostream> // 传统头文件仍可用</h1><p>int main() {
std::cout << math::add(2, 3) << '\n'; // OK
std::cout << math::multiply(4, 5) << '\n'; // OK
// std::cout << detail::is_positive(1); // Error：detail 不导出
}
支持部分导入（C++20 起）：
-
import mathlib:detail;—— 若模块作者显式导出了子模块（需在接口单元中写export module mathlib:detail;） - 目前主流编译器对子模块支持尚不统一，建议优先用完整模块粒度
编译和构建注意事项
模块不是“开箱即用”，需配合编译器特定流程：
-
MSVC（VS2019 16.8+）：用
/interface编译.ixx生成.ifc模块接口文件；再用/reference让其他源文件引用它 -
Clang（13+）：用
-x c++-system-header或--precompile预编译模块，再用-fmodule-file=导入 -
GCC（11+）：实验性支持，需
-fmodules-ts（旧 TS 模式）或-fmodules（C++20 正式模式），并配合.gcm缓存文件
构建系统（如 CMake 3.22+）已提供 add_library(... INTERFACE) 和 target_compile_features(... PRIVATE cxx_modules) 等原生支持，推荐用 CMake 封装模块构建逻辑，避免手写复杂命令。
模块化不是简单替换 #include，而是重构代码组织方式：接口清晰、依赖显式、编译解耦。初期可从工具库或独立组件开始试点，逐步过渡。
