stc/exp/ml_stc_linux_make_v1.0/include/boost/mpl/inherit.hpp

   1 \r
   2 #if !defined(BOOST_PP_IS_ITERATING)\r
   3 \r
   4 ///// header body\r
   5 \r
   6 #ifndef BOOST_MPL_INHERIT_HPP_INCLUDED\r
   7 #define BOOST_MPL_INHERIT_HPP_INCLUDED\r
   8 \r
   9 // Copyright Aleksey Gurtovoy 2001-2004\r
  10 //\r
  11 // Distributed under the Boost Software License, Version 1.0. \r
  12 // (See accompanying file LICENSE_1_0.txt or copy at \r
  13 // http://www.boost.org/LICENSE_1_0.txt)\r
  14 //\r
  15 // See http://www.boost.org/libs/mpl for documentation.\r
  16 \r
  17 // $Id: inherit.hpp 49267 2008-10-11 06:19:02Z agurtovoy $\r
  18 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $\r
  19 // $Revision: 49267 $\r
  20 \r
  21 #if !defined(BOOST_MPL_PREPROCESSING_MODE)\r
  22 #   include <boost/mpl/empty_base.hpp>\r
  23 #   include <boost/mpl/aux_/na_spec.hpp>\r
  24 #   include <boost/mpl/aux_/lambda_support.hpp>\r
  25 #endif\r
  26 \r
  27 #include <boost/mpl/aux_/config/use_preprocessed.hpp>\r
  28 \r
  29 #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \\r
  30     && !defined(BOOST_MPL_PREPROCESSING_MODE)\r
  31 \r
  32 #   define BOOST_MPL_PREPROCESSED_HEADER inherit.hpp\r
  33 #   include <boost/mpl/aux_/include_preprocessed.hpp>\r
  34 \r
  35 #else\r
  36 \r
  37 #   include <boost/mpl/limits/arity.hpp>\r
  38 #   include <boost/mpl/aux_/preprocessor/params.hpp>\r
  39 #   include <boost/mpl/aux_/preprocessor/default_params.hpp>\r
  40 #   include <boost/mpl/aux_/preprocessor/enum.hpp>\r
  41 #   include <boost/mpl/aux_/config/ctps.hpp>\r
  42 #   include <boost/mpl/aux_/config/dtp.hpp>\r
  43 \r
  44 #   include <boost/preprocessor/iterate.hpp>\r
  45 #   include <boost/preprocessor/dec.hpp>\r
  46 #   include <boost/preprocessor/cat.hpp>\r
  47 \r
  48 namespace boost { namespace mpl {\r
  49 \r
  50 // 'inherit<T1,T2,..,Tn>' metafunction; returns an unspecified class type\r
  51 // produced by public derivation from all metafunction's parameters \r
  52 // (T1,T2,..,Tn), except the parameters of 'empty_base' class type; \r
  53 // regardless the position and number of 'empty_base' parameters in the \r
  54 // metafunction's argument list, derivation from them is always a no-op;\r
  55 // for instance:\r
  56 //      inherit<her>::type == her\r
  57 //      inherit<her,my>::type == struct unspecified : her, my {};\r
  58 //      inherit<empty_base,her>::type == her\r
  59 //      inherit<empty_base,her,empty_base,empty_base>::type == her\r
  60 //      inherit<her,empty_base,my>::type == struct unspecified : her, my {};\r
  61 //      inherit<empty_base,empty_base>::type == empty_base\r
  62 \r
  63 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)\r
  64 \r
  65 template< \r
  66       typename BOOST_MPL_AUX_NA_PARAM(T1)\r
  67     , typename BOOST_MPL_AUX_NA_PARAM(T2)\r
  68     > \r
  69 struct inherit2\r
  70     : T1, T2\r
  71 {\r
  72     typedef inherit2 type;\r
  73     BOOST_MPL_AUX_LAMBDA_SUPPORT(2, inherit2, (T1,T2))\r
  74 };\r
  75 \r
  76 template< typename T1 > \r
  77 struct inherit2<T1,empty_base>\r
  78 {\r
  79     typedef T1 type;\r
  80     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (T1,empty_base))\r
  81 };\r
  82 \r
  83 template< typename T2 > \r
  84 struct inherit2<empty_base,T2>\r
  85 {\r
  86     typedef T2 type;\r
  87     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (empty_base,T2))\r
  88 };\r
  89 \r
  90 // needed to disambiguate the previous two in case when both \r
  91 // T1 and T2 == empty_base\r
  92 template<> \r
  93 struct inherit2<empty_base,empty_base>\r
  94 {\r
  95     typedef empty_base type;\r
  96     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (empty_base,empty_base))\r
  97 };\r
  98 \r
  99 #else\r
 100 \r
 101 namespace aux {\r
 102 \r
 103 template< bool C1, bool C2 >\r
 104 struct inherit2_impl\r
 105 {\r
 106     template< typename Derived, typename T1, typename T2 > struct result_ \r
 107         : T1, T2\r
 108     {\r
 109         typedef Derived type_;\r
 110     };\r
 111 };\r
 112 \r
 113 template<>\r
 114 struct inherit2_impl<false,true>\r
 115 {\r
 116     template< typename Derived, typename T1, typename T2 > struct result_\r
 117         : T1\r
 118     {\r
 119         typedef T1 type_;\r
 120     };\r
 121 };\r
 122 \r
 123 template<>\r
 124 struct inherit2_impl<true,false>\r
 125 {\r
 126     template< typename Derived, typename T1, typename T2 > struct result_\r
 127         : T2 \r
 128     {\r
 129         typedef T2 type_;\r
 130     };\r
 131 };\r
 132 \r
 133 template<>\r
 134 struct inherit2_impl<true,true>\r
 135 {\r
 136     template< typename Derived, typename T1, typename T2 > struct result_\r
 137     {\r
 138         typedef T1 type_;\r
 139     };\r
 140 };\r
 141 \r
 142 } // namespace aux\r
 143 \r
 144 template< \r
 145       typename BOOST_MPL_AUX_NA_PARAM(T1)\r
 146     , typename BOOST_MPL_AUX_NA_PARAM(T2)\r
 147     > \r
 148 struct inherit2\r
 149     : aux::inherit2_impl<\r
 150           is_empty_base<T1>::value\r
 151         , is_empty_base<T2>::value\r
 152         >::template result_< inherit2<T1,T2>,T1,T2 >\r
 153 {\r
 154     typedef typename inherit2::type_ type;\r
 155     BOOST_MPL_AUX_LAMBDA_SUPPORT(2, inherit2, (T1,T2))\r
 156 };\r
 157 \r
 158 #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION\r
 159 \r
 160 BOOST_MPL_AUX_NA_SPEC(2, inherit2)\r
 161 \r
 162 #define BOOST_PP_ITERATION_PARAMS_1 \\r
 163     (3,(3, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, <boost/mpl/inherit.hpp>))\r
 164 #include BOOST_PP_ITERATE()\r
 165 \r
 166 }}\r
 167 \r
 168 #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS\r
 169 #endif // BOOST_MPL_INHERIT_HPP_INCLUDED\r
 170 \r
 171 ///// iteration\r
 172 \r
 173 #else\r
 174 #define n_ BOOST_PP_FRAME_ITERATION(1)\r
 175 \r
 176 template<\r
 177       BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, na)\r
 178     >\r
 179 struct BOOST_PP_CAT(inherit,n_)\r
 180     : inherit2<\r
 181           typename BOOST_PP_CAT(inherit,BOOST_PP_DEC(n_))<\r
 182               BOOST_MPL_PP_PARAMS(BOOST_PP_DEC(n_), T)\r
 183             >::type\r
 184         , BOOST_PP_CAT(T,n_)\r
 185         >\r
 186 {\r
 187     BOOST_MPL_AUX_LAMBDA_SUPPORT(\r
 188           n_\r
 189         , BOOST_PP_CAT(inherit,n_)\r
 190         , (BOOST_MPL_PP_PARAMS(n_, T))\r
 191         )\r
 192 };\r
 193 \r
 194 BOOST_MPL_AUX_NA_SPEC(n_, BOOST_PP_CAT(inherit,n_))\r
 195 \r
 196 #if n_ == BOOST_MPL_LIMIT_METAFUNCTION_ARITY\r
 197 /// primary template\r
 198 template<\r
 199       BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, empty_base)\r
 200     >\r
 201 struct inherit\r
 202     : BOOST_PP_CAT(inherit,n_)<BOOST_MPL_PP_PARAMS(n_, T)>\r
 203 {\r
 204 };\r
 205 \r
 206 // 'na' specialization\r
 207 template<>\r
 208 struct inherit< BOOST_MPL_PP_ENUM(5, na) >\r
 209 {\r
 210     template<\r
 211 #if !defined(BOOST_MPL_CFG_NO_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES)\r
 212           BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, empty_base)\r
 213 #else\r
 214           BOOST_MPL_PP_PARAMS(n_, typename T)\r
 215 #endif\r
 216         >\r
 217     struct apply\r
 218         : inherit< BOOST_MPL_PP_PARAMS(n_, T) >\r
 219     {\r
 220     };\r
 221 };\r
 222 \r
 223 BOOST_MPL_AUX_NA_SPEC_LAMBDA(n_, inherit)\r
 224 BOOST_MPL_AUX_NA_SPEC_ARITY(n_, inherit)\r
 225 BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(n_, n_, inherit)\r
 226 #endif\r
 227 \r
 228 #undef n_\r
 229 #endif // BOOST_PP_IS_ITERATING\r