C++协程coroutine在C++20中怎么定义co

co_await是编译器识别协程的语法标记，非可重载函数；需使表达式expr成为awaitable对象，通常通过在自定义类型中实现await_ready()、await_suspend()、await_resume()三个成员函数。

c++协程coroutine在c++20中怎么定义co_await

co_await 不是函数，是编译器触发点

你不能“定义”co_await本身——它不是可重载的函数名，而是 C++20 编译器识别协程的语法标记。真正需要你实现的是：让某个表达式 expr 能被 co_await expr 合法使用，即让 expr 成为一个 awaitable 对象。

怎么让一个类型支持 co_await？看三个成员函数

编译器遇到 co_await expr 时，会按顺序查找：

expr.operator co_await()
operator co_await(expr)
若 expr 是类类型，查它是否有 await_ready()、await_suspend(std::coroutine_handle)、await_resume()

最常用也最可控的方式是第三种：在自定义类型中实现这三个函数。例如：

struct sleep_awaitable {
  std::chrono::milliseconds dur;
  bool await_ready() const noexcept { 
    return dur  h) noexcept {
    // 投递到定时器线程或注册 epoll/kqueue
    start_timer(dur, [h] { h.resume(); });
  }
  void await_resume() const noexcept {}
};

注意：await_suspend 返回 void 或 true 表示“挂起后立即返回调用方”，此时你必须确保 h 被安全持有（比如用 std::shared_ptr 包裹）；返回 false 表示“我自行负责唤醒”，但必须在某个时刻调用 h.resume()，否则协程永久卡住。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

常见错误：co_await 没反应、程序卡死

这不是 co_await 本身的问题，而是 awaitable 实现没对齐预期行为：

await_ready() 总返回 true → 协程不挂起，直接往下跑，await_suspend 根本不调用
await_suspend 里忘了保存 h 或调用 resume() → 协程挂起后无人唤醒，主线程/调用方永远等不到返回
在 await_suspend 的 lambda 中捕获协程局部变量（如 [this]）→ 协程帧可能已被移动或销毁，访问野指针
把 std::suspend_always{} 直接 co_await 但没手动 resume() → 它只挂起，不唤醒，纯靠外部驱动

标准提供的 awaitable 类型有哪些？

标准库只提供了两个“占位符”类型，不带调度逻辑：

std::suspend_always{}：await_ready() 恒为 false，await_suspend 立即返回 void，必须靠外部调用 handle.resume()
std::suspend_never{}：await_ready() 恒为 true，不挂起，同步执行