2 //===---------------------------- limits ----------------------------------===//
4 // The LLVM Compiler Infrastructure
6 // This file is dual licensed under the MIT and the University of Illinois Open
7 // Source Licenses. See LICENSE.TXT for details.
9 //===----------------------------------------------------------------------===//
11 #ifndef _LIBCPP_LIMITS
12 #define _LIBCPP_LIMITS
24 static constexpr bool is_specialized = false;
25 static constexpr T min() noexcept;
26 static constexpr T max() noexcept;
27 static constexpr T lowest() noexcept;
29 static constexpr int digits = 0;
30 static constexpr int digits10 = 0;
31 static constexpr int max_digits10 = 0;
32 static constexpr bool is_signed = false;
33 static constexpr bool is_integer = false;
34 static constexpr bool is_exact = false;
35 static constexpr int radix = 0;
36 static constexpr T epsilon() noexcept;
37 static constexpr T round_error() noexcept;
39 static constexpr int min_exponent = 0;
40 static constexpr int min_exponent10 = 0;
41 static constexpr int max_exponent = 0;
42 static constexpr int max_exponent10 = 0;
44 static constexpr bool has_infinity = false;
45 static constexpr bool has_quiet_NaN = false;
46 static constexpr bool has_signaling_NaN = false;
47 static constexpr float_denorm_style has_denorm = denorm_absent;
48 static constexpr bool has_denorm_loss = false;
49 static constexpr T infinity() noexcept;
50 static constexpr T quiet_NaN() noexcept;
51 static constexpr T signaling_NaN() noexcept;
52 static constexpr T denorm_min() noexcept;
54 static constexpr bool is_iec559 = false;
55 static constexpr bool is_bounded = false;
56 static constexpr bool is_modulo = false;
58 static constexpr bool traps = false;
59 static constexpr bool tinyness_before = false;
60 static constexpr float_round_style round_style = round_toward_zero;
63 enum float_round_style
65 round_indeterminate = -1,
66 round_toward_zero = 0,
68 round_toward_infinity = 2,
69 round_toward_neg_infinity = 3
72 enum float_denorm_style
74 denorm_indeterminate = -1,
79 template<> class numeric_limits<cv bool>;
81 template<> class numeric_limits<cv char>;
82 template<> class numeric_limits<cv signed char>;
83 template<> class numeric_limits<cv unsigned char>;
84 template<> class numeric_limits<cv wchar_t>;
85 template<> class numeric_limits<cv char16_t>;
86 template<> class numeric_limits<cv char32_t>;
88 template<> class numeric_limits<cv short>;
89 template<> class numeric_limits<cv int>;
90 template<> class numeric_limits<cv long>;
91 template<> class numeric_limits<cv long long>;
92 template<> class numeric_limits<cv unsigned short>;
93 template<> class numeric_limits<cv unsigned int>;
94 template<> class numeric_limits<cv unsigned long>;
95 template<> class numeric_limits<cv unsigned long long>;
97 template<> class numeric_limits<cv float>;
98 template<> class numeric_limits<cv double>;
99 template<> class numeric_limits<cv long double>;
105 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
106 #pragma GCC system_header
110 #include <type_traits>
112 #include <__undef_min_max>
114 #if defined(_MSC_VER)
115 #include "support/win32/limits_win32.h"
118 _LIBCPP_BEGIN_NAMESPACE_STD
120 enum float_round_style
122 round_indeterminate = -1,
123 round_toward_zero = 0,
124 round_to_nearest = 1,
125 round_toward_infinity = 2,
126 round_toward_neg_infinity = 3
129 enum float_denorm_style
131 denorm_indeterminate = -1,
136 template <class _Tp, bool = is_arithmetic<_Tp>::value>
137 class __libcpp_numeric_limits
142 static _LIBCPP_CONSTEXPR const bool is_specialized = false;
143 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return type();}
144 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return type();}
145 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return type();}
147 static _LIBCPP_CONSTEXPR const int digits = 0;
148 static _LIBCPP_CONSTEXPR const int digits10 = 0;
149 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
150 static _LIBCPP_CONSTEXPR const bool is_signed = false;
151 static _LIBCPP_CONSTEXPR const bool is_integer = false;
152 static _LIBCPP_CONSTEXPR const bool is_exact = false;
153 static _LIBCPP_CONSTEXPR const int radix = 0;
154 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type();}
155 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type();}
157 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
158 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
159 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
160 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
162 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
163 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
164 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
165 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
166 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
167 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type();}
168 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type();}
169 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type();}
170 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type();}
172 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
173 static _LIBCPP_CONSTEXPR const bool is_bounded = false;
174 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
176 static _LIBCPP_CONSTEXPR const bool traps = false;
177 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
178 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
181 template <class _Tp, int digits, bool is_signed>
182 struct __libcpp_compute_min
184 static _LIBCPP_CONSTEXPR const _Tp value = _Tp(_Tp(1) << digits);
187 template <class _Tp, int digits>
188 struct __libcpp_compute_min<_Tp, digits, false>
190 static _LIBCPP_CONSTEXPR const _Tp value = _Tp(0);
194 class __libcpp_numeric_limits<_Tp, true>
199 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
201 static _LIBCPP_CONSTEXPR const bool is_signed = type(-1) < type(0);
202 static _LIBCPP_CONSTEXPR const int digits = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
203 static _LIBCPP_CONSTEXPR const int digits10 = digits * 3 / 10;
204 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
205 static _LIBCPP_CONSTEXPR const type __min = __libcpp_compute_min<type, digits, is_signed>::value;
206 static _LIBCPP_CONSTEXPR const type __max = is_signed ? type(type(~0) ^ __min) : type(~0);
207 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
208 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
209 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
211 static _LIBCPP_CONSTEXPR const bool is_integer = true;
212 static _LIBCPP_CONSTEXPR const bool is_exact = true;
213 static _LIBCPP_CONSTEXPR const int radix = 2;
214 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
215 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
217 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
218 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
219 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
220 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
222 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
223 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
224 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
225 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
226 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
227 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
228 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
229 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
230 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
232 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
233 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
234 static _LIBCPP_CONSTEXPR const bool is_modulo = true;
236 #if __i386__ || __x86_64__
237 static _LIBCPP_CONSTEXPR const bool traps = true;
239 static _LIBCPP_CONSTEXPR const bool traps = false;
241 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
242 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
246 class __libcpp_numeric_limits<bool, true>
251 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
253 static _LIBCPP_CONSTEXPR const bool is_signed = false;
254 static _LIBCPP_CONSTEXPR const int digits = 1;
255 static _LIBCPP_CONSTEXPR const int digits10 = 0;
256 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
257 static _LIBCPP_CONSTEXPR const type __min = false;
258 static _LIBCPP_CONSTEXPR const type __max = true;
259 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
260 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
261 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
263 static _LIBCPP_CONSTEXPR const bool is_integer = true;
264 static _LIBCPP_CONSTEXPR const bool is_exact = true;
265 static _LIBCPP_CONSTEXPR const int radix = 2;
266 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
267 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
269 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
270 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
271 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
272 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
274 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
275 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
276 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
277 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
278 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
279 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
280 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
281 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
282 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
284 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
285 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
286 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
288 static _LIBCPP_CONSTEXPR const bool traps = false;
289 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
290 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
294 class __libcpp_numeric_limits<float, true>
299 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
301 static _LIBCPP_CONSTEXPR const bool is_signed = true;
302 static _LIBCPP_CONSTEXPR const int digits = __FLT_MANT_DIG__;
303 static _LIBCPP_CONSTEXPR const int digits10 = __FLT_DIG__;
304 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103)/100000;
305 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __FLT_MIN__;}
306 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __FLT_MAX__;}
307 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
309 static _LIBCPP_CONSTEXPR const bool is_integer = false;
310 static _LIBCPP_CONSTEXPR const bool is_exact = false;
311 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
312 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __FLT_EPSILON__;}
313 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5F;}
315 static _LIBCPP_CONSTEXPR const int min_exponent = __FLT_MIN_EXP__;
316 static _LIBCPP_CONSTEXPR const int min_exponent10 = __FLT_MIN_10_EXP__;
317 static _LIBCPP_CONSTEXPR const int max_exponent = __FLT_MAX_EXP__;
318 static _LIBCPP_CONSTEXPR const int max_exponent10 = __FLT_MAX_10_EXP__;
320 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
321 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
322 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
323 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
324 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
325 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_valf();}
326 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanf("");}
327 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansf("");}
328 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __FLT_DENORM_MIN__;}
330 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
331 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
332 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
334 static _LIBCPP_CONSTEXPR const bool traps = false;
335 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
336 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
340 class __libcpp_numeric_limits<double, true>
345 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
347 static _LIBCPP_CONSTEXPR const bool is_signed = true;
348 static _LIBCPP_CONSTEXPR const int digits = __DBL_MANT_DIG__;
349 static _LIBCPP_CONSTEXPR const int digits10 = __DBL_DIG__;
350 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103)/100000;
351 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __DBL_MIN__;}
352 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __DBL_MAX__;}
353 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
355 static _LIBCPP_CONSTEXPR const bool is_integer = false;
356 static _LIBCPP_CONSTEXPR const bool is_exact = false;
357 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
358 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __DBL_EPSILON__;}
359 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5;}
361 static _LIBCPP_CONSTEXPR const int min_exponent = __DBL_MIN_EXP__;
362 static _LIBCPP_CONSTEXPR const int min_exponent10 = __DBL_MIN_10_EXP__;
363 static _LIBCPP_CONSTEXPR const int max_exponent = __DBL_MAX_EXP__;
364 static _LIBCPP_CONSTEXPR const int max_exponent10 = __DBL_MAX_10_EXP__;
366 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
367 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
368 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
369 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
370 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
371 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_val();}
372 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nan("");}
373 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nans("");}
374 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __DBL_DENORM_MIN__;}
376 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
377 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
378 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
380 static _LIBCPP_CONSTEXPR const bool traps = false;
381 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
382 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
386 class __libcpp_numeric_limits<long double, true>
389 typedef long double type;
391 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
393 static _LIBCPP_CONSTEXPR const bool is_signed = true;
394 static _LIBCPP_CONSTEXPR const int digits = __LDBL_MANT_DIG__;
395 static _LIBCPP_CONSTEXPR const int digits10 = __LDBL_DIG__;
396 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103)/100000;
397 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __LDBL_MIN__;}
398 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __LDBL_MAX__;}
399 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
401 static _LIBCPP_CONSTEXPR const bool is_integer = false;
402 static _LIBCPP_CONSTEXPR const bool is_exact = false;
403 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
404 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __LDBL_EPSILON__;}
405 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5;}
407 static _LIBCPP_CONSTEXPR const int min_exponent = __LDBL_MIN_EXP__;
408 static _LIBCPP_CONSTEXPR const int min_exponent10 = __LDBL_MIN_10_EXP__;
409 static _LIBCPP_CONSTEXPR const int max_exponent = __LDBL_MAX_EXP__;
410 static _LIBCPP_CONSTEXPR const int max_exponent10 = __LDBL_MAX_10_EXP__;
412 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
413 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
414 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
415 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
416 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
417 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_vall();}
418 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanl("");}
419 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansl("");}
420 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __LDBL_DENORM_MIN__;}
422 #if (defined(__ppc__) || defined(__ppc64__))
423 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
425 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
427 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
428 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
430 static _LIBCPP_CONSTEXPR const bool traps = false;
431 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
432 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
436 class _LIBCPP_TYPE_VIS numeric_limits
437 : private __libcpp_numeric_limits<typename remove_cv<_Tp>::type>
439 typedef __libcpp_numeric_limits<typename remove_cv<_Tp>::type> __base;
440 typedef typename __base::type type;
442 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
443 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
444 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
445 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
447 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
448 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
449 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
450 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
451 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
452 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
453 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
454 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
455 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
457 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
458 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
459 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
460 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
462 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
463 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
464 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
465 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
466 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
467 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
468 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
469 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
470 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
472 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
473 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
474 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
476 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
477 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
478 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
482 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_specialized;
484 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits;
486 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits10;
488 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_digits10;
490 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_signed;
492 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_integer;
494 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_exact;
496 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::radix;
498 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent;
500 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent10;
502 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent;
504 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent10;
506 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_infinity;
508 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_quiet_NaN;
510 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_signaling_NaN;
512 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<_Tp>::has_denorm;
514 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_denorm_loss;
516 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_iec559;
518 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_bounded;
520 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_modulo;
522 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::traps;
524 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::tinyness_before;
526 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<_Tp>::round_style;
529 class _LIBCPP_TYPE_VIS numeric_limits<const _Tp>
530 : private numeric_limits<_Tp>
532 typedef numeric_limits<_Tp> __base;
535 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
536 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
537 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
538 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
540 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
541 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
542 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
543 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
544 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
545 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
546 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
547 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
548 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
550 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
551 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
552 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
553 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
555 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
556 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
557 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
558 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
559 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
560 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
561 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
562 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
563 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
565 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
566 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
567 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
569 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
570 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
571 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
575 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_specialized;
577 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits;
579 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits10;
581 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_digits10;
583 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_signed;
585 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_integer;
587 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_exact;
589 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::radix;
591 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent;
593 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent10;
595 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent;
597 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent10;
599 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_infinity;
601 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_quiet_NaN;
603 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_signaling_NaN;
605 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const _Tp>::has_denorm;
607 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_denorm_loss;
609 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_iec559;
611 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_bounded;
613 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_modulo;
615 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::traps;
617 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::tinyness_before;
619 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const _Tp>::round_style;
622 class _LIBCPP_TYPE_VIS numeric_limits<volatile _Tp>
623 : private numeric_limits<_Tp>
625 typedef numeric_limits<_Tp> __base;
628 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
629 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
630 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
631 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
633 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
634 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
635 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
636 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
637 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
638 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
639 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
640 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
641 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
643 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
644 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
645 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
646 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
648 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
649 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
650 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
651 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
652 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
653 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
654 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
655 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
656 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
658 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
659 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
660 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
662 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
663 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
664 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
668 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_specialized;
670 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits;
672 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits10;
674 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_digits10;
676 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_signed;
678 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_integer;
680 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_exact;
682 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::radix;
684 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent;
686 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent10;
688 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent;
690 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent10;
692 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_infinity;
694 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_quiet_NaN;
696 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_signaling_NaN;
698 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<volatile _Tp>::has_denorm;
700 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_denorm_loss;
702 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_iec559;
704 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_bounded;
706 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_modulo;
708 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::traps;
710 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::tinyness_before;
712 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<volatile _Tp>::round_style;
715 class _LIBCPP_TYPE_VIS numeric_limits<const volatile _Tp>
716 : private numeric_limits<_Tp>
718 typedef numeric_limits<_Tp> __base;
721 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
722 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
723 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
724 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
726 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
727 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
728 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
729 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
730 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
731 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
732 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
733 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
734 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
736 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
737 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
738 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
739 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
741 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
742 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
743 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
744 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
745 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
746 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
747 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
748 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
749 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
751 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
752 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
753 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
755 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
756 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
757 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
761 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_specialized;
763 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits;
765 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits10;
767 const int numeric_limits<const volatile _Tp>::max_digits10;
769 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_signed;
771 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_integer;
773 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_exact;
775 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::radix;
777 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent;
779 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent10;
781 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent;
783 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent10;
785 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_infinity;
787 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_quiet_NaN;
789 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_signaling_NaN;
791 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const volatile _Tp>::has_denorm;
793 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_denorm_loss;
795 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_iec559;
797 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_bounded;
799 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_modulo;
801 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::traps;
803 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::tinyness_before;
805 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const volatile _Tp>::round_style;
807 _LIBCPP_END_NAMESPACE_STD
809 #endif // _LIBCPP_LIMITS