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 实现一个整数生成器:
generator range(int start, int end) {
for (int i = start; i co_yield i;
}
可以配合范围 for 循环使用,延迟生成每个值。
基本上就这些。C++20 协程门槛高,但一旦掌握,就能写出清晰高效的异步代码。关键是理解 promise、awaiter 和调度机制的协作方式。不复杂但容易忽略细节。
以上就是c++++20的协程(coroutine)怎么使用_c++协程语法与异步编程实战的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1481790.html
微信扫一扫
支付宝扫一扫