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
сам по себе определяет только операции разыменования и инкрементирования итератора. Большинству алгоритмов потребуются дополнительные операции, например:
-
сравнение итераторов с sentinels (см.
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>);