C++20模块在单文件中如何隐藏实现细节？

我正在阅读Bjarne Stroustrup所著的《A Tour of C++》（第三版），书中介绍了C++20的特性，展示了export module如何消除传统将声明与定义拆分到.h头文件和.cpp源文件的模式。书中以自定义Vector类模块为例：

export module Vector; // defining the module called "Vector"

export class Vector {
public:
    Vector(int s);
    double& operator[](int i);
    int size();
private:
    double* elem; // elem points to an array of sz doubles
    int sz;
};

export bool operator==(const Vector& v1, const Vector& v2) {
    if (v1.size() != v2.size()) 
        return false;
    for (int i = 0; i < v1.size(); ++i) {
        if (v1[i] != v2[i]) 
            return false;
    }
    return true;
}

//Implementations; Supposed to be hidden
Vector::Vector(int s) : elem{new double[s]}, sz{s} {}
double& Vector::operator[](int i) { return elem[i]; }
int Vector::size() { return sz; }

传统模式下，我们用头文件暴露函数签名供库使用者调用，用.cpp文件隐藏实现。但模块中接口与实现似乎都在同一文件中，由此产生以下疑问：

• 单文件模块中的export关键字如何真正对库使用者隐藏实现？若实现与接口同文件，使用者或编译器查看模块文件不就能看到所有内容吗？
• 若将公共接口与私有实现都放在单文件模块中，该如何向客户端隐藏私有代码，同时让开发者知晓函数签名、声明等信息？
• 闭源库分发场景下是否仍需基于文本的头文件？

核心逻辑：export控制编译器可见的接口范围，而非物理文件隐藏 #

C++20模块的export关键字的作用是标记哪些内容会被纳入模块的公共接口单元。编译器处理模块时，只会把带export的部分暴露给使用该模块的代码，不带export的实现细节（比如示例中Vector的构造函数、operator[]、size的定义）不会被导出到模块的接口信息中。

即使接口和实现写在同一个文件：

1. 对于库使用者而言，他们不需要直接读取你的模块源文件——编译器编译模块时会生成二进制形式的模块接口文件（不同编译器命名不同，比如MSVC的.ifc、GCC的.gcm），使用者只需通过import Vector;导入这个二进制接口，根本看不到你的实现代码。
2. 若你主动把模块源文件分发给使用者，他们确实能看到实现，但这是分发策略的问题，而非模块机制的缺陷——就像传统模式下你把.cpp源文件给别人，人家也能看到实现一样。

单文件模块隐藏实现的正确方式 #

在单文件模块中区分接口和实现，只需遵循两个原则：

• 所有需要暴露给客户端的声明、类、函数都加上export关键字
• 实现细节（比如成员函数的定义、内部辅助函数）不要添加export

编译器会自动过滤未export的内容，客户端通过import只能获取到你标记为公共的部分，完全看不到底层实现逻辑。

闭源库分发：无需文本头文件 #

闭源场景下，你只需要分发两类文件即可：

1. 编译好的模块二进制接口文件（如.ifc或.gcm）
2. 库的二进制文件（静态库.a/.lib或动态库.so/.dll）

客户端直接通过import Vector;导入模块接口，不需要任何文本头文件，完全无法获取你的实现代码，安全性和传统闭源库分发一致。

内容的提问来源于stack exchange，提问作者K.R.Park