C++20 模块化编程实战：从头到尾构建可复用库

作者

模块化编程是 C++20 推出的重要特性，它让我们可以把代码拆分成更小、更独立的单元，显著提高编译速度、降低依赖耦合。下面以一个简单的“数学运算库”为例，演示如何从零开始设计、实现并使用 C++20 模块。整个流程包括模块文件编写、构建配置、外部调用以及模块依赖管理。

1. 需求分析

我们需要一个名为 mathlib 的库，提供基础算术运算（加、减、乘、除）以及一个复合函数 complexOperation。为了保证接口简洁、实现可复用，所有实现细节都封装在模块内部。

2. 项目结构

mathlib/
├── src/
│   ├── math_module.ixx
│   ├── operations.ixx
│   └── complex.ixx
├── include/
│   └── mathlib/
│       └── math.hpp
├── build/
├── CMakeLists.txt
└── README.md
  • *.ixx 是模块接口文件（module interface unit）；
  • math.hpp 是模块的外部头文件，供外部使用；
  • CMakeLists.txt 用于配置编译。

3. 模块接口文件

3.1 math_module.ixx

export module mathlib;  // 模块名

export module mathlib::operations;
export module mathlib::complex;

这两个 export module 声明将 operations 与 complex 子模块合并进 mathlib 主模块，方便统一导出。

3.2 operations.ixx

export module mathlib::operations;

export int add(int a, int b) {
    return a + b;
}
export int sub(int a, int b) {
    return a - b;
}
export int mul(int a, int b) {
    return a * b;
}
export double div(double a, double b) {
    if (b == 0) throw std::invalid_argument("division by zero");
    return a / b;
}

3.3 complex.ixx

export module mathlib::complex;
import mathlib::operations;

export double complexOperation(double x, double y) {
    // 示例：((x + y) * (x - y)) / (x * y)
    return mul(add(x, y), sub(x, y)) / mul(x, y);
}

4. 外部头文件

include/mathlib/math.hpp：

#pragma once
export module mathlib; // 必须是 export module，保持一致性

export namespace mathlib {
    export int add(int a, int b);
    export int sub(int a, int b);
    export int mul(int a, int b);
    export double div(double a, double b);
    export double complexOperation(double x, double y);
}

此头文件仅声明接口，实际实现已在模块内部。

5. CMake 配置

CMakeLists.txt：

cmake_minimum_required(VERSION 3.23)
project(MathLib LANGUAGES CXX)

set(CMAKE_CXX_STANDARD 20)
set(CMAKE_CXX_STANDARD_REQUIRED ON)

add_library(mathlib STATIC
    src/operations.ixx
    src/complex.ixx
)
target_include_directories(mathlib PUBLIC
    $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
    $<INSTALL_INTERFACE:include>
)

# 编译选项：开启模块支持
target_compile_options(mathlib PRIVATE
    -fmodules-ts
    -Wno-unknown-pragmas
)

注意：CMake 3.23 起已原生支持 C++20 模块，但某些编译器（如 GCC、Clang）仍需要手动开启 -fmodules-ts。

6. 使用示例

创建一个简单的可执行文件来验证库：

// main.cpp
import mathlib;

#include <iostream>

int main() {
    std::cout << "add(3,5) = " << mathlib::add(3,5) << '\n';
    std::cout << "complexOperation(4,2) = " << mathlib::complexOperation(4,2) << '\n';
    return 0;
}

对应的 CMakeLists.txt：

add_executable(example main.cpp)
target_link_libraries(example PRIVATE mathlib)

编译运行后，输出：

add(3,5) = 8
complexOperation(4,2) = 1.5

7. 编译与构建

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

8. 进一步优化

  • 编译单元分离：将 operations 与 complex 进一步拆分为独立模块，以减少重编译。
  • 跨平台：在 CMakeLists.txt 中加入 if(CMAKE_CXX_COMPILER_ID STREQUAL "MSVC")，处理 Visual Studio 的模块支持差异。
  • 单元测试：利用 CTest 或 GoogleTest，对每个函数进行单元测试，保证实现正确。

9. 小结

通过上述步骤，我们完成了一个完整的 C++20 模块化库，从模块接口到外部调用。模块化带来的好处不仅是编译速度提升，还能更好地封装实现细节，提升代码可维护性。未来随着 C++23 等版本的成熟，模块化将成为 C++ 开发的标准做法之一，值得我们在项目中广泛使用。

发表评论