std::experimental::ranges::Iterator

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行性扩展 (并行性 TS)

并行性扩展 2 (并行性 TS v2)

并发性扩展 (并发性 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

Ranges（范围）

概念

通用工具

迭代器

Ranges（范围）

算法

 

迭代器库

迭代器概念
Readable（可读） Writable（可写） WeaklyIncrementable（可弱递增） Incrementable（可递增）	迭代器 (Iterator) 哨兵 (Sentinel) SizedSentinel（有大小的哨兵）	InputIterator（输入迭代器） ForwardIterator（前向迭代器） BidirectionalIterator（双向迭代器） RandomAccessIterator（随机访问迭代器）	OutputIterator（输出迭代器）
间接可调用概念
IndirectUnaryInvocable（间接一元可调用）IndirectRegularUnaryInvocable（间接常规一元可调用）	IndirectUnaryPredicate（间接一元谓词）	IndirectRelation（间接关系）	IndirectStrictWeakOrder（间接严格弱序）
常用算法要求
IndirectlyMovable（间接可移动） IndirectlyMovableStorable（间接可移动可存储）	IndirectlyCopyable（间接可拷贝） IndirectlyCopyableStorable（间接可拷贝可存储）	IndirectlySwappable（间接可交换） IndirectlyComparable（间接可比较）	Permutable（可排列） Mergeable（可合并） Sortable（可排序）
概念工具
indirect_result_of	projected
迭代器工具与操作
iter_move iter_swap	advance distance	next prev
迭代器特征
difference_type value_type reference_t（引用类型）rvalue_reference_t（右值引用类型）iter_common_reference_t（迭代器通用引用类型） iterator_category	input_iterator_tag（输入迭代器标签）output_iterator_tag（输出迭代器标签）forward_iterator_tag（前向迭代器标签）bidirectional_iterator_tag（双向迭代器标签）random_access_iterator_tag（随机访问迭代器标签）	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	dangling（悬空）borrowed_iterator_t（借用迭代器类型） unreachable（不可达）
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义于头文件 <experimental/ranges/iterator>
template< class I > concept bool Iterator =     requires(I i) {         { *i } -> auto&&; // 要求：i 是可解引用的     } &&     WeaklyIncrementable<I>;		(ranges TS)

Iterator 概念构成了迭代器概念分类的基础；每个迭代器都满足 Iterator 的要求。

相等性保持

如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。

所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。

除非另有说明，requires-expression 中使用的每个表达式都必须保持相等且稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。

注意

Iterator 本身只指定了解引用和递增迭代器的操作。大多数算法将需要额外的操作，例如：

• 将迭代器与哨兵进行比较（参见 Sentinel）；
• 从迭代器读取值（参见 Readable 和 InputIterator）；
• 向迭代器写入值（参见 Writable 和 OutputIterator）；
• 更丰富的迭代器移动集合（参见 ForwardIterator、BidirectionalIterator、RandomAccessIterator）。

-> auto&& 约束意味着解引用结果类型不能是 void。