在C++20中，协程（coroutine）被正式纳入标准库，极大地简化了异步编程的实现方式。相比传统的回调、线程或基于事件的机制，协程在语义上更接近同步代码，易于阅读、维护，同时还能保持高性能和低资源占用。下面从协程的基本概念、实现原理、标准库支持以及实践案例四个方面进行详细阐述。
一、协程的基本概念
协程是一种可暂停（suspend）与恢复（resume）的函数。调用协程时会立即执行到第一个 co_await、co_yield 或 co_return，随后挂起，返回一个 协程句柄（std::coroutine_handle）。随后可以再次 resume 该句柄，让协程从挂起点继续执行。与线程不同，协程共享同一执行栈，切换成本极低。
二、实现原理
协程的实现核心是“生成器状态机”。在编译阶段，编译器把协程函数拆解成：
- 状态机结构：包含当前状态、局部变量（被“保留”），以及用于执行上下文的栈帧。
- 生成器对象：包装状态机与协程句柄的类，负责协程的生命周期管理。
- 编译器生成的
resume函数：实现状态机的分支逻辑，依据当前状态执行相应代码块，并在遇到挂起点时更新状态并返回。
C++20 通过 promise type（承诺类型）进一步定义协程的生命周期。每个协程函数都有对应的 promise_type，其实现了 get_return_object()、initial_suspend()、final_suspend()、return_value() 等成员，用于控制协程的启动、挂起与返回。
三、标准库支持
C++20标准库在 `
` 头文件中提供了： – `std::coroutine_handle `：协程句柄类型。 – `std::suspend_always` / `std::suspend_never`：用于在协程中控制挂起策略。 – `std::generator `（实验性）：简化生成器的实现。 – `std::future ` 与 `std::shared_future` 的协程适配器：使 `co_await` 与 `std::future` 配合使用。 此外，Boost.Coroutine 和 Asio 的 `async` 模块在 C++20 之前已经提供了成熟的协程支持，随着标准化，许多第三方库逐渐迁移到标准实现。 ## 四、实践案例：协程版的 HTTP 请求 下面给出一个使用 `cppcoro`（开源协程库，已兼容 C++20）实现的异步 HTTP GET 示例。核心思路是将网络读写包装为协程，利用 `co_await` 实现非阻塞等待。 “`cpp #include #include #include #include #include #include #include #include using asio::ip::tcp; namespace coro = cppcoro; coro::async_socket socket(coro::asio_context& ctx) { return coro::async_socket (ctx); } coro::task async_http_get(const std::string& host, const std::string& path) { auto ctx = coro::asio_context{}; auto s = co_await socket(ctx); co_await s.connect(tcp::endpoint{asio::ip::make_address(host), 80}); std::string request = “GET ” + path + ” HTTP/1.1\r\n” “Host: ” + host + “\r\n” “Connection: close\r\n\r\n”; co_await s.write_some(request); std::string response; char buffer[4096]; for (;;) { auto n = co_await s.read_some(buffer); if (n == 0) break; response.append(buffer, n); } co_return response; } int main() { auto task = async_http_get(“example.com”, “/”); std::cout