is_derived_from.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "CeresEngine/Foundation/Traits/iter_reference.hpp"
#include "CeresEngine/Foundation/Traits/iter_rvalue_reference.hpp"
#include "CeresEngine/Foundation/Traits/iter_value.hpp"
 
#include <type_traits>
 
namespace CeresEngine::traits {
 
    template<class Derived, class Base>
    struct is_derived_from : std::conjunction<std::is_base_of<Base, Derived>, std::is_convertible<const volatile Derived*, const volatile Base*>> {};
 
    template<class Derived, class Base> bool constexpr is_derived_from_v = is_derived_from<Derived, Base>::value;
 
    template<class Derived, class Base>
    concept derived_from = is_derived_from_v<Derived, Base>;
 
} // namespace CeresEngine::traits