std::experimental::ranges::Iterator

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

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

相等性保持

若表达式对给定的相等输入产生相等输出，则它保持相等性。

• 表达式的输入由其运算数组成。
• 表达式的输出由其结果和表达式所修改的所有运算数（若存在）组成。

进一步要求每个要求保持相等性的表达式都稳定：这种表达式带相同输入对象的二次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。

除非另外提醒，每个用于 requires 表达式中的表达式都要求保持相等性且稳定，而表达式的求值必须只修改其非常运算数。必须不修改常运算数。

注意

Iterator 自身仅指定解引用和自增迭代器的操作。大多数算法将要求额外操作：

• 比较迭代器与哨位（见 Sentinel ）；
• 从迭代器读取值（见 Readable 及 InputIterator ）；
• 写入值到迭代器（见 Writable 及 OutputIterator ）
• 更丰富的迭代器动作集合（见 ForwardIterator 、 BidirectionalIterator 、 RandomAccessIterator ）

-> auto&& 制约解引用的结果类型不能为 void 。