std::experimental::ranges::ForwardIterator
来自 cppreference.cn
< cpp | experimental | ranges
| template< class I > concept bool ForwardIterator = |
(范围 TS) | |
概念 ForwardIterator<I> 通过增加相等比较和多趟保证来完善 InputIterator。
前向迭代器的 == 的定义域是针对同一底层序列的迭代器，但相同类型的值初始化迭代器可以相互比较且应比较相等。
从前向迭代器获得到范围 [i, s) 的指针和引用必须保持有效，只要 [i, s) 持续表示一个范围。
令 a 和 b 为类型 I 的两个可解引用迭代器。ForwardIterator<I> 仅在以下情况满足：
- a == b 蕴含 ++a == ++b；且
- 表达式 ([](X x){ ++x; }(a), *a) 等价于 *a，即，递增
a的副本对解引用a的结果没有影响。
这被称为*多趟保证*。
[编辑] 注意
前向迭代器不能是“隐藏式”的：它不能返回指向其内部对象的引用，因为这样的引用会因前向迭代器的销毁而失效。
