450 lines
17 KiB
C++
450 lines
17 KiB
C++
// Copyright 2001 John Maddock
|
|
// Distributed under the Boost Software License, Version 1.0. (See accompany-
|
|
// ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
/*
|
|
* Copyright (c) 1997
|
|
* Silicon Graphics Computer Systems, Inc.
|
|
*
|
|
* Permission to use, copy, modify, distribute and sell this software
|
|
* and its documentation for any purpose is hereby granted without fee,
|
|
* provided that the above copyright notice appear in all copies and
|
|
* that both that copyright notice and this permission notice appear
|
|
* in supporting documentation. Silicon Graphics makes no
|
|
* representations about the suitability of this software for any
|
|
* purpose. It is provided "as is" without express or implied warranty.
|
|
*/
|
|
|
|
/* NOTE: This is not portable code. Parts of numeric_limits<> are
|
|
* inherently machine-dependent, and this file is written for the MIPS
|
|
* architecture and the SGI MIPSpro C++ compiler. Parts of it (in
|
|
* particular, some of the characteristics of floating-point types)
|
|
* are almost certainly incorrect for any other platform.
|
|
*/
|
|
|
|
/* The above comment is almost certainly out of date. This file works
|
|
* on systems other than SGI MIPSpro C++ now.
|
|
*/
|
|
|
|
/*
|
|
* Revision history:
|
|
* 21 Sep 2001:
|
|
* Only include <cwchar> if BOOST_NO_CWCHAR is defined. (Darin Adler)
|
|
* 10 Aug 2001:
|
|
* Added MIPS (big endian) to the big endian family. (Jens Maurer)
|
|
* 13 Apr 2001:
|
|
* Added powerpc to the big endian family. (Jeremy Siek)
|
|
* 5 Apr 2001:
|
|
* Added sparc (big endian) processor support (John Maddock).
|
|
* Initial sub:
|
|
* Modified by Jens Maurer for gcc 2.95 on x86.
|
|
*/
|
|
|
|
#ifndef BOOST_SGI_CPP_LIMITS
|
|
#define BOOST_SGI_CPP_LIMITS
|
|
|
|
#include <climits>
|
|
#include <cfloat>
|
|
#include <boost/config.hpp>
|
|
#include <boost/detail/endian.hpp>
|
|
|
|
#ifndef BOOST_NO_CWCHAR
|
|
#include <cwchar> // for WCHAR_MIN and WCHAR_MAX
|
|
#endif
|
|
|
|
namespace std {
|
|
|
|
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
|
|
};
|
|
|
|
// The C++ standard (section 18.2.1) requires that some of the members of
|
|
// numeric_limits be static const data members that are given constant-
|
|
// initializers within the class declaration. On compilers where the
|
|
// BOOST_NO_INCLASS_MEMBER_INITIALIZATION macro is defined, it is impossible to write
|
|
// a standard-conforming numeric_limits class.
|
|
//
|
|
// There are two possible workarounds: either initialize the data
|
|
// members outside the class, or change them from data members to
|
|
// enums. Neither workaround is satisfactory: the former makes it
|
|
// impossible to use the data members in constant-expressions, and the
|
|
// latter means they have the wrong type and that it is impossible to
|
|
// take their addresses. We choose the former workaround.
|
|
|
|
#ifdef BOOST_NO_INCLASS_MEMBER_INITIALIZATION
|
|
# define BOOST_STL_DECLARE_LIMITS_MEMBER(__mem_type, __mem_name, __mem_value) \
|
|
enum { __mem_name = __mem_value }
|
|
#else /* BOOST_NO_INCLASS_MEMBER_INITIALIZATION */
|
|
# define BOOST_STL_DECLARE_LIMITS_MEMBER(__mem_type, __mem_name, __mem_value) \
|
|
static const __mem_type __mem_name = __mem_value
|
|
#endif /* BOOST_NO_INCLASS_MEMBER_INITIALIZATION */
|
|
|
|
// Base class for all specializations of numeric_limits.
|
|
template <class __number>
|
|
class _Numeric_limits_base {
|
|
public:
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, false);
|
|
|
|
static __number min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __number(); }
|
|
static __number max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __number(); }
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits, 0);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, 0);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_integer, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_exact, false);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, radix, 0);
|
|
|
|
static __number epsilon() throw() { return __number(); }
|
|
static __number round_error() throw() { return __number(); }
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent, 0);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent10, 0);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent, 0);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent10, 0);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_infinity, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_quiet_NaN, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_signaling_NaN, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(float_denorm_style,
|
|
has_denorm,
|
|
denorm_absent);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_denorm_loss, false);
|
|
|
|
static __number infinity() throw() { return __number(); }
|
|
static __number quiet_NaN() throw() { return __number(); }
|
|
static __number signaling_NaN() throw() { return __number(); }
|
|
static __number denorm_min() throw() { return __number(); }
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_iec559, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_modulo, false);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, traps, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, tinyness_before, false);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(float_round_style,
|
|
round_style,
|
|
round_toward_zero);
|
|
};
|
|
|
|
// Base class for integers.
|
|
|
|
template <class _Int,
|
|
_Int __imin,
|
|
_Int __imax,
|
|
int __idigits = -1>
|
|
class _Integer_limits : public _Numeric_limits_base<_Int>
|
|
{
|
|
public:
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, true);
|
|
|
|
static _Int min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __imin; }
|
|
static _Int max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __imax; }
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int,
|
|
digits,
|
|
(__idigits < 0) ? (int)(sizeof(_Int) * CHAR_BIT)
|
|
- (__imin == 0 ? 0 : 1)
|
|
: __idigits);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, (digits * 301) / 1000);
|
|
// log 2 = 0.301029995664...
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed, __imin != 0);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_integer, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_exact, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, radix, 2);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_modulo, true);
|
|
};
|
|
|
|
#if defined(BOOST_BIG_ENDIAN)
|
|
|
|
template<class Number, unsigned int Word>
|
|
struct float_helper{
|
|
static Number get_word() throw() {
|
|
// sizeof(long double) == 16
|
|
const unsigned int _S_word[4] = { Word, 0, 0, 0 };
|
|
return *reinterpret_cast<const Number*>(&_S_word);
|
|
}
|
|
};
|
|
|
|
#else
|
|
|
|
template<class Number, unsigned int Word>
|
|
struct float_helper{
|
|
static Number get_word() throw() {
|
|
// sizeof(long double) == 12, but only 10 bytes significant
|
|
const unsigned int _S_word[4] = { 0, 0, 0, Word };
|
|
return *reinterpret_cast<const Number*>(
|
|
reinterpret_cast<const char *>(&_S_word)+16-
|
|
(sizeof(Number) == 12 ? 10 : sizeof(Number)));
|
|
}
|
|
};
|
|
|
|
#endif
|
|
|
|
// Base class for floating-point numbers.
|
|
template <class __number,
|
|
int __Digits, int __Digits10,
|
|
int __MinExp, int __MaxExp,
|
|
int __MinExp10, int __MaxExp10,
|
|
unsigned int __InfinityWord,
|
|
unsigned int __QNaNWord, unsigned int __SNaNWord,
|
|
bool __IsIEC559,
|
|
float_round_style __RoundStyle>
|
|
class _Floating_limits : public _Numeric_limits_base<__number>
|
|
{
|
|
public:
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, true);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits, __Digits);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, __Digits10);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed, true);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, radix, 2);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent, __MinExp);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent, __MaxExp);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent10, __MinExp10);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent10, __MaxExp10);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_infinity, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_quiet_NaN, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_signaling_NaN, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(float_denorm_style,
|
|
has_denorm,
|
|
denorm_indeterminate);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_denorm_loss, false);
|
|
|
|
|
|
static __number infinity() throw() {
|
|
return float_helper<__number, __InfinityWord>::get_word();
|
|
}
|
|
static __number quiet_NaN() throw() {
|
|
return float_helper<__number,__QNaNWord>::get_word();
|
|
}
|
|
static __number signaling_NaN() throw() {
|
|
return float_helper<__number,__SNaNWord>::get_word();
|
|
}
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_iec559, __IsIEC559);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded, true);
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, traps, false /* was: true */ );
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(bool, tinyness_before, false);
|
|
|
|
BOOST_STL_DECLARE_LIMITS_MEMBER(float_round_style, round_style, __RoundStyle);
|
|
};
|
|
|
|
// Class numeric_limits
|
|
|
|
// The unspecialized class.
|
|
|
|
template<class T>
|
|
class numeric_limits : public _Numeric_limits_base<T> {};
|
|
|
|
// Specializations for all built-in integral types.
|
|
|
|
template<>
|
|
class numeric_limits<bool>
|
|
: public _Integer_limits<bool, false, true, 0>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<char>
|
|
: public _Integer_limits<char, CHAR_MIN, CHAR_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<signed char>
|
|
: public _Integer_limits<signed char, SCHAR_MIN, SCHAR_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<unsigned char>
|
|
: public _Integer_limits<unsigned char, 0, UCHAR_MAX>
|
|
{};
|
|
|
|
#ifndef BOOST_NO_INTRINSIC_WCHAR_T
|
|
template<>
|
|
class numeric_limits<wchar_t>
|
|
#if !defined(WCHAR_MAX) || !defined(WCHAR_MIN)
|
|
#if defined(_WIN32) || defined(__CYGWIN__)
|
|
: public _Integer_limits<wchar_t, 0, USHRT_MAX>
|
|
#elif defined(__hppa)
|
|
// wchar_t has "unsigned int" as the underlying type
|
|
: public _Integer_limits<wchar_t, 0, UINT_MAX>
|
|
#else
|
|
// assume that wchar_t has "int" as the underlying type
|
|
: public _Integer_limits<wchar_t, INT_MIN, INT_MAX>
|
|
#endif
|
|
#else
|
|
// we have WCHAR_MIN and WCHAR_MAX defined, so use it
|
|
: public _Integer_limits<wchar_t, WCHAR_MIN, WCHAR_MAX>
|
|
#endif
|
|
{};
|
|
#endif
|
|
|
|
template<>
|
|
class numeric_limits<short>
|
|
: public _Integer_limits<short, SHRT_MIN, SHRT_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<unsigned short>
|
|
: public _Integer_limits<unsigned short, 0, USHRT_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<int>
|
|
: public _Integer_limits<int, INT_MIN, INT_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<unsigned int>
|
|
: public _Integer_limits<unsigned int, 0, UINT_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<long>
|
|
: public _Integer_limits<long, LONG_MIN, LONG_MAX>
|
|
{};
|
|
|
|
template<>
|
|
class numeric_limits<unsigned long>
|
|
: public _Integer_limits<unsigned long, 0, ULONG_MAX>
|
|
{};
|
|
|
|
#ifdef __GNUC__
|
|
|
|
// Some compilers have long long, but don't define the
|
|
// LONGLONG_MIN and LONGLONG_MAX macros in limits.h. This
|
|
// assumes that long long is 64 bits.
|
|
#if !defined(LONGLONG_MAX) && !defined(ULONGLONG_MAX)
|
|
|
|
# define ULONGLONG_MAX 0xffffffffffffffffLLU
|
|
# define LONGLONG_MAX 0x7fffffffffffffffLL
|
|
|
|
#endif
|
|
|
|
#if !defined(LONGLONG_MIN)
|
|
# define LONGLONG_MIN (-LONGLONG_MAX - 1)
|
|
#endif
|
|
|
|
|
|
#if !defined(ULONGLONG_MIN)
|
|
# define ULONGLONG_MIN 0
|
|
#endif
|
|
|
|
#endif /* __GNUC__ */
|
|
|
|
// Specializations for all built-in floating-point type.
|
|
|
|
template<> 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
|
|
#if defined(BOOST_BIG_ENDIAN)
|
|
0x7f80 << (sizeof(int)*CHAR_BIT-16), // Last word of +infinity
|
|
0x7f81 << (sizeof(int)*CHAR_BIT-16), // Last word of quiet NaN
|
|
0x7fc1 << (sizeof(int)*CHAR_BIT-16), // Last word of signaling NaN
|
|
#else
|
|
0x7f800000u, // Last word of +infinity
|
|
0x7f810000u, // Last word of quiet NaN
|
|
0x7fc10000u, // Last word of signaling NaN
|
|
#endif
|
|
true, // conforms to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static float min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return FLT_MIN; }
|
|
static float denorm_min() throw() { return FLT_MIN; }
|
|
static float max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return FLT_MAX; }
|
|
static float epsilon() throw() { return FLT_EPSILON; }
|
|
static float round_error() throw() { return 0.5f; } // Units: ulps.
|
|
};
|
|
|
|
template<> 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
|
|
#if defined(BOOST_BIG_ENDIAN)
|
|
0x7ff0 << (sizeof(int)*CHAR_BIT-16), // Last word of +infinity
|
|
0x7ff1 << (sizeof(int)*CHAR_BIT-16), // Last word of quiet NaN
|
|
0x7ff9 << (sizeof(int)*CHAR_BIT-16), // Last word of signaling NaN
|
|
#else
|
|
0x7ff00000u, // Last word of +infinity
|
|
0x7ff10000u, // Last word of quiet NaN
|
|
0x7ff90000u, // Last word of signaling NaN
|
|
#endif
|
|
true, // conforms to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static double min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return DBL_MIN; }
|
|
static double denorm_min() throw() { return DBL_MIN; }
|
|
static double max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return DBL_MAX; }
|
|
static double epsilon() throw() { return DBL_EPSILON; }
|
|
static double round_error() throw() { return 0.5; } // Units: ulps.
|
|
};
|
|
|
|
template<> 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
|
|
#if defined(BOOST_BIG_ENDIAN)
|
|
0x7ff0 << (sizeof(int)*CHAR_BIT-16), // Last word of +infinity
|
|
0x7ff1 << (sizeof(int)*CHAR_BIT-16), // Last word of quiet NaN
|
|
0x7ff9 << (sizeof(int)*CHAR_BIT-16), // Last word of signaling NaN
|
|
#else
|
|
0x7fff8000u, // Last word of +infinity
|
|
0x7fffc000u, // Last word of quiet NaN
|
|
0x7fff9000u, // Last word of signaling NaN
|
|
#endif
|
|
false, // Doesn't conform to iec559
|
|
round_to_nearest>
|
|
{
|
|
public:
|
|
static long double min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return LDBL_MIN; }
|
|
static long double denorm_min() throw() { return LDBL_MIN; }
|
|
static long double max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return LDBL_MAX; }
|
|
static long double epsilon() throw() { return LDBL_EPSILON; }
|
|
static long double round_error() throw() { return 4; } // Units: ulps.
|
|
};
|
|
|
|
} // namespace std
|
|
|
|
#endif /* BOOST_SGI_CPP_LIMITS */
|
|
|
|
// Local Variables:
|
|
// mode:C++
|
|
// End:
|
|
|
|
|
|
|