etl::derived_from Concept Reference

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*>

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.