std:: derived_from

#include <concepts>
class A {};
class B : public A {};
class C : private A {};
// std::derived_from == true только для публичного наследования или точно такого же класса
static_assert(std::derived_from<B, B> == true);      // тот же класс: true
static_assert(std::derived_from<int, int> == false); // тот же примитивный тип: false
static_assert(std::derived_from<B, A> == true);      // публичное наследование: true
static_assert(std::derived_from<C, A> == false);     // приватное наследование: false
// std::is_base_of == true также для приватного наследования
static_assert(std::is_base_of_v<B, B> == true);      // тот же класс: true
static_assert(std::is_base_of_v<int, int> == false); // тот же примитивный тип: false
static_assert(std::is_base_of_v<A, B> == true);      // публичное наследование: true
static_assert(std::is_base_of_v<A, C> == true);      // приватное наследование: true
int main() {}