std::default_initializable

 

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

 

Biblioteca de conceptos

Conceptos del lenguaje principales
same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from	Conceptos de comparación equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Conceptos de objetos movable copyable semiregular regular Conceptos invocables invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

Definido en el archivo de encabezado <concepts>
template<class T > concept default_initializable =std::constructible_from<T>&& requires { T{};}&&                                 /* T t; está bien formada, véase más abajo */;		(desde C++20)

El concepto default_initializable (inicializable por defecto/construido por defecto) comprueba si las variables de tipo T pueden ser

• inicializadas por valor (la expresión T() está bien formada);
• inicializadas mediante la inicialización de lista directa a partir de una lista de inicializadores vacía (la expresión T{} está bien formada); y
• inicializadas por defecto (la expresión T t; está bien formada).

Se realiza la comprobación de acceso como si lo fuera en un contexto no relacionado con T. Se considera solamente la validez del contexto inmediato de la inicialización de la variable.

Posible implementación

template<class T> concept default_initializable =std::constructible_from<T>&& requires { T{};}&& requires {::new(static_cast<void*>(nullptr)) T;};

Véase también

constructible_from (C++20)	Especifica que una variable del tipo puede ser construida desde un conjunto de argumentos o vinculada a un conjunto de argumentos. (concepto)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	Comprueba si un tipo tiene un constructor por defecto Original: checks if a type has a default constructor The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (plantilla de clase)