std:: derived_from

#include <concepts>
class A {};
class B : public A {};
class C : private A {};
// std::derived_from == true solo para herencia pública o clase exactamente igual
static_assert(std::derived_from<B, B> == true);      // misma clase: true
static_assert(std::derived_from<int, int> == false); // mismo tipo primitivo: false
static_assert(std::derived_from<B, A> == true);      // herencia pública: true
static_assert(std::derived_from<C, A> == false);     // herencia privada: false
// std::is_base_of == true también para herencia privada
static_assert(std::is_base_of_v<B, B> == true);      // misma clase: true
static_assert(std::is_base_of_v<int, int> == false); // mismo tipo primitivo: false
static_assert(std::is_base_of_v<A, B> == true);      // herencia pública: true
static_assert(std::is_base_of_v<A, C> == true);      // herencia privada: true
int main() {}