std::derived_from

`<concepts>`
`template< class Derived, class Base > concept derived_from = std::is_base_of_v<Base, Derived> && std::is_convertible_v<const volatile Derived, const volatile Base>;`		( C++20)

derived_from<Derived, Base> , Base , Derived, Derived, cv-.

, std::is_base_of, Base Derived.

#include <concepts>

class A {};

class B: public A {};

class C: private A{};

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

is_base_of (C++11)	, ( ) []
is_convertibleis_nothrow_convertible (C++11)(C++20)	, ( ) []







(C++20)

(C++20)
(C++11)





(C++20)


/

(C++11)
(C++11)
(C++11)
(C++17)

cppreference.com

std::derived_from