172 lines
4.3 KiB
C++
172 lines
4.3 KiB
C++
#pragma once
|
|
|
|
#include <hex.hpp>
|
|
|
|
#include <type_traits>
|
|
|
|
namespace hex {
|
|
|
|
template<typename>
|
|
struct is_integral_helper : public std::false_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<u8> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<i8> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<u16> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<i16> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<u32> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<i32> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<u64> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<i64> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<u128> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<i128> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<bool> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<char> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<char8_t> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<char16_t> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<char32_t> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_integral_helper<wchar_t> : public std::true_type { };
|
|
|
|
template<typename T>
|
|
struct is_integral : public is_integral_helper<std::remove_cvref_t<T>>::type { };
|
|
|
|
|
|
template<typename>
|
|
struct is_signed_helper : public std::false_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<i8> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<i16> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<i32> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<i64> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<i128> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<char> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<float> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<double> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_signed_helper<long double> : public std::true_type { };
|
|
|
|
template<typename T>
|
|
struct is_signed : public is_signed_helper<std::remove_cvref_t<T>>::type { };
|
|
|
|
|
|
template<typename>
|
|
struct is_floating_point_helper : public std::false_type { };
|
|
|
|
template<>
|
|
struct is_floating_point_helper<float> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_floating_point_helper<double> : public std::true_type { };
|
|
|
|
template<>
|
|
struct is_floating_point_helper<long double> : public std::true_type { };
|
|
|
|
template<typename T>
|
|
struct is_floating_point : public is_floating_point_helper<std::remove_cvref_t<T>>::type { };
|
|
|
|
}
|
|
|
|
#if defined(_LIBCPP_VERSION) && _LIBCPP_VERSION <= 12000
|
|
#if __has_include(<concepts>)
|
|
// Make sure we break when derived_from is implemented in libc++. Then we can fix a compatibility version above
|
|
#include <concepts>
|
|
#endif
|
|
// libcxx 12 still doesn't have many default concepts implemented, as a result we need to define it ourself using clang built-ins.
|
|
// [concept.derived] (patch from https://reviews.llvm.org/D74292)
|
|
namespace hex {
|
|
template<class _Dp, class _Bp>
|
|
concept derived_from =
|
|
__is_base_of(_Bp, _Dp) && __is_convertible_to(const volatile _Dp *, const volatile _Bp *);
|
|
}
|
|
|
|
#else
|
|
// Assume supported
|
|
#include <concepts>
|
|
namespace hex {
|
|
using std::derived_from;
|
|
}
|
|
#endif
|
|
|
|
// [concepts.arithmetic]
|
|
namespace hex {
|
|
|
|
template<class T>
|
|
concept integral = hex::is_integral<T>::value;
|
|
|
|
template<class T>
|
|
concept signed_integral = integral<T> && hex::is_signed<T>::value;
|
|
|
|
template<class T>
|
|
concept unsigned_integral = integral<T> && !signed_integral<T>;
|
|
|
|
template<class T>
|
|
concept floating_point = std::is_floating_point<T>::value;
|
|
|
|
}
|
|
|
|
namespace hex {
|
|
|
|
template<typename T>
|
|
struct always_false : std::false_type { };
|
|
|
|
template<typename T, size_t Size>
|
|
concept has_size = sizeof(T) == Size;
|
|
|
|
}
|
|
|
|
|
|
namespace hex {
|
|
|
|
template<typename T>
|
|
class Cloneable {
|
|
public:
|
|
[[nodiscard]] virtual T *clone() const = 0;
|
|
};
|
|
|
|
} |