diff --git a/src/common/alignment.h b/src/common/alignment.h index 2127dc186d..fb81f10d8b 100644 --- a/src/common/alignment.h +++ b/src/common/alignment.h @@ -9,8 +9,7 @@ namespace Common { template -[[nodiscard]] constexpr T AlignUp(T value, std::size_t size) { - static_assert(std::is_unsigned_v, "T must be an unsigned value."); +requires std::is_unsigned_v[[nodiscard]] constexpr T AlignUp(T value, size_t size) { auto mod{static_cast(value % size)}; value -= mod; return static_cast(mod == T{0} ? value : value + size); @@ -22,36 +21,33 @@ requires std::is_unsigned_v[[nodiscard]] constexpr T AlignUpLog2(T value, siz } template -[[nodiscard]] constexpr T AlignDown(T value, std::size_t size) { - static_assert(std::is_unsigned_v, "T must be an unsigned value."); +requires std::is_unsigned_v[[nodiscard]] constexpr T AlignDown(T value, size_t size) { return static_cast(value - value % size); } template -[[nodiscard]] constexpr bool Is4KBAligned(T value) { - static_assert(std::is_unsigned_v, "T must be an unsigned value."); +requires std::is_unsigned_v[[nodiscard]] constexpr bool Is4KBAligned(T value) { return (value & 0xFFF) == 0; } template -[[nodiscard]] constexpr bool IsWordAligned(T value) { - static_assert(std::is_unsigned_v, "T must be an unsigned value."); +requires std::is_unsigned_v[[nodiscard]] constexpr bool IsWordAligned(T value) { return (value & 0b11) == 0; } template -[[nodiscard]] constexpr bool IsAligned(T value, std::size_t alignment) { - using U = typename std::make_unsigned::type; +requires std::is_integral_v[[nodiscard]] constexpr bool IsAligned(T value, size_t alignment) { + using U = typename std::make_unsigned_t; const U mask = static_cast(alignment - 1); return (value & mask) == 0; } -template +template class AlignmentAllocator { public: using value_type = T; - using size_type = std::size_t; - using difference_type = std::ptrdiff_t; + using size_type = size_t; + using difference_type = ptrdiff_t; using propagate_on_container_copy_assignment = std::true_type; using propagate_on_container_move_assignment = std::true_type;