Requisitos denominados de C++: PolíticaDeAcceso (desde C++23)

 

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)

 

PolíticaDeAcceso define cómo se accede a los elementos a partir de un identificador de datos dado para dichos elementos y un índice. Se utiliza como política en std::mdspan para especificar el acceso a una referencia de un elemento mediante un índice unidimensional subyacente.

Requisitos

Un tipo A satisface PolíticaDeAcceso si modela copyable, y se cumplen las siguientes condiciones:

• std::is_nothrow_move_constructible_v<A>
• std::is_nothrow_move_assignable_v<A>
• std::is_nothrow_swappable_v<A>

y, dados los siguientes tipos y valores, las expresiones que se muestran en la tabla a continuación son válidas y tienen la semántica indicada:

Leyenda

Tipo	Definición
A	Un tipo política de acceso.
OP	Un tipo política de desplazamiento.
Valor	Definición
a	Un valor de tipo (posiblemente calificado como const) A.
p	Un valor de tipo (posiblemente calificado como const) A::data_handle_type.
i, j, n	Valores de tipo std::size_t.

Tipos miembro

Tipo	Definición	Requisitos
A::element_type	No especificado	Un tipo objeto completo que no sea una clase abstracta.
A::data_handle_type	No especificado	Modela copyable. Los siguientes valores son todos true: std::is_nothrow_move_constructible_v <typename A::data_handle_type> std::is_nothrow_move_assignable_v <typename A::data_handle_type> std::is_nothrow_swappable_v <typename A::data_handle_type>
A::reference	No especificado	std::common_reference_with<typename A::reference&&, typename A::element_type&> es true
A::offset_policy	OP	Satisface los requisitos de PolíticaDeAcceso. std::constructible_from<OP, const A&> es true. typename OP​::​element_type y typename A​::​element_type son del mismo tipo.

Funciones miembro

Expresión	Tipo de retorno	Semántica
a.access(p, i)	typename A::reference	La expresión es conservadora de igualdad.
a.offset(p, i)	typename A::offset_policy           ::data_handle_type	Un valor q tal que para b siendo A::offset_policy(a), y cualquier entero n para el cual [0, n) es un rango accesible (ver más abajo) de p y a. [0, n - i) es un rango accesible de q y b; y b.access(q, j) proporciona acceso al mismo elemento que a.access(p, i + j), para cada j en el rango [0, n - i). La expresión es conservadora de igualdad.

Rango accesible

Un rango de índices [0, N) es un rango accesible de un manejador de datos y un accesor dado si, para cada índice en el rango, la función miembro access produce una referencia válida a un elemento.

Biblioteca estándar

Los siguientes tipos de la biblioteca estándar satisfacen los requisitos de PolíticaDeAcceso:

default_accessor (C++23)	Un tipo para acceso indexado a elementos de mdspan. (plantilla de clase)
aligned_accessor (C++26)	Un tipo para el acceso alineado a los elementos de mdspan. (plantilla de clase)
Definido en el espacio de nombres std::linalg
scaled_accessor (C++26)	Política de descriptor de acceso a std::mdspan cuya referencia representa el producto de un factor de escala que está fijo y su referencia a descriptor de acceso a std::mdspan anidada. (plantilla de clase)
conjugated_accessor (C++26)	Política de descriptor de acceso a std::mdspan cuya referencia representa el conjugado complejo de la referencia de su descriptor de acceso a std::mdspan anidado. (plantilla de clase)