123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262 |
- // boost integer.hpp header file -------------------------------------------//
- // Copyright Beman Dawes and Daryle Walker 1999. Distributed under the Boost
- // Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- // See http://www.boost.org/libs/integer for documentation.
- // Revision History
- // 22 Sep 01 Added value-based integer templates. (Daryle Walker)
- // 01 Apr 01 Modified to use new <boost/limits.hpp> header. (John Maddock)
- // 30 Jul 00 Add typename syntax fix (Jens Maurer)
- // 28 Aug 99 Initial version
- #ifndef BOOST_INTEGER_HPP
- #define BOOST_INTEGER_HPP
- #include <boost/integer_fwd.hpp> // self include
- #include <boost/integer_traits.hpp> // for boost::::boost::integer_traits
- #include <boost/limits.hpp> // for ::std::numeric_limits
- #include <boost/cstdint.hpp> // for boost::int64_t and BOOST_NO_INTEGRAL_INT64_T
- #include <boost/static_assert.hpp>
- //
- // We simply cannot include this header on gcc without getting copious warnings of the kind:
- //
- // boost/integer.hpp:77:30: warning: use of C99 long long integer constant
- //
- // And yet there is no other reasonable implementation, so we declare this a system header
- // to suppress these warnings.
- //
- #if defined(__GNUC__) && (__GNUC__ >= 4)
- #pragma GCC system_header
- #endif
- namespace boost
- {
- // Helper templates ------------------------------------------------------//
- // fast integers from least integers
- // int_fast_t<> works correctly for unsigned too, in spite of the name.
- template< typename LeastInt >
- struct int_fast_t
- {
- typedef LeastInt fast;
- typedef fast type;
- }; // imps may specialize
- namespace detail{
- // convert category to type
- template< int Category > struct int_least_helper {}; // default is empty
- template< int Category > struct uint_least_helper {}; // default is empty
- // specializatons: 1=long, 2=int, 3=short, 4=signed char,
- // 6=unsigned long, 7=unsigned int, 8=unsigned short, 9=unsigned char
- // no specializations for 0 and 5: requests for a type > long are in error
- #ifdef BOOST_HAS_LONG_LONG
- template<> struct int_least_helper<1> { typedef boost::long_long_type least; };
- #elif defined(BOOST_HAS_MS_INT64)
- template<> struct int_least_helper<1> { typedef __int64 least; };
- #endif
- template<> struct int_least_helper<2> { typedef long least; };
- template<> struct int_least_helper<3> { typedef int least; };
- template<> struct int_least_helper<4> { typedef short least; };
- template<> struct int_least_helper<5> { typedef signed char least; };
- #ifdef BOOST_HAS_LONG_LONG
- template<> struct uint_least_helper<1> { typedef boost::ulong_long_type least; };
- #elif defined(BOOST_HAS_MS_INT64)
- template<> struct uint_least_helper<1> { typedef unsigned __int64 least; };
- #endif
- template<> struct uint_least_helper<2> { typedef unsigned long least; };
- template<> struct uint_least_helper<3> { typedef unsigned int least; };
- template<> struct uint_least_helper<4> { typedef unsigned short least; };
- template<> struct uint_least_helper<5> { typedef unsigned char least; };
- template <int Bits>
- struct exact_signed_base_helper{};
- template <int Bits>
- struct exact_unsigned_base_helper{};
- template <> struct exact_signed_base_helper<sizeof(signed char)* CHAR_BIT> { typedef signed char exact; };
- template <> struct exact_unsigned_base_helper<sizeof(unsigned char)* CHAR_BIT> { typedef unsigned char exact; };
- #if USHRT_MAX != UCHAR_MAX
- template <> struct exact_signed_base_helper<sizeof(short)* CHAR_BIT> { typedef short exact; };
- template <> struct exact_unsigned_base_helper<sizeof(unsigned short)* CHAR_BIT> { typedef unsigned short exact; };
- #endif
- #if UINT_MAX != USHRT_MAX
- template <> struct exact_signed_base_helper<sizeof(int)* CHAR_BIT> { typedef int exact; };
- template <> struct exact_unsigned_base_helper<sizeof(unsigned int)* CHAR_BIT> { typedef unsigned int exact; };
- #endif
- #if ULONG_MAX != UINT_MAX && ( !defined __TI_COMPILER_VERSION__ || \
- ( __TI_COMPILER_VERSION__ >= 7000000 && !defined __TI_40BIT_LONG__ ) )
- template <> struct exact_signed_base_helper<sizeof(long)* CHAR_BIT> { typedef long exact; };
- template <> struct exact_unsigned_base_helper<sizeof(unsigned long)* CHAR_BIT> { typedef unsigned long exact; };
- #endif
- #if defined(BOOST_HAS_LONG_LONG) &&\
- ((defined(ULLONG_MAX) && (ULLONG_MAX != ULONG_MAX)) ||\
- (defined(ULONG_LONG_MAX) && (ULONG_LONG_MAX != ULONG_MAX)) ||\
- (defined(ULONGLONG_MAX) && (ULONGLONG_MAX != ULONG_MAX)) ||\
- (defined(_ULLONG_MAX) && (_ULLONG_MAX != ULONG_MAX)))
- template <> struct exact_signed_base_helper<sizeof(boost::long_long_type)* CHAR_BIT> { typedef boost::long_long_type exact; };
- template <> struct exact_unsigned_base_helper<sizeof(boost::ulong_long_type)* CHAR_BIT> { typedef boost::ulong_long_type exact; };
- #endif
- } // namespace detail
- // integer templates specifying number of bits ---------------------------//
- // signed
- template< int Bits > // bits (including sign) required
- struct int_t : public boost::detail::exact_signed_base_helper<Bits>
- {
- BOOST_STATIC_ASSERT_MSG(Bits <= (int)(sizeof(boost::intmax_t) * CHAR_BIT),
- "No suitable signed integer type with the requested number of bits is available.");
- typedef typename boost::detail::int_least_helper
- <
- #ifdef BOOST_HAS_LONG_LONG
- (Bits <= (int)(sizeof(boost::long_long_type) * CHAR_BIT)) +
- #else
- 1 +
- #endif
- (Bits-1 <= ::std::numeric_limits<long>::digits) +
- (Bits-1 <= ::std::numeric_limits<int>::digits) +
- (Bits-1 <= ::std::numeric_limits<short>::digits) +
- (Bits-1 <= ::std::numeric_limits<signed char>::digits)
- >::least least;
- typedef typename int_fast_t<least>::type fast;
- };
- // unsigned
- template< int Bits > // bits required
- struct uint_t : public boost::detail::exact_unsigned_base_helper<Bits>
- {
- BOOST_STATIC_ASSERT_MSG(Bits <= (int)(sizeof(boost::uintmax_t) * CHAR_BIT),
- "No suitable unsigned integer type with the requested number of bits is available.");
- #if (defined(__BORLANDC__) || defined(__CODEGEAR__)) && defined(BOOST_NO_INTEGRAL_INT64_T)
- // It's really not clear why this workaround should be needed... shrug I guess! JM
- BOOST_STATIC_CONSTANT(int, s =
- 6 +
- (Bits <= ::std::numeric_limits<unsigned long>::digits) +
- (Bits <= ::std::numeric_limits<unsigned int>::digits) +
- (Bits <= ::std::numeric_limits<unsigned short>::digits) +
- (Bits <= ::std::numeric_limits<unsigned char>::digits));
- typedef typename detail::int_least_helper< ::boost::uint_t<Bits>::s>::least least;
- #else
- typedef typename boost::detail::uint_least_helper
- <
- #ifdef BOOST_HAS_LONG_LONG
- (Bits <= (int)(sizeof(boost::long_long_type) * CHAR_BIT)) +
- #else
- 1 +
- #endif
- (Bits <= ::std::numeric_limits<unsigned long>::digits) +
- (Bits <= ::std::numeric_limits<unsigned int>::digits) +
- (Bits <= ::std::numeric_limits<unsigned short>::digits) +
- (Bits <= ::std::numeric_limits<unsigned char>::digits)
- >::least least;
- #endif
- typedef typename int_fast_t<least>::type fast;
- // int_fast_t<> works correctly for unsigned too, in spite of the name.
- };
- // integer templates specifying extreme value ----------------------------//
- // signed
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && !defined(BOOST_NO_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- template< boost::long_long_type MaxValue > // maximum value to require support
- #else
- template< long MaxValue > // maximum value to require support
- #endif
- struct int_max_value_t
- {
- typedef typename boost::detail::int_least_helper
- <
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && !defined(BOOST_NO_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- (MaxValue <= ::boost::integer_traits<boost::long_long_type>::const_max) +
- #else
- 1 +
- #endif
- (MaxValue <= ::boost::integer_traits<long>::const_max) +
- (MaxValue <= ::boost::integer_traits<int>::const_max) +
- (MaxValue <= ::boost::integer_traits<short>::const_max) +
- (MaxValue <= ::boost::integer_traits<signed char>::const_max)
- >::least least;
- typedef typename int_fast_t<least>::type fast;
- };
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && !defined(BOOST_NO_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- template< boost::long_long_type MinValue > // minimum value to require support
- #else
- template< long MinValue > // minimum value to require support
- #endif
- struct int_min_value_t
- {
- typedef typename boost::detail::int_least_helper
- <
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && !defined(BOOST_NO_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- (MinValue >= ::boost::integer_traits<boost::long_long_type>::const_min) +
- #else
- 1 +
- #endif
- (MinValue >= ::boost::integer_traits<long>::const_min) +
- (MinValue >= ::boost::integer_traits<int>::const_min) +
- (MinValue >= ::boost::integer_traits<short>::const_min) +
- (MinValue >= ::boost::integer_traits<signed char>::const_min)
- >::least least;
- typedef typename int_fast_t<least>::type fast;
- };
- // unsigned
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- template< boost::ulong_long_type MaxValue > // minimum value to require support
- #else
- template< unsigned long MaxValue > // minimum value to require support
- #endif
- struct uint_value_t
- {
- #if (defined(__BORLANDC__) || defined(__CODEGEAR__))
- // It's really not clear why this workaround should be needed... shrug I guess! JM
- #if defined(BOOST_NO_INTEGRAL_INT64_T)
- BOOST_STATIC_CONSTANT(unsigned, which =
- 1 +
- (MaxValue <= ::boost::integer_traits<unsigned long>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned int>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned short>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned char>::const_max));
- typedef typename detail::int_least_helper< ::boost::uint_value_t<MaxValue>::which>::least least;
- #else // BOOST_NO_INTEGRAL_INT64_T
- BOOST_STATIC_CONSTANT(unsigned, which =
- 1 +
- (MaxValue <= ::boost::integer_traits<boost::ulong_long_type>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned long>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned int>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned short>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned char>::const_max));
- typedef typename detail::uint_least_helper< ::boost::uint_value_t<MaxValue>::which>::least least;
- #endif // BOOST_NO_INTEGRAL_INT64_T
- #else
- typedef typename boost::detail::uint_least_helper
- <
- #if !defined(BOOST_NO_INTEGRAL_INT64_T) && defined(BOOST_HAS_LONG_LONG)
- (MaxValue <= ::boost::integer_traits<boost::ulong_long_type>::const_max) +
- #else
- 1 +
- #endif
- (MaxValue <= ::boost::integer_traits<unsigned long>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned int>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned short>::const_max) +
- (MaxValue <= ::boost::integer_traits<unsigned char>::const_max)
- >::least least;
- #endif
- typedef typename int_fast_t<least>::type fast;
- };
- } // namespace boost
- #endif // BOOST_INTEGER_HPP
|