Requisitos denominados de C++: BidirectionalIterator

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Requisitos denominados de C++

Básicos ConstruiblePorDefecto ConstruiblePorMovimiento (C++11) ConstruiblePorCopia AsignablePorCopia AsignablePorMovimiento (C++11) Destructible Props. de Tipos TipoEscalar TipoPOD TrivialmenteCopiable (C++11) TipoTrivial (C++11) TipoDeDiseñoEstándar (C++11)   TipoDeTiempoDeVidaImplícito Toda la biblioteca ComprobableBooleano ComparableEnIgualdad ComparableEnMenorQue Intercambiable IntercambiableEnValor (C++11) NullablePointer (C++11) Hash (C++11) Asignador ObjetoFunción Invocable Predicado PredicadoBinario Comparar

Contenedores Contenedor ContenedorReversible ContenedorConscienteDeAsignador ContenedorDeSecuencia ContenedorContiguo (C++17) ContenedorAsociativo ContenedorAsociativoNoOrdenado (C++11)   Elementos de contenedores InsertablePorDefecto (C++11) InsertablePorCopia (C++11) InsertablePorMovimiento (C++11) ConstruiblePorEmplazamiento (C++11) Borrable (C++11) Iteradores IteradorLegado IteradorDeEntradaLegado IteradorDeSalidaLegado IteradorDeAvanceLegado IteradorBidireccionalLegado IteradorDeAccesoAleatorioLegado IteradorContiguoLegado (C++17) IteradorConstexpr (C++20) E/S de flujos FunciónDeEntradaConFormato FunciónDeEntradaSinFormato FunciónDeSalidaConFormato FunciónDeSalidaSinFormato Formateadores FormateadorBásico (C++20) Formateador (C++20)

Números aleatorios SeedSequence (C++11) MotorDeNúmerosAleatorios (C++11) DistribuciónDeNúmerosAleatorios (C++11) GeneradorDeBitsAleatorioUniforme (C++11) AdaptadorDeMotorDeNúmerosAleatorios (C++11) Concurrencia BloqueableBásico (C++11) Bloqueable (C++11) BloqueableTemporizado (C++11) BloqueableCompartido (C++14) BloqueableTemporizadoCompartido (C++14) Mutex (C++11) MutexTemporizado (C++11) MutexCompartido (C++17) MutexTemporizadoCompartido (C++14) Rangos ObjetoAdaptadorDeRango (C++20) ObjetoCierreAdaptadorDeRango (C++20) Vista multidimensional LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Otros RasgosDeCarácter RasgosDeExpresiónRegular (C++11)   TipoMáscaraDeBits TipoLiteral (C++11) TipoNumérico RasgoDeTipoUnario (C++11) RasgoDeTipoBinario (C++11) RasgoDeTransformación (C++11) Reloj (C++11) RelojTrivial (C++11)

 

See More

Un IteradorBidireccionalLegado es un IteradorDeAvanceLegado que puede moverse en ambas direcciones (p. ej., incrementando y decrementando).

Si un IteradorBidireccionalLegado it se origina en un Contenedor, entonces el value_type de it es el mismo que el del contenedor, por lo que al desreferenciar (*it) se obtiene el value_type del contenedor.

Requisitos

El tipo It satisface a IteradorBidireccionalLegado si

• El tipo It satisface a IteradorDeAvanceLegado

Y, dado

• a y b, l-valores de tipo It
• reference, el tipo denotado por std::iterator_traits<It>::reference

Las siguientes expresiones deben ser válidas y tener sus efectos especificados:

Expresión	Tipo de retorno	Expresión equivalente	Notas
--a	It&		Precondiciones: a es decrementable (existe una b tal que a == ++b) Poscondiciones: a es desreferenciable --(++a) == a Si --a == --b entonces a == b a y --a designan el mismo objeto de iterador
a--	convertible a const It&	It temp = a; --a; return temp;
*a--	reference

Un IteradorBidireccionalLegado mutable es un IteradorBidireccionalLegado que además satisface los requisitos de IteradorDeSalidaLegado.

Notas

El iterador de inicio (begin) no es decrementable y el comportamiento es indefinido si se evalúa --container.begin().

Un iterador bidireccional no tiene que ser desreferenciable para ser decrementable (en particular, el iterador final (end) no es desreferenciable pero es decrementable).

Concepto Para la definición de std::iterator_traits, se define el siguiente concepto solo para exposición. <tbody> </tbody> template<class I> concept __LegacyBidirectionalIterator = __LegacyForwardIterator<I> && requires(I i) { { --i } -> std::same_as<I&>; { i-- } -> std::convertible_to<const I&>; { *i-- } -> std::same_as<std::iter_reference_t<I>>; }; donde el concepto solo para exposición __LegacyForwardIterator se describe en IteradorDeAvanceLegado.

(desde C++20)

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
N3066	C++98	se requería que el tipo de de retorno *a-- fuera convertible a T	cambiado el tipo de retorno a reference
LWG 383	C++98	se requería que b fuera desreferenciable después de --a	se requiere que a sea desreferenciable en su lugar
N3066	C++98	el tipo de retorno de *a--no coincide con el tipo de retorno de *a++ requerido por IteradorDeAvanceLegado	cambió el tipo de retorno a reference

Véase también

bidirectional_iterator (C++20)	especifica que un forward_iterator es un iterador bidireccional, soportando movimiento hacía atrás (concepto)
Biblioteca de iteradores	Proporciona definiciones para iteradores, rasgos de iteradores, adaptadores y funciones de servicio.