如何在C++中利用协程实现简单的生产者消费者？（并发模型）

协程不能直接替代线程实现生产者消费者模型，因其无内置调度与同步机制，需配合condition_variable等手动实现等待/唤醒逻辑。

协程不能直接替代线程做生产者消费者

标准 c++20 协程本身不带调度、不带同步原语，co_await 不会自动切到另一个线程，也不会帮你锁队列。你写一个 producer() 和一个 consumer() 协程，它们默认在同一个线程里串行执行——除非你主动把它们交给某个调度器（比如 std::jThread 或第三方库），否则根本谈不上“并发模型”。

常见错误现象：consumer() 一直 co_await 等数据，但 producer() 根本没机会跑；或者两个协程都卡在 co_await 上，程序停住。

• 协程只是可挂起的函数，不是线程，也不自带唤醒机制
• 要用协程实现生产者消费者，必须搭配某种等待/通知机制（比如 std::condition_variable）或自定义 awaiter
• 如果目标是简化并发逻辑，优先考虑 std::thread + std::queue + std::mutex，更直观、更可控

用 std::condition_variable 配合协程做同步

最务实的做法：让协程挂起时交出控制权，等条件满足再被唤醒。这需要自己写一个能响应 std::condition_variable 的 awaiter，比如 sync_waiter。

使用场景：你已有线程池或主循环，想把阻塞等待换成协程挂起，避免线程空转。

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

• std::condition_variable::wait() 必须配合 std::unique_lock<:mutex></:mutex>，协程 awaiter 里也要封装这层逻辑
• 别直接 co_await cv——std::condition_variable 不是 awaitable，要包装成支持 await_ready()/await_suspend() 的类型
• 唤醒后要重新检查条件（spurious wakeup），所以 await_resume() 通常返回 bool 或 void，逻辑仍需写在循环里

简短示例（核心结构）：

struct sync_waiter {     std::condition_variable& cv;     std::mutex& mtx;     std::atomic<bool>& ready;      bool await_ready() const noexcept { return ready.load(); }     void await_suspend(std::coroutine_handle<> h) {         std::thread([&, h] {              std::unique_lock l(mtx);              cv.wait(l, [&]{ return ready.load(); });              h.resume();          }).detach();     }     void await_resume() const noexcept {} };

为什么不用 boost::asio 或 libunifex？

因为它们确实能跑通，但代价是引入整套异步运行时。如果你只是想做个玩具级的生产者消费者 demo，用 boost::asio::io_context 启动两个协程，会发现：启动开销大、调试困难、堆分配多、编译时间长。

参数差异明显：boost::asio::use_awaitable 要求所有 I/O 对象都绑定到同一个 io_context，而你的队列是内存对象，没法直接“注册”进去；得额外包一层 post 或 dispatch 才能触发唤醒。

• libunifex::just_done()、libunifex::schedule() 这类操作符看起来简洁，但底层依赖 scheduler 模型，和传统线程模型混用容易出竞态
• windows 下 boost::asio 默认用 IOCP，linux 下用 epoll，行为不一致，调试时容易误判是逻辑问题还是调度问题
• 若项目不允许外部依赖，硬上这些库反而增加维护成本

真正轻量可行的协程方案：只协程化“等待”，不动线程模型

把生产者和消费者逻辑保留在普通线程里，只把“等数据”和“等空间”这两个阻塞点协程化。这样既利用了协程的可读性，又规避了调度复杂度。

性能影响很小：一次 co_await 就是一次指针保存+跳转，比 pthread_cond_wait() 的系统调用便宜得多；兼容性也好，C++20 编译器基本都支持。

• 共享队列仍用 std::queue + std::mutex，不变
• 消费者线程里写 while (true) { auto item = co_await pop_if_available(); ... }，其中 pop_if_available 是一个返回 std::optional<t></t> 的协程
• 关键点：pop_if_available 内部用 try_lock，失败就 co_await 一个短暂休眠（如 std::this_thread::sleep_for(1ms)），而不是死等

这个方案不会让你代码变“高大上”，但它跑得稳、看得懂、改得快。

最容易被忽略的是：协程栈生命周期。如果你在协程里捕获了局部变量的引用，而该协程被挂起后局部变量已析构，后续 resume 就是未定义行为——这点比线程更隐蔽，也更难 debug。