c++如何实现一个简单的协程库_c++ Boost.Context与ucontext【源码】

协程本质是控制流的主动挂起与恢复，需栈、寄存器上下文和调度逻辑；ucontext.h仅用于教学演示，Boost.Context提供跨平台、异常安全的工业级实现，C++20协程则为无栈状态机方案。

用 C++ 实现一个“简单”的协程库，核心不是从零造轮子（比如手写汇编切换栈），而是理解协程的本质：**控制流的主动挂起与恢复**，并借助系统或标准库提供的上下文切换原语。Boost.Context 是成熟方案，而 ucontext.h（POSIX）是更底层、可教学但已废弃的接口。下面直击重点，不绕弯。

一、协程的本质：栈 + 寄存器上下文 + 调度逻辑

协程不是线程，它不抢占、不依赖内核调度。一次协程切换 = 保存当前函数执行现场（栈指针、指令指针、通用寄存器等）→ 跳转到另一段栈上的函数继续执行。关键不在“多任务”，而在“可控让出”（yield）和“可控唤醒”（resume）。

所以真正要实现的最小闭环是：

• 一个能分配独立栈内存的对象（如 char stack[8192]）
• 一套能保存/恢复 CPU 上下文的机制（这就是 ucontext 或 boost::context::continuation 干的事）
• 一个状态机管理协程生命周期（created → ready → running → suspended → done）

二、用 ucontext.h 写一个极简协程（仅作原理演示）

注意：ucontext 已被 POSIX 标准弃用，glibc 2.26+ 默认禁用，仅用于理解底层。生产环境请用 Boost.Context 或 C++20 协程。

立即学习“C++免费学习笔记（深入）”；

下面是去掉错误检查、仅保留主干的可运行片段：

#include <ucontext.h>
#include <iostream>
#include <vector>
<p>struct SimpleCoro {
ucontext_t ctx;
char stack[8192];
bool is_done = false;</p><pre class="brush:php;toolbar:false;">SimpleCoro(std::function<void()> f) {
    getcontext(&ctx);
    ctx.uc_stack.ss_sp = stack;
    ctx.uc_stack.ss_size = sizeof(stack);
    ctx.uc_link = nullptr; // 挂起后返回到哪？这里设为 null，由我们手动 resume 控制
    makecontext(&ctx, [](int) {
        // 这里是协程体入口，需转成 C 风格函数
        auto* self = reinterpret_cast<SimpleCoro*>(reinterpret_cast<char*>(&self) - sizeof(self));
        self->body();
    }, 1, reinterpret_cast<int>(&this));
}

void body() {
    // 用户逻辑在此运行
    std::cout << "coro running\n";
    // 模拟 yield：切回主协程（需提前保存主 ctx）
    swapcontext(&ctx, &main_ctx); // ⚠️ main_ctx 需在 main 中 setcontext 前 getcontext
    std::cout << "coro resumed\n";
    is_done = true;
}

void resume() {
    if (!is_done) swapcontext(&main_ctx, &ctx);
}

登录后复制

};

ucontext_t main_ctx; // 全局保存主上下文（不推荐，仅示意）

int main() { getcontext(&main_ctx); SimpleCoro c([]{}); c.resume(); // 启动协程 std::cout

⚠️ 缺陷明显：无法传递参数、无异常安全、栈大小固定、makecontext 参数传递靠 hack 地址、不可重入。这正是 Boost.Context 存在的理由。

标签： c++ 协程 linux windows mac 栈 ai ios macos win stream cos 标准库 为