C++ 现代之路 (五)：C++20 核心支柱（上）—— 模块系统与协程

🎯 核心目标

本讲将深入解析 C++20 模块系统 (Modules) 如何取代传统的头文件机制，以及 协程 (Coroutines) 如何彻底改变 C++ 的异步编程模式。

---

一、模块系统（Modules）：告别 #include 时代的变革

1. 为什么需要 Modules？（痛点分析）

传统的 C++ 使用 #include 预处理器指令来引入头文件。这带来了以下几个关键问题：

• 编译速度慢： 每次包含头文件，预处理器都会将头文件内容复制到源文件，导致文件重复解析和编译。深度嵌套的头文件尤为严重。
• 宏污染与依赖管理混乱： 头文件中定义的宏会影响到所有引入它的源文件，可能导致难以预查的宏定义冲突。
• 没有依赖隔离： 编译器需要处理大量 #include 带来的间接依赖，使得编译过程复杂且耗时。

2. Modules 的核心优势与原理

Modules 旨在提供一个现代、高效的替代方案，它不再是简单的文本替换，而是提供编译时级别的接口和实现分离。

特性	传统 #include	C++20 Modules (import)	优势
处理方式	文本复制/预处理	编译后的二进制接口 (BMI)	极大地加速编译
符号隔离	宏污染/无隔离	严格隔离，只导出指定符号	避免宏污染和命名冲突
依赖性	间接依赖、网状结构	显式依赖、树状结构	清晰、可控的依赖关系

3. Modules 语法与实践

A. 模块的定义

一个模块由一个或多个编译单元组成。我们使用 export module 来定义一个模块的名称。

// math.ixx (Module Interface Unit)
export module math; // 定义模块名

// 导出模块的公共接口
export namespace Math {
    export int add(int a, int b); // 导出函数
    // 默认未导出的实体，外部不可见
    void internal_func(); 
}

B. 模块的使用

使用 import 关键字来引入模块，而不是 #include。

// main.cpp
import math; // 引入定义的模块

int main() {
    int result = Math::add(5, 3); // 可以直接使用导出的接口
    // Math::internal_func(); // 编译错误：internal_func 未导出
    return 0;
}

C. 全局模块片段 (Global Module Fragment)

用于兼容旧的 C 头文件或某些需要宏定义的第三方库。在这个片段中，仍然可以使用 #include。

// my_module.ixx
module;
#include <cstdio> // 放在这里，#include 不会污染 import my_module 的代码
export module my_module; 

export void print_hello() {
    std::printf("Hello from module!\n");
}

---

二、协程（Coroutines）：解锁异步编程的未来

1. 协程 vs. 线程 vs. 函数

理解协程，首先要区分它与函数和线程的区别。

• 函数 (Function)： 一旦调用，执行权交给函数体，直到函数返回，执行流程是阻塞的，且不能暂停。
• 线程 (Thread)： 由操作系统调度，是 OS 级别的并发单元，切换开销大，但能真正并行（在多核 CPU 上）。
• 协程 (Coroutine)： 协作式任务，用户级调度，执行流程是可暂停的，可以在暂停点（如等待 I/O）交出控制权，然后在未来恢复执行。开销极小。

2. C++20 协程的原理与关键字

C++20 的协程并不是一个库，而是一个底层的语言特性，由三个新的关键字驱动，允许函数在执行过程中暂停 (suspend) 和恢复 (resume)。

关键字	作用	描述
co_await	暂停点	暂停协程执行，等待一个可等待对象 (Awaitable) 完成。完成后，协程从暂停点恢复。
co_yield	生成器	暂停协程执行，并返回一个值。常用于实现迭代器或生成器函数。
co_return	返回值	结束协程执行，并返回一个值（或无值）。取代传统函数的 return。

协程的实现结构（Compiler Magic）：

当一个函数包含上述任意一个关键字时，编译器会将其识别为协程，并将其转化为一个复杂的状态机。

主要涉及三个概念：

1. 承诺对象 (Promise Object)： 协程的内部状态管理和结果存储。
2. 协程句柄 (Coroutine Handle)： 外部与协程交互的接口，用于恢复 (resume) 协程。
3. 最终返回值 (Return Value)： 协程函数对外暴露的类型，它通常包含协程句柄，以便外部调用者控制协程。

3. 异步编程中的应用：co_await

协程最强大的应用场景是异步 I/O 和事件驱动编程。使用协程可以避免传统回调函数的“回调地狱” (Callback Hell)，使异步代码看起来像同步代码一样清晰。

示例：简化异步读取

假设有一个异步读取函数 async_read(buffer)。

• 传统回调： async_read(buffer, [](Result r){ /* 处理结果 */ });
• 使用协程： Result r = co_await async_read(buffer); // 协程暂停，等待 I/O 完成

4. 迭代器应用：co_yield (生成器)

co_yield 允许协程作为数据流的生成器 (Generator)，按需生成序列中的元素。

// 示例：一个简单的生成器协程
template<typename T>
Generator<T> count_up(int max) {
    for (int i = 1; i <= max; ++i) {
        co_yield i; // 暂停并返回 i
    }
}

// 使用：
for (int val : count_up(5)) {
    // 每次迭代都会恢复 count_up 协程，直到遇到下一个 co_yield 或结束
}

---

💡 总结与面试重点

• Modules 核心价值： 解决 #include 带来的编译速度慢和宏污染问题。它通过编译二进制接口 (BMI) 实现真正的隔离和高效编译。
• 协程的定义： 是一种可暂停、可恢复的用户级并发实体，开销远小于线程。
• 协程三剑客： co_await (暂停等待)、co_yield (暂停生成)、co_return (结束返回)。
• 协程的应用场景： 异步 I/O 编程（消除回调地狱）和实现生成器。
• C++20 协程的本质： 是一个语言特性，编译器将其转换为状态机。

---

❓ 下一步？

接下来我们将进入第六讲，深度解析 C++20 的另一对核心特性：Concepts（改善模板编程）和 Ranges 库（实现函数式容器操作）。