C++模块下如何实现模板类接口与实现分离且无需维护实例列表？

完全可以用C++模块实现和你原来一样的效果，既保持接口与实现分离，又不用在实现文件里维护所有模板实例化类型。具体结构如下：

1. 模板接口模块（MyTemplate.ixx） #

这是对外暴露的接口单元，只包含模板类的声明，实现细节完全隐藏：

export module MyTemplate;

export template<class T>
class MyTemplate {
public:
    void Foo();
};

2. 模板实现单元（MyTemplateImpl.cppm） #

这个文件只负责实现模板的成员函数，属于同一个模块但不对外导出，和原来的MyTemplate.cpp作用一致：

module MyTemplate;

template<class T>
void MyTemplate<T>::Foo() {
    // 这里写具体的实现逻辑
}

3. 在使用的翻译单元中（比如Main.cpp） #

导入接口模块，然后显式实例化你需要的模板类型即可，不需要再#include实现文件：

import MyTemplate;

// 显式实例化需要的类型，和你原来的写法一致
template class MyTemplate<int>;

int main() {
    MyTemplate<int> obj;
    obj.Foo();
    return 0;
}

关键说明 #

• 接口与实现分离：接口模块只暴露类的声明，实现细节全部在MyTemplateImpl.cppm中，外部代码无法直接看到实现。
• 无需维护实例化列表：所有需要的实例化都在使用的翻译单元中声明，不用在实现文件里提前写死所有可能的类型。
• 编译注意事项：编译链接时，需要确保MyTemplate.ixx和MyTemplateImpl.cppm都被编译，并且和使用单元链接到一起（具体编译命令取决于你的编译器，比如GCC用g++ -std=c++20 -fmodules-ts MyTemplate.ixx MyTemplateImpl.cppm Main.cpp -o app）。

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