|
|
|
| 1 |
|
// limits standard header |
| 2 |
|
#pragma once |
| 3 |
|
#ifndef _LIMITS_ |
| 4 |
|
#define _LIMITS_ |
| 5 |
|
#ifndef RC_INVOKED |
| 6 |
|
#include <ymath.h> |
| 7 |
|
#include <cfloat> |
| 8 |
|
#include <climits> |
| 9 |
|
#include <cmath> |
| 10 |
|
#include <cwchar> |
| 11 |
|
#include <xstddef> |
| 12 |
|
|
| 13 |
|
#ifdef _MSC_VER |
| 14 |
|
#pragma pack(push,_CRT_PACKING) |
| 15 |
|
#pragma warning(push,3) |
| 16 |
|
#endif /* _MSC_VER */ |
| 17 |
|
|
| 18 |
|
_STD_BEGIN |
| 19 |
|
|
| 20 |
|
// ASSUMES: |
| 21 |
|
// wraparound 2's complement integer arithmetic w/o traps |
| 22 |
|
// all CHAR_BITs of each byte used by integers |
| 23 |
|
// IEC559 (IEEE 754) floating-point arithmetic |
| 24 |
|
// floating-point errors can trap |
| 25 |
|
// tinyness detected before floating-point rounding |
| 26 |
|
// 64-bit long long (if _LONGLONG defined) |
| 27 |
|
|
| 28 |
|
// ENUM float_denorm_style |
| 29 |
|
typedef enum |
| 30 |
|
{ // constants for different IEEE float denormalization styles |
| 31 |
|
denorm_indeterminate = -1, |
| 32 |
|
denorm_absent = 0, |
| 33 |
|
denorm_present = 1} |
| 34 |
|
float_denorm_style; |
| 35 |
|
|
| 36 |
|
// ENUM float_round_style |
| 37 |
|
typedef enum |
| 38 |
|
{ // constants for different IEEE rounding styles |
| 39 |
|
round_indeterminate = -1, |
| 40 |
|
round_toward_zero = 0, |
| 41 |
|
round_to_nearest = 1, |
| 42 |
|
round_toward_infinity = 2, |
| 43 |
|
round_toward_neg_infinity = 3} |
| 44 |
|
float_round_style; |
| 45 |
|
|
| 46 |
|
// STRUCT _Num_base |
| 47 |
|
struct _CRTIMP2_PURE _Num_base |
| 48 |
|
{ // base for all types, with common defaults |
| 49 |
|
_STCONS(float_denorm_style, has_denorm, denorm_absent); |
| 50 |
|
_STCONS(bool, has_denorm_loss, false); |
| 51 |
|
_STCONS(bool, has_infinity, false); |
| 52 |
|
_STCONS(bool, has_quiet_NaN, false); |
| 53 |
|
_STCONS(bool, has_signaling_NaN, false); |
| 54 |
|
_STCONS(bool, is_bounded, false); |
| 55 |
|
_STCONS(bool, is_exact, false); |
| 56 |
|
_STCONS(bool, is_iec559, false); |
| 57 |
|
_STCONS(bool, is_integer, false); |
| 58 |
|
_STCONS(bool, is_modulo, false); |
| 59 |
|
_STCONS(bool, is_signed, false); |
| 60 |
|
_STCONS(bool, is_specialized, false); |
| 61 |
|
_STCONS(bool, tinyness_before, false); |
| 62 |
|
_STCONS(bool, traps, false); |
| 63 |
|
_STCONS(float_round_style, round_style, round_toward_zero); |
| 64 |
|
_STCONS(int, digits, 0); |
| 65 |
|
_STCONS(int, digits10, 0); |
| 66 |
|
_STCONS(int, max_exponent, 0); |
| 67 |
|
_STCONS(int, max_exponent10, 0); |
| 68 |
|
_STCONS(int, min_exponent, 0); |
| 69 |
|
_STCONS(int, min_exponent10, 0); |
| 70 |
|
_STCONS(int, radix, 0); |
| 71 |
|
}; |
| 72 |
|
|
| 73 |
|
_STCONSDEF(_Num_base, float_denorm_style, has_denorm) |
| 74 |
|
_STCONSDEF(_Num_base, bool, has_denorm_loss) |
| 75 |
|
_STCONSDEF(_Num_base, bool, has_infinity) |
| 76 |
|
_STCONSDEF(_Num_base, bool, has_quiet_NaN) |
| 77 |
|
_STCONSDEF(_Num_base, bool, has_signaling_NaN) |
| 78 |
|
_STCONSDEF(_Num_base, bool, is_bounded) |
| 79 |
|
_STCONSDEF(_Num_base, bool, is_exact) |
| 80 |
|
_STCONSDEF(_Num_base, bool, is_iec559) |
| 81 |
|
_STCONSDEF(_Num_base, bool, is_integer) |
| 82 |
|
_STCONSDEF(_Num_base, bool, is_modulo) |
| 83 |
|
_STCONSDEF(_Num_base, bool, is_signed) |
| 84 |
|
_STCONSDEF(_Num_base, bool, is_specialized) |
| 85 |
|
_STCONSDEF(_Num_base, bool, tinyness_before) |
| 86 |
|
_STCONSDEF(_Num_base, bool, traps) |
| 87 |
|
_STCONSDEF(_Num_base, float_round_style, round_style) |
| 88 |
|
_STCONSDEF(_Num_base, int, digits) |
| 89 |
|
_STCONSDEF(_Num_base, int, digits10) |
| 90 |
|
_STCONSDEF(_Num_base, int, max_exponent) |
| 91 |
|
_STCONSDEF(_Num_base, int, max_exponent10) |
| 92 |
|
_STCONSDEF(_Num_base, int, min_exponent) |
| 93 |
|
_STCONSDEF(_Num_base, int, min_exponent10) |
| 94 |
|
_STCONSDEF(_Num_base, int, radix) |
| 95 |
|
|
| 96 |
|
// TEMPLATE CLASS numeric_limits |
| 97 |
|
template<class _Ty> |
| 98 |
|
class numeric_limits |
| 99 |
|
: public _Num_base |
| 100 |
|
{ // numeric limits for arbitrary type _Ty (say little or nothing) |
| 101 |
|
public: |
| 102 |
|
static _Ty (__CRTDECL min)() _THROW0() |
| 103 |
|
{ // return minimum value |
| 104 |
|
return (_Ty(0)); |
| 105 |
|
} |
| 106 |
|
|
| 107 |
|
static _Ty (__CRTDECL max)() _THROW0() |
| 108 |
|
{ // return maximum value |
| 109 |
|
return (_Ty(0)); |
| 110 |
|
} |
| 111 |
|
|
| 112 |
|
static _Ty __CRTDECL epsilon() _THROW0() |
| 113 |
|
{ // return smallest effective increment from 1.0 |
| 114 |
|
return (_Ty(0)); |
| 115 |
|
} |
| 116 |
|
|
| 117 |
|
static _Ty __CRTDECL round_error() _THROW0() |
| 118 |
|
{ // return largest rounding error |
| 119 |
|
return (_Ty(0)); |
| 120 |
|
} |
| 121 |
|
|
| 122 |
|
static _Ty __CRTDECL denorm_min() _THROW0() |
| 123 |
|
{ // return minimum denormalized value |
| 124 |
|
return (_Ty(0)); |
| 125 |
|
} |
| 126 |
|
|
| 127 |
|
static _Ty __CRTDECL infinity() _THROW0() |
| 128 |
|
{ // return positive infinity |
| 129 |
|
return (_Ty(0)); |
| 130 |
|
} |
| 131 |
|
|
| 132 |
|
static _Ty __CRTDECL quiet_NaN() _THROW0() |
| 133 |
|
{ // return non-signaling NaN |
| 134 |
|
return (_Ty(0)); |
| 135 |
|
} |
| 136 |
|
|
| 137 |
|
static _Ty __CRTDECL signaling_NaN() _THROW0() |
| 138 |
|
{ // return signaling NaN |
| 139 |
|
return (_Ty(0)); |
| 140 |
|
} |
| 141 |
|
}; |
| 142 |
|
|
| 143 |
|
// STRUCT _Num_int_base |
| 144 |
|
struct _CRTIMP2_PURE _Num_int_base |
| 145 |
|
: public _Num_base |
| 146 |
|
{ // base for integer types |
| 147 |
|
_STCONS(bool, is_bounded, true); |
| 148 |
|
_STCONS(bool, is_exact, true); |
| 149 |
|
_STCONS(bool, is_integer, true); |
| 150 |
|
_STCONS(bool, is_modulo, true); |
| 151 |
|
_STCONS(bool, is_specialized, true); |
| 152 |
|
_STCONS(int, radix, 2); |
| 153 |
|
}; |
| 154 |
|
|
| 155 |
|
_STCONSDEF(_Num_int_base, bool, is_bounded) |
| 156 |
|
_STCONSDEF(_Num_int_base, bool, is_exact) |
| 157 |
|
_STCONSDEF(_Num_int_base, bool, is_integer) |
| 158 |
|
_STCONSDEF(_Num_int_base, bool, is_modulo) |
| 159 |
|
_STCONSDEF(_Num_int_base, bool, is_specialized) |
| 160 |
|
_STCONSDEF(_Num_int_base, int, radix) |
| 161 |
|
|
| 162 |
|
// STRUCT _Num_float_base |
| 163 |
|
struct _CRTIMP2_PURE _Num_float_base |
| 164 |
|
: public _Num_base |
| 165 |
|
{ // base for floating-point types |
| 166 |
|
_STCONS(float_denorm_style, has_denorm, denorm_present); |
| 167 |
|
_STCONS(bool, has_denorm_loss, true); |
| 168 |
|
_STCONS(bool, has_infinity, true); |
| 169 |
|
_STCONS(bool, has_quiet_NaN, true); |
| 170 |
|
_STCONS(bool, has_signaling_NaN, true); |
| 171 |
|
_STCONS(bool, is_bounded, true); |
| 172 |
|
_STCONS(bool, is_exact, false); |
| 173 |
|
_STCONS(bool, is_iec559, true); |
| 174 |
|
_STCONS(bool, is_integer, false); |
| 175 |
|
_STCONS(bool, is_modulo, false); |
| 176 |
|
_STCONS(bool, is_signed, true); |
| 177 |
|
_STCONS(bool, is_specialized, true); |
| 178 |
|
_STCONS(bool, tinyness_before, true); |
| 179 |
|
_STCONS(bool, traps, true); |
| 180 |
|
_STCONS(float_round_style, round_style, round_to_nearest); |
| 181 |
|
_STCONS(int, radix, FLT_RADIX); |
| 182 |
|
}; |
| 183 |
|
|
| 184 |
|
_STCONSDEF(_Num_float_base, float_denorm_style, has_denorm) |
| 185 |
|
_STCONSDEF(_Num_float_base, bool, has_denorm_loss) |
| 186 |
|
_STCONSDEF(_Num_float_base, bool, has_infinity) |
| 187 |
|
_STCONSDEF(_Num_float_base, bool, has_quiet_NaN) |
| 188 |
|
_STCONSDEF(_Num_float_base, bool, has_signaling_NaN) |
| 189 |
|
_STCONSDEF(_Num_float_base, bool, is_bounded) |
| 190 |
|
_STCONSDEF(_Num_float_base, bool, is_exact) |
| 191 |
|
_STCONSDEF(_Num_float_base, bool, is_iec559) |
| 192 |
|
_STCONSDEF(_Num_float_base, bool, is_integer) |
| 193 |
|
_STCONSDEF(_Num_float_base, bool, is_modulo) |
| 194 |
|
_STCONSDEF(_Num_float_base, bool, is_signed) |
| 195 |
|
_STCONSDEF(_Num_float_base, bool, is_specialized) |
| 196 |
|
_STCONSDEF(_Num_float_base, bool, tinyness_before) |
| 197 |
|
_STCONSDEF(_Num_float_base, bool, traps) |
| 198 |
|
_STCONSDEF(_Num_float_base, float_round_style, round_style) |
| 199 |
|
_STCONSDEF(_Num_float_base, int, radix) |
| 200 |
|
|
| 201 |
|
// CLASS numeric_limits<char> |
| 202 |
|
template<> class _CRTIMP2_PURE numeric_limits<char> |
| 203 |
|
: public _Num_int_base |
| 204 |
|
{ // limits for type char |
| 205 |
|
public: |
| 206 |
|
typedef char _Ty; |
| 207 |
|
|
| 208 |
|
static _Ty (__CRTDECL min)() _THROW0() |
| 209 |
|
{ // return minimum value |
| 210 |
|
return (CHAR_MIN); |
| 211 |
|
} |
| 212 |
|
|
| 213 |
|
static _Ty (__CRTDECL max)() _THROW0() |
| 214 |
|
{ // return maximum value |
| 215 |
|
return (CHAR_MAX); |
| 216 |
|
} |
| 217 |
|
|
| 218 |
|
static _Ty __CRTDECL epsilon() _THROW0() |
| 219 |
|
{ // return smallest effective increment from 1.0 |
| 220 |
|
return (0); |
| 221 |
|
} |
| 222 |
|
|
| 223 |
|
static _Ty __CRTDECL round_error() _THROW0() |
| 224 |
|
{ // return largest rounding error |
| 225 |
|
return (0); |
| 226 |
|
} |
| 227 |
|
|
| 228 |
|
static _Ty __CRTDECL denorm_min() _THROW0() |
| 229 |
|
{ // return minimum denormalized value |
| 230 |
|
return (0); |
| 231 |
|
} |
| 232 |
|
|
| 233 |
|
static _Ty __CRTDECL infinity() _THROW0() |
| 234 |
|
{ // return positive infinity |
| 235 |
|
return (0); |
| 236 |
|
} |
| 237 |
|
|
| 238 |
|
static _Ty __CRTDECL quiet_NaN() _THROW0() |
| 239 |
|
{ // return non-signaling NaN |
| 240 |
|
return (0); |
| 241 |
|
} |
| 242 |
|
|
| 243 |
|
static _Ty __CRTDECL signaling_NaN() _THROW0() |
| 244 |
|
{ // return signaling NaN |
| 245 |
|
return (0); |
| 246 |
|
} |
| 247 |
|
|
| 248 |
|
_STCONS(bool, is_signed, CHAR_MIN != 0); |
| 249 |
|
_STCONS(int, digits, CHAR_BIT - (CHAR_MIN != 0 ? 1 : 0)); |
| 250 |
|
_STCONS(int, digits10, (CHAR_BIT - (CHAR_MIN != 0 ? 1 : 0)) |
| 251 |
|
* 301L / 1000); |
| 252 |
|
}; |
| 253 |
|
|
| 254 |
|
_STCONSDEF(numeric_limits<char>, bool, is_signed) |
| 255 |
|
_STCONSDEF(numeric_limits<char>, int, digits) |
| 256 |
|
_STCONSDEF(numeric_limits<char>, int, digits10) |
| 257 |
|
|
| 258 |
|
#ifdef _NATIVE_WCHAR_T_DEFINED |
| 259 |
|
// CLASS numeric_limits<wchar_t> |
| 260 |
|
template<> class _CRTIMP2_PURE numeric_limits<wchar_t> |
| 261 |
|
: public _Num_int_base |
| 262 |
|
{ // limits for type wchar_t |
| 263 |
|
public: |
| 264 |
|
typedef wchar_t _Ty; |
| 265 |
|
|
| 266 |
|
static _Ty (__CRTDECL min)() _THROW0() |
| 267 |
|
{ // return minimum value |
| 268 |
|
return ((_Ty)WCHAR_MIN); |
| 269 |
|
} |
| 270 |
|
|
| 271 |
|
static _Ty (__CRTDECL max)() _THROW0() |
| 272 |
|
{ // return maximum value |
| 273 |
|
return ((_Ty)WCHAR_MAX); |
| 274 |
|
} |
| 275 |
|
|
| 276 |
|
static _Ty __CRTDECL epsilon() _THROW0() |
| 277 |
|
{ // return smallest effective increment from 1.0 |
| 278 |
|
return (0); |
| 279 |
|
} |
| 280 |
|
|
| 281 |
|
static _Ty __CRTDECL round_error() _THROW0() |
| 282 |
|
{ // return largest rounding error |
| 283 |
|
return (0); |
| 284 |
|
} |
| 285 |
|
|
| 286 |
|
static _Ty __CRTDECL denorm_min() _THROW0() |
| 287 |
|
{ // return minimum denormalized value |
| 288 |
|
return (0); |
| 289 |
|
} |
| 290 |
|
|
| 291 |
|
static _Ty __CRTDECL infinity() _THROW0() |
| 292 |
|
{ // return positive infinity |
| 293 |
|
return (0); |
| 294 |
|
} |
| 295 |
|
|
| 296 |
|
static _Ty __CRTDECL quiet_NaN() _THROW0() |
| 297 |
|
{ // return non-signaling NaN |
| 298 |
|
return (0); |
| 299 |
|
} |
| 300 |
|
|
| 301 |
|
static _Ty __CRTDECL signaling_NaN() _THROW0() |
| 302 |
|
{ // return signaling NaN |
| 303 |
|
return (0); |
| 304 |
|
} |
| 305 |
|
|
| 306 |
|
_STCONS(bool, is_signed, WCHAR_MIN != 0); |
| 307 |
|
_STCONS(int, digits, CHAR_BIT * sizeof (wchar_t) |
| 308 |
|
- (WCHAR_MIN != 0 ? 1 : 0)); |
| 781 |
|
{ // return minimum value |
| 782 |
|
return (0); |
| 783 |
|
} |
| 784 |
|
|
| 785 |
|
static _Ty (__CRTDECL max)() _THROW0() |
| 786 |
|
{ // return maximum value |
| 787 |
|
return (ULONG_MAX); |
| 788 |
|
} |
| 789 |
|
|
| 790 |
|
static _Ty __CRTDECL epsilon() _THROW0() |
| 791 |
|
{ // return smallest effective increment from 1.0 |
| 792 |
|
return (0); |
| 793 |
|
} |
| 794 |
|
|
| 795 |
|
static _Ty __CRTDECL round_error() _THROW0() |
| 796 |
|
{ // return largest rounding error |
| 797 |
|
return (0); |
| 798 |
|
} |
| 799 |
|
|
| 800 |
|
static _Ty __CRTDECL denorm_min() _THROW0() |
| 801 |
|
{ // return minimum denormalized value |
| 802 |
|
return (0); |
| 803 |
|
} |
| 804 |
|
|
| 805 |
|
static _Ty __CRTDECL infinity() _THROW0() |
| 806 |
|
{ // return positive infinity |
| 807 |
|
return (0); |
| 808 |
|
} |
| 809 |
|
|
| 810 |
|
static _Ty __CRTDECL quiet_NaN() _THROW0() |
| 811 |
|
{ // return non-signaling NaN |
| 812 |
|
return (0); |
| 813 |
|
} |
| 814 |
|
|
| 815 |
|
static _Ty __CRTDECL signaling_NaN() _THROW0() |
| 816 |
|
{ // return signaling NaN |
| 817 |
|
return (0); |
| 818 |
|
} |
| 819 |
|
|
| 820 |
|
_STCONS(bool, is_signed, false); |
| 821 |
|
_STCONS(int, digits, CHAR_BIT * sizeof (unsigned long)); |
| 822 |
|
_STCONS(int, digits10, (CHAR_BIT * sizeof (unsigned long)) |
| 823 |
|
* 301L / 1000); |
| 824 |
|
}; |
| 825 |
|
|
| 826 |
|
_STCONSDEF(numeric_limits<unsigned long>, bool, is_signed) |
| 827 |
|
_STCONSDEF(numeric_limits<unsigned long>, int, digits) |
| 828 |
|
_STCONSDEF(numeric_limits<unsigned long>, int, digits10) |
| 829 |
|
|
| 830 |
|
#ifdef _LONGLONG |
| 831 |
|
// CLASS numeric_limits<_LONGLONG> |
| 832 |
|
template<> class _CRTIMP2_PURE numeric_limits<_LONGLONG> |
| 833 |
|
: public _Num_int_base |
| 834 |
|
{ // limits for type long long |
| 835 |
|
public: |
| 836 |
|
typedef _LONGLONG _Ty; |
| 837 |
|
|
| 838 |
|
static _Ty (__CRTDECL min)() _THROW0() |
| 839 |
|
{ // return minimum value |
| 840 |
|
return (-_LLONG_MAX - _C2); |
| 841 |
|
} |
| 842 |
|
|
| 843 |
|
static _Ty (__CRTDECL max)() _THROW0() |
| 844 |
|
{ // return maximum value |
| 845 |
|
return (_LLONG_MAX); |
| 846 |
|
} |
| 847 |
|
|
| 848 |
|
static _Ty __CRTDECL epsilon() _THROW0() |
| 849 |
|
{ // return smallest effective increment from 1.0 |
| 850 |
|
return (0); |
| 851 |
|
} |
| 852 |
|
|
| 853 |
|
static _Ty __CRTDECL round_error() _THROW0() |
| 854 |
|
{ // return largest rounding error |
| 855 |
|
return (0); |
| 856 |
|
} |
| 857 |
|
|
| 858 |
|
static _Ty __CRTDECL denorm_min() _THROW0() |
| 859 |
|
{ // return minimum denormalized value |
| 860 |
|
return (0); |
| 861 |
|
} |
| 862 |
|
|
| 863 |
|
static _Ty __CRTDECL infinity() _THROW0() |
| 864 |
|
{ // return positive infinity |
| 865 |
|
return (0); |
| 866 |
|
} |
| 867 |
|
|
| 868 |
|
static _Ty __CRTDECL quiet_NaN() _THROW0() |
| 869 |
|
{ // return non-signaling NaN |
| 870 |
|
return (0); |
| 871 |
|
} |
| 872 |
|
|
| 873 |
|
static _Ty __CRTDECL signaling_NaN() _THROW0() |
| 874 |
|
{ // return signaling NaN |
| 875 |
|
return (0); |
| 876 |
|
} |
| 877 |
|
|
| 878 |
|
_STCONS(bool, is_signed, true); |
| 879 |
|
_STCONS(int, digits, CHAR_BIT * sizeof (_LONGLONG) - 1); |
| 880 |
|
_STCONS(int, digits10, (CHAR_BIT * sizeof (_LONGLONG) - 1) |