traits.hpp

#pragma once
 
#include <type_traits>
#include <typeindex>
#include <concepts>
 
#ifndef __cpp_size_t_suffix
// Implements C++23 P0330R8 for when compiler is missing support (MSVC only).
#pragma warning(suppress: 4455) // Ignore warning about reserved suffix, as this is guarded anyway.
inline constexpr std::size_t operator"" uz(unsigned long long int k)
{
    return static_cast<std::size_t>(k);
}
#endif
 
namespace LiteFX::meta {
 
    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>;
 
    template <typename T, typename... Ts>
    concept are_same = std::conjunction_v<std::is_same<T, Ts>...>;
 
}