如何实现C++模块内using namespace对引入方全局生效

传统头文件中直接写using namespace x::y::z;能对所有引入头文件的代码生效，本质是预处理器做文本展开时，会将该行代码直接拷贝到#include指令所在位置，属于引入方编译单元的原生代码。
C20模块的可见性规则和文本包含完全不同：模块内部所有未显式标记导出的声明、指令，都仅在模块内部可见，不会传递给导入该模块的代码单元，这是你直接复用头文件写法不生效的核心原因，属于C标准规定的模块行为，和MSVC v143工具集的实现无关。

实现方式 #

要让所有导入对应模块的代码单元默认获得目标命名空间的using效果，必须在模块接口文件（通常是.ixx后缀，或在属性中标记为模块接口的源文件）中，为using指令添加export关键字：

// 模块接口示例：mymodule.ixx
export module mymodule;

// 首先引入目标命名空间所在的依赖，可以是模块也可以是导入的传统头文件
import x.y.z;
// 若依赖是未模块化的传统头，写法为 import <x/y/z_header.hpp>;

// 核心：导出using namespace指令
export using namespace x::y::z;

// 模块自身的其他导出内容
export void my_api_func();
export class MyExportedClass {};

注意事项 #

• 导出的using指令仅对显式import mymodule;的代码单元生效，不会像头文件的using指令那样意外泄露到未引入该模块的代码中，这是模块隔离性的设计特性
• 如果在模块实现文件（非接口的.cpp源文件）、或模块接口内不加export写using namespace x::y::z;，该指令仅在当前模块内部生效，不会传递给导入方
• VS2022 v143工具集从17.4版本开始完整支持导出using指令的标准行为，如果使用更早的小版本，升级VS2022到最新维护版即可，不需要额外调整编译选项
• 不推荐在通用基础模块中无限制导出全局using namespace，很容易给导入方造成命名冲突；如果仅需要暴露部分符号，优先使用更精准的导出写法，例如export using x::y::z::TargetType;，尽可能减少命名空间污染
• 如果使用模块分区组织代码，需要在分区接口段给using指令加export，才能将可见性传递到模块总接口，最终暴露给导入方

不要尝试在模块的全局模块段（即module;和export module xxx;之间的区域）写using指令，该区域的代码仅用于模块内部的预处理器初始化，所有声明都不会被导出。

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