std::forward_iterator
来自 cppreference.cn
< cpp | 迭代器 (iterator)
定义于头文件 <iterator> |
||
template< class I > concept forward_iterator = |
(C++20 起) | |
这个概念通过要求 `I` 也满足 std::incrementable (从而适用于多趟算法),并保证同一范围的两个迭代器可以相互比较,从而细化了 std::input_iterator。
目录 |
[编辑] 迭代器概念确定
此概念的定义通过一个仅用于说明的别名模板 /*ITER_CONCEPT*/ 指定。
为了确定 /*ITER_CONCEPT*/<I>,令 ITER_TRAITS<I> 表示 I,如果特化 std::iterator_traits<I> 是由主模板生成的,否则为 std::iterator_traits<I>
- 如果 ITER_TRAITS<I>::iterator_concept 有效并指定一个类型,则 /*ITER_CONCEPT*/<I> 表示该类型。
- 否则,如果 ITER_TRAITS<I>::iterator_category 有效并指定一个类型,则 /*ITER_CONCEPT*/<I> 表示该类型。
- 否则,如果 std::iterator_traits<I> 是由主模板生成的,则 /*ITER_CONCEPT*/<I> 表示 std::random_access_iterator_tag。
- 否则,/*ITER_CONCEPT*/<I> 不表示类型,并导致替换失败。
[编辑语义要求] 语义要求
当且仅当 `I` 满足其所包含的所有概念,并且给定类型为 `I` 的对象 i 和 j 时,`I` 才符合 `std::forward_iterator`
- 如果满足以下条件,迭代器 i 和 j 之间的比较结果是已定义的:
- i 和 j 是指向同一底层序列的迭代器,或者
- i 和 j 都是值初始化的,在这种情况下它们比较相等。
- 从正向迭代器获取的指向范围内的指针和引用在范围存在时保持有效。
- 如果 i 和 j 可解引用,则它们提供多趟保证,即
- i == j 意味着 ++i == ++j,并且
- ((void)[](auto x){ ++x; }(i), *i) 等价于 *i。
[编辑] 注意
与 LegacyForwardIterator 要求不同,`forward_iterator` 概念不要求解引用返回一个引用。
[编辑] 示例
一个最小的正向迭代器。
#include <cstddef> #include <iterator> struct SimpleForwardIterator { using difference_type = std::ptrdiff_t; using value_type = int; int operator*() const; SimpleForwardIterator& operator++(); SimpleForwardIterator operator++(int) { auto tmp = *this; ++*this; return tmp; } bool operator==(const SimpleForwardIterator&) const; }; static_assert(std::forward_iterator<SimpleForwardIterator>);
[编辑] 参见
(C++20) |
指定类型是一个输入迭代器,即其引用的值可读,并且可以进行前置和后置增量 (concept) |
(C++20) |
指定 forward_iterator 是一个双向迭代器,支持向后移动(concept) |