《魔法积木与编译城堡：C++20模块化编程指南》——摩登C++系列第1

C++20 模块：告别头文件的新时代

一、卡通故事：积木城堡的两种拼法

小熊用旧法搭城堡：

• 每次开工都要把整袋积木清单念一遍（#include）
• 重复又慢，还常拿错积木（宏冲突）

朋友小猫教它新法：

1. 先把清单印成"魔法卡片"（模块接口）
2. 用时一亮卡片（import）立刻拿到所需积木
3. 不重复、不混乱、速度飞快

二、为什么需要模块？

传统 C++ 的 #include机制通过文本替换引入代码，导致：

• 编译慢：重复解析相同头文件
• 命名污染：宏和全局名称无隔离
• 封装性差：必须暴露实现细节

模块（Modules）通过预编译接口实现：

1. 显式声明导出（export）
2. 接口与实现分离
3. 依赖关系清晰化

性能对比：Google 测试显示，模块化改造后 Chromium 的编译时间减少 30%

三、实战示例：数学模块的封装

1. 模块定义（仅导出 fibonacci）

export module math_mod;

// 导出接口,仅声明
export int fibonacci(int n);

// 内部实现（未导出）
static int add(int a, int b) { return a + b; }
static int subtract(int a, int b) { return a - b; }

//具体实现
int fibonacci(int n) {
    if (n <= 1) return n;
    return fibonacci(n-1) + fibonacci(n-2);
}

2. 使用模块

import math_mod;
#include <iostream>

int main() {
    std::cout << "Fibonacci(5): " << fibonacci(5) << "\n";
    // 以下代码将编译失败：
    // std::cout << add(2,3); 
    // std::cout << subtract(5,2);
    return 0;
}

3. 编译命令（GCC 11+）

• 必须参数：若使用 .cppm扩展名或需要生成 BMI（Binary Module Interface），仍需显式添加 -fmodules-ts
• 替代方案：部分环境可用 -std=c++20隐式启用模块支持，但显式声明更可靠

# 生成模块接口
g++ -std=c++20 -fmodules-ts -c math_mod.cppm -o math_mod.o

# 编译主程序
g++ -std=c++20 -fmodules-ts main.cpp math_mod.o -o app

四、关键优势总结

特性	头文件	模块
编译速度	线性增长	常量级
名称隔离	需手动管理	自动隔离

模块现已进入 C++20/23 标准，Clang/GCC/MSVC 均已提供生产级支持

---