何时使用C++ Modules？与头文件、命名空间的区别及开发准则

1. Modules的用途是什么，何时应替代命名空间或库头文件？ #

• 核心用途：解决传统头文件的冗余编译、命名污染、前置声明繁琐等痛点，实现代码的模块化隔离与高效复用，同时清晰划分接口与实现的边界。
• 替代场景：
  • 替代头文件：当你构建可复用组件、希望减少编译时间、避免头文件重复包含，或是需要精准控制对外暴露的接口时，优先用Modules替代头文件。
  • 替代命名空间：命名空间仅用于解决名字冲突，而Modules是更高层级的编译单元封装。两者并非非此即彼——如果需要同时实现代码隔离和名字管理，可以组合使用；若仅需隔离符号作用域，命名空间依然是合适的选择。

2. 使用import <iostream>;与#include <iostream>;有何区别，应优先选择哪一种？ #

• 核心区别：
  • #include是预处理器指令，会将整个头文件内容直接插入当前文件，导致重复编译、宏污染、不必要的内部符号暴露。
  • import是模块导入指令，仅导入模块对外暴露的接口，模块内容只需编译一次，避免冗余编译，同时不会引入宏和未导出的内部符号。
• 优先级建议：如果编译器支持C++20及以上标准，优先使用import <iostream>;，尤其是大型项目，能显著提升编译效率，降低命名冲突和宏问题的风险。

3. 所谓“Modules与命名空间正交”具体指什么？ #

正交意味着两者的功能和作用域完全独立，可单独使用或组合搭配：

• Modules是编译单元层面的封装，控制哪些符号能被外部访问，解决代码加载、编译隔离和接口暴露的问题。
• 命名空间是符号层面的分组，解决同一编译环境下的名字冲突问题。
  举个例子：你可以在一个模块内定义多个命名空间，也可以在不同模块中使用同一个命名空间的符号，两者互不干扰，各司其职。

4. 开发准则方面，是否应避免使用头文件？ #

不需要完全摒弃头文件，需根据场景灵活选择：

• 新项目或C++20+项目：核心组件优先使用Modules，充分利用其编译效率和封装优势。
• 旧项目或依赖传统库的项目：可逐步迁移，无需一刀切。对于简单的、无需复杂封装的代码（如小型工具函数声明），头文件依然适用。
• 兼容场景：若需要与不支持Modules的代码交互，头文件仍是必要的——可通过模块接口单元导出兼容头文件的内容。

代码实现对比 #

使用Modules的方案 #

helloworld.cpp

export module helloworld; // 模块声明
 
import <iostream>;        // 导入声明
 
export void hello()       // 导出声明
{
    std::cout << "Hello world!\n";
}

main.cpp

import helloworld; // 导入声明
 
int main()
{
    hello();
}

传统头文件+命名空间的方案 #

helloworld.h

#include <iostream>

namespace ns
{
    void hello();
}

helloworld.cpp

#include "helloworld.h"

void ns::hello()
{
    std::cout << "Hello world!\n";
}

main.cpp

#include "helloworld.h"
 
int main()
{
    ns::hello(); // 可使用 "using namespace ns;" 避免写 ns::
}

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