C++20模块模板导出及特化识别异常问题咨询

原因分析 #

1. 符号导出失效本质是当前C++编译器对跨模块模板实体的关联实现不完善：模块A中仅导出了test::Foo的前向声明，模块B中导出的test::Foo定义，与模块A中的前向声明没有被编译器的模块接口（BMI）正确关联为同一个实体。当你在test.cpp中实例化模块A中定义的别名模板Foo1时，编译器优先在定义别名的模块A的可见实体中查找Foo的定义，仅能找到前向声明，因此判定为未定义类。
2. IDE与编译器行为差异的原因：IDE的符号索引是全局扫描所有源码文件建立的，会将所有模块中的声明、定义统一关联，因此可以识别Foo1对应的Foo定义；而编译器处理模块时严格遵循模块可见性规则，仅基于导入的模块接口文件（BMI）中的实体记录进行编译，不会全局扫描未直接关联的实体，因此找不到跨模块的模板定义。

解决方案 #

• 优先将同一模板的前向声明与定义放在同一个模块中导出，避免拆分到不同独立模块
• 如果必须拆分模块结构，使用C++模块分区替代独立模块，同一父模块的所有分区的实体可见性统一，不存在跨独立模块的实体关联问题
• 也可在模块A中移除Foo的前向声明，所有和Foo相关的声明、定义全部放在模块B中，模块A仅导入模块B后再定义别名模板、类型萃取和概念即可

原因分析 #

该问题是当前主流C编译器的模块实现缺陷导致：C标准要求模板特化必须在模板被实例化的点之前可见，但当前编译器处理跨模块的模板特化时，不会将其他模块中定义的特化自动纳入主模板的特化候选列表。你的主模板Foo_trait定义在Foo模块中，特化定义在Bar模块中，当Baz类构造函数调用Foo模块中定义的a_func_base_on_specialization_type_Foo_trait时，Foo模块编译阶段完全不知道Bar模块特化的存在，因此实例化时只会使用主模板的默认值1，不会匹配到Bar模块中的特化版本。

解决方案 #

1. 把所有Foo_trait的特化都放到和主模板相同的模块中定义，避免跨模块特化
2. 如果必须拆分结构，使用模块分区实现拆分，同一父模块下的所有分区的特化对整个父模块可见，不会出现可见性问题
3. 可以将a_func_base_on_specialization_type_Foo_trait修改为依赖参数类型的ADL查找函数，让编译器在实例化阶段从参数类型所在的模块查找特化版本
4. 若要保留跨独立模块的结构，在使用特化的位置显式声明该特化的存在，同时确保特化所在模块在使用前被导入

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