C++模块中命名空间内using为何使cxx::example对外可见？

核心原因 #

你的代码中cxx::example对外可见，是因为导出的using声明间接导出了原始实体：

1. 全局模块片段中的#include "example.h"将cxx::example的定义纳入当前模块作用域，它默认是模块私有实体。
2. 你在export namespace cxx::containers中编写的using cxx::example;处于导出上下文。根据C++20模块规则，当导出的using声明引用当前模块的私有实体时，该实体会被隐式导出，因此导入模块的代码可以直接访问cxx::example。

解决方案 #

要让cxx::example仅在模块内部可见，同时保留cxx::containers::example的对外暴露，可采用以下两种方式：

方式一：用匿名命名空间隔离内部实体 #

将头文件包含在模块内的匿名命名空间中，使cxx::example成为模块私有，外部无法直接访问：

export module example;

// 匿名命名空间包裹头文件，内部实体仅当前模块可见
namespace
{
    #include "example.h"
}

export namespace cxx::containers
{
    // 引用匿名命名空间中的cxx::example
    using ::cxx::example;
}

方式二：使用类型别名替代using声明 #

如果不想修改头文件的包含位置，可以在导出命名空间中定义类型别名，同时确保原始cxx::example不被导出（需将头文件包含在模块的非导出区域）：

export module example;

// 将头文件包含在模块非导出区域，cxx::example为模块私有
#include "example.h"

export namespace cxx::containers
{
    // 定义类型别名，仅暴露containers下的example
    using example = ::cxx::example;
}

注意：部分编译器可能会因“导出上下文引用私有实体”报错，此时优先选择方式一。

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