C++怎么用协程 C++20异步编程co_await用法【深度】

1次阅读

co_await 是语法糖,需 awaitable 类型支撑;标准库无内置支持,须用第三方库或自定义 awaiter;裸指针/临时对象易致野指针;编译器支持需显式启用协程标志并链接对应运行时。

C++怎么用协程 C++20异步编程co_await用法【深度】

co_await 在 c++20 里不是“开箱即用”的异步工具

它只是语言层面的挂起/恢复语法糖,背后必须有你自己或第三方提供的 awaiter 类型支撑。没有 awaitable 对象,co_await 直接报错:Error: use of undeclared identifier 'operator co_await'

常见错误是以为写了 co_await some_task() 就能自动调度——其实编译器只检查 some_task() 返回值是否满足 awaitable 概念(即有没有 await_readyawait_suspendawait_resume 成员),不关心它内部干了啥。

  • 标准库目前(C++20/C++23)**没提供任何可直接 co_await 的异步类型**,std::future 不支持,std::Thread 更不行
  • 想用 co_await 真正做 I/O 或延时,得靠 libunifexcppcoroBoost.ASIO(1.79+)这类库封装taskasync_operationawaitable 类型
  • 自己手写 awaiter 要小心 await_suspend 返回 bool(决定是否真挂起)还是 std::coroutine_handle(移交控制权),返回 void 是非法的

为什么 std::this_thread::sleep_for 不能直接 co_await

因为它是同步阻塞调用,不是 awaitable;强行 co_await std::this_thread::sleep_for(1s) 会编译失败:error: no member named 'await_ready' in 'std::chrono::duration<...>'</...>

真正可行的是用封装好的异步延时,比如 cppcoro::sleep_afterasio::steady_timer::async_wait,它们返回的对象实现了完整 awaiter 接口

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

  • cppcoro::sleep_after(500ms) 返回 cppcoro::task<void></void>,可 co_await,底层用定时器 + 调度器唤醒协程
  • Boost.ASIO 中要先有 io_context 实例,再构造 steady_timer,调用 async_wait 才返回可等待对象
  • 别试图把 std::this_thread::sleep_for 包进 std::jthread 再 await——那只是开了个线程阻塞,协程本体仍卡在当前线程,没解决并发等待问题

co_await 表达式里传裸指针或临时对象的风险

协程挂起时,局部变量可能已析构,但 await_suspend 里若还存着指向它的指针(比如 std::coroutine_handle 存在 Lambda 捕获中),恢复时就是野指针访问。

典型场景:自己写的 awaiterawait_suspend 里把 handle 交给某个队列或 timer,但没确保该 awaiter 对象生命周期覆盖整个等待过程。

  • 避免在 await_suspend 中捕获局部 awaiter 的引用或指针;要么把它移到上(new awaiter{...}),要么用 std::shared_ptr 管理
  • 如果 await_ready 返回 true,协程不会挂起,await_suspend 根本不执行——所以不要在 await_suspend 里做必须发生的初始化
  • 调试时注意:GDB/Lldb 对协程帧支持有限,await_resume 返回点可能跳得“不直观”,建议加日志或断点在 await_suspendawait_resume 入口

MSVC / Clang / GCC 对 co_await 的实现差异在哪

三者都支持 C++20 协程语法,但默认不开启,且运行时依赖不同。没配对启用协程支持和链接对应运行时,会链接失败或行为异常。

  • MSVC:需加 /std:c++20 /await,并链接 libcmt.lib(静态)或 msvcp140.dll(动态),否则 co_await 编译通过但运行时报 __builtin_coro_* 符号未定义
  • Clang:用 -std=c++20 -fcoroutines-ts(旧)或 -std=c++20 -fcoroutines(新),还需指定 -stdlib=libc++ 并链接 libc++.alibc++.so
  • GCC:10+ 支持,但协程运行时(libcoro)未进标准库,得自己编译或用 libunifex 自带的轻量实现;-fcoroutines 必须配合 -lstdc++,否则 co_yield 相关符号找不到

跨平台项目最容易漏的是构建系统没统一开启协程标志,或者 CI 环境里某台机器忘了装 libc++-dev / libcoro-dev。

text=ZqhQzanResources