std::generator<Ref,V,Allocator>::迭代器

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、RTTI） 库特性测试宏 (C++20) 程序工具 变参函数 初始化列表（initializer_list） (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 协程支持 (C++20) 契约支持 (C++26) 三路比较 三路比较（three_way_comparable）三路比较（three_way_comparable_with） (C++20)(C++20) 强序（strong_ordering） (C++20) 弱序（weak_ordering） (C++20) 偏序（partial_ordering） (C++20) 通用比较类别（common_comparison_category） (C++20) 三路比较结果（compare_three_way_result） (C++20) 三路比较（compare_three_way） (C++20) 强序（strong_order） (C++20) 弱序（weak_order） (C++20) 偏序（partial_order） (C++20) 强序回退比较（compare_strong_order_fallback） (C++20) 弱序回退比较（compare_weak_order_fallback） (C++20) 偏序回退比较（compare_partial_order_fallback） (C++20)   是否相等（is_eq）是否小于（is_lt）是否小于等于（is_lteq） (C++20)(C++20)(C++20)   是否不相等（is_neq）是否大于（is_gt）是否大于等于（is_gteq） (C++20)(C++20)(C++20)

通用工具 函数对象 位操作 (C++20) 位集（bitset） 哈希（hash） (C++11) 关系运算符 (C++20 中弃用) 关系操作符::不等于（rel_ops::operator!=）关系操作符::大于（rel_ops::operator>）    关系操作符::小于等于（rel_ops::operator<=）关系操作符::大于等于（rel_ops::operator>=） 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换与类型操作 交换（swap） 范围::交换（ranges::swap） (C++20) 交换（exchange） (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) 移动（move） (C++11) noexcept时移动（move_if_noexcept） (C++11) 转为const（as_const） (C++17) 常用词汇类型 对（pair） 元组（tuple） (C++11) 可选（optional） (C++17) 任意（any） (C++17) 变体（variant） (C++17) 元组大小（tuple_size） (C++11) 元组元素（tuple_element） (C++11) 应用（apply） (C++17) 从元组创建（make_from_tuple） (C++17) 预期（expected） (C++23)

 

协程支持

协程特质

协程特质（coroutine_traits） (C++20)

协程句柄

协程句柄（coroutine_handle） (C++20)

无操作协程

无操作协程承诺（noop_coroutine_promise） (C++20)

无操作协程（noop_coroutine） (C++20)

平凡可等待对象

永不暂停（suspend_never） (C++20)

总是暂停（suspend_always） (C++20)

范围生成器 (Range generators)

生成器（generator） (C++23)

 

范围库 (Ranges library)

范围访问 开始（begin） 常量开始（cbegin）   结束（end） 常量结束（cend） 反向开始（rbegin） 常量反向开始（crbegin）   反向结束（rend） 常量反向结束（crend） 大小（size） 有符号大小（ssize）   数据（data） 常量数据（cdata） 保留提示（reserve_hint） (C++26)   空（empty）

范围转换 (Range conversions) std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

悬空迭代器处理 (Dangling iterator handling) 悬空（dangling） 借用迭代器类型（borrowed_iterator_t） 借用子范围类型（borrowed_subrange_t）

范围原语 (Range primitives)
范围大小类型（range_size_t）范围差值类型（range_difference_t）范围值类型（range_value_t） elements_of (C++23)	迭代器类型（iterator_t）常量迭代器类型（const_iterator_t）哨兵类型（sentinel_t）常量哨兵类型（const_sentinel_t） (C++23)(C++23)	范围引用类型（range_reference_t）范围常量引用类型（range_const_reference_t）范围右值引用类型（range_rvalue_reference_t）范围通用引用类型（range_common_reference_t） (C++23)

范围概念 (Range concepts)
范围（range） 借用范围（borrowed_range）    普通范围（common_range）	有大小范围（sized_range） 可视图范围（viewable_range）    视图（view）	输入范围（input_range） 输出范围（output_range） 前向范围（forward_range）	双向范围（bidirectional_range）    随机访问范围（random_access_range） 连续范围（contiguous_range）	近似大小范围（approximately_sized_range） (C++26) 常量范围（constant_range） (C++23)

视图
视图接口（view_interface）	子范围（subrange）

范围工厂 (Range factories)
空视图（empty_view）视图::空（views::empty）	单值视图（single_view）视图::单值（views::single）	基本输入流视图（basic_istream_view）视图::输入流（views::istream）	iota视图（iota_view）视图::iota（views::iota）	重复视图（repeat_view）视图::重复（views::repeat） (C++23)(C++23)

范围适配器 (Range adaptors)
视图::所有类型（views::all_t）视图::所有（views::all） 转为右值视图（as_rvalue_view）视图::转为右值（views::as_rvalue） (C++23)(C++23)   过滤视图（filter_view）视图::过滤（views::filter） 转换视图（transform_view）视图::转换（views::transform） 取视图（take_view）视图::取（views::take） 取直到视图（take_while_view）视图::取直到（views::take_while） 通用视图（common_view）视图::通用（views::common） 视图::计数（views::counted） 转为输入视图（to_input_view）视图::转为输入（views::to_input） (C++26)(C++26)	引用视图（ref_view） 丢弃视图（drop_view）视图::丢弃（views::drop） 丢弃直到视图（drop_while_view）视图::丢弃直到（views::drop_while） 延迟分割视图（lazy_split_view）视图::延迟分割（views::lazy_split） 分割视图（split_view）视图::分割（views::split） 连接视图（join_view）视图::连接（views::join） 带连接视图（join_with_view）视图::带连接（views::join_with） (C++23)(C++23)   连接视图（concat_view）视图::连接（views::concat） (C++26)(C++26) 缓存最新视图（cache_latest_view）视图::缓存最新（views::cache_latest） (C++26)(C++26)	拥有视图（owning_view） 反向视图（reverse_view）视图::反向（views::reverse） 转为常量视图（as_const_view）视图::转为常量（views::as_const） (C++23)(C++23) 元素视图（elements_view）视图::元素（views::elements） 键视图（keys_view）视图::键（views::keys） 值视图（values_view）视图::值（views::values） 枚举视图（enumerate_view）视图::枚举（views::enumerate） (C++23)(C++23) 压缩视图（zip_view）视图::压缩（views::zip） (C++23)(C++23) 压缩转换视图（zip_transform_view）视图::压缩转换（views::zip_transform） (C++23)(C++23)	相邻视图（adjacent_view）视图::相邻（views::adjacent） (C++23)(C++23) 视图::成对（views::pairwise） (C++23) 相邻转换视图（adjacent_transform_view）视图::相邻转换（views::adjacent_transform） (C++23)(C++23) 视图::成对转换（views::pairwise_transform） (C++23) 块视图（chunk_view）视图::块（views::chunk） (C++23)(C++23) 滑动视图（slide_view）视图::滑动（views::slide） (C++23)(C++23) 按块分组视图（chunk_by_view）视图::按块分组（views::chunk_by） (C++23)(C++23) 步幅视图（stride_view）视图::步幅（views::stride） (C++23)(C++23) 笛卡尔积视图（cartesian_product_view）视图::笛卡尔积（views::cartesian_product） (C++23)(C++23)

范围生成器 (Range generators) std::generator (C++23)

范围适配器闭包对象 (Range adaptor closure objects) 范围适配器闭包（range_adaptor_closure） (C++23)

范围适配器对象 (Range adaptor objects)

辅助项 (Helper items)
可拷贝盒子（copyable-box） 可移动盒子（movable-box） (直到 C++23)  (C++23)	简单视图（simple-view） 非传播缓存（non-propagating-cache）

 

std::generator

成员函数

generator::generator

generator::~generator

generator::operator=

generator::begin

generator::end

promise_type

generator::promise_type::get_return_object

generator::promise_type::initial_suspend

generator::promise_type::final_suspend

generator::promise_type::yield_value

generator::promise_type::return_void

generator::promise_type::unhandled_exception

generator::promise_type::operator new

generator::promise_type::operator delete

迭代器 (Iterator)

generator::迭代器::迭代器

generator::迭代器::operator=

generator::迭代器::operator*

generator::迭代器::operator++ generator::迭代器::operator++(int)

operator==(generator::iterator, std::default_sentinel_t)

 

class /*迭代器*/;		(仅作说明*)

generator::begin 的返回类型。模型 indirectly_readable 和 input_iterator。

成员类型

成员类型	定义
值类型（value_type）	std::generator::value
差值类型（difference_type）	std::ptrdiff_t

数据成员

成员	描述
std::coroutine_handle<std::generator::promise_type> coroutine_	协程句柄 (仅用于阐释的成员对象*)

成员函数

(构造函数)	构造一个迭代器 (公开成员函数)
operator=	赋值另一个迭代器 (公开成员函数)
operator*	返回底层值 (公开成员函数)
operator++operator++(int)	前进迭代器 (公开成员函数)

std::generator::迭代器::迭代器

/*迭代器*/( /*迭代器*/&& other ) noexcept;		(C++23 起)

使用 std::exchange(other.coroutine_, {}); 初始化 coroutine_。

std::generator::迭代器::operator=

/*迭代器*/& operator=( /*迭代器*/&& other ) noexcept;		(C++23 起)

等价于 coroutine_ = std::exchange(other.coroutine_, {});。

返回： *this。

std::generator::迭代器::operator*

reference operator*() const     noexcept( std::is_nothrow_copy_constructible_v<reference> );		(C++23 起)

1. 设 reference 为 std::generator 的底层类型。
2. 设对于某个生成器对象 x，其 coroutine_ 在栈 *x.active_ 中。
3. 设 x.active_->top() 指向一个具有承诺对象 p 的挂起协程。

等价于 return static_cast<reference>(*p.value_);。

std::generator::迭代器::operator++

constexpr /*迭代器*/& operator++();	(1)	(C++23 起)
constexpr void operator++( int );	(2)	(C++23 起)

1) 设对于某个生成器对象 x，其 coroutine_ 在栈 *x.active_ 中。

等价于 x.active_->top().resume()。

返回： *this。

2) 等价于 ++*this;。

非成员函数

operator== (C++23)

将底层迭代器与哨兵进行比较 (函数)

operator==(std::generator::iterator)

friend bool operator==( const /*迭代器*/& i, std::default_sentinel_t );		(C++23 起)

等价于 return i.coroutine_.done();。

!= 运算符由 operator== 合成。

此函数对于普通的非限定查找或限定查找不可见，只能在 std::generator::iterator 作为参数的关联类时通过实参依赖查找找到。