StormByte::Type::DerivedFrom Concept Reference

Derived derives from Base (std::is_base_of). More...

#include <StormByte/type_traits/relations.hxx>

Concept definition

template<typename Derived, typename Base>
concept StormByte::Type::DerivedFrom =  std::is_base_of_v<Base, Derived>

Detailed Description

Derived derives from Base (std::is_base_of).

Template Parameters

Derived	Candidate derived type.
Base	Candidate base type.

Note

Not std::derived_from: that also requires an unambiguous, public base-to-derived conversion. This only checks the inheritance relationship itself.

struct Base {};
struct Derived : Base {};
static_assert(Type::DerivedFrom<Derived, Base>);