[concept.derived] (original) (raw)

18 Concepts library [concepts]

18.4.3 Concept derived_from [concept.derived]

🔗

template<class Derived, class Base> concept [derived_from](#concept:derived%5Ffrom "18.4.3 Concept derived_­from [concept.derived]") = is_base_of_v<Base, Derived> && is_convertible_v<const volatile Derived*, const volatile Base*>;

1

#

[Note 1:

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

— _end note_]