558 lines
15 KiB
C++
558 lines
15 KiB
C++
/*
|
|
* Copyright (c) 1997
|
|
* Silicon Graphics Computer Systems, Inc.
|
|
*
|
|
* Copyright (c) 1999
|
|
* Boris Fomitchev
|
|
*
|
|
* This material is provided "as is", with absolutely no warranty expressed
|
|
* or implied. Any use is at your own risk.
|
|
*
|
|
* Permission to use or copy this software for any purpose is hereby granted
|
|
* without fee, provided the above notices are retained on all copies.
|
|
* Permission to modify the code and to distribute modified code is granted,
|
|
* provided the above notices are retained, and a notice that the code was
|
|
* modified is included with the above copyright notice.
|
|
*
|
|
*/
|
|
|
|
/* NOTE: This may be not portable code. Parts of numeric_limits<> are
|
|
* inherently machine-dependent. At present this file is suitable
|
|
* for the MIPS, SPARC, Alpha and ia32 architectures.
|
|
*/
|
|
|
|
#ifndef _STLP_INTERNAL_LIMITS_H
|
|
# define _STLP_INTERNAL_LIMITS_H
|
|
|
|
#ifndef _STLP_CLIMITS
|
|
# include <climits>
|
|
#endif
|
|
|
|
#ifndef _STLP_CFLOAT
|
|
# include <cfloat>
|
|
#endif
|
|
|
|
#if !defined (_STLP_NO_WCHAR_T) && !defined (_STLP_CWCHAR_H)
|
|
# include <stl/_cwchar.h>
|
|
#endif
|
|
|
|
_STLP_BEGIN_NAMESPACE
|
|
|
|
enum float_round_style {
|
|
round_indeterminate = -1,
|
|
round_toward_zero = 0,
|
|
round_to_nearest = 1,
|
|
round_toward_infinity = 2,
|
|
round_toward_neg_infinity = 3
|
|
};
|
|
|
|
enum float_denorm_style {
|
|
denorm_indeterminate = -1,
|
|
denorm_absent = 0,
|
|
denorm_present = 1
|
|
};
|
|
|
|
// Base class for all specializations of numeric_limits.
|
|
|
|
template <class __number>
|
|
class _Numeric_limits_base {
|
|
public:
|
|
|
|
static __number (_STLP_CALL min)() _STLP_NOTHROW { return __number(); }
|
|
static __number (_STLP_CALL max)() _STLP_NOTHROW { return __number(); }
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
enum {
|
|
# else
|
|
static const int
|
|
# endif
|
|
|
|
digits = 0,
|
|
digits10 = 0,
|
|
radix = 0,
|
|
min_exponent = 0,
|
|
min_exponent10 = 0,
|
|
max_exponent = 0,
|
|
max_exponent10 = 0
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
,
|
|
has_denorm = denorm_absent,
|
|
round_style = round_toward_zero,
|
|
# else
|
|
;
|
|
static const float_denorm_style has_denorm = denorm_absent;
|
|
static const float_round_style round_style = round_toward_zero;
|
|
static const bool
|
|
# endif
|
|
|
|
is_specialized = false,
|
|
is_signed = false,
|
|
is_integer = false,
|
|
is_exact = false,
|
|
has_infinity = false,
|
|
has_quiet_NaN = false,
|
|
has_signaling_NaN = false,
|
|
has_denorm_loss = false,
|
|
is_iec559 = false,
|
|
is_bounded = false,
|
|
is_modulo = false,
|
|
traps = false,
|
|
tinyness_before = false
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
}
|
|
# endif
|
|
;
|
|
|
|
static __number _STLP_CALL epsilon() _STLP_NOTHROW { return __number(); }
|
|
static __number _STLP_CALL round_error() _STLP_NOTHROW { return __number(); }
|
|
|
|
static __number _STLP_CALL infinity() _STLP_NOTHROW { return __number(); }
|
|
static __number _STLP_CALL quiet_NaN() _STLP_NOTHROW { return __number(); }
|
|
static __number _STLP_CALL signaling_NaN() _STLP_NOTHROW { return __number(); }
|
|
static __number _STLP_CALL denorm_min() _STLP_NOTHROW { return __number(); }
|
|
|
|
|
|
};
|
|
|
|
// Base class for integers.
|
|
|
|
# ifdef _STLP_LIMITED_DEFAULT_TEMPLATES
|
|
# ifdef _STLP_LONG_LONG
|
|
# define _STLP_LIMITS_MIN_TYPE _STLP_LONG_LONG
|
|
# define _STLP_LIMITS_MAX_TYPE unsigned _STLP_LONG_LONG
|
|
# else
|
|
# define _STLP_LIMITS_MIN_TYPE long
|
|
# define _STLP_LIMITS_MAX_TYPE unsigned long
|
|
# endif
|
|
# else
|
|
# define _STLP_LIMITS_MIN_TYPE _Int
|
|
# define _STLP_LIMITS_MAX_TYPE _Int
|
|
# endif /* _STLP_LIMITED_DEFAULT_TEMPLATES */
|
|
|
|
template <class _Int,
|
|
_STLP_LIMITS_MIN_TYPE __imin,
|
|
_STLP_LIMITS_MAX_TYPE __imax,
|
|
int __idigits, bool __ismod>
|
|
class _Integer_limits : public _Numeric_limits_base<_Int>
|
|
{
|
|
public:
|
|
|
|
static _Int (_STLP_CALL min) () _STLP_NOTHROW { return (_Int)__imin; }
|
|
static _Int (_STLP_CALL max) () _STLP_NOTHROW { return (_Int)__imax; }
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
enum {
|
|
# else
|
|
static const int
|
|
# endif
|
|
digits = (__idigits < 0) ?
|
|
((int)((sizeof(_Int) * (CHAR_BIT))) - ((__imin == 0) ? 0 : 1))
|
|
: (__idigits),
|
|
digits10 = (digits * 301UL) / 1000,
|
|
radix = 2
|
|
# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
;
|
|
static const bool
|
|
# else
|
|
,
|
|
# endif
|
|
is_specialized = true,
|
|
is_signed = (__imin != 0),
|
|
is_integer = true,
|
|
is_exact = true,
|
|
is_bounded = true,
|
|
is_modulo = __ismod
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
}
|
|
# endif
|
|
;
|
|
};
|
|
|
|
// Base class for floating-point numbers.
|
|
template <class __number,
|
|
int __Digits, int __Digits10,
|
|
int __MinExp, int __MaxExp,
|
|
int __MinExp10, int __MaxExp10,
|
|
bool __IsIEC559,
|
|
float_round_style __RoundStyle>
|
|
class _Floating_limits : public _Numeric_limits_base<__number>
|
|
{
|
|
public:
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
enum {
|
|
# else
|
|
static const int
|
|
# endif
|
|
|
|
digits = __Digits,
|
|
digits10 = __Digits10,
|
|
|
|
radix = ( FLT_RADIX /* 2 */ ),
|
|
min_exponent = __MinExp,
|
|
max_exponent = __MaxExp,
|
|
min_exponent10 = __MinExp10,
|
|
max_exponent10 = __MaxExp10
|
|
|
|
# if defined (_STLP_STATIC_CONST_INIT_BUG)
|
|
,
|
|
has_denorm = denorm_indeterminate,
|
|
round_style = __RoundStyle,
|
|
# else
|
|
;
|
|
static const float_denorm_style has_denorm = denorm_indeterminate;
|
|
static const float_round_style round_style = __RoundStyle;
|
|
static const bool
|
|
# endif
|
|
|
|
is_specialized = true,
|
|
is_signed = true,
|
|
|
|
#if (!defined(_CRAY) || !defined(_CRAYIEEE))
|
|
has_infinity = true,
|
|
has_quiet_NaN = true,
|
|
has_signaling_NaN= true,
|
|
#else
|
|
has_infinity = false,
|
|
has_quiet_NaN = false,
|
|
has_signaling_NaN= false,
|
|
#endif
|
|
|
|
has_denorm_loss = false,
|
|
is_iec559 = __IsIEC559,
|
|
is_bounded = true,
|
|
traps = true,
|
|
tinyness_before= false
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
}
|
|
# endif
|
|
;
|
|
|
|
};
|
|
|
|
// Class numeric_limits
|
|
|
|
// The unspecialized class.
|
|
|
|
template<class _Tp>
|
|
class numeric_limits : public _Numeric_limits_base<_Tp> {};
|
|
|
|
// Specializations for all built-in integral types.
|
|
|
|
#ifndef _STLP_NO_BOOL
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<bool>
|
|
: public _Integer_limits<bool, false, true, 1, false>
|
|
{};
|
|
|
|
#endif /* _STLP_NO_BOOL */
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<char>
|
|
: public _Integer_limits<char, CHAR_MIN, CHAR_MAX, -1, true>
|
|
{};
|
|
|
|
# ifndef _STLP_NO_SIGNED_BUILTINS
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<signed char>
|
|
: public _Integer_limits<signed char, SCHAR_MIN, SCHAR_MAX, -1, true>
|
|
{};
|
|
# endif
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned char>
|
|
: public _Integer_limits<unsigned char, 0, UCHAR_MAX, -1, true>
|
|
{};
|
|
|
|
#if !(defined ( _STLP_NO_WCHAR_T ) || defined (_STLP_WCHAR_T_IS_USHORT))
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<wchar_t>
|
|
: public _Integer_limits<wchar_t, WCHAR_MIN, WCHAR_MAX, -1, true>
|
|
{};
|
|
|
|
#endif
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<short>
|
|
: public _Integer_limits<short, SHRT_MIN, SHRT_MAX, -1, true>
|
|
{};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned short>
|
|
: public _Integer_limits<unsigned short, 0, USHRT_MAX, -1, true>
|
|
{};
|
|
|
|
# if defined (__xlC__) && (__xlC__ == 0x500)
|
|
# undef INT_MIN
|
|
# define INT_MIN -2147483648
|
|
# endif
|
|
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<int>
|
|
: public _Integer_limits<int, INT_MIN, INT_MAX, -1, true>
|
|
{};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned int>
|
|
: public _Integer_limits<unsigned int, 0, UINT_MAX, -1, true>
|
|
{};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<long>
|
|
: public _Integer_limits<long, LONG_MIN, LONG_MAX, -1, true>
|
|
{};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned long>
|
|
: public _Integer_limits<unsigned long, 0, ULONG_MAX, -1, true>
|
|
{};
|
|
|
|
#ifdef _STLP_LONG_LONG
|
|
|
|
# if defined (_STLP_MSVC) || defined (__BORLANDC__)
|
|
|
|
# define LONGLONG_MAX 0x7fffffffffffffffi64
|
|
# define LONGLONG_MIN (-LONGLONG_MAX-1i64)
|
|
# define ULONGLONG_MAX 0xffffffffffffffffUi64
|
|
|
|
# else
|
|
|
|
# ifndef LONGLONG_MAX
|
|
# define LONGLONG_MAX 0x7fffffffffffffffLL
|
|
# endif
|
|
# ifndef LONGLONG_MIN
|
|
# define LONGLONG_MIN (-LONGLONG_MAX-1LL)
|
|
# endif
|
|
# ifndef ULONGLONG_MAX
|
|
# define ULONGLONG_MAX 0xffffffffffffffffULL
|
|
# endif
|
|
|
|
# endif
|
|
|
|
#if !defined(__GNUC__) || (__GNUC__ == 2 && __GNUC_MINOR__ <= 96)
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<_STLP_LONG_LONG>
|
|
: public _Integer_limits<_STLP_LONG_LONG, LONGLONG_MIN, LONGLONG_MAX, -1, true>
|
|
{};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned _STLP_LONG_LONG>
|
|
: public _Integer_limits<unsigned _STLP_LONG_LONG, 0, ULONGLONG_MAX, -1, true>
|
|
{};
|
|
#else /* gcc 2.97 (after 2000-11-01), 2.98, 3.0 */
|
|
/*
|
|
newest gcc has new mangling scheme, that has problem
|
|
with generating name [instantiated] of template specialization like
|
|
_Integer_limits<_STLP_LONG_LONG, LONGLONG_MIN, LONGLONG_MAX, -1, true>
|
|
~~~~~~~~~~~~ ~~~~~~~~~~~~
|
|
Below is code that solve this problem.
|
|
- ptr
|
|
*/
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<_STLP_LONG_LONG>
|
|
: public _Numeric_limits_base<_STLP_LONG_LONG>
|
|
{
|
|
public:
|
|
|
|
static _STLP_LONG_LONG (_STLP_CALL min) () _STLP_NOTHROW { return LONGLONG_MIN; }
|
|
static _STLP_LONG_LONG (_STLP_CALL max) () _STLP_NOTHROW { return LONGLONG_MAX; }
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
enum {
|
|
# else
|
|
static const int
|
|
# endif
|
|
digits = ((int)((sizeof(_STLP_LONG_LONG) * (CHAR_BIT))) - 1),
|
|
digits10 = (digits * 301UL) / 1000,
|
|
radix = 2
|
|
# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
;
|
|
static const bool
|
|
# else
|
|
,
|
|
# endif
|
|
is_specialized = true,
|
|
is_signed = true,
|
|
is_integer = true,
|
|
is_exact = true,
|
|
is_bounded = true,
|
|
is_modulo = true
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
}
|
|
# endif
|
|
;
|
|
};
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<unsigned _STLP_LONG_LONG>
|
|
: public _Numeric_limits_base<unsigned _STLP_LONG_LONG>
|
|
{
|
|
public:
|
|
|
|
static unsigned _STLP_LONG_LONG (_STLP_CALL min) () _STLP_NOTHROW { return 0ULL; }
|
|
static unsigned _STLP_LONG_LONG (_STLP_CALL max) () _STLP_NOTHROW { return ULONGLONG_MAX; }
|
|
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
enum {
|
|
# else
|
|
static const int
|
|
# endif
|
|
digits = ((int)((sizeof(unsigned _STLP_LONG_LONG) * (CHAR_BIT)))),
|
|
digits10 = (digits * 301UL) / 1000,
|
|
radix = 2
|
|
# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
;
|
|
static const bool
|
|
# else
|
|
,
|
|
# endif
|
|
is_specialized = true,
|
|
is_signed = false,
|
|
is_integer = true,
|
|
is_exact = true,
|
|
is_bounded = true,
|
|
is_modulo = true
|
|
# if defined ( _STLP_STATIC_CONST_INIT_BUG)
|
|
}
|
|
# endif
|
|
;
|
|
};
|
|
|
|
# endif /* __GNUC__ > 2000-11-01 */
|
|
|
|
#endif /* _STLP_LONG_LONG */
|
|
|
|
// Specializations for all built-in floating-point types.
|
|
|
|
union _F_rep
|
|
{
|
|
unsigned short rep[2];
|
|
float val;
|
|
};
|
|
union _D_rep
|
|
{
|
|
unsigned short rep[4];
|
|
double val;
|
|
};
|
|
|
|
# ifndef _STLP_NO_LONG_DOUBLE
|
|
union _L_rep
|
|
{
|
|
unsigned short rep[8];
|
|
long double val;
|
|
};
|
|
# endif
|
|
|
|
template <class __dummy>
|
|
class _LimG
|
|
{
|
|
public:
|
|
static const _F_rep _F_inf;
|
|
static const _F_rep _F_qNaN;
|
|
static const _F_rep _F_sNaN;
|
|
static const _D_rep _D_inf;
|
|
static const _D_rep _D_qNaN;
|
|
static const _D_rep _D_sNaN;
|
|
|
|
# ifndef _STLP_NO_LONG_DOUBLE
|
|
static const _L_rep _L_inf;
|
|
static const _L_rep _L_qNaN;
|
|
static const _L_rep _L_sNaN;
|
|
# endif
|
|
};
|
|
|
|
# if defined (_STLP_USE_TEMPLATE_EXPORT)
|
|
_STLP_EXPORT_TEMPLATE_CLASS _LimG<bool>;
|
|
# endif
|
|
|
|
_STLP_TEMPLATE_NULL class numeric_limits<float>
|
|
: public _Floating_limits<float,
|
|
FLT_MANT_DIG, // Binary digits of precision
|
|
FLT_DIG, // Decimal digits of precision
|
|
FLT_MIN_EXP, // Minimum exponent
|
|
FLT_MAX_EXP, // Maximum exponent
|
|
FLT_MIN_10_EXP, // Minimum base 10 exponent
|
|
FLT_MAX_10_EXP, // Maximum base 10 exponent
|
|
true, // conforms to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static float (_STLP_CALL min) () _STLP_NOTHROW { return FLT_MIN; }
|
|
static float _STLP_CALL denorm_min() _STLP_NOTHROW { return FLT_MIN; }
|
|
static float (_STLP_CALL max) () _STLP_NOTHROW { _STLP_USING_VENDOR_CSTD return FLT_MAX; }
|
|
static float _STLP_CALL epsilon() _STLP_NOTHROW { return FLT_EPSILON; }
|
|
static float _STLP_CALL round_error() _STLP_NOTHROW { return 0.5f; } // Units: ulps.
|
|
static float _STLP_CALL infinity() { return _LimG<bool>::_F_inf.val; }
|
|
static float _STLP_CALL quiet_NaN() { return _LimG<bool>::_F_qNaN.val; }
|
|
static float _STLP_CALL signaling_NaN() { return _LimG<bool>::_F_sNaN.val; }
|
|
};
|
|
|
|
_STLP_TEMPLATE_NULL class numeric_limits<double>
|
|
: public _Floating_limits<double,
|
|
DBL_MANT_DIG, // Binary digits of precision
|
|
DBL_DIG, // Decimal digits of precision
|
|
DBL_MIN_EXP, // Minimum exponent
|
|
DBL_MAX_EXP, // Maximum exponent
|
|
DBL_MIN_10_EXP, // Minimum base 10 exponent
|
|
DBL_MAX_10_EXP, // Maximum base 10 exponent
|
|
true, // conforms to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static double (_STLP_CALL min)() _STLP_NOTHROW { return DBL_MIN; }
|
|
static double _STLP_CALL denorm_min() _STLP_NOTHROW { return DBL_MIN; }
|
|
static double (_STLP_CALL max)() _STLP_NOTHROW { _STLP_USING_VENDOR_CSTD return DBL_MAX; }
|
|
static double _STLP_CALL epsilon() _STLP_NOTHROW { return DBL_EPSILON; }
|
|
static double _STLP_CALL round_error() _STLP_NOTHROW { return 0.5; } // Units: ulps.
|
|
static double _STLP_CALL infinity() { return _LimG<bool>::_D_inf.val; }
|
|
static double _STLP_CALL quiet_NaN(){ return _LimG<bool>::_D_qNaN.val; }
|
|
static double _STLP_CALL signaling_NaN() { return _LimG<bool>::_D_sNaN.val; }
|
|
};
|
|
|
|
# ifndef _STLP_NO_LONG_DOUBLE
|
|
|
|
_STLP_TEMPLATE_NULL
|
|
class numeric_limits<long double>
|
|
: public _Floating_limits<long double,
|
|
LDBL_MANT_DIG, // Binary digits of precision
|
|
LDBL_DIG, // Decimal digits of precision
|
|
LDBL_MIN_EXP, // Minimum exponent
|
|
LDBL_MAX_EXP, // Maximum exponent
|
|
LDBL_MIN_10_EXP,// Minimum base 10 exponent
|
|
LDBL_MAX_10_EXP,// Maximum base 10 exponent
|
|
false, // Doesn't conform to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static long double (_STLP_CALL min) () _STLP_NOTHROW { _STLP_USING_VENDOR_CSTD return LDBL_MIN; }
|
|
static long double _STLP_CALL denorm_min() _STLP_NOTHROW { _STLP_USING_VENDOR_CSTD return LDBL_MIN; }
|
|
static long double (_STLP_CALL max) () _STLP_NOTHROW { _STLP_USING_VENDOR_CSTD return LDBL_MAX; }
|
|
static long double _STLP_CALL epsilon() _STLP_NOTHROW { return LDBL_EPSILON; }
|
|
static long double _STLP_CALL round_error() _STLP_NOTHROW { return 4; } // Units: ulps.
|
|
static long double _STLP_CALL infinity() { return _LimG<bool>::_L_inf.val; }
|
|
static long double _STLP_CALL quiet_NaN() { return _LimG<bool>::_L_qNaN.val; }
|
|
static long double _STLP_CALL signaling_NaN() { return _LimG<bool>::_L_sNaN.val; }
|
|
};
|
|
|
|
# endif
|
|
|
|
// We write special values (Inf and NaN) as bit patterns and
|
|
// cast the the appropriate floating-point types.
|
|
_STLP_END_NAMESPACE
|
|
|
|
# if !defined (_STLP_LINK_TIME_INSTANTIATION)
|
|
# include <stl/_limits.c>
|
|
# endif
|
|
|
|
#endif
|
|
|
|
// Local Variables:
|
|
// mode:C++
|
|
// End:
|