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() {}