std::experimental::ranges:: OutputIterator
|
Определено в заголовочном файле
<experimental/ranges/iterator>
|
||
|
template
<
class
I,
class
T
>
concept
bool
OutputIterator
=
|
(ranges TS) | |
Концепт
OutputIterator
является уточнением
Iterator
, добавляя требование, что он может использоваться для записи значений типа и категории значений, закодированных в
T
(через
Writable
).
EqualityComparable
не требуется.
Пусть
E
будет выражением, для которого
decltype
(
(
E
)
)
является
T
, и
i
будет разыменовываемым объектом типа
I
.
OutputIterator<I, T>
удовлетворяется только если
*
i
++
=
E
;
имеет эффект, эквивалентный
*
i
=
E
;
++
i
;
.
Сохранение равенства
Выражение называется сохраняющим равенство если оно даёт равные результаты при равных входных данных.
- Входные данные выражения состоят из его операндов.
- Выходные данные выражения состоят из его результата и всех операндов, измененных выражением (если таковые имеются).
Каждое выражение, которое должно сохранять равенство, дополнительно должно быть стабильным : два вычисления такого выражения с одинаковыми входными объектами должны давать равные результаты при отсутствии каких-либо явных изменений этих входных объектов между вычислениями.
Примечания
В отличие от требований к выходным итераторам в стандарте C++,
OutputIterator
в Ranges TS не требует определения тега категории итератора.
Алгоритмы на выходных итераторах должны быть однопроходными.