std::experimental::ranges::迭代器
来自 cppreference.com
< cpp | experimental | ranges
| 定义于头文件 <experimental/ranges/iterator> 中 |
||
| template< class I > concept bool Iterator = |
(范围 TS) | |
Iterator 概念是迭代器概念分类的基础；每个迭代器都满足 Iterator 要求。
[编辑] 相等性保持
如果一个表达式在给定相同输入时产生相同的输出，则该表达式称为 相等性保持。
- 表达式的输入包括其操作数。
- 表达式的输出包括其结果以及表达式修改的所有操作数（如果有）。
每个需要保持相等性的表达式都进一步要求是 稳定的：在没有对这些输入对象进行任何显式干预修改的情况下，对该表达式进行两次评估，如果使用相同的输入对象，则必须具有相同的输出。
除非另有说明，否则在 要求表达式 中使用的每个表达式都要求保持相等性和稳定性，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 注释
Iterator 本身只指定了解引用和递增迭代器的操作。大多数算法将需要额外的操作，例如
- 将迭代器与哨兵进行比较（参见
Sentinel）； - 从迭代器中读取值（参见
Readable和InputIterator）； - 将值写入迭代器（参见
Writable和OutputIterator）； - 更丰富的迭代器移动集（参见
ForwardIterator、BidirectionalIterator、RandomAccessIterator）。
-> auto&& 约束意味着解引用的结果类型不能是 void。
