返回协程句柄与在await_suspend中恢复协程的区别及选型依据

C++标准为可等待类型提供了多种实现await_suspend的方式，常见的两种分别是返回协程句柄、返回void并显式恢复协程，除了条件恢复的实现差异外，二者还有以下核心区别，也对应不同的适用场景：

两种实现方式回顾 #

方式1：返回待恢复的协程句柄 #

std::coroutine_handle<> await_suspend(std::coroutine_handle<> h)
{
    return otherCoro;
}

运行时会在await_suspend返回后，负责恢复otherCoro，原协程会在otherCoro执行完毕后才继续。

方式2：返回void并显式恢复 #

void await_suspend(std::coroutine_handle<> h)
{
    otherCoro.resume();
}

otherCoro的恢复是在await_suspend内部同步执行的，执行完毕后await_suspend返回，原协程继续。

核心差异 #

• 调度逻辑的控制权
  返回协程句柄时，恢复操作的控制权在协程运行时/调度器手中。运行时可以选择立即恢复otherCoro，也可以将其加入异步调度队列（比如线程池、IO事件循环），实现真正的异步调度，不会阻塞当前执行线程。
  而返回void的方式中，otherCoro的恢复是同步阻塞的——当前线程会停在resume()调用处，直到otherCoro执行完成，无法利用异步调度能力。

• 异常传播路径
  若otherCoro执行时抛出未捕获异常：

  • 返回句柄的方式：异常会被传播到原协程中co_await的位置，由原协程的try/catch逻辑处理，符合协程的异常传播语义。
  • 返回void的方式：异常会直接在await_suspend函数内抛出，如果没有在该函数内部捕获，会直接终止当前线程，无法回流到原协程处理。

• 空操作的实现复杂度
  返回句柄的方式若要跳过恢复（即不恢复任何协程），必须返回std::noop_coroutine()，这是标准规定的空操作句柄；而返回void的方式只需不调用resume()即可，逻辑更直观。

优先选择的场景 #

• 优先选返回句柄

  1. 需要异步调度协程：比如将协程交给线程池、IO完成端口等异步框架调度，避免同步阻塞当前线程，提升程序的并发能力。
  2. 需要统一异常处理：让异常自然回流到原协程的co_await位置，无需在await_suspend中额外处理异常，代码结构更清晰。

• 优先选返回void

  1. 需要同步立即执行：明确otherCoro必须马上执行，且不需要异步调度的场景，代码逻辑更直接，可读性更高。
  2. 条件恢复场景：可以通过条件判断灵活决定是否调用resume()，无需借助std::noop_coroutine()这类技巧，代码更简洁。

内容的提问来源于stack exchange，提问作者Calmarius