std:: output_iterator
| Iterator concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator primitives | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Algorithm concepts and utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Indirect callable concepts | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Common algorithm requirements | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Utilities | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Iterator adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definido en el encabezado
<iterator>
|
||
|
template
<
class
I,
class
T
>
concept output_iterator
=
|
(desde C++20) | |
El concepto
output_iterator
es un refinamiento de
input_or_output_iterator
, añadiendo el requisito de que puede utilizarse para escribir valores de tipo y categoría de valor codificados por
T
(a través de
indirectly_writable
).
No se requiere
equality_comparable
.
Contenidos |
Requisitos semánticos
Sea
E
una expresión tal que
decltype
(
(
E
)
)
es
T
, y
i
un objeto desreferenciable de tipo
I
.
std
::
output_iterator
<
I, T
>
se modela solo si todos los conceptos que subsume están modelados, y
*
i
++
=
E
;
tiene efectos equivalentes a
*
i
=
E
;
++
i
;
.
Preservación de la igualdad
Las expresiones declaradas en las requires expressions de los conceptos de la biblioteca estándar deben ser equality-preserving (excepto cuando se indique lo contrario).
Notas
A diferencia de los
LegacyOutputIterator
requirements, el concepto
output_iterator
no requiere que la etiqueta de categoría del iterador esté definida.
Los algoritmos en iteradores de salida deben ser de una sola pasada.
Véase también
|
(C++20)
|
especifica que los objetos de un tipo pueden ser incrementados y desreferenciados
(concept) |