co_yield在c++20中仅挂起协程并传出值,不自动生成可迭代对象;需手动实现generator,含自定义返回类型、promise_type(含yield_value)及支持for-range的迭代器。

co_yield 在 C++20 协程中不是“生成器”语法糖
直接用 co_yield 不会自动构造出类似 Python 的可迭代数据流对象——它只是挂起协程并把值“传出”,但调用方必须自己处理协程句柄(std::coroutine_handle)并手动恢复执行。C++ 没有内置 generator<t></t>,标准库至今(C++23)仍未提供,得靠自己封装或借助第三方(如 cppcoro、libunifex)。
常见错误是写完 co_yield x; 就以为能用 for-range 遍历,结果编译失败:类型不满足 begin()/end() 要求,或者 operator co_await 缺失。
- 协程函数返回类型必须自定义,且需实现
promise_type,并在其中定义yield_value成员函数 -
co_yield触发的是promise.yield_value(expr),不是直接返回值 - 协程首次调用时立即运行到首个
co_yield或co_return,不会自动暂停在开头
手动实现最简 generator 需要三块核心逻辑
一个可用的轻量 generator<int></int> 至少包含:自定义返回类型、配套 promise_type、以及支持 for-range 的迭代器包装。关键不是协程本身,而是让返回对象表现得像容器。
下面是最小可行骨架(省略内存管理细节):
template<typename t>
class generator {
struct promise_type;
public:
using handle_type = std::coroutine_handle<promise_type><p>struct promise_type {
T current_value;
auto get_return_object() { return generator{handle_type::from_promise(*this)}; }
auto initial_suspend() { return std::suspend_always{}; }
auto final_suspend() noexcept { return std::suspend_always{}; }
void return_void() {}
void unhandled_exception() { std::terminate(); }
auto yield_value(T&& v) {
current_value = std::move(v);
return std::suspend_always{};
}
};</p><p>// ... 迭代器部分(begin/end/iterator)略,需实现 operator++/operator* 等
private:
handle<em>type h</em>;
};</p></promise_type></typename>
-
initial_suspend()设为std::suspend_always{}才能让协程在首次调用后暂停,否则第一段逻辑会直接跑完 -
yield_value必须返回std::suspend_always{}或std::suspend_never{},不能返回 void - 真正取值发生在迭代器的
operator*中,读的是h_.promise().current_value,不是由co_yield直接“吐出来”
for-range 使用失败的典型错误和修复
即使协程函数编译通过,for-range 仍可能报错:no matching function for call to 'begin' 或 'begin' is not a member of 'generator<int>'</int>。这是因为标准 for-range 协议要求类型提供 begin() 和 end() 成员(或 ADL 可见的自由函数),而裸 generator 类没实现它们。
- 不要试图给
generator加begin()返回handle_type—— handle 本身不可迭代 - 必须实现一个嵌套的
iterator类,并让begin()返回该类型的实例 -
end()通常返回一个哨兵值(sentinel),其operator!=判断协程是否已结束(h_.done()) - 每次
operator++必须调用h_.resume(),然后检查h_.done()决定是否继续
漏掉 h_.resume() 是最常见 bug:for 循环卡在第一个值,后续值永远不产出。
性能与生命周期风险必须显式管理
co_yield 不复制数据,只移动或引用;但协程栈帧生命周期由 handle_type 控制,一旦 handle 被销毁而协程未完成,就会触发未定义行为(UB)。这和普通函数返回局部变量引用一样危险。
- 避免返回
generator<const std::string></const>—— 字符串临时对象在协程挂起后已析构 - 若需返回字符串内容,用
generator<:string></:string>(移动语义)或generator<:string_view></:string_view>+ 外部持有缓冲区 - 协程内分配的堆内存(如
new int[100])必须在promise_type::~promise_type()中释放,否则泄漏 - gcc 12+ 和 clang 14+ 对协程帧分配有优化,但调试模式下仍可能显著拖慢,建议关闭
-O0测试性能
协程的“流式”表象之下全是手动管理的指针和状态机,co_yield 本身最不危险,危险的是忘了谁 owns the handle、谁负责 resume、谁清理资源。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











