C++20协程是可暂停恢复的函数,通过co_await、co_yield、co_return实现异步编程;其核心由promise对象、coroutine_handle和awaitable对象构成,需手动管理生命周期,常用于生成器等场景。

C++20 引入了协程(Coroutines),它是一种可以暂停和恢复执行的函数,允许你在函数执行到某个点时挂起,之后从中断的地方继续运行。这不同于普通函数——一旦调用并返回,上下文就丢失了。协程保留了执行状态,适合用于异步编程、生成器、惰性求值等场景。
协程的基本特征
协程不是线程,也不涉及操作系统调度。它是用户态的控制流切换机制,由编译器支持实现。C++20 的协程是无栈协程(stackless),意味着它们不能在任意位置挂起,只能在 co_await、co_yield 或 co_return 处暂停。
一个函数只要包含以下关键字之一,就会被编译器识别为协程:
co_await:等待一个异步操作完成,期间可挂起co_yield:产出一个值后挂起,常用于生成器co_return:结束协程并返回结果
协程的核心组件
C++20 协程依赖三个关键部分:promise 对象、coroutine handle 和 awaitable 对象。
立即学习“C++免费学习笔记(深入)”;
1. Promise 类型
每个协程都有一个关联的 promise 对象,它控制协程的行为,比如如何开始、如何返回值、如何处理异常。你需要在返回类型中定义 promise_type。
示例:简单的 generator
templatestruct Generator { struct promise_type { T value; auto get_return_object() { return Generator{this}; } auto initial_suspend() { return std::suspend_always{}; } auto final_suspend() noexcept { return std::suspend_always{}; } void return_void() {} auto yield_value(T v) { value = v; return std::suspend_always{}; } void unhandled_exception() { std::terminate(); } };using handle_type = std::coroutine_handle;explicit Generator(promise_type* p) : coro_(handle_type::from_promise(*p)) {}~Generator() { if (coro_) coro_.destroy(); }bool next() { if (!coro_ || coro_.done()) return false; coro_.resume(); return !coro_.done();}T value() const { return coro_.promise().value; }
private:handletype coro;};
2. Awaitable 与 co_await
任何对象只要提供了 await_ready、await_suspend、await_resume 方法,就可以被 co_await 使用。这是实现异步等待的基础。
例如:
struct Awaiter { bool await_ready() { return false; } // 是否立即继续 void await_suspend(std::coroutine_handle h) { // 可以把 h 存起来,稍后手动 resume } int await_resume() { return 42; }};Generator count_three() {co_yield 1;co_yield 2;co_yield 3;}
协程的实际使用示例
下面是一个完整的生成器例子,展示如何使用协程逐步返回数值:
#include #include// 上面的 Generator 定义放在这里
void test_generator() {auto gen = count_three();while (gen.next()) {std::cout << gen.value() << 'n';}}
输出结果为:
123
每次调用 next(),协程从上次挂起点恢复,执行到下一个 co_yield。
协程的生命周期与资源管理
协程启动后,其帧(frame)通常分配在堆上,由运行时管理。你必须确保协程句柄(coroutine_handle)正确销毁,否则会内存泄漏。
initial_suspend 决定协程是否一开始就挂起。若返回 suspend_always,协程创建后不会自动运行,需要手动 resume;若返回 suspend_never,则立即执行。
当协程遇到 co_return 或异常未被捕获时,进入最终挂起点(final_suspend),此时你可以决定是否再次挂起以便清理资源。
基本上就这些。C++20 协程虽然强大,但接口较为底层,需要自己封装常用模式。理解 promise、handle 和 awaitable 的协作方式,是掌握协程的关键。实际项目中推荐结合现有库如 cppcoro 来简化使用。
以上就是c++++中协程是什么_C++20协程原理与基本用法入门的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1476952.html
微信扫一扫
支付宝扫一扫