四十年以来，C++一直使用源自C语言的头文件模型。这个模型简单但粗糙：将声明与实现分离，通过预处理器将头文件的内容机械地插入到每个源文件中，然后分别编译，最后链接。这种模型在1970年代是革命性的，但在2020年代，它的缺陷已经严重制约了C++的开发效率和编译性能。
参考：https://oqmyh.cn/category/mingan-huli.html
头文件模型的核心问题是编译速度。每个源文件（翻译单元）都独立编译，而每个源文件都会包含一系列头文件。如果头文件本身又包含其他头文件，一个源文件可能间接包含数万行甚至数十万行代码。更糟糕的是，头文件在被多个源文件包含时，会被反复解析和编译多次。在大型项目中，这种重复工作导致编译时间以周甚至月为单位。
预处理器的文本包含机制是另一个问题根源。#include本质上是一个文本操作：将头文件的内容原封不动地插入到包含点。这导致头文件中的任何内容——包括宏、类型定义、模板声明——都会泄漏到包含该头文件的所有源文件中。宏尤其危险，因为它们不遵守作用域规则，可能在无意中改变后续代码的含义。经典的例子是windows.h中定义的min和max宏，它们会与std::min和std::max冲突，迫使开发者使用#define NOMINMAX来规避。
头文件还导致了漫长的依赖链。修改一个头文件会导致所有包含该头文件的源文件重新编译，即使修改的内容只是添加了一个注释。在大型团队协作中，这种脆弱的依赖关系使得增量编译几乎失效，开发者常常被迫等待数小时进行完整重建。头文件隔离的缺失也使得构建系统难以并行化——编译单元之间可能有隐式的依赖关系，无法简单地在多核上并行执行。
参考：https://oqmyh.cn/category/kang-shuailao.html
模块是C++20引入的革命性特性，旨在彻底取代头文件模型。模块的核心思想是：将代码组织为独立的编译单元，模块之间通过导入（import）来建立依赖关系。与头文件不同，模块不会将声明文本插入到导入点；相反，编译器将模块编译为一种二进制中间表示（称为BMI），其中包含了模块导出的声明信息以及这些声明的语义信息。
模块带来的第一个好处是编译速度的提升。当一个模块被导入时，编译器直接读取预编译的BMI，而不是重新解析头文件中的文本。这避免了宏展开、模板实例化等昂贵操作的重复执行。Google的初步实验表明，采用模块后，某些大型库的编译时间减少了30%到50%。更激进的测试显示，对于重度使用模板的代码，编译时间可以减少80%以上。
参考：https://oqmyh.cn/category/hufu-chengfen.html
模块的第二个好处是隔离性。模块中导出的声明是显式标记的，未导出的声明对模块外部不可见。这从根本上解决了宏污染和名称冲突的问题。一个模块中定义的宏、内部类型和辅助函数不会泄漏到导入模块。模块之间没有隐式的交互，依赖关系是明确的、有向的。
模块还改善了工具链的并行化潜力。由于每个模块可以独立编译，且模块之间的依赖关系是有向无环图（DAG），构建系统可以轻松地并行编译多个无依赖关系的模块。这与头文件模型形成鲜明对比，后者由于宏和隐式包含，几乎无法精确地并行编译。
然而，模块的采用之路并不平坦。首先是编译器支持的问题。截至2026年，三大编译器（GCC、Clang、MSVC）对模块的支持虽然已经基本完整，但仍然存在一些边缘情况的差异。标准库模块化是另一个障碍：C++23虽然定义了标准库模块的划分方案（如std.core、std.io等），但主流实现尚未完全支持。这意味着开发者暂时无法用模块导入标准库，仍然需要包含头文件。
模块与现有代码的混合使用也存在挑战。一个模块不能直接包含头文件（因为头文件是文本的，破坏了模块的语义隔离），但C++标准提供了#include指令的替代方案——import头文件单元。头文件单元是一种特殊的模块，编译器将头文件当作一个模块来处理，将其导出。但这要求头文件本身是“模块化友好的”——即不包含会与外部冲突的宏定义。对于像windows.h这样充满宏的系统头文件，头文件单元几乎不可用。
参考：https://oqmyh.cn/category/chanpin-pingce.html
迁移到模块需要改变代码的组织方式。在头文件模型中，一个类通常分为头文件（声明）和源文件（定义）。在模块中，声明和定义可以放在同一个.ixx或.cppm文件中，使用export关键字标记需要导出的内容。这种改变虽然提高了代码的可读性，但对于已经存在的大型代码库，手工迁移的成本极高。自动化迁移工具是解决这个问题的关键，但目前还没有成熟的方案。
模块的设计还遗留了一些未解决的问题。例如，模块分区（partition）机制允许将一个模块拆分为多个文件，但分区的导入语法复杂，而且不同编译器的行为不一致。模块的版本管理没有被标准化——模块没有内置的版本信息，依赖管理仍然是构建系统的责任。模块的二进制接口（BMI）格式没有标准化，不同编译器生成的BMI不兼容，这阻碍了混合编译器环境。
尽管存在这些挑战，模块代表了C++编译模型的未来方向。C++26进一步改进了模块，修复了早期设计中的一些缺陷，并增强了模块与模板、概念的交互。预计到2028年左右，模块将在主流C++项目中得到广泛应用。对于新项目，从现在开始使用模块是一个明智的选择；对于现有项目，逐步迁移——从最底层的实用模块开始，向上层推进——是可行的策略。
模块不仅仅是技术改进，它象征着C++对现代软件工程需求的回应。更快的编译、更好的隔离、更清晰的依赖关系——这些正是大型软件项目迫切需要的能力。头文件之殇终于有望终结，而模块化将成为C++迎接下一个十年的基石之一。
参考：https://oqmyh.cn
