boost/type_traits/detail/bool_trait_def.hpp

   1
   2 // NO INCLUDE GUARDS, THE HEADER IS INTENDED FOR MULTIPLE INCLUSION
   3
   4 // Copyright Aleksey Gurtovoy 2002-2004
   5 //
   6 // Distributed under the Boost Software License, Version 1.0.
   7 // (See accompanying file LICENSE_1_0.txt or copy at
   8 // http://www.boost.org/LICENSE_1_0.txt)
   9
  10 // $Source$
  11 // $Date: 2011-10-09 15:28:33 -0700 (Sun, 09 Oct 2011) $
  12 // $Revision: 74865 $
  13
  14 #include <boost/type_traits/detail/template_arity_spec.hpp>
  15 #include <boost/type_traits/integral_constant.hpp>
  16 #include <boost/mpl/bool.hpp>
  17 #include <boost/mpl/aux_/lambda_support.hpp>
  18 #include <boost/config.hpp>
  19
  20 //
  21 // Unfortunately some libraries have started using this header without
  22 // cleaning up afterwards: so we'd better undef the macros just in case
  23 // they've been defined already....
  24 //
  25 #ifdef BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL
  26 #undef BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL
  27 #undef BOOST_TT_AUX_BOOL_C_BASE
  28 #undef BOOST_TT_AUX_BOOL_TRAIT_DEF1
  29 #undef BOOST_TT_AUX_BOOL_TRAIT_DEF2
  30 #undef BOOST_TT_AUX_BOOL_TRAIT_SPEC1
  31 #undef BOOST_TT_AUX_BOOL_TRAIT_SPEC2
  32 #undef BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1
  33 #undef BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC2
  34 #undef BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC1_1
  35 #undef BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC1_2
  36 #undef BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC2_1
  37 #undef BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC2_2
  38 #undef BOOST_TT_AUX_BOOL_TRAIT_IMPL_PARTIAL_SPEC2_1
  39 #undef BOOST_TT_AUX_BOOL_TRAIT_CV_SPEC1
  40 #endif
  41
  42 #if defined(__SUNPRO_CC) && (__SUNPRO_CC < 0x570)
  43 #   define BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
  44     typedef ::boost::integral_constant<bool,C> type; \
  45     enum { value = type::value }; \
  46     /**/
  47 #   define BOOST_TT_AUX_BOOL_C_BASE(C)
  48
  49 #elif defined(BOOST_MSVC) && BOOST_MSVC < 1300
  50
  51 #   define BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
  52     typedef ::boost::integral_constant<bool,C> base_; \
  53     using base_::value; \
  54     /**/
  55
  56 #endif
  57
  58 #ifndef BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL
  59 #   define BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) /**/
  60 #endif
  61
  62 #ifndef BOOST_TT_AUX_BOOL_C_BASE
  63 #   define BOOST_TT_AUX_BOOL_C_BASE(C) : public ::boost::integral_constant<bool,C>
  64 #endif
  65
  66
  67 #define BOOST_TT_AUX_BOOL_TRAIT_DEF1(trait,T,C) \
  68 template< typename T > struct trait \
  69     BOOST_TT_AUX_BOOL_C_BASE(C) \
  70 { \
  71 public:\
  72     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
  73     BOOST_MPL_AUX_LAMBDA_SUPPORT(1,trait,(T)) \
  74 }; \
  75 \
  76 BOOST_TT_AUX_TEMPLATE_ARITY_SPEC(1,trait) \
  77 /**/
  78
  79
  80 #define BOOST_TT_AUX_BOOL_TRAIT_DEF2(trait,T1,T2,C) \
  81 template< typename T1, typename T2 > struct trait \
  82     BOOST_TT_AUX_BOOL_C_BASE(C) \
  83 { \
  84 public:\
  85     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
  86     BOOST_MPL_AUX_LAMBDA_SUPPORT(2,trait,(T1,T2)) \
  87 }; \
  88 \
  89 BOOST_TT_AUX_TEMPLATE_ARITY_SPEC(2,trait) \
  90 /**/
  91
  92 #define BOOST_TT_AUX_BOOL_TRAIT_DEF3(trait,T1,T2,T3,C) \
  93 template< typename T1, typename T2, typename T3 > struct trait \
  94     BOOST_TT_AUX_BOOL_C_BASE(C) \
  95 { \
  96 public:\
  97     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
  98     BOOST_MPL_AUX_LAMBDA_SUPPORT(3,trait,(T1,T2,T3)) \
  99 }; \
 100 \
 101 BOOST_TT_AUX_TEMPLATE_ARITY_SPEC(3,trait) \
 102 /**/
 103
 104 #define BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp,C) \
 105 template<> struct trait< sp > \
 106     BOOST_TT_AUX_BOOL_C_BASE(C) \
 107 { \
 108 public:\
 109     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 110     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(1,trait,(sp)) \
 111 }; \
 112 /**/
 113
 114 #define BOOST_TT_AUX_BOOL_TRAIT_SPEC2(trait,sp1,sp2,C) \
 115 template<> struct trait< sp1,sp2 > \
 116     BOOST_TT_AUX_BOOL_C_BASE(C) \
 117 { \
 118 public:\
 119     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 120     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2,trait,(sp1,sp2)) \
 121 }; \
 122 /**/
 123
 124 #define BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1(trait,sp,C) \
 125 template<> struct trait##_impl< sp > \
 126 { \
 127 public:\
 128     BOOST_STATIC_CONSTANT(bool, value = (C)); \
 129 }; \
 130 /**/
 131
 132 #define BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC2(trait,sp1,sp2,C) \
 133 template<> struct trait##_impl< sp1,sp2 > \
 134 { \
 135 public:\
 136     BOOST_STATIC_CONSTANT(bool, value = (C)); \
 137 }; \
 138 /**/
 139
 140 #define BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC1_1(param,trait,sp,C) \
 141 template< param > struct trait< sp > \
 142     BOOST_TT_AUX_BOOL_C_BASE(C) \
 143 { \
 144 public:\
 145     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 146 }; \
 147 /**/
 148
 149 #define BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC1_2(param1,param2,trait,sp,C) \
 150 template< param1, param2 > struct trait< sp > \
 151     BOOST_TT_AUX_BOOL_C_BASE(C) \
 152 { \
 153 public:\
 154     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 155 }; \
 156 /**/
 157
 158 #define BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC2_1(param,trait,sp1,sp2,C) \
 159 template< param > struct trait< sp1,sp2 > \
 160     BOOST_TT_AUX_BOOL_C_BASE(C) \
 161 { \
 162 public:\
 163     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 164     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2,trait,(sp1,sp2)) \
 165 }; \
 166 /**/
 167
 168 #define BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC2_2(param1,param2,trait,sp1,sp2,C) \
 169 template< param1, param2 > struct trait< sp1,sp2 > \
 170     BOOST_TT_AUX_BOOL_C_BASE(C) \
 171 { \
 172 public:\
 173     BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \
 174 }; \
 175 /**/
 176
 177 #define BOOST_TT_AUX_BOOL_TRAIT_IMPL_PARTIAL_SPEC2_1(param,trait,sp1,sp2,C) \
 178 template< param > struct trait##_impl< sp1,sp2 > \
 179 { \
 180 public:\
 181     BOOST_STATIC_CONSTANT(bool, value = (C)); \
 182 }; \
 183 /**/
 184
 185 #ifndef BOOST_NO_CV_SPECIALIZATIONS
 186 #   define BOOST_TT_AUX_BOOL_TRAIT_CV_SPEC1(trait,sp,value) \
 187     BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp,value) \
 188     BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp const,value) \
 189     BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp volatile,value) \
 190     BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp const volatile,value) \
 191     /**/
 192 #else
 193 #   define BOOST_TT_AUX_BOOL_TRAIT_CV_SPEC1(trait,sp,value) \
 194     BOOST_TT_AUX_BOOL_TRAIT_SPEC1(trait,sp,value) \
 195     /**/
 196 #endif