Requisitos denominados de C++: RangeAdaptorObject (desde C++20)

 

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

Los objetos adaptadores de rango son objetos de punto de personalización que aceptan un rango visible (viewable_range) como primer argumento y devuelven una vista (view). Algunos objetos adaptadores de rango son unarios, es decir, toman un rango visible como su único argumento. Otros objetos adaptadores de rango toman un rango visible y otros argumentos al final.

Si un objeto adaptador de rango toma solo un argumento, también es un objeto cierre adaptador de rango.

Si un objeto adaptador de rango toma más de un argumento, también admite la aplicación parcial: sea

• a tal objeto adaptador de rango, y
• args... sean argumentos (generalmente adecuados como argumentos al final),

la expresión a(args...) tiene las siguientes propiedades:

• es válida si y solo si para cada argumento e en args... tal que E es decltype((e)), std::is_constructible_v<std::decay_t<E>, E> es true,
• cuando la llamada es válida, su objeto resultado almacena un subobjeto de tipo std::decay_t<E> inicializado directamente sin usar inicialización de lista con std::forward<E>(e), para cada argumento e en args... (en otras palabras, los objetos adaptadores de rango vinculan los argumentos por valor),
• el objeto resultado es un objeto cierre adaptador de rango.
• llamar al objeto cierre adaptador de rango reenvía los argumentos vinculados (si los hay) al objeto adaptador de rango asociado. Los argumentos vinculados (si los hay) se consideran que tienen la categoría de valor y la calificación const volatile del objeto cierre adaptador de rango. En otras palabras, a(args...)(r) es equivalente a std::bind_back(a, args...)(r) (pero el primero también admite la sintaxis de tubería). (desde C++23)

Al igual que otros objetos de puntos de personalización, sea

• a un objeto de la versión no calificada-const volatile del tipo de cualquier objeto adaptador de rango,
• args... cualquier grupo de argumentos que satisfaga las restricciones del operador operator() del tipo de a,

las llamadas a

• a(args...),
• std::as_const(a)(args...),
• std::move(a)(args...), y
• std::move(std::as_const(a))(args...)

son todas equivalentes.

El objeto resultado de cada una de estas expresiones es o bien un objeto vista (view) o un objeto cierre adaptador de rango.

Notas

El operador operator() no se admite para la versión calificada volatile o para la versión calificada const volatile de los tipos adaptadores de rango. Los arrays y funciones se convierten a punteros al vincularse.