The concept derived_from<Derived, Base> is satisfied if and only if Base is a class type that is either Derived or a public and unambiguous base of Derived, ignoring cv-qualifiers. Note that this behaviour is different to is_base_of when Base is a private or protected base of Derived. More...

#include <derived_from.hpp>

Concept definition

template<typename Derived, typename Base>

concept etl::derived_from = is_base_of_v<Base, Derived> and is_convertible_v<Derived const volatile*, Base const volatile*>

etl::derived_from

The concept derived_from<Derived, Base> is satisfied if and only if Base is a class type that is eith...

Definition derived_from.hpp:18

etl::and

and

Definition incrementable_traits.hpp:40

Detailed Description

The concept derived_from<Derived, Base> is satisfied if and only if Base is a class type that is either Derived or a public and unambiguous base of Derived, ignoring cv-qualifiers. Note that this behaviour is different to is_base_of when Base is a private or protected base of Derived.