std::experimental::ranges::Iterator
< cpp | experimental | ranges
template <class I> concept bool Iterator = |
(范围 TS) | |
Iterator
概念组成迭代器分类学的基础;每个迭代器都满足 Iterator
要求。
相等性保持
若表达式对给定的相等输入产生相等输出,则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数(若存在)组成。
进一步要求每个要求保持相等性的表达式都稳定:这种表达式带相同输入对象的二次求值必须拥有相等的输出,而无任何对这些输入对象的显式中间修改。
除非另外提醒,每个用于 requires 表达式中的表达式都要求保持相等性且稳定,而表达式的求值必须只修改其非常运算数。必须不修改常运算数。
注意
Iterator
自身仅指定解引用和自增迭代器的操作。大多数算法将要求额外操作:
- 比较迭代器与哨位(见
Sentinel
); - 从迭代器读取值(见
Readable
及InputIterator
); - 写入值到迭代器(见
Writable
及OutputIterator
) - 更丰富的迭代器动作集合(见
ForwardIterator
、BidirectionalIterator
、RandomAccessIterator
)
-> auto&& 制约解引用的结果类型不能为 void 。