Requisitos denominados de C++: ComprobableBooleano

 

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)

 

Especifica que una expresión de dicho tipo y categoría de valor es convertible a bool, y para la cual los operadores lógicos para el tipo o dos tipos diferentes de ComprobableBooleano tienen el comportamiento habitual (incluido cortocircuito).

Requisitos

Sea e una expresión de un determinado tipo y categoría de valor. El tipo y la categoría de valor cumplen con los requisitos de ComprobableBooleano si:

• !e está bien formada y no modifica el objeto denotado por e, si lo hay, excepto que si e es un x-valor, el objeto denotado puede dejarse en un estado válido pero no especificado (desde C++11).
• Tanto e como !e son convertibles a bool tanto por conversión implícita como por static_cast.
• Las conversiones en ambos sentidos producen resultados iguales y no modifican el objeto de origen, si lo hay, excepto que si e o !e es un x-valor, el objeto de origen puede dejarse en un estado válido pero no especificado (desde C++11).
• bool(!e) == !bool(e) es válido.
• No hay ningún operator&& ni operator|| viable que no sea miembro, visible por búsqueda dependiente de argumentos para el tipo de e o !e.
• Si e o !e es de un tipo clase, la clase no define ningún miembro operator&& ni operator||.

Notas

El estándar no define un requisito denominado con este nombre. Originalmente se propuso en una resolución temprana de LWG2114, pero fue reemplazado por el concepto de solo exposición comprobable-booleano en la resolución final P2167R3. Debido a que las implementaciones generalmente esperan que los tipos proporcionados modelen comprobable-booleano incluso en modos anteriores a C++20, tratamos intencionalmente P2167R3 como un informe de defectos y transformamos comprobable-booleano en requisitos denominados legados.

Cuando los operadores && y || se utilizan con operandos cuyo tipo y categoría de valor son ComprobableBooleano, se seleccionan versiones integradas y se realiza una evaluación de cortocircuito.

El tipo y la categoría de valor de una expresión e cumplen con los requisitos de ComprobableBooleano si y solo si decltype((e)) modela comprobable-booleano.

(desde C++20)

Algunos ejemplos de tipos ComprobableBooleano (con cualquier categoría de valor) incluyen bool, std::true_type (desde C++11), std::bitset<N>::reference y int*.

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
P2167R3	C++98	La convertibilidad a bool era demasiado débil para reflejar las expectativas de las implementaciones.	Se reforzaron los requisitos.

Véase también

boolean-testable (C++20)

Especifica que un tipo puede usarse en contextos booleanos. (concepto solo de exposición)