std::derived_from

 

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

 

<tbody> </tbody>

Definido en el archivo de encabezado <concepts>
template<typename Derivada, typename Base> concept derived_from = std::is_base_of_v<Base, Derivada> && std::is_convertible_v<const volatile Derivada*, const volatile Base*>;		(desde C++20)

See More

El concepto derived_from<Derivada, Base> se satisface si y solo si Base es un tipo de clase que es bien Derivada o una base pública e inequívoca de Derivada, ignorando los calificadores-cv.

Observa que este comportamiento es diferente de std::is_base_of cuando Base es una base privada o protegida de Derivada.

Véase también

is_base_of (C++11)	Comprueba si un tipo es derivado de otro tipo (plantilla de clase)
is_convertibleis_nothrow_convertible (C++11)(C++20)	Comprueba si un tipo puede convertirse a otro tipo. (plantilla de clase)