Namespaces
Variants

std:: input_or_output_iterator

From cppreference.net
Iterator library
Iterator concepts
input_or_output_iterator
(C++20)

Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(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_or_output_iterator =
requires ( I i ) {
{ * i } - > /*can-reference*/ ;
} &&

std:: weakly_incrementable < I > ;
(C++20 起)

input_or_output_iterator 概念构成了迭代器概念分类体系的基础;每个迭代器类型都满足 input_or_output_iterator 要求。

仅用于阐述的概念 /*can-reference*/ 当且仅当该类型为 可引用类型 时得到满足。

注释

input_or_output_iterator 本身仅规定了迭代器的解引用和递增操作。大多数算法将需要额外的操作,例如:

LegacyIterator 要求不同, input_or_output_iterator 概念不要求可复制性。

* i 需要满足等值保持特性,尽管 weakly_incrementable 所要求的递增操作并不需要满足该特性。

示例

一个最小迭代器。

#include <cstddef>
#include <iterator>
struct SimpleIterator
{
    using difference_type = std::ptrdiff_t;
    int operator*();
    SimpleIterator& operator++();
    void operator++(int) { ++*this; }
};
static_assert(std::input_or_output_iterator<SimpleIterator>);