命名空间
变体
操作

std::input_iterator

来自 cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
input_iterator
(C++20)

迭代器原语
算法概念和实用工具
间接可调用概念
常见算法要求
(C++20)
(C++20)
(C++20)
实用工具
(C++20)
迭代器适配器
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
定义在头文件 <iterator>
template< class I >

    concept input_iterator =
        std::input_or_output_iterator<I> &&
        std::indirectly_readable<I> &&
        requires { typename /*ITER_CONCEPT*/<I>; } &&

        std::derived_from</*ITER_CONCEPT*/<I>, std::input_iterator_tag>;
(自 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>);

[编辑] 另请参阅

指定一个类型的对象可以递增和解引用
(概念) [编辑]
指定 input_iterator 是一个前向迭代器,支持相等比较和多遍
(概念) [编辑]