std::input_iterator
来自 cppreference.com
定义在头文件 <iterator> 中 |
||
template< class I > concept input_iterator = |
(自 C++20 起) | |
input_iterator
概念是对 input_or_output_iterator
的细化,它添加了引用值可以读取的要求(通过 indirectly_readable
)以及迭代器概念标签存在的要求。
内容 |
[编辑] 迭代器概念确定
此概念的定义是通过仅用于说明的别名模板 /*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> 不表示类型,并导致替换失败。
[编辑] 备注
与 LegacyInputIterator 要求不同,input_iterator
概念不需要 equality_comparable
,因为输入迭代器通常与哨兵进行比较。
[编辑] 示例
最小输入迭代器。
#include <cstddef> #include <iterator> struct SimpleInputIterator { using difference_type = std::ptrdiff_t; using value_type = int; int operator*() const; SimpleInputIterator& operator++(); void operator++(int) { ++*this; } }; static_assert(std::input_iterator<SimpleInputIterator>);
[编辑] 另请参阅
(C++20) |
指定一个类型的对象可以递增和解引用 (概念) |
(C++20) |
指定 input_iterator 是一个前向迭代器,支持相等比较和多遍(概念) |