Espacios de nombres
Variantes
Acciones

std::derived_from

De cppreference.com
< cpp‎ | concepts
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)

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.

[editar] Véase también

Comprueba si un tipo es derivado de otro tipo
(plantilla de clase) [editar]
Comprueba si un tipo puede convertirse a otro tipo.
(plantilla de clase) [editar]