C++20的协程(Coroutines)怎么用_C++异步编程的革命性新特性

C++20协程是编译器支持的可暂停恢复函数,通过co_await、co_yield、co_return实现异步与生成器模式,提升代码可读性与效率。

c++20的协程(coroutines)怎么用_c++异步编程的革命性新特性

协程是C++20引入的一项重大特性,它让异步编程变得更自然、更高效。与传统的回调或Future/Promise模式相比,C++20协outines允许你用近乎同步的代码结构来编写异步逻辑,极大提升了可读性和维护性。

什么是C++20协程?

C++20中的协程并不是语言层面的“绿色线程”,而是一种编译器支持的特殊函数,可以在执行过程中暂停(suspend)和恢复(resume),而不阻塞调用线程。协程的关键在于:它们可以保存当前执行状态,并在之后从中断处继续运行。

一个函数只要使用了以下关键字之一,就会被编译器识别为协程:

co_await — 用于等待一个异步操作完成co_yield — 用于生成一个值并暂停(常用于生成器)co_return — 用于从协程中返回结果

协程的基本组成结构

要使用C++20协程,你需要理解三个核心组件:

立即学习“C++免费学习笔记(深入)”;

Promise Type:定义协程内部的行为,比如如何处理返回值、异常和初始/最终挂起。Coroutine Handle:一个轻量级句柄,用于控制协程的生命周期(如手动恢复)。Awaitable 和 Awaiter:支持 co_await 的对象,决定何时挂起和恢复。

此外,编译器会自动生成一些胶水代码,将普通函数转换为状态机形式,实现暂停与恢复。

一个简单的异步任务示例

下面是一个使用协程实现简单延迟任务的例子:

#include #include #include #include 

struct Task {struct promise_type {Task get_return_object() { return {}; }std::suspend_never initial_suspend() { return {}; }std::suspend_never final_suspend() noexcept { return {}; }void return_void() {}void unhandled_exception() {}};};

Task async_delay(int seconds) {std::this_thread::sleep_for(std::chrono::seconds(seconds));std::cout << "Waited for " << seconds << " seconds.n";}

int main() {async_delay(2); // 这里看似同步,实际是协程任务std::cout << "This runs immediately!n";return 0;}

注意:上面例子中的 sleep_for 是阻塞的,真正的异步应结合事件循环或线程池。这里仅展示语法结构。

使用 co_await 实现非阻塞等待

真正发挥协程优势的是配合可等待对象(awaitable)。例如,你可以定义一个延迟awaiter:

struct DelayAwaiter {    int delay_sec;    bool await_ready() { return false; } // 总是挂起    void await_suspend(std::coroutine_handle h) {        std::thread([h, sec = delay_sec]() mutable {            std::this_thread::sleep_for(std::chrono::seconds(sec));            h.resume(); // 延迟结束后恢复协程        }).detach();    }    void await_resume() {}};

然后在协程中这样使用:

Task my_async_func() {    std::cout << "Start...n";    co_await DelayAwaiter{3};    std::cout << "After 3 seconds!n";}

这实现了真正的异步等待,主线程不会被阻塞。

生成器(Generator)的实现

协程也适用于构建惰性序列生成器。例如:

templatestruct Generator {    struct promise_type {        T value;        Generator get_return_object() { return Generator(this); }        std::suspend_always initial_suspend() { return {}; }        std::suspend_always final_suspend() noexcept { return {}; }        void return_void() {}        std::suspend_always yield_value(T v) {            value = v;            return {};        }        void unhandled_exception() { std::terminate(); }    };
using handle_type = std::coroutine_handle;explicit Generator(promise_type* p) : coro(handle_type::from_promise(*p)) {}T operator()() {    coro.resume();    return coro.promise().value;}~Generator() { if (coro) coro.destroy(); }

private:handle_type coro;};

Generator range(int start, int end) {for (int i = start; i

// 使用方式for (auto val : [&]() {auto gen = range(0, 5);while (true) {std::cout

虽然标准库尚未提供原生generator,但通过协程很容易实现。

基本上就这些。C++20协程虽强大,但需要一定学习成本,尤其是对promise和awaiter的理解。不过一旦掌握,就能写出更清晰、高效的异步和惰性求值代码。

以上就是C++20的协程(Coroutines)怎么用_C++异步编程的革命性新特性的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1485293.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月19日 08:48:03
下一篇 2025年12月19日 08:48:25

相关推荐

发表回复

登录后才能评论
关注微信