**C++20 模块（Modules）实现的实战案例**

作者

C++20 引入的模块（Modules）技术旨在解决传统头文件的编译效率低、依赖复杂等问题。通过模块，我们可以将代码拆分为编译单元并在编译时生成二进制模块，随后在其他翻译单元中直接引用。下面通过一个完整的小项目演示如何使用模块来实现一个简单的数学运算库，并通过 CMake 管理构建流程。

1. 项目结构

/cpp-modules-demo
├── CMakeLists.txt
├── src
│   ├── math
│   │   ├── math.h
│   │   ├── math.cpp
│   │   ├── math.def
│   │   └── math.mod
│   └── main.cpp
└── build
  • math.mod：模块接口文件，声明模块导出符号。
  • math.def：模块实现文件，包含实现代码。
  • math.cpp：C++实现文件。
  • math.h：头文件（可选，用于保持兼容性）。

2. 编写模块接口 math.mod

// math.mod
export module math;        // 声明模块名为 math
export import :math;       // 通过实现文件 math.cpp 导入实现

export namespace Math
{
    double add(double a, double b);
    double subtract(double a, double b);
}
  • export module math;：声明模块名字。
  • export import :math;：把后续的实现文件 math.cpp 作为模块实现，并导出其中的符号。
  • export namespace Math：在模块内导出命名空间 Math 及其函数。

3. 实现文件 math.cpp

// math.cpp
module math;               // 引入模块实现

namespace Math
{
    double add(double a, double b) { return a + b; }
    double subtract(double a, double b) { return a - b; }
}

注意：实现文件必须以 module 声明模块名，不能使用 export。编译器会自动把它们编译成模块二进制。

4. 兼容头文件 math.h（可选）

// math.h
#pragma once
namespace Math
{
    double add(double a, double b);
    double subtract(double a, double b);
}

若想在不支持模块的编译器下使用此库，可保留此头文件，并在 CMakeLists.txt 中提供条件编译。

5. 主程序 main.cpp

// main.cpp
import math;            // 引入模块

#include <iostream>

int main()
{
    double x = 3.5, y = 2.0;
    std::cout << "add: " << Math::add(x, y) << '\n';
    std::cout << "subtract: " << Math::subtract(x, y) << '\n';
    return 0;
}

使用 import math; 直接加载模块，无需包含头文件。

6. CMake 配置

# CMakeLists.txt
cmake_minimum_required(VERSION 3.23)  # 需 3.23+ 支持 C++20 模块
project(CppModulesDemo LANGUAGES CXX)

set(CMAKE_CXX_STANDARD 20)
set(CMAKE_CXX_STANDARD_REQUIRED ON)

# 生成模块
add_library(math SHARED src/math/math.cpp src/math/math.mod)
target_include_directories(math PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/src/math)

# 生成可执行文件
add_executable(app src/main.cpp)
target_link_libraries(app PRIVATE math)
  • CMake 3.23 开始正式支持模块编译。add_library 的 SHARED 指定生成动态库；编译器会把 math.mod 和 math.cpp 编译为模块二进制。
  • target_include_directories 用于在需要使用头文件时提供路径。

7. 编译与运行

mkdir build && cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
cmake --build .
./app

输出：

add: 5.5
subtract: 1.5

8. 模块的优势与局限

方面 传统头文件 C++20 模块
编译速度 每个翻译单元都需重新解析头文件 只需解析一次，后续引用直接加载二进制
依赖管理 头文件包含导致全局污染 模块边界清晰，符号可导出/隐藏
重复编译 可能多次编译同一代码 编译一次后直接复用
可维护性 大型项目易产生多重定义 更易管理命名空间和访问控制
兼容性 所有编译器均支持 仅限 C++20 及其后编译器

9. 小结

通过上述案例，读者可以看到 C++20 模块如何在实际项目中应用。模块不仅能显著提升编译速度，还能让代码结构更清晰。随着编译器对模块的支持日益完善，预计在大型 C++ 项目中将成为主流的代码组织方式。未来的工作可以进一步探索 模块与 CMake 的集成、模块化单元测试以及跨平台模块部署等方向，以充分发挥模块技术的优势。

发表评论