traits.hpp

#pragma once
 
#include <type_traits>
#include <typeindex>
#include <concepts>
 
namespace LiteFX::rtti {
 
    template <class, class = std::void_t<>>
    struct has_builder_t : std::false_type { };
 
    template<class T>
    struct has_builder_t<T, std::void_t<typename T::builder>> : std::true_type { };
 
    template <class T>
    constexpr bool has_builder_v = has_builder_t<T>::value;
 
    template <class T>
    concept has_builder = has_builder_v<T>;
 
    template <typename T, typename TArg, typename ...TArgs>
    struct is_explicitly_constructible_t : std::bool_constant<std::is_constructible_v<T, TArg, TArgs...> && !std::is_convertible_v<TArg, T>> { };
 
    template <typename T, typename TArg, typename ...TArgs>
    constexpr bool is_explicitly_constructible_v = is_explicitly_constructible_t<T, TArg, TArgs...>::value;
 
    template <typename T, typename TArg, typename ...TArgs>
    concept is_explicitly_constructible = is_explicitly_constructible_v<T, TArg, TArgs...>;
 
    template <typename T, typename TArg, typename ...TArgs>
    struct is_implicitly_constructible_t : std::bool_constant<std::is_constructible_v<T, TArg, TArgs...> && std::is_convertible_v<TArg, T>> { };
 
    template <typename T, typename TArg, typename ...TArgs>
    constexpr bool is_implicitly_constructible_v = is_explicitly_constructible_t<T, TArg, TArgs...>::value;
 
    template <typename T, typename TArg, typename ...TArgs>
    concept is_implicitly_constructible = is_explicitly_constructible_v<T, TArg, TArgs...>;
 
    template <typename TDerived, typename TBase>
    concept implements = !std::is_abstract_v<TDerived> && std::derived_from<TDerived, TBase>;
}