forked from andrewprock/ustl
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathulimits.h
324 lines (308 loc) · 17.2 KB
/
ulimits.h
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
// This file is part of the uSTL library, an STL implementation.
//
// Copyright (c) 2005 by Mike Sharov <[email protected]>
// This file is free software, distributed under the MIT License.
#pragma once
#include "utypes.h"
#include "traits.h"
#if HAVE_CPP11
#include "uttraits.h"
#endif
namespace ustl {
enum float_denorm_style {
denorm_indeterminate = -1,
denorm_absent,
denorm_present
};
enum float_round_style {
round_indeterminate = -1,
round_toward_zero,
round_to_nearest,
round_toward_infinity,
round_toward_neg_infinity
};
namespace {
template <typename T>
struct __limits_digits { enum { value = sizeof(T)*8 };};
template <typename T>
struct __limits_digits10 { enum { value = sizeof(T)*8*643/2136+1 };};
}
/// \class numeric_limits ulimits.h ustl.h
/// \brief Defines numeric limits for a type.
///
template <typename T>
struct numeric_limits {
static inline constexpr T min (void) { return T(); } // Returns the minimum value for type T.
static inline constexpr T max (void) { return T(); } // Returns the minimum value for type T.
static inline constexpr T lowest (void) { return T(); }
static inline constexpr T epsilon (void) { return T(); }
static inline constexpr T round_error (void) { return T(); }
static inline constexpr T infinity (void) { return T(); }
static inline constexpr T quiet_NaN (void) { return T(); }
static inline constexpr T signaling_NaN (void) { return T(); }
static inline constexpr T denorm_min (void) { return T(); }
static constexpr const bool is_specialized = false;
static constexpr const bool is_signed = tm::TypeTraits<T>::isSigned; ///< True if the type is signed.
static constexpr const bool is_integer = tm::TypeTraits<T>::isIntegral; ///< True if stores an exact value.
static constexpr const bool is_exact = tm::TypeTraits<T>::isIntegral; ///< True if stores an exact value.
static constexpr const bool is_integral = tm::TypeTraits<T>::isFundamental; ///< True if fixed size and cast-copyable.
static constexpr const bool is_iec559 = false;
static constexpr const bool is_bounded = false;
static constexpr const bool is_modulo = false;
static constexpr const bool has_infinity = false;
static constexpr const bool has_quiet_NaN = false;
static constexpr const bool has_signaling_NaN = false;
static constexpr const bool has_denorm_loss = false;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = false;
static constexpr const int radix = 0;
static constexpr const int min_exponent = 0;
static constexpr const int min_exponent10 = 0;
static constexpr const int max_exponent = 0;
static constexpr const int max_exponent10 = 0;
static constexpr const float_denorm_style has_denorm = denorm_absent;
static constexpr const float_round_style round_style = round_toward_zero;
static constexpr const unsigned digits = __limits_digits<T>::value; ///< Number of bits in T
static constexpr const unsigned digits10 = 0;
static constexpr const unsigned max_digits10 = 0;
};
#ifndef DOXYGEN_SHOULD_SKIP_THIS
template <typename T>
struct numeric_limits<T*> {
static inline constexpr T* min (void) { return nullptr; }
static inline constexpr T* max (void) { return reinterpret_cast<T*>(UINTPTR_MAX); }
static inline constexpr T* lowest (void) { return nullptr; }
static inline constexpr T* epsilon (void) { return nullptr; }
static inline constexpr T* round_error (void) { return nullptr; }
static inline constexpr T* infinity (void) { return nullptr; }
static inline constexpr T* quiet_NaN (void) { return nullptr; }
static inline constexpr T* signaling_NaN (void) { return nullptr; }
static inline constexpr T* denorm_min (void) { return nullptr; }
static constexpr const bool is_specialized = false;
static constexpr const bool is_signed = false;
static constexpr const bool is_integer = true;
static constexpr const bool is_exact = true;
static constexpr const bool is_integral = true;
static constexpr const bool is_iec559 = false;
static constexpr const bool is_bounded = true;
static constexpr const bool is_modulo = true;
static constexpr const bool has_infinity = false;
static constexpr const bool has_quiet_NaN = false;
static constexpr const bool has_signaling_NaN = false;
static constexpr const bool has_denorm_loss = false;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = false;
static constexpr const int radix = 2;
static constexpr const int min_exponent = 0;
static constexpr const int min_exponent10 = 0;
static constexpr const int max_exponent = 0;
static constexpr const int max_exponent10 = 0;
static constexpr const float_denorm_style has_denorm = denorm_absent;
static constexpr const float_round_style round_style = round_toward_zero;
static constexpr const unsigned digits = __limits_digits<T*>::value;
static constexpr const unsigned digits10 = __limits_digits10<T*>::value;
static constexpr const unsigned max_digits10 = 0;
};
/*
template <> struct numeric_limits<float> {
static inline constexpr float min (void) { return FLT_MIN; }
static inline constexpr float max (void) { return FLT_MAX; }
static inline constexpr float lowest (void) { return -FLT_MAX; }
static inline constexpr float epsilon (void) { return FLT_EPSILON; }
static inline constexpr float round_error (void) { return 0.5f; }
static inline constexpr float infinity (void) { return __builtin_huge_valf(); }
static inline constexpr float quiet_NaN (void) { return __builtin_nanf(""); }
static inline constexpr float signaling_NaN (void) { return __builtin_nansf(""); }
static inline constexpr float denorm_min (void) { return __FLT_DENORM_MIN__; }
static constexpr const bool is_specialized = true;
static constexpr const bool is_signed = true;
static constexpr const bool is_integer = false;
static constexpr const bool is_exact = false;
static constexpr const bool is_integral = true;
static constexpr const bool is_iec559 = true;
static constexpr const bool is_bounded = true;
static constexpr const bool is_modulo = false;
static constexpr const bool has_infinity = __FLT_HAS_INFINITY__;
static constexpr const bool has_quiet_NaN = __FLT_HAS_QUIET_NAN__;
static constexpr const bool has_signaling_NaN = __FLT_HAS_QUIET_NAN__;
static constexpr const bool has_denorm_loss = true;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = true;
static constexpr const int radix = FLT_RADIX;
static constexpr const int min_exponent = FLT_MIN_EXP;
static constexpr const int min_exponent10 = FLT_MIN_10_EXP;
static constexpr const int max_exponent = FLT_MAX_EXP;
static constexpr const int max_exponent10 = FLT_MAX_10_EXP;
static constexpr const float_denorm_style has_denorm = denorm_present;
static constexpr const float_round_style round_style = round_to_nearest;
static constexpr const unsigned digits = FLT_MANT_DIG;
static constexpr const unsigned digits10 = FLT_DIG;
static constexpr const unsigned max_digits10 = FLT_MANT_DIG;
};
template <> struct numeric_limits<double> {
static inline constexpr double min (void) { return DBL_MIN; }
static inline constexpr double max (void) { return DBL_MAX; }
static inline constexpr double lowest (void) { return -DBL_MAX; }
static inline constexpr double epsilon (void) { return DBL_EPSILON; }
static inline constexpr double round_error (void) { return 0.5; }
static inline constexpr double infinity (void) { return __builtin_huge_val(); }
static inline constexpr double quiet_NaN (void) { return __builtin_nan(""); }
static inline constexpr double signaling_NaN (void) { return __builtin_nans(""); }
static inline constexpr double denorm_min (void) { return __DBL_DENORM_MIN__; }
static constexpr const bool is_specialized = true;
static constexpr const bool is_signed = true;
static constexpr const bool is_integer = false;
static constexpr const bool is_exact = false;
static constexpr const bool is_integral = true;
static constexpr const bool is_iec559 = true;
static constexpr const bool is_bounded = true;
static constexpr const bool is_modulo = false;
static constexpr const bool has_infinity = __DBL_HAS_INFINITY__;
static constexpr const bool has_quiet_NaN = __DBL_HAS_QUIET_NAN__;
static constexpr const bool has_signaling_NaN = __DBL_HAS_QUIET_NAN__;
static constexpr const bool has_denorm_loss = true;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = true;
static constexpr const int radix = FLT_RADIX;
static constexpr const int min_exponent = DBL_MIN_EXP;
static constexpr const int min_exponent10 = DBL_MIN_10_EXP;
static constexpr const int max_exponent = DBL_MAX_EXP;
static constexpr const int max_exponent10 = DBL_MAX_10_EXP;
static constexpr const float_denorm_style has_denorm = denorm_present;
static constexpr const float_round_style round_style = round_to_nearest;
static constexpr const unsigned digits = DBL_MANT_DIG;
static constexpr const unsigned digits10 = DBL_DIG;
static constexpr const unsigned max_digits10 = DBL_MANT_DIG;
};
template <> struct numeric_limits<long double> {
static inline constexpr long double min (void) { return LDBL_MIN; }
static inline constexpr long double max (void) { return LDBL_MAX; }
static inline constexpr long double lowest (void) { return -LDBL_MAX; }
static inline constexpr long double epsilon (void) { return LDBL_EPSILON; }
static inline constexpr long double round_error (void) { return 0.5l; }
static inline constexpr long double infinity (void) { return __builtin_huge_vall(); }
static inline constexpr long double quiet_NaN (void) { return __builtin_nanl(""); }
static inline constexpr long double signaling_NaN (void) { return __builtin_nansl(""); }
static inline constexpr long double denorm_min (void) { return __LDBL_DENORM_MIN__; }
static constexpr const bool is_specialized = true;
static constexpr const bool is_signed = true;
static constexpr const bool is_integer = false;
static constexpr const bool is_exact = false;
static constexpr const bool is_integral = true;
static constexpr const bool is_iec559 = true;
static constexpr const bool is_bounded = true;
static constexpr const bool is_modulo = false;
static constexpr const bool has_infinity = __LDBL_HAS_INFINITY__;
static constexpr const bool has_quiet_NaN = __LDBL_HAS_QUIET_NAN__;
static constexpr const bool has_signaling_NaN = __LDBL_HAS_QUIET_NAN__;
static constexpr const bool has_denorm_loss = true;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = true;
static constexpr const int radix = FLT_RADIX;
static constexpr const int min_exponent = LDBL_MIN_EXP;
static constexpr const int min_exponent10 = LDBL_MIN_10_EXP;
static constexpr const int max_exponent = LDBL_MAX_EXP;
static constexpr const int max_exponent10 = LDBL_MAX_10_EXP;
static constexpr const float_denorm_style has_denorm = denorm_present;
static constexpr const float_round_style round_style = round_to_nearest;
static constexpr const unsigned digits = LDBL_MANT_DIG;
static constexpr const unsigned digits10 = LDBL_DIG;
static constexpr const unsigned max_digits10 = LDBL_MANT_DIG;
};
template <> struct numeric_limits<long double> {
static inline constexpr long double min (void) { return LDBL_MIN; }
static inline constexpr long double max (void) { return LDBL_MAX; }
static inline constexpr long double lowest (void) { return -LDBL_MAX; }
static inline constexpr long double epsilon (void) { return LDBL_EPSILON; }
static inline constexpr long double round_error (void) { return 0.5l; }
static inline constexpr long double infinity (void) { return __builtin_huge_vall(); }
static inline constexpr long double quiet_NaN (void) { return __builtin_nanl(""); }
static inline constexpr long double signaling_NaN (void) { return __builtin_nansl(""); }
static inline constexpr long double denorm_min (void) { return __LDBL_DENORM_MIN__; }
static constexpr const bool is_specialized = true;
static constexpr const bool is_signed = true;
static constexpr const bool is_integer = false;
static constexpr const bool is_exact = false;
static constexpr const bool is_integral = true;
static constexpr const bool is_iec559 = true;
static constexpr const bool is_bounded = true;
static constexpr const bool is_modulo = false;
static constexpr const bool has_infinity = __LDBL_HAS_INFINITY__;
static constexpr const bool has_quiet_NaN = __LDBL_HAS_QUIET_NAN__;
static constexpr const bool has_signaling_NaN = __LDBL_HAS_QUIET_NAN__;
static constexpr const bool has_denorm_loss = true;
static constexpr const bool traps = false;
static constexpr const bool tinyness_before = true;
static constexpr const int radix = FLT_RADIX;
static constexpr const int min_exponent = LDBL_MIN_EXP;
static constexpr const int min_exponent10 = LDBL_MIN_10_EXP;
static constexpr const int max_exponent = LDBL_MAX_EXP;
static constexpr const int max_exponent10 = LDBL_MAX_10_EXP;
static constexpr const float_denorm_style has_denorm = denorm_present;
static constexpr const float_round_style round_style = round_to_nearest;
static constexpr const unsigned digits = LDBL_MANT_DIG;
static constexpr const unsigned digits10 = LDBL_DIG;
static constexpr const unsigned max_digits10 = LDBL_MANT_DIG;
};*/
#define _NUMERIC_LIMITS(type, minVal, maxVal, bSigned, bInteger, bIntegral) \
template <> struct numeric_limits<type> { \
static inline constexpr type min (void) { return minVal; } \
static inline constexpr type max (void) { return maxVal; } \
static inline constexpr type lowest (void) { return minVal; } \
static inline constexpr type epsilon (void) { return 0; } \
static inline constexpr type round_error (void) { return 0; } \
static inline constexpr type infinity (void) { return 0; } \
static inline constexpr type quiet_NaN (void) { return 0; } \
static inline constexpr type signaling_NaN (void) { return 0; } \
static inline constexpr type denorm_min (void) { return 0; } \
static constexpr const bool is_specialized = true; \
static constexpr const bool is_signed = bSigned; \
static constexpr const bool is_integer = bInteger; \
static constexpr const bool is_exact = bInteger; \
static constexpr const bool is_integral = bIntegral; \
static constexpr const bool is_iec559 = false; \
static constexpr const bool is_bounded = true; \
static constexpr const bool is_modulo = bIntegral; \
static constexpr const bool has_infinity = false; \
static constexpr const bool has_quiet_NaN = false; \
static constexpr const bool has_signaling_NaN = false; \
static constexpr const bool has_denorm_loss = false; \
static constexpr const bool traps = false; \
static constexpr const bool tinyness_before = false; \
static constexpr const int radix = 2; \
static constexpr const int min_exponent = 0; \
static constexpr const int min_exponent10 = 0; \
static constexpr const int max_exponent = 0; \
static constexpr const int max_exponent10 = 0; \
static constexpr const float_denorm_style has_denorm = denorm_absent; \
static constexpr const float_round_style round_style = round_toward_zero; \
static constexpr const unsigned digits = __limits_digits<type>::value; \
static constexpr const unsigned digits10 = __limits_digits10<type>::value; \
static constexpr const unsigned max_digits10 = 0; \
}
//--------------------------------------------------------------------------------------
// type min max signed integer integral
//--------------------------------------------------------------------------------------
_NUMERIC_LIMITS (bool, false, true, false, false, true);
_NUMERIC_LIMITS (char, CHAR_MIN, CHAR_MAX, true, true, true);
_NUMERIC_LIMITS (int, INT_MIN, INT_MAX, true, true, true);
_NUMERIC_LIMITS (short, SHRT_MIN, SHRT_MAX, true, true, true);
_NUMERIC_LIMITS (long, LONG_MIN, LONG_MAX, true, true, true);
#if HAVE_THREE_CHAR_TYPES
_NUMERIC_LIMITS (signed char, SCHAR_MIN, SCHAR_MAX, true, true, true);
#endif
_NUMERIC_LIMITS (unsigned char, 0, UCHAR_MAX, false, true, true);
_NUMERIC_LIMITS (unsigned int, 0, UINT_MAX, false, true, true);
_NUMERIC_LIMITS (unsigned short,0, USHRT_MAX, false, true, true);
_NUMERIC_LIMITS (unsigned long, 0, ULONG_MAX, false, true, true);
_NUMERIC_LIMITS (wchar_t, 0, WCHAR_MAX, false, true, true);
#if HAVE_LONG_LONG
_NUMERIC_LIMITS (long long, LLONG_MIN, LLONG_MAX, true, true, true);
_NUMERIC_LIMITS (unsigned long long, 0, ULLONG_MAX, false, true, true);
#endif
//--------------------------------------------------------------------------------------
#endif // DOXYGEN_SHOULD_SKIP_THIS
/// Macro for defining numeric_limits specializations
#define NUMERIC_LIMITS(type, minVal, maxVal, bSigned, bInteger, bIntegral) \
namespace ustl { _NUMERIC_LIMITS (type, minVal, maxVal, bSigned, bInteger, bIntegral); }
} // namespace ustl