55 lines
1.6 KiB
C++
55 lines
1.6 KiB
C++
#pragma once
|
|
#include <concepts>
|
|
#include <cstdint>
|
|
#include <limits>
|
|
|
|
namespace dark {
|
|
|
|
using max_size_t = std::uint32_t;
|
|
using max_ssize_t = std::int32_t;
|
|
|
|
static constexpr std::size_t kMaxLength = std::numeric_limits<max_size_t>::digits;
|
|
|
|
template<std::size_t _Len>
|
|
consteval max_size_t make_mask() {
|
|
static_assert(_Len <= kMaxLength, "Mask length out of range");
|
|
return _Len == kMaxLength ? ~max_size_t(0) : (max_size_t(1) << _Len) - 1;
|
|
}
|
|
|
|
} // namespace dark
|
|
|
|
namespace dark::concepts {
|
|
|
|
template<typename _Tp>
|
|
using func_t = void (*)(_Tp);
|
|
|
|
template<typename _From, typename _To>
|
|
concept implicit_convertible_to = requires(_From &a, func_t<_To> b) {
|
|
b(a); // Can implicitly convert
|
|
};
|
|
|
|
template<typename _From, typename _To>
|
|
concept explicit_convertible_to =
|
|
!implicit_convertible_to<_From, _To> && std::constructible_from<_To, _From>;
|
|
|
|
template<typename _Tp>
|
|
concept has_length = requires { { +_Tp::_Bit_Len } -> std::same_as <std::size_t>; };
|
|
|
|
template<typename _Tp>
|
|
concept bit_type = has_length<_Tp> && explicit_convertible_to<_Tp, max_size_t>;
|
|
|
|
template<typename _Tp>
|
|
concept int_type = !has_length<_Tp> && implicit_convertible_to<_Tp, max_size_t>;
|
|
|
|
template<typename _Lhs, typename _Rhs>
|
|
concept bit_match =
|
|
(bit_type<_Lhs> && bit_type<_Rhs> && _Lhs::_Bit_Len == _Rhs::_Bit_Len) // prevent format
|
|
|| (int_type<_Lhs> && bit_type<_Rhs>) //
|
|
|| (bit_type<_Lhs> && int_type<_Rhs>);
|
|
|
|
template<typename _Tp, std::size_t _Len>
|
|
concept bit_convertible =
|
|
(bit_type<_Tp> && _Tp::_Bit_Len == _Len) || int_type<_Tp>;
|
|
|
|
} // namespace dark::concepts
|