1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
#pragma once
#include <cstddef>
#include <cmath>
#include <type_traits>
#include <limits>
#include <utility>
#include <Corrade/Containers/StringView.h>
namespace floormat::entities::erased_constraints {
static_assert(sizeof(std::size_t) == sizeof(std::uintptr_t));
static_assert(sizeof(std::size_t) == sizeof(std::ptrdiff_t));
struct range final {
using U = std::size_t;
using I = std::make_signed_t<U>;
enum type_ : unsigned char { type_none, type_float, type_uint, type_int, };
union element {
float f;
U u;
I i;
};
element min {.i = 0}, max {.i = 0};
type_ type = type_none;
template<typename T> constexpr std::pair<T, T> convert() const;
};
template<typename T> constexpr std::pair<T, T> range::convert() const
{
using std::size_t;
static_assert(sizeof(T) <= sizeof(size_t) || !std::is_integral_v<T>);
constexpr auto min_ = []<typename u>(U a, U b) { return a < b ? a : b; };
constexpr auto max_ = []<typename u>(U a, U b) { return a > b ? a : b; };
using limits = std::numeric_limits<T>;
constexpr auto lmin = limits::min(), lmax = limits::max();
switch (type) {
case type_float:
if constexpr (limits::is_integer())
return { T(std::floor(min.f)), T(std::ceil(max.f)) };
else
return { min.f, max.f };
case type_uint: return { max_(T(min.u), lmin), T(min_(size_t(max.u), size_t(lmax))) };
case type_int: return { max_(T(min.i), lmin), T(min_(size_t(max.i), size_t(lmax))) };
default: case type_none: return { lmin, lmax };
}
}
struct length final {
std::size_t value = (std::size_t)-1;
};
struct group final {
StringView group_name;
};
} // namespace floormat::entities::erased_constraints
namespace floormat::entities::constraints {
template<typename T> struct range {
using limits = std::numeric_limits<T>;
T min = limits::min(), max = limits::max();
constexpr operator erased_constraints::range() const;
};
template<typename T> constexpr range<T>::operator erased_constraints::range() const
{
using enum erased_constraints::range::type_;
if constexpr (std::is_floating_point_v<T>)
return { { .f = min }, { .f = max }, type_float };
if constexpr (std::is_integral_v<T> && std::is_unsigned_v<T>)
return { {.u = min}, {.u = max}, type_uint };
if constexpr (std::is_integral_v<T> && std::is_signed_v<T>)
return { {.i = min}, {.i = max}, type_int };
return { {}, {}, type_none };
}
using length = erased_constraints::length;
using group = erased_constraints::group;
} // namespace floormat::entities::constraints
|
