Requisitos denominados de C++:RandomAccessIterator

 

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)

 

Un IteradorDeAccesoAleatorioLegado es un BidirectionalIterator que puede moverse para apuntar a cualquier elemento en tiempo constante.

Si un IteradorDeAccesoAleatorioLegadoit se origina a partir de un Contenedor, entonces el value_type de it es el mismo que el del contenedor, por lo tanto desreferenciando (*it) se obtiene el value_type del contenedor.

Un puntero a un elemento de un array satisface todos los requisitos de IteradorDeAccesoAleatorioLegado.

Requisitos

El tipo It satisface IteradorDeAccesoAleatorioLegado si

• El tipo It satisface IteradorBidireccionalLegado

Y, dado

• value_type, el tipo denotado por std::iterator_traits<It>::value_type;
• difference_type, el tipo denotado por std::iterator_traits<It>::difference_type;
• reference, el tipo denotado por std::iterator_traits<It>::reference;
• i, a, b, objetos de tipo It o const It;
• r, un valor de tipo It;
• n, un entero de tipo difference_type.

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

Expresión	Tipo de retorno	Semántica operacional	Notas
r += n	It&	difference_type m = n; if(m >=0)while(m--)++r; elsewhile(m++)--r; return r;	n puede ser positiva o negativa La complejidad es constante (es decir, la implementación de hecho no puede ejecutar el bucle while mostrado en la semántica operacional)
a + n n + a	It	It temp = a; return temp += n;	n puede ser positiva o negativa a + n == n + a
r -= n	It&	return r +=-n;	El valor absoluto de n debe estar dentro del rango de valores representables de difference_type.
i - n	It	It temp = i; return temp -= n;
b - a	difference_type	return n; (véase precondición)	Precondición: existe un valor n de tipo difference_type tal que a+n==b Poscondición: b == a +(b - a).
i[n]	convertible a reference	*(i + n)
a < b	Cumple con ComprobableBooleano (hasta C++20) Modela comprobable-booleano (desde C++20)	Equivalente a return b - a >0;	Precondición: igual que b - a Relación de orden total estricto: !(a < a) si a < b entonces !(b < a) si a < b y b < c entonces a < c a < b o b < a o a == b (exactamente una de las expresiones es verdadera)
a > b	Cumple con ComprobableBooleano (hasta C++20) Modela comprobable-booleano (desde C++20)	b < a	Relación de ordenamiento total opuesta a a < b
a >= b	Cumple con ComprobableBooleano (hasta C++20) Modela comprobable-booleano (desde C++20)	!(a < b)
a <= b	Cumple con ComprobableBooleano (hasta C++20) Modela comprobable-booleano (desde C++20)	!(a > b)

Las reglas anteriores implican que IteradorDeAccesoAleatorioLegado también implementa ComparableEnMenorQue.

Un IteradorDeAccesoAleatorioLegadomutable es un IteradorDeAccesoAleatorioLegado que además satisface los requisitos de IteradorDeSalidaLegado.

Concepto Para la definición de std::iterator_traits, se define el siguiente concepto solo para exposición. template<class I> concept __LegacyRandomAccessIterator =   __LegacyBidirectionalIterator<I>&&std::totally_ordered<I>&&   requires(I i, typenamestd::incrementable_traits<I>::difference_type n){     { i += n }->std::same_as<I&>;     { i -= n }->std::same_as<I&>;     { i +  n }->std::same_as<I>;     { n +  i }->std::same_as<I>;     { i -  n }->std::same_as<I>;     { i -  i }->std::same_as<decltype(n)>;     {  i[n]  }->std::convertible_to<std::iter_reference_t<I>>;   }; donde el concepto solo para exposición __LegacyBidirectionalIterator se describe en IteradorBidireccionaLegado.

(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 devuelto por a[n] fuera convertible a const value_type&.	Se requiere que el tipo devuelto sea convertible a reference.
LWG 448	C++98	Se requería que el tipo devuelto por a[n] fuera convertible a value_type.	Se requiere que el tipo devuelto sea convertible a const value_type&.
LWG 1079	C++98	b - a se definía usando a < b, resultado una definición circular.	a < b eliminado de la definición.
P2167R3	C++98	La convertibilidad a bool era demasiado débil para reflejar la expectativa de las implementaciones.	Se reforzaron los requsitos.

Véase también

random_access_iterator (C++20)	Especifica que un bidirectional_iterator es un iterador de acceso aleatorio, admitiendo la indexación y el avance en tiempo constante. (concepto)
Biblioteca de iteradores	Proporciona definiciones para iteradores, rasgos de iteradores, adaptadores y funciones de servicio.