17 Concepts library [concepts]

17.4 Language-related concepts [concepts.lang]

17.4.3 Concept DerivedFrom [concept.derivedfrom]

template<class Derived, class Base>
  concept DerivedFrom =
    is_base_of_v<Base, Derived> &&
    is_convertible_v<const volatile Derived*, const volatile Base*>;

[ Note

DerivedFrom<Derived, Base> is satisfied if and only if Derived is publicly and unambiguously derived from Base, or Derived and Base are the same class type ignoring cv-qualifiers.

— end note

]