C++20 Modules通过接口与实现分离、编译一次复用多次来解决头文件缺陷，需注意编译器支持差异、构建系统适配、渐进迁移策略及宏/模板等限制。
用 Modules 替代传统头文件，核心是把接口和实现分离、编译一次复用多次，避免宏污染、重复解析和模板实例化爆炸。C++20 正式引入 Modules，但实际使用需注意编译器支持、构建系统适配和迁移策略。
模块的基本结构：module interface unit 和 module implementation unit
一个模块通常由两部分组成：
模块接口单元（.ixx 或 .cppm）
：用
声明模块名，用
关键字导出想对外公开的声明（类、函数、模板等）；不加
的内容仅在模块内可见。
模块实现单元（.cpp）
：用
声明属于哪个模块，实现接口中导出的定义；可包含私有辅助代码，不会暴露给导入者。
例如：
// math.ixx
// main.cpp
编译与构建：不是所有编译器都开箱即用
MSVC（VS 2019 16.8+）、Clang（13+）、GCC（11+ 实验性支持）已支持 Modules，但方式不同：
立即学习
“
C++免费学习笔记（深入）
”；
C函数速查手册（CHM版）
C函数速查手册（CHM版）
下载
MSVC 推荐用
后缀，自动识别为模块接口；编译时需显式生成模块接口文件（如
或
）。
Clang 要求先用
或
生成 .pcm 文件，再在主编译中通过
导入。
GCC 当前仍标记为实验特性（
），且不兼容 MSVC/Clang 的二进制格式，模块文件不可互换。
构建系统如 CMake 3.25+ 提供
和
支持，但旧版需手动管理依赖顺序和模块输出路径。
如何渐进迁移：别一刀切替换头文件
直接把
改成
行不通——模块不是头文件别名。稳妥做法是：
新功能优先用 Modules 开发，保持接口简洁、无宏、少预处理依赖；
对现有头文件，可创建“模块适配层”：写一个
单元，在其中
并选择性
需要的符号（注意宏和全局状态无法导出）；
慎用
：
标准库
模块尚未标准化，MSVC 提供
（含常用组件），Clang/GCC 仍主要靠传统头文件。
常见陷阱与限制
Modules 不是银弹，当前阶段要注意：
不能导出宏、未定义行为的代码、或依赖于翻译单元顺序的静态变量初始化；
模块接口单元里不能出现
（除非在
分区中）；
跨模块的模板隐式实例化可能失败，建议显式导出特化或使用
（C++23 增强）；
调试信息、IDE 索引、头文件包含图工具尚未完全适配 Modules，排查依赖问题比以前更隐蔽。
不复杂但容易忽略。真正发挥 Modules 优势，关键不在语法替换，而在重构接口设计和构建流程。
export moduleexportexportmodule 模块名;export module math;
export int add(int a, int b) { return a + b; }
export namespace math_util {
export inline int square(int x) { return x * x; }
}import math;
#include
int main() {
std::cout << add(2, 3) << ' ' << math_util::square(4) << '\n';
}.ixx/exportHeader/ifcPath-x c++-system-header--precompile--module-file-fmodules-tsadd_module()target_link_libraries(... INTERFACE)#include "foo.h"import foo;export module legacy_foo;#include "foo.h"exportimport import std;#includemodule : private;export template