original::ExtendsOf Concept Reference

Checks derivation or type identity. More...

#include <types.h>

Concept definition

template<typename Base, typename Derive>
concept original::ExtendsOf =  std::derived_from<Derive, Base> || std::is_same_v<Base, Derive>

Detailed Description

Checks derivation or type identity.

Template Parameters

Base	Base class or same type
Derive	Derived class or same type

Uses std::derived_from for explicit inheritance checking, allowing for clearer intent than SuperOf in some contexts.

struct Animal {};
struct Cat : Animal {};
 
static_assert(ExtendsOf<Animal, Cat>);    // Passes: valid inheritance
static_assert(ExtendsOf<int, int>);       // Passes: same type
static_assert(ExtendsOf<Cat, int>);   // Fails: invalid inheritance