C++20协程是一种可暂停和恢复的函数执行模型，通过co_await、co_yield、co_return实现异步编程，编译器将其转化为状态机，适用于生成器和异步任务场景。
协程（Coroutine）是C++20引入的一种新的函数执行模型，它允许函数在执行过程中暂停并保存当前状态，之后可以从暂停的位置继续执行。与普通函数不同，普通函数一旦调用就必须运行到返回，而协程可以在中途“挂起”，把控制权交还给调用者，后续再恢复执行。
协程的基本概念
协程不是线程，也不是操作系统级别的任务调度单元，而是一种用户态的、轻量级的并发编程机制。它的核心特点是：可暂停和恢复执行流程，这使得编写异步代码更加直观，避免了回调地狱或复杂的Future链式调用。
C++中的协程基于三个关键词支持：
- co_await：用于等待一个异步操作完成，期间可以挂起协程。
- co_yield：用于生成一个值并挂起，常用于实现生成器（generator）。
- co_return：用于从协程中返回结果，并结束执行。
只要函数体内使用了上述任意一个关键字，该函数就被视为协程，编译器会将其转换为状态机形式进行管理。
立即学习“C++免费学习笔记（深入）”；
协程的工作机制
当一个函数被识别为协程后，编译器会自动生成一个对应的“协程帧”（coroutine frame），用来保存局部变量、执行状态以及控制恢复的信息。这个帧通常在堆上分配，由运行时管理生命周期。
协程依赖于一个称为promise type的类型来定义行为。每个协程都会关联一个 promise 对象，它决定了协程如何启动、如何返回值、如何处理异常等。此外，协程返回的对象（比如task
典型流程如下：
- 调用协程函数时，立即返回一个对象（不执行主体）。
- 通过该对象触发首次执行，进入协程体。
- 遇到 co_await 且条件未满足时，协程挂起，控制权交还。
- 异步操作完成后，恢复协程继续执行。
- 直到遇到 co_return 或结束，协程销毁帧并通知结果。
常见用途与示例
协程非常适合用于异步I/O、网络请求、事件驱动系统和数据流处理等场景。下面是一个简单的生成器示例，使用 co_yield 实现惰性序列：
generator<int> range(int start, int end) {
for (int i = start; i < end; ++i) {
co_yield i;
}
}
// 使用方式
for (int value : range(1, 5)) {
std::cout << value << " ";
}
// 输出: 1 2 3 4
另一个例子是异步任务，使用 co_await 等待延迟操作：
task<void> async_wait_example() {
std::cout << "Start\n";
co_await delay(1s); // 假设 delay 返回一个可等待对象
std::cout << "After 1 second\n";
}
这种写法看起来像同步代码，实则非阻塞，极大提升了可读性和维护性。
协程的优势与注意事项
优势很明显：简化异步编程模型，减少回调嵌套，提升代码清晰度。尤其适合高并发服务端开发。
但也要注意以下几点：
- 协程帧默认在堆上分配，频繁创建可能带来内存开销。
- 编译器对协程的支持仍在演进，不同标准库实现可能存在差异。
- 调试协程比普通函数困难，栈信息不连续。
- 需要自行设计或选用合适的 task/generator 类型来配合使用。
基本上就这些。C++协程不是银弹，但它为现代异步编程提供了更优雅的路径。掌握其原理和使用模式，能显著提升复杂异步系统的开发效率。
