C++20协程是用户态轻量级函数，通过co_await、co_yield、co_return实现暂停与恢复。核心组件包括协程句柄、promise_type、awaiter和返回类型约定。使用await_ready、await_suspend、await_resume定义可等待对象。通过自定义Task和DelayAwaiter可实现异步延迟，适用于网络IO、生成器等场景。关键在于理解各组件协作机制。
C++20 的协程是语言原生支持的异步编程特性，它让编写异步代码像写同步代码一样直观。协程不是线程，也不依赖操作系统调度，而是用户态的轻量级“函数”，可以在执行过程中暂停（suspend）和恢复（resume）。要真正用好 C++20 协程，必须理解其核心组件：协程句柄、promise 对象、awaiter 和返回类型约定。
协程的基本语法结构
一个函数成为协程，只要它内部使用了 co_await、co_yield 或 co_return 三个关键字之一。编译器会将该函数转换为状态机。
auto my_coroutine() {co_return 42;
}
上面这个函数就是一个最简单的协程。虽然没做实际异步操作，但它已经是协程了，因为用了 co_return。
实现一个可等待对象（Awaiter）
要让协程能被 await，需要定义满足“可等待”（awaitable）概念的对象。一个 awaitable 类型必须提供以下方法：
立即学习“C++免费学习笔记（深入）”；
- bool await_ready()：决定是否需要暂停。返回 true 表示无需挂起，直接继续执行。
- void await_suspend(std::coroutine_handle h)：协程挂起时调用，传入当前协程句柄，通常用于注册回调或调度。
- T await_resume()：协程恢复后调用，返回值会成为 co_await 表达式的结果。
struct suspend_always {
bool await_ready() { return false; }
void await_suspend(std::coroutine_handle h) { / 挂起 / }
void await_resume() {}
};
这是标准库中定义的 std::suspend_always，常用于调试或控制流程。
定义协程返回类型与 Promise
协程的返回类型必须包含一个嵌套的 promise_type，它决定了协程的行为，比如初始挂起点、最终挂起点、异常处理等。
struct Task {
struct promise_type {
Task get_return_object() { return {}; }
std::suspend_always initial_suspend() { return {}; }
std::suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
void unhandled_exception() {}
};
};
上面定义了一个极简的 Task 类型，可用于异步任务封装。initial_suspend 返回 suspend_always 表示协程创建后立即挂起，直到被显式恢复。
实战：实现一个简单的异步延迟协程
下面是一个模拟异步延时的协程例子，使用 co_await 实现非阻塞等待。
include
include iostream>
include
include
struct DelayAwaiter {
int ms;
bool await_ready() { return false; }
void await_suspend(std::coroutine_handle h) {
std::thread([h, ms = ms] {
std::this_thread::sleep_for(std::chrono::milliseconds(ms));
h.resume(); // 延迟结束后恢复协程
}).detach();
}
void await_resume() {}
};
Task delay(int ms) {
co_await DelayAwaiter{ms};
std::cout
}
调用 delay(1000) 会启动一个协程，在后台开启线程等待 1 秒后恢复执行。注意：生产环境应使用事件循环或线程池避免频繁创建线程。
协程的实际应用场景
C++20 协程适合用于：
- 网络异步 I/O（配合 epoll 或 IOCP）
- 游戏逻辑中的行为树或定时任务
- GUI 事件响应中避免回调地狱
- 生成器（generator）通过 co_yield 返回一系列值
例如，用 co_yield 实现一个整数生成器：
generatorfor (int i = start; i co_yield i;
}
可以配合范围 for 循环使用，延迟生成每个值。
基本上就这些。C++20 协程门槛高，但一旦掌握，就能写出清晰高效的异步代码。关键是理解 promise、awaiter 和调度机制的协作方式。不复杂但容易忽略细节。
