C++无栈协程内部实现疑问：栈指针是否指向堆分配协程帧？

C++协程的实现采用的是你设想的左侧方式：直接让执行上下文在堆分配的协程帧上运行，不会把帧数据复制到调用者栈中。

核心逻辑 #

无栈协程的设计初衷就是追求轻量高效，堆上的协程帧仅保存协程暂停时的必要状态（比如局部变量、暂停点位置、寄存器上下文快照）。启动或恢复协程时，编译器生成的代码会直接操作这个堆帧：

• 启动协程时，在堆上分配帧并初始化状态，然后跳转到协程入口执行；
• 恢复协程时，从堆帧中读取之前保存的暂停状态，直接在该帧上继续执行后续逻辑。

为什么不采用复制方式 #

你提到的右侧复制方案（将堆帧数据拷贝到调用者栈）完全违背无栈协程的设计目标：

• 复制操作的开销会随协程帧大小线性增长，帧越大性能损耗越明显；
• 无栈协程的“无栈”正是指不需要为协程分配独立栈空间，仅用堆帧保存必要状态，复制到调用者栈相当于引入了额外的栈操作，失去了无栈协程的轻量优势。

编译器实现细节 #

虽然GCC、Clang、MSVC等主流编译器的具体实现略有差异，但核心逻辑一致：所有协程相关的状态读写、执行跳转都直接基于堆上的协程帧完成，不存在帧数据的复制步骤。co_await、co_yield等关键字对应的底层操作，都是直接修改堆帧内的状态标记，恢复时从堆帧中读取上下文并继续执行。

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