C++20模块中类模板显式实例化的三种实现等价性验证及编译时间优化方案咨询

让我们逐个拆解这三个方案，明确它们的差异、等价性，以及最适合你降低下游编译时间需求的实现方式：

方案1：导出显式实例化定义 #

//mod.cpp
export module mod;
export template<typename T> struct mystruct{ T i;};
export template class mystruct<int>;

这个方案里，export template class mystruct<int>直接把显式实例化的定义导出到模块接口中。

• 效果：下游项目编译时会直接使用模块提供的mystruct<int>实例化版本，完全不会自己再实例化模板，确实能减少下游编译时间。
• 代价：模板实例化的工作被放到了模块接口单元里，会拉长接口单元的编译时间；而且如果模板的实现细节（比如mystruct的成员函数逻辑）发生变化，模块接口单元必须重新编译，所有依赖该模块的下游项目也会被迫重新编译（因为模块接口的二进制表示变了），这会增加库的维护成本。

方案2：模块接口内的非导出显式实例化 #

//mod.cpp
export module mod;
export template<typename T> struct mystruct{ T i;};
template class mystruct<int>;

这里的显式实例化定义没有加export，是模块内部的操作：

• 效果：模块会生成mystruct<int>的实例化代码，但下游项目不知道这个实例化的存在。下游编译器处理mystruct<int>时，仍然会解析模板代码、生成实例化的中间代码，只是在链接阶段会复用模块里的现成符号（避免重复定义错误）。
• 问题：这种方式无法达到你降低每个使用项目编译时间的核心目标——下游还是要做模板实例化的编译工作，只是链接时少生成最终代码，编译时间的减少非常有限，甚至可能因为重复实例化拖慢速度。

方案3：分离式显式实例化（声明+定义） #

//mod.cpp
export module mod;
export template<typename T> struct mystruct{ T i;};
export extern template class mystruct<int>;

//mod_impl.cpp
module mod;
template class mystruct<int>;

这个方案采用了显式实例化声明+定义分离的模式：

• export extern template class mystruct<int>是导出的显式实例化声明，告诉下游编译器：“mystruct<int>已经在模块内部被实例化好了，你不需要再做这件事”。
• 实际的实例化定义放在模块实现单元mod_impl.cpp中，生成mystruct<int>的代码。
• 优势：
  1. 彻底避免下游的模板实例化工作，最大化减少下游编译时间；
  2. 模板实例化的工作被隔离在实现单元中，接口单元不需要承担编译负担；
  3. 模板实现细节变化时，只需要重新编译实现单元，模块接口保持稳定，下游项目不需要重新编译（仅需重新链接），维护成本更低。

等价性结论 #

这三个方案完全不等价：

• 方案1和方案3都能实现“下游不实例化模板”的核心目标，但方案1把实例化耦合到了接口单元，方案3则遵循了接口与实现分离的设计原则；
• 方案2无法真正减少下游的编译时间，和前两者的效果有本质区别。

最优方案推荐 #

方案3是最适合你的选择：它既满足了降低下游编译时间的需求，又符合C++模块的设计理念，同时能最小化库的维护成本。

内容的提问来源于stack exchange，提问作者desio