C++20 模块化编程：从头到尾的完整示例

2026-01-15 作者 stdcpp

在 C++20 标准中，模块（module）被引入作为一种新的语言特性，旨在解决传统头文件带来的编译速度慢、命名冲突和可维护性差等问题。本文将通过一个完整的示例，演示如何使用模块化编程来构建一个简单的数学库，并展示其编译过程与使用方式。

1. 项目结构

/math_module_demo
├─ include/
│   └─ math/
│       └─ vector.h          // 传统头文件（仅为兼容性演示）
├─ src/
│   ├─ math/
│   │   ├─ vector.module.hpp // 模块接口文件
│   │   └─ vector.impl.cpp   // 模块实现文件
│   └─ main.cpp
├─ build/
└─ CMakeLists.txt

vector.module.hpp 定义模块名并声明接口。
vector.impl.cpp 实现接口，并通过 export 导出符号。
main.cpp 通过 import math.vector; 使用模块。

2. 模块接口文件（`vector.module.hpp`）

// vector.module.hpp
#pragma module math.vector

export module math.vector;

export struct Vector3 {
    double x, y, z;

    // 构造函数
    Vector3(double xx = 0, double yy = 0, double zz = 0) : x(xx), y(yy), z(zz) {}

    // 向量相加
    export Vector3 operator+(const Vector3& rhs) const {
        return Vector3(x + rhs.x, y + rhs.y, z + rhs.z);
    }

    // 向量点乘
    export double dot(const Vector3& rhs) const {
        return x * rhs.x + y * rhs.y + z * rhs.z;
    }
};

说明

export module math.vector; 声明模块名。

export struct Vector3 将整个结构体导出。

export 关键字只能放在 module 语句之后、在实现文件中使用。

3. 模块实现文件（`vector.impl.cpp`）

// vector.impl.cpp
module math.vector;

import <cmath>;   // 仅演示依赖标准库

// 若需要在实现中导出额外符号，可以使用 `export`，例如：
export double magnitude(const Vector3& v) {
    return std::sqrt(v.x * v.x + v.y * v.y + v.z * v.z);
}

4. 主程序（`main.cpp`）

// main.cpp
import math.vector;
import <iostream>;

int main() {
    Vector3 a{1.0, 2.0, 3.0};
    Vector3 b{4.0, 5.0, 6.0};

    Vector3 c = a + b;
    double d = a.dot(b);
    double m = magnitude(a);

    std::cout << "a + b = (" << c.x << ", " << c.y << ", " << c.z << ")\n";
    std::cout << "a · b = " << d << '\n';
    std::cout << "||a|| = " << m << '\n';
}

5. CMake 构建脚本（`CMakeLists.txt`）

cmake_minimum_required(VERSION 3.20)
project(MathModuleDemo LANGUAGES CXX)

set(CMAKE_CXX_STANDARD 20)
set(CMAKE_CXX_STANDARD_REQUIRED ON)

# 模块编译
add_library(math.vector MODULE src/math/vector.impl.cpp src/math/vector.module.hpp)
# 目标属性，指定模块导出
set_target_properties(math.vector PROPERTIES
    CXX_MODULE_FLAGS "-fmodules-ts"
    PUBLIC_HEADER src/math/vector.module.hpp)

# 可执行文件
add_executable(app src/main.cpp)
target_link_libraries(app PRIVATE math.vector)

注意

-fmodules-ts 需要 GCC/Clang 支持。

如果使用 MSVC，请使用 /std:c++20 并确保项目设置为 Module 类型。

6. 编译与运行

mkdir build && cd build
cmake ..
cmake --build .
./app

输出示例：

a + b = (5, 7, 9)
a · b = 32
||a|| = 3.74166

7. 进一步优化

模块缓存：编译器会生成 .pcm（预编译模块）文件，下次编译可直接使用，显著提高编译速度。
命名空间：可以将模块内部代码放在命名空间 math 中，避免全局冲突。
依赖管理：使用 export import 将其他模块的接口导入当前模块，形成模块化依赖链。

8. 小结

通过上述示例，我们完成了一个简单的 Vector3 类模块化实现，展示了 C++20 模块的基本用法与编译流程。模块化不仅提升了编译速度，也增强了代码的可维护性与可复用性。建议在大型项目中逐步引入模块化，以获得更清晰、更高效的构建体系。

发表评论取消回复