ceph/src/boost/boost/type_traits/is_unsigned.hpp

   1
   2 //  (C) Copyright John Maddock 2005.
   3 //  Use, modification and distribution are subject to the Boost Software License,
   4 //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
   5 //  http://www.boost.org/LICENSE_1_0.txt).
   6 //
   7 //  See http://www.boost.org/libs/type_traits for most recent version including documentation.
   8
   9
  10 #ifndef BOOST_TT_IS_UNSIGNED_HPP_INCLUDED
  11 #define BOOST_TT_IS_UNSIGNED_HPP_INCLUDED
  12
  13 #include <boost/type_traits/is_integral.hpp>
  14 #include <boost/type_traits/is_enum.hpp>
  15 #include <boost/type_traits/remove_cv.hpp>
  16
  17 #include <climits>
  18
  19 namespace boost {
  20
  21 #if !defined( __CODEGEARC__ )
  22
  23 #if !(defined(BOOST_MSVC) && BOOST_MSVC <= 1310) &&\
  24     !(defined(__EDG_VERSION__) && __EDG_VERSION__ <= 238) &&\
  25     !defined(BOOST_NO_INCLASS_MEMBER_INITIALIZATION)
  26
  27 namespace detail{
  28
  29 template <class T>
  30 struct is_unsigned_values
  31 {
  32    //
  33    // Note that we cannot use BOOST_STATIC_CONSTANT here, using enum's
  34    // rather than "real" static constants simply doesn't work or give
  35    // the correct answer.
  36    //
  37    typedef typename remove_cv<T>::type no_cv_t;
  38    static const no_cv_t minus_one = (static_cast<no_cv_t>(-1));
  39    static const no_cv_t zero = (static_cast<no_cv_t>(0));
  40 };
  41
  42 template <class T>
  43 struct is_ununsigned_helper
  44 {
  45    BOOST_STATIC_CONSTANT(bool, value = (::boost::detail::is_unsigned_values<T>::minus_one > ::boost::detail::is_unsigned_values<T>::zero));
  46 };
  47
  48 template <bool integral_type>
  49 struct is_unsigned_select_helper
  50 {
  51    template <class T>
  52    struct rebind
  53    {
  54       typedef is_ununsigned_helper<T> type;
  55    };
  56 };
  57
  58 template <>
  59 struct is_unsigned_select_helper<false>
  60 {
  61    template <class T>
  62    struct rebind
  63    {
  64       typedef false_type type;
  65    };
  66 };
  67
  68 template <class T>
  69 struct is_unsigned
  70 {
  71    typedef ::boost::detail::is_unsigned_select_helper< ::boost::is_integral<T>::value || ::boost::is_enum<T>::value > selector;
  72    typedef typename selector::template rebind<T> binder;
  73    typedef typename binder::type type;
  74    BOOST_STATIC_CONSTANT(bool, value = type::value);
  75 };
  76
  77 } // namespace detail
  78
  79 template <class T> struct is_unsigned : public integral_constant<bool, boost::detail::is_unsigned<T>::value> {};
  80
  81 #else
  82
  83 template <class T> struct is_unsigned : public false_type{};
  84
  85 #endif
  86
  87 #else // defined( __CODEGEARC__ )
  88 template <class T> struct is_unsigned : public integral_constant<bool, __is_unsigned(T)> {};
  89 #endif
  90
  91 template <> struct is_unsigned<unsigned char> : public true_type{};
  92 template <> struct is_unsigned<const unsigned char> : public true_type{};
  93 template <> struct is_unsigned<volatile unsigned char> : public true_type{};
  94 template <> struct is_unsigned<const volatile unsigned char> : public true_type{};
  95 template <> struct is_unsigned<unsigned short> : public true_type{};
  96 template <> struct is_unsigned<const unsigned short> : public true_type{};
  97 template <> struct is_unsigned<volatile unsigned short> : public true_type{};
  98 template <> struct is_unsigned<const volatile unsigned short> : public true_type{};
  99 template <> struct is_unsigned<unsigned int> : public true_type{};
 100 template <> struct is_unsigned<const unsigned int> : public true_type{};
 101 template <> struct is_unsigned<volatile unsigned int> : public true_type{};
 102 template <> struct is_unsigned<const volatile unsigned int> : public true_type{};
 103 template <> struct is_unsigned<unsigned long> : public true_type{};
 104 template <> struct is_unsigned<const unsigned long> : public true_type{};
 105 template <> struct is_unsigned<volatile unsigned long> : public true_type{};
 106 template <> struct is_unsigned<const volatile unsigned long> : public true_type{};
 107
 108 template <> struct is_unsigned<signed char> : public false_type{};
 109 template <> struct is_unsigned<const signed char> : public false_type{};
 110 template <> struct is_unsigned<volatile signed char> : public false_type{};
 111 template <> struct is_unsigned<const volatile signed char> : public false_type{};
 112 template <> struct is_unsigned< short> : public false_type{};
 113 template <> struct is_unsigned<const  short> : public false_type{};
 114 template <> struct is_unsigned<volatile  short> : public false_type{};
 115 template <> struct is_unsigned<const volatile  short> : public false_type{};
 116 template <> struct is_unsigned< int> : public false_type{};
 117 template <> struct is_unsigned<const  int> : public false_type{};
 118 template <> struct is_unsigned<volatile  int> : public false_type{};
 119 template <> struct is_unsigned<const volatile  int> : public false_type{};
 120 template <> struct is_unsigned< long> : public false_type{};
 121 template <> struct is_unsigned<const  long> : public false_type{};
 122 template <> struct is_unsigned<volatile  long> : public false_type{};
 123 template <> struct is_unsigned<const volatile  long> : public false_type{};
 124 #ifdef BOOST_HAS_LONG_LONG
 125 template <> struct is_unsigned< ::boost::ulong_long_type> : public true_type{};
 126 template <> struct is_unsigned<const ::boost::ulong_long_type> : public true_type{};
 127 template <> struct is_unsigned<volatile ::boost::ulong_long_type> : public true_type{};
 128 template <> struct is_unsigned<const volatile ::boost::ulong_long_type> : public true_type{};
 129
 130 template <> struct is_unsigned< ::boost::long_long_type> : public false_type{};
 131 template <> struct is_unsigned<const ::boost::long_long_type> : public false_type{};
 132 template <> struct is_unsigned<volatile ::boost::long_long_type> : public false_type{};
 133 template <> struct is_unsigned<const volatile ::boost::long_long_type> : public false_type{};
 134 #endif
 135 #if defined(CHAR_MIN)
 136 #if CHAR_MIN == 0
 137 template <> struct is_unsigned<char> : public true_type{};
 138 template <> struct is_unsigned<const char> : public true_type{};
 139 template <> struct is_unsigned<volatile char> : public true_type{};
 140 template <> struct is_unsigned<const volatile char> : public true_type{};
 141 #else
 142 template <> struct is_unsigned<char> : public false_type{};
 143 template <> struct is_unsigned<const char> : public false_type{};
 144 template <> struct is_unsigned<volatile char> : public false_type{};
 145 template <> struct is_unsigned<const volatile char> : public false_type{};
 146 #endif
 147 #endif
 148 #if !defined(BOOST_NO_INTRINSIC_WCHAR_T) && defined(WCHAR_MIN)
 149 #if WCHAR_MIN == 0
 150 template <> struct is_unsigned<wchar_t> : public true_type{};
 151 template <> struct is_unsigned<const wchar_t> : public true_type{};
 152 template <> struct is_unsigned<volatile wchar_t> : public true_type{};
 153 template <> struct is_unsigned<const volatile wchar_t> : public true_type{};
 154 #else
 155 template <> struct is_unsigned<wchar_t> : public false_type{};
 156 template <> struct is_unsigned<const wchar_t> : public false_type{};
 157 template <> struct is_unsigned<volatile wchar_t> : public false_type{};
 158 template <> struct is_unsigned<const volatile wchar_t> : public false_type{};
 159 #endif
 160 #endif
 161 } // namespace boost
 162
 163 #endif // BOOST_TT_IS_MEMBER_FUNCTION_POINTER_HPP_INCLUDED