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,函数体里用 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 <ul>
<li>
<code>std::generator</code> 对象构造即启动协程,但只在首次 <code>begin()</code> 调用时真正执行到第一个 <code>co_yield</code>
</li>
<li>每次迭代调用 <code>operator++</code> 会恢复协程,执行到下一个 <code>co_yield</code> 或协程结束</li>
<li>没有内置长度或索引访问 —— 它是单向、惰性、不可重入的;重复遍历需重新调用生成函数</li>
</ul>
<h3>常见陷阱:生命周期与拷贝语义</h3>
<p><code>std::generator</code> 不可拷贝(只有移动构造/赋值),且其内部协程帧绑定到原始对象。以下写法危险:</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<pre class="brush:php;toolbar:false;">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 显式限定长度:
#include <ranges>
// ...
for (auto x : fib() | std::views::take(10)) {
std::cout <ul>
<li>
<code>std::views::take(N)</code> 在第 N 个元素后自动停止迭代,底层调用 <code>generator::operator++</code> 时协程会自然退出</li>
<li>也可组合 <code>std::views::filter</code>、<code>std::views::transform</code>,但注意所有视图操作都是惰性的,不会提前触发整个无限流</li>
<li>避免对 <code>std::generator</code> 直接调用 <code>std::distance</code> 或 <code>std::size</code> —— 它们会试图遍历到底,陷入无限循环</li>
</ul>
<p>
协程帧的分配方式(栈 or 堆)、异常传播路径、以及和 <code>std::stop_token</code> 的集成,目前标准尚未规定细节,不同编译器实现可能有差异。实际项目中若需强可靠性,建议先用小规模数据验证协程生命周期是否符合预期。</p></ranges>
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










