C++20协程是可暂停和恢复的函数,通过co_await、co_yield、co_return实现异步编程,编译器将其转为状态机,避免阻塞线程,提升代码可读性与维护性。

异步编程在现代C++中一直是个复杂话题。回调、状态机和future/promise链容易让代码变得难以阅读和维护。C++20引入的协程(Coroutines)提供了一种更自然的方式来编写异步逻辑,通过 co_await、co_return 和 co_yield 关键字,让异步代码看起来像同步代码一样直观。
什么是C++20协程?
C++20协程不是操作系统线程,而是一种可暂停和恢复执行的函数。当一个函数包含 co_await、co_yield 或 co_return 时,它就成为协程。编译器会将其转换为状态机,自动管理上下文和挂起点。
协程的核心优势在于:你可以写看似“阻塞”的代码,实际不会阻塞线程,而是挂起当前协程,把控制权交还给调用者。
co_await:等待异步操作完成
co_await 是协程中最常用的关键字,用于暂停协程直到某个异步操作完成。它作用于“awaiter”对象——即实现了特定接口的对象(如 await_ready、await_suspend、await_resume)。
立即学习“C++免费学习笔记(深入)”;
例如,假设我们有一个模拟网络请求的异步任务:
struct async_task {
bool await_ready() { return false; } // 是否立即完成
void await_suspend(std::coroutine_handle<> h) {
// 延迟1秒后恢复协程
std::thread([h] {
std::this_thread::sleep_for(std::chrono::seconds(1));
h.resume();
}).detach();
}
int await_resume() { return 42; } // 恢复后返回值
};
使用 co_await 调用它:
int co_func() {
int result = co_await async_task{};
std::cout << "Result: " << result << std::endl;
co_return result;
}
这段代码会暂停1秒,然后继续执行,输出结果。整个过程不阻塞主线程,但写法如同同步代码。
co_return:从协程返回值
co_return 用于结束协程并返回值,类似于普通函数中的 return。但它会触发协程的最终清理,并通知调用方结果已就绪。
注意:协程的返回类型必须支持协程接口,比如自定义一个简单的 task 类型:
templatestruct task { struct promise_type { T value; auto get_return_object() { return task{handle_type::from_promise(*this)}; } auto initial_suspend() { return std::suspend_always{}; } auto final_suspend() noexcept { return std::suspend_always{}; } void return_value(T v) { value = v; } void unhandled_exception() { std::terminate(); } }; std::coroutine_handle handle; T get() { handle.resume(); return handle.promise().value; } };
这样就可以在协程中使用 co_return:
taskcompute() { co_return 100; } // 使用 auto t = compute(); std::cout << t.get() << std::endl; // 输出 100
简化异步流程的实际好处
没有协程时,多个异步操作需要嵌套回调或链式 future,容易形成“回调地狱”。有了 co_await,可以线性书写:
taskfetch_and_process() { auto user = co_await fetch_user_async("alice"); auto data = co_await load_data_async(user.id); auto result = co_await send_result_async(data); std::cout << "Done: " << result << std::endl; }
每一步都清晰明了,错误处理也可以用 try/catch 直接捕获异常,无需额外注册错误回调。
基本上就这些。C++20协程降低了异步编程的认知负担,虽然底层机制复杂,但使用层面可以非常简洁。掌握 co_await 与 co_return,是进入现代C++异步世界的第一步。










