std::generator是C++23协程适配器,封装co_yield值并提供range接口;需C++23编译器及协程开关支持;返回std::generator、用co_yield产出、不可拷贝、惰性单向迭代,推荐配合std::views::take等视图安全使用。

std::generator 是 C++23 的协程适配器,不是协程本身
它不定义协程语法,而是封装 co_yield 产出的值,提供符合范围(range)接口的轻量迭代器。你必须用支持 C++23 协程的编译器(如 GCC 13+、Clang 17+),且开启协程支持:-std=c++23 -fcoroutines(GCC)或 -std=c++23 -Xclang -enable-experimental-coro(Clang)。否则会报错 co_yield is not allowed in this context 或直接不识别 std::generator。
最简可用示例:生成斐波那契数列
注意返回类型必须是 std::generator<t></t>,函数体里用 co_yield 推出每个值,不能用 return(除非提前结束):
#include <generator>
#include <iostream>
std::generator<long long> fib() {
long long a = 0, b = 1;
co_yield a;
co_yield b;
while (true) {
long long next = a + b;
co_yield next;
a = b;
b = next;
}
}
// 使用:
int main() {
int count = 0;
for (auto x : fib()) {
std::cout << x << ' ';
if (++count == 10) break; // 必须手动中断,否则死循环
}
}
-
std::generator对象构造即启动协程,但只在首次begin()调用时真正执行到第一个co_yield - 每次迭代调用
operator++会恢复协程,执行到下一个co_yield或协程结束 - 没有内置长度或索引访问 —— 它是单向、惰性、不可重入的;重复遍历需重新调用生成函数
常见陷阱:生命周期与拷贝语义
std::generator 不可拷贝(只有移动构造/赋值),且其内部协程帧绑定到原始对象。以下写法危险:
auto g = fib(); // OK auto g2 = std::move(g); // OK —— g 失效 auto g3 = g; // 编译错误:copy constructor deleted
- 若把
std::generator存入容器(如std::vector),必须用std::move插入,且后续不能再用原变量 - 不要返回局部
std::generator的引用或指针 —— 协程帧随函数返回自动销毁,访问将导致未定义行为 - 若需共享状态(如带参数的生成器),把状态封装进 lambda 捕获或独立对象中,避免依赖栈变量地址
配合 ranges 算法做有限切片更安全
直接 for (auto x : fib()) 容易忘加终止条件。推荐用 std::views::take 显式限定长度:
立即学习“C++免费学习笔记(深入)”;
#include <ranges>
// ...
for (auto x : fib() | std::views::take(10)) {
std::cout << x << ' ';
}
-
std::views::take(N)在第 N 个元素后自动停止迭代,底层调用generator::operator++时协程会自然退出 - 也可组合
std::views::filter、std::views::transform,但注意所有视图操作都是惰性的,不会提前触发整个无限流 - 避免对
std::generator直接调用std::distance或std::size—— 它们会试图遍历到底,陷入无限循环
std::stop_token 的集成,目前标准尚未规定细节,不同编译器实现可能有差异。实际项目中若需强可靠性,建议先用小规模数据验证协程生命周期是否符合预期。


















