co_yield不能直接返回无限序列，它仅单次挂起协程并交出值，恢复执行完全依赖外部控制；C++20无内置无限迭代器，需用std::generator配合显式截断或手动迭代。
co_yield 不能直接返回无限序列，它只负责单次产出
很多人以为 co_yield 是“生成器函数”，能自动维持状态并持续产出值——其实不是。co_yield 只是挂起协程、把值交给调用方，之后是否继续执行、何时恢复、恢复后做什么，全由外部控制。C++20 没有内置的“无限迭代器”或“懒求值容器”，你得自己封装调度逻辑。
常见错误是写一个看似无限的协程，却没配合适的消费者循环，结果只拿到第一个值就结束了；或者误以为 co_yield 自带缓存/重放能力，导致多次遍历时重复构造协程对象（而协程对象不可重入）。
-
co_yield出现在协程中，该协程必须返回类型支持promise_type::yield_value()，通常用std::generator<T>（需#include <generator>） - 协程函数本身不运行，只构造一个惰性对象；每次调用
begin()/operator++才恢复执行到下一个co_yield - 无限协程若没有外部 break 条件，for-range 循环会永远卡住——这不是 bug，是行为预期
用 std::generator<int> 实现可中断的无限整数序列
std::generator 是 C++20 提供的标准协程适配器，它封装了 promise 和 awaiter，让无限序列能被 for-range 安全消费。关键在于：协程体里用 while(true) + co_yield，但调用侧必须主动控制迭代次数。
#include <generator>
#include <iostream>
std::generator<int> naturals() {
int i = 0;
while (true) {
co_yield i++;
}
}
这段代码本身合法且高效：每次 co_yield 后挂起，恢复时从下一行继续（i++ 已执行），内存只保留一个 int 状态。但直接 for (auto x : naturals()) { ... } 会死循环。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 安全用法：配合
std::ranges::take_view截断，例如for (auto x : naturals() | std::views::take(5)) - 手动控制：用
auto gen = naturals(); auto it = gen.begin();，然后显式递增并检查it != gen.end() - 注意：每个
naturals()调用都新建协程帧，不能复用同一个 generator 对象多次遍历
为什么不能把 co_yield 放在 if 或局部作用域里反复触发
协程挂起点必须在协程函数的一级作用域内连续可达。如果把 co_yield 套在 if 分支、lambda 内部、或函数调用栈深处，编译器会报错：error: 'co_yield' cannot be used in a function that does not return a coroutine type 或更隐晦的 promise_type does not declare 'yield_value'。
根本原因是：协程函数签名决定了其 promise_type，而 promise_type 的 yield_value 必须能被所有可能路径访问到。一旦 co_yield 出现在非平凡控制流中，编译器无法保证挂起点语义一致。
- ✅ 正确：循环体内直接
co_yield，或函数末尾单次co_yield - ❌ 错误：
if (cond) co_yield x;（除非 cond 恒真）、[&]{ co_yield x; }();、helper([&]{ co_yield x; }); - 替代方案：把条件逻辑移到
co_yield表达式内部，比如co_yield cond ? x : throw std::runtime_error("...");
性能和生命周期注意事项
std::generator 对象本身轻量（通常仅含一个指针），但背后协程帧分配在堆上（除非启用编译器优化如 MSVC 的 /await:stack）。无限序列不会导致内存暴涨，但每个新 generator 都会分配独立帧——这点容易被忽略。
- 避免在热循环中频繁调用
naturals()，应复用 generator 对象（如auto gen = naturals();然后多次遍历其 view） - generator 析构时自动销毁协程帧，但如果协程还在挂起状态（比如刚
co_yield后没被消费完），析构会调用destroy并释放资源 - 自定义 promise_type 可以接管内存分配，但标准
std::generator不暴露此接口；若需栈上协程，目前只能依赖特定编译器扩展
真正麻烦的不是怎么写出无限序列，而是怎么让它和现有算法链自然衔接——比如传给 std::ranges::find_if 时，它不知道该停在哪，必须靠谓词提前返回，否则搜不到就跑飞。
