Requisitos denominados de C++: NullablePointer (desde C++11)

 

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

Especifica que el tipo es un objeto similar a un puntero que puede compararse con objetos std::nullptr_t.

Requisitos

El tipo debe cumplir todos los siguientes requisitos:

• EqualityComparable
• DefaultConstructible
• CopyConstructible
• CopyAssignable

lvalues del tipo son Swappable	(hasta C++23)
Swappable	(desde C++23)

• Destructible

Además, un objeto inicializado con valor del tipo debe producir un valor nulo de ese tipo. Este valor nulo solo será equivalente a sí mismo. La inicialización por defecto del tipo puede tener un valor indeterminado o erróno (desde C++26).

Un objeto del tipo debe sercontextualmente convertible a bool. El efecto de esta conversión devuelve false (falso) si el valor es equivalente a su valor nulo y true (verdadero) en el caso contrario.

Ninguna de las operaciones que realiza este tipo puede generar excepciones.

El tipo debe satisfacer las siguientes expresiones adicionales, dados dos valores p y q que son del tipo, y que np es un valor de tipo std::nullptr_t (que puede estar calificado const):

Expresión	Efectos
Tipo p(np); Tipo p = np;	Después, p es equivalente a nullptr.
Tipo(np)	Un objeto temporal que es equivalente a nullptr.
p = np	Debe devolver un Tipo&, y después, p es equivalente a nullptr.
p != q	Debe devolver un valor que sea contextualmente convertiblea bool. (hasta C++23) decltype(p != q) modela boolean-testable (desde C++23) El efecto es !(p == q)
p == np np == p	Debe devolver un valor que sea contextualmente convertiblea bool. (hasta C++23) decltype(p == np) y decltype(np == p) modelan boolean-testable (desde C++23) El efecto es (p == Tipo())
p != np np != p	Debe devolver un valor que sea contextualmente convertible a bool. (hasta C++23) decltype(p != np) y decltype(np != p) modelan boolean-testable (desde C++23) El efecto es !(p == np)

Notas

Observa que no se requiere que un tipo NullablePointer se pueda desreferenciar (operator* o a operator->). Un tipo minimalista que satisface a estos requisitos es

class handle 
{
    int id = 0;

public:
    handle() = default;
    handle(std::nullptr_t) { }
    explicit operator bool() const { return id != 0; }
    friend bool operator==(handle l, handle r) { return l.id == r.id; }
    friend bool operator!=(handle l, handle r) { return !(l == r); }
    // o solamente un operador operator== por defecto (since C++20) 
};

Biblioteca estándar

Los siguientes tipos deben satisfacer NullablePointer:

• Los tipos miembro X::pointer, X::const_pointer, X::void_pointer y X::const_void_pointer de cada tipo Allocator X.
• El tipo miembro X::pointer de std::unique_ptr.
• El tipo std::exception_ptr.