mirror/magic_enum
1
0
Fork 0
mirror of https://github.com/Neargye/magic_enum.git synced 2026-01-10 23:44:29 +00:00
Code Activity

Detect values out of range and fail compilation (#70)

Browse source 
This checks for a value at (range_min - 1) and (range_max + 1) for numerical enums
(i.e. not flag enums) and fails compilation with a static_assert if any value is found

Co-authored-by: Brandon Jacklyn <bjacklyn@tesla.com>
This commit is contained in:
bjacklyn 2021-01-10 04:43:47 -08:00 • committed by GitHub
parent 806f2530ef
commit 36ab9fa1a4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 19 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

19
include/magic_enum.hpp
View file

@ -434,12 +434,31 @@ constexpr auto values(std::index_sequence<I...>) noexcept {
return values;
}
template <typename E, bool IsFlags, typename U = std::underlying_type_t<E>>
inline static constexpr void detect_values_out_of_range()
{
constexpr auto min = reflected_min_v<E, IsFlags>;
constexpr auto max = reflected_max_v<E, IsFlags>;
constexpr auto range_size = max - min + 1;
if constexpr (cmp_less((std::numeric_limits<U>::min)(), min) && !IsFlags)
{
static_assert(!is_valid<E, value<E, min - 1, IsFlags>(0)>(), "magic_enum detects enum value smaller than min range size");
}
if constexpr (cmp_less(range_size, (std::numeric_limits<U>::max)()) && !IsFlags)
{
static_assert(!is_valid<E, value<E, min, IsFlags>(range_size + 1)>(), "magic_enum detects enum value larger than max range size");
}
}
template <typename E, bool IsFlags, typename U = std::underlying_type_t<E>>
constexpr auto values() noexcept {
static_assert(is_enum_v<E>, "magic_enum::detail::values requires enum type.");
constexpr auto range_size = reflected_max_v<E, IsFlags> - reflected_min_v<E, IsFlags> + 1;
static_assert(range_size > 0, "magic_enum::enum_range requires valid size.");
static_assert(range_size < (std::numeric_limits<std::uint16_t>::max)(), "magic_enum::enum_range requires valid size.");
detect_values_out_of_range<E, IsFlags>();
return values<E, IsFlags, reflected_min_v<E, IsFlags>>(std::make_index_sequence<range_size>{});
}