Traits.h

Go to the documentation of this file.

 
#pragma once
#include "catapult/utils/ClampedBaseValue.h"
#include <type_traits>
 
namespace catapult { namespace utils { namespace traits {
 
    // region is_scalar
 
    template<typename T>
    struct is_scalar : std::is_scalar<T> {};
 
    template<typename X, typename Y>
    struct is_scalar<BaseValue<X, Y>> : std::true_type {};
 
    template<typename X, typename Y>
    struct is_scalar<ClampedBaseValue<X, Y>> : std::true_type {};
 
    template<typename X>
    struct is_scalar<ImmutableValue<X>> : std::true_type {};
 
    template<typename X>
    struct is_scalar<const X> : is_scalar<std::remove_const_t<X>> {};
 
    template<typename T>
    inline constexpr bool is_scalar_v = is_scalar<T>::value;
 
    // endregion
 
    // region is_pod
 
    template<typename T>
    struct is_pod : std::integral_constant<bool, std::is_pod_v<T> && !std::is_pointer_v<T>> {};
 
    template<typename X, typename Y>
    struct is_pod<BaseValue<X, Y>> : std::true_type {};
 
    template<typename X, typename Y>
    struct is_pod<ClampedBaseValue<X, Y>> : std::true_type {};
 
    template<typename X>
    struct is_pod<ImmutableValue<X>> : std::true_type {};
 
    template<typename X>
    struct is_pod<const X> : is_pod<std::remove_const_t<X>> {};
 
    template<typename T>
    inline constexpr bool is_pod_v = is_pod<T>::value;
 
    // endregion
 
    // region is_base_of_ignore_reference
 
    template<typename X, typename Y>
    struct is_base_of_ignore_reference : std::is_base_of<X, std::remove_reference_t<Y>> {};
 
    template<typename X, typename Y>
    inline constexpr bool is_base_of_ignore_reference_v = is_base_of_ignore_reference<X, Y>::value;
 
    // endregion
 
    // region is_type_expression_t
 
    template<typename T, typename Enable = void>
    struct is_type_expression { using type = Enable; };
 
    template<typename T, typename Enable = void>
    using is_type_expression_t = typename is_type_expression<T, Enable>::type;
 
    // endregion
}}}