C++20无栈协程疑问：内部协程为何无法单独挂起

一、无栈协程的核心特性 #

C++20的协程是无栈协程，协程的执行状态（局部变量、挂起点等）存储在堆分配的协程帧中，而非传统函数调用的调用栈上。每个协程有独立的协程帧，但协程的运行依赖于调用它的执行上下文（比如外部协程或主线程），没有属于自己的独立调用栈。

二、书中表述的具体含义 #

Coroutines are stackless. You cannot suspend an inner coroutine that was called within an outer coroutine without suspending the outer coroutine. You can only suspend the outer coroutine as a whole.

这句话的核心逻辑是：

• 当外部协程f调用内部协程g时，如果g触发了挂起（比如遇到co_await/co_yield），你无法让g停在挂起点的同时，让f继续执行自身后续代码或者返回给f的调用者。
• 此时只有两种选择：要么f主动挂起自己（将f的当前状态和g的挂起状态一起保存到f的协程帧中），要么f持续恢复g直到g完全执行完毕（此时g从未真正“挂起”后脱离f的控制）。

三、示例与表述的矛盾澄清 #

你提到的“协程f调用g、持续恢复g直至完成期间，f未返回给自身调用者”的场景，和书中表述并不冲突：

• 这个场景里，f是主动选择同步驱动g完成：f在自身的执行流中，不断调用g的恢复函数，直到g执行到co_return结束。
• 整个过程中，g虽然可能触发挂起点，但每次挂起后都被f立刻恢复，并没有处于“长期挂起且脱离f控制”的状态。f自始至终都在运行，没有挂起，自然不需要返回给自身调用者——这完全符合“不能单独挂起内部协程而不挂起外部协程”的前提，因为g根本没有被单独挂住。

四、无栈特性与表述的关联 #

无栈协程没有独立的调用栈，是导致这个限制的根本原因：

• 有栈协程（比如线程或某些第三方库的协程）拥有完整的独立调用栈，当内部协程挂起时，它的栈可以被独立保存，外部协程可以选择挂起自己或者继续运行，之后还能单独恢复内部协程。
• 但C++20的无栈协程中，g的执行依附于f的执行上下文——g的协程帧虽然独立，但g的运行必须由f（或其他持有g句柄的执行体）驱动。如果g挂起，f没办法“放下”g的挂起状态去执行其他逻辑，因为f的执行流和g的驱动是绑定的，要么一起挂起，要么把g跑完。

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