Requisitos denominados
De cppreference.com
< cpp
Los requisitos denominados listados en esta página son los requisitos denominados usados en el texto normativo del estándar de C++ para definir las expectativas de la biblioteca estándar.
La carga de garantizar que las plantillas de la biblioteca son creadas con argumentos de plantilla que satisfacen estos requisitos la tiene el programador. No hacerlo así puede resultar en diagnósticos del compilador muy complejos.
Algunos de estos requisitos se formalizan en C++20 usando la característica del lenguaje de conceptos.
Básicos | ||
| Especifica que un objeto del tipo puede ser construido por defecto (requerimiento denominado) | ||
| (C++11) |
Especifica que un objeto del tipo puede ser construido desde un r-valor. (requerimiento denominado) | |
| Especifica que un objeto del tipo puede ser construido desde un l-valor. (requerimiento denominado) | ||
| (C++11) |
Especifica que un objeto del tipo puede ser asignado desde un r-valor. (requerimiento denominado) | |
| Especifica que un objeto del tipo puede ser asignado desde un l-valor. (requerimiento denominado) | ||
| Especifica que un objeto del tipo puede ser destruido. (requerimiento denominado) | ||
Propiedades de tipos | ||
| Nota: el estándar no define requisitos denominados con los nombres especificados en esta subcategoría. Estas son categorías de tipo definidas por el núcleo del lenguaje. Se incluyen aquí como requisitos denominados solamente por consistencia. | ||
| tipos de objetos que no son tipos array o clase (requerimiento denominado) | ||
| (en desuso en C++20) |
tipos POD (Plain Old Data – Datos antiguos y simples), compatibles con struct de C (requerimiento denominado) | |
| (C++11) |
los objetos de estos tipos pueden mantener sus valores después de copiar sus bytes subyacentes. (requerimiento denominado) | |
| (C++11) |
los objetos de estos tipos se pueden construir y copiar trivialmente. (requerimiento denominado) | |
| (C++11) |
estos tipos son útiles para comunicarse con código escrito es otros lenguajes de programación. (requerimiento denominado) | |
| los objetos de estos tipos se pueden crear implícitamente y su vida útil se puede iniciar implícitamente (requerimiento denominado) | ||
A lo largo de la biblioteca | ||
El operator== es una relación de equivalencia. (requerimiento denominado) | ||
El operator< es una relación estricta de ordenamiento débil. (requerimiento denominado) | ||
| Puede intercambiarse con una llamada a función no miembro, no calificada, a swap(). (requerimiento denominado) | ||
| (C++11) |
Un Iterator que se desreferencia a un tipo Swappable. (requerimiento denominado) | |
| (C++11) |
Un tipo similar a un puntero que admite un valor nulo. (requerimiento denominado) | |
| (C++11) |
Un ObjetoFunción que para entradas con diferentes valores tiene una baja probabilidad de producir la misma salida. (requerimiento denominado) | |
| Un tipo clase que contiene información de asignación. (requerimiento denominado) | ||
| Un objecto que puede ser llamado con la sintaxis de llamada de función. (requerimiento denominado) | ||
| Un tipo para el que la operación invoke está definida. (requerimiento denominado) | ||
| Un ObjetoFunción que devuelve un valor convertible a bool para un argumento, sin modificarlo. (requerimiento denominado) | ||
| Un ObjetoFunción que devuelve un valor convertible a bool para dos argumentos, sin modificarlos. (requerimiento denominado) | ||
| Un PredicadoBinario que establece una relación de ordenamiento. (requerimiento denominado) | ||
Contenedores | |
| Estructura de datos que permite acceso a los elementos usando iteradores. (requerimiento denominado) | |
| Contenedor que usa iteradores bidireccionales. (requerimiento denominado) | |
| Contenedor que usa un asignador de memoria. (requerimiento denominado) | |
| Contenedor con elementos almacenados linealmente. (requerimiento denominado) | |
| (C++17) |
Contenedor con elementos almacenados en direcciones de memoria adyacentes. (requerimiento denominado) |
| Contenedor que almacena los elementos asociándolos con claves. (requerimiento denominado) | |
| Contenedor con elementos almacenados en depósitos asociándolos con claves. (requerimiento denominado) | |
Elementos de contenedores | |
| (C++11) |
Elemento que puede ser construido por defecto en almacenamiento no inicializado. (requerimiento denominado) |
| (C++11) |
Elemento que puede ser construido por copia en almacenamiento no inicializado. (requerimiento denominado) |
| (C++11) |
Elemento que puede ser construido por constructor de movimiento en almacenamiento no inicializado. (requerimiento denominado) |
| (C++11) |
Elemento que puede ser construido en almacenamiento no inicializado (requerimiento denominado) |
| (C++11) |
Elemento que puede ser destruido utilizando un asignador de memoria (requerimiento denominado) |
Iteradores | |
| Concepto general para acceder a datos dentro de alguna estructura de datos. (requerimiento denominado) | |
| Iterador que se puede usar para leer datos. (requerimiento denominado) | |
| Iterador que se puede usar para escribir datos. (requerimiento denominado) | |
| Iterador que se puede usar para leer datos múltiples veces. (requerimiento denominado) | |
| Iterador que puede ser incrementado y decrementado. (requerimiento denominado) | |
| Iterador que puede avanzar en tiempo constante. (requerimiento denominado) | |
| (C++17) |
Iterador de elementos asignados de forma contigua. (requerimiento denominado) |
| (C++20) |
Iterador que se puede usar durante una evaluación de una expresión constante. (requerimiento denominado) |
Funciones de E/S de flujos | |
| Una función de flujo de entrada que no omite los espacios en blanco iniciales y cuenta los caracteres procesados. (requerimiento denominado) | |
| Una función de flujo de entrada que omite los espacios en blanco iniciales. (requerimiento denominado) | |
| Una función básica de flujo de salida. (requerimiento denominado) | |
Una función de flujo de salida que establece la bandera failbit en caso de errores y devuelve una referencia al flujo. (requerimiento denominado) | |
Formateadores | |
| (C++20) |
operaciones de formato abstractas para un tipo de argumento de formato y un tipo de carácter determinados (requerimiento denominado) |
| (C++20) |
define las funciones usadas por la biblioteca de formato (requerimiento denominado) |
Generación de números aleatorios | |
| (C++11) |
Consume una secuencia de enteros y produce una secuencia de valores de 32 bits sin signo. (requerimiento denominado) |
| Devuelve enteros sin signo aleatorios distribuidos uniformemente. (requerimiento denominado) | |
| (C++11) |
Un GeneradorDeBitsAleatorioUniforme determinista, definido por la semilla. (requerimiento denominado) |
| Un MotorDeNúmerosAleatorios que transforma la salida de otro MotorDeNúmerosAleatorios. (requerimiento denominado) | |
| Devuelve números aleatorios distribuidos de acuerdo a una función matemática de densidad de probabilidad dada. (requerimiento denominado) | |
Concurrencia | |
| (C++11) |
Provee semántica de propiedad exclusiva para agentes de ejecución (p. ej., hilos). (requerimiento denominado) |
| (C++11) |
Un BloqueableBásico que soporta el intento de adquisición del cerrojo. (requerimiento denominado) |
| (C++11) |
Un Bloqueable que soporta la adquisición temporizada del cerrojo. (requerimiento denominado) |
| (C++14) |
proporciona semántica de propiedad compartida para los agentes de ejecución (por ejemplo, hilos) (requerimiento denominado) |
| un BloqueableCompartido que admite la adquisición de cerrojos temporizados (requerimiento denominado) | |
| (C++11) |
Un Bloqueable que protege contra carreras de datos y sincronización secuencialmente consistente. (requerimiento denominado) |
| (C++11) |
Un BloqueableTemporizado que protege contra carreras de datos y sincronización secuencialmente consistente (requerimiento denominado) |
| (C++17) |
Un Mutex que soporta la semántica de propiedad compartida. (requerimiento denominado) |
| (C++14) |
Un MutexTemporizado que soporta la semántica de propiedad compartida. (requerimiento denominado) |
Rangos | |
| (C++20) |
un ObjetoFunción que crea un adaptador de rango a partir de un viewable_range y argumentos adicionales (requerimiento denominado) |
| (C++20) |
un ObjetoFunción que soporta el operador de tubería (requerimiento denominado) |
Otros | |
| (C++11) |
Describe una propiedad de un tipo. (requerimiento denominado) |
| (C++11) |
Describe una relación entre dos tipos. (requerimiento denominado) |
| (C++11) |
Modifica una propiedad de un tipo. (requerimiento denominado) |
| (C++11) |
Agrega una duración, un punto de tiempo, y una función para obtener el punto de tiempo actual. (requerimiento denominado) |
| (C++11) |
Un Reloj que no lanza excepciones. (requerimiento denominado) |
| Define tipos y funciones para un tipo carácter. (requerimiento denominado) | |
| Conjunto de bits, entero o enumeración (requerimiento denominado) | |
| Un tipo para el que la inicialización es efectivamente igual a la asignación. (requerimiento denominado) | |
| (C++11) |
Define tipos y funciones usados por la biblioteca de expresiones regulares. (requerimiento denominado) |
| (C++11) |
Un tipo con un constructor constexpr. (requerimiento denominado) |
| Esta sección está incompleta Razón: Cualquier otro requisito que falte |
