std:: input_or_output_iterator
| Iterator concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator primitives | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Algorithm concepts and utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Indirect callable concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Common algorithm requirements | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
定义于头文件
<iterator>
|
||
|
template
<
class
I
>
concept input_or_output_iterator
=
|
(C++20 起) | |
input_or_output_iterator
概念构成了迭代器概念分类体系的基础;每个迭代器类型都满足
input_or_output_iterator
要求。
仅用于阐述的概念 /*can-reference*/ 当且仅当该类型为 可引用类型 时得到满足。
注释
input_or_output_iterator
本身仅规定了迭代器的解引用和递增操作。大多数算法将需要额外的操作,例如:
-
比较迭代器与哨兵(参见
sentinel_for); -
从迭代器读取值(参见
indirectly_readable和input_iterator); -
向迭代器写入值(参见
indirectly_writable和output_iterator); -
更丰富的迭代器移动操作(参见
forward_iterator、bidirectional_iterator、random_access_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>);