149 lines
4.6 KiB
C++
149 lines
4.6 KiB
C++
#pragma once
|
|
|
|
// Fix for limits.h not exposing LLONG_MIN, LLONG_MIN, and ULLONG_MAX to C++ context
|
|
#ifdef __cplusplus
|
|
#define __STDC_VERSION__ 201112L
|
|
#endif
|
|
|
|
#include <float.h>
|
|
#include <limits.h>
|
|
|
|
namespace type {
|
|
|
|
// clang-format off
|
|
template <bool Val> struct set_bool { static constexpr auto value = Val; };
|
|
|
|
struct true_type : set_bool<true> {};
|
|
struct false_type : set_bool<false> {};
|
|
|
|
template <typename...> struct always_false : false_type {};
|
|
|
|
template <typename... Ts> static constexpr auto always_false_v = always_false<Ts...>::value;
|
|
|
|
template <typename T> struct is_integral : false_type {};
|
|
template <> struct is_integral<bool> : true_type {};
|
|
template <> struct is_integral<char> : true_type {};
|
|
template <> struct is_integral<signed char> : true_type {};
|
|
template <> struct is_integral<unsigned char> : true_type {};
|
|
template <> struct is_integral<short> : true_type {};
|
|
template <> struct is_integral<int> : true_type {};
|
|
template <> struct is_integral<long int> : true_type {};
|
|
template <> struct is_integral<long long int> : true_type {};
|
|
template <> struct is_integral<unsigned short> : true_type {};
|
|
template <> struct is_integral<unsigned int> : true_type {};
|
|
template <> struct is_integral<unsigned long int> : true_type {};
|
|
template <> struct is_integral<unsigned long long int> : true_type {};
|
|
|
|
template <typename T> static constexpr auto is_integral_v = is_integral<T>::value;
|
|
|
|
template <typename T> struct is_floating_point : false_type {};
|
|
template <> struct is_floating_point<float> : true_type {};
|
|
template <> struct is_floating_point<double> : true_type {};
|
|
template <> struct is_floating_point<long double> : true_type {};
|
|
|
|
template <typename T> static constexpr auto is_floating_point_v = is_floating_point<T>::value;
|
|
|
|
template <typename T, typename U> struct is_same : false_type {};
|
|
template <typename T> struct is_same<T, T> : true_type {};
|
|
|
|
template <typename T, typename U> static constexpr auto is_same_v = is_same<T, U>::value;
|
|
|
|
template <typename T>
|
|
struct NumericLimits {
|
|
static constexpr T min() { return T(); }
|
|
static constexpr T max() { return T(); }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<bool> {
|
|
static constexpr bool min() { return false; }
|
|
static constexpr bool max() { return true; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<char> {
|
|
static constexpr char min() { return CHAR_MIN; }
|
|
static constexpr char max() { return CHAR_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<signed char> {
|
|
static constexpr signed char min() { return SCHAR_MIN; }
|
|
static constexpr signed char max() { return SCHAR_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<unsigned char> {
|
|
static constexpr unsigned char min() { return 0; }
|
|
static constexpr unsigned char max() { return UCHAR_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<short> {
|
|
static constexpr short min() { return SHRT_MIN; }
|
|
static constexpr short max() { return SHRT_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<int> {
|
|
static constexpr int min() { return INT_MIN; }
|
|
static constexpr int max() { return INT_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<long> {
|
|
static constexpr long int min() { return LONG_MIN; }
|
|
static constexpr long int max() { return LONG_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<long long int> {
|
|
static constexpr long long int min() { return LLONG_MIN; }
|
|
static constexpr long long int max() { return LLONG_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<unsigned short> {
|
|
static constexpr unsigned short min() { return 0; }
|
|
static constexpr unsigned short max() { return USHRT_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<unsigned int> {
|
|
static constexpr unsigned int min() { return 0; }
|
|
static constexpr unsigned int max() { return UINT_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<unsigned long int> {
|
|
static constexpr unsigned long int min() { return 0; }
|
|
static constexpr unsigned long int max() { return ULONG_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<unsigned long long int> {
|
|
static constexpr unsigned long long int min() { return 0; }
|
|
static constexpr unsigned long long int max() { return ULLONG_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<float> {
|
|
template <typename... Ts> static constexpr float min() { return FLT_MIN; }
|
|
template <typename... Ts> static constexpr float max() { return FLT_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<double> {
|
|
template <typename... Ts> static constexpr double min() { return DBL_MIN; }
|
|
template <typename... Ts> static constexpr double max() { return DBL_MAX; }
|
|
};
|
|
|
|
template <>
|
|
struct NumericLimits<long double> {
|
|
template <typename... Ts> static constexpr long double min() { return LDBL_MIN; }
|
|
template <typename... Ts> static constexpr long double max() { return LDBL_MAX; }
|
|
};
|
|
// clang-format on
|
|
|
|
} // namespace type
|