stc/exp/ml_stc_linux_make_v1.0/include/boost/mpl/map/aux_/at_impl.hpp

   1 \r
   2 #ifndef BOOST_MPL_MAP_AUX_AT_IMPL_HPP_INCLUDED\r
   3 #define BOOST_MPL_MAP_AUX_AT_IMPL_HPP_INCLUDED\r
   4 \r
   5 // Copyright Aleksey Gurtovoy 2003-2004\r
   6 // Copyright David Abrahams 2003-2004\r
   7 //\r
   8 // Distributed under the Boost Software License, Version 1.0. \r
   9 // (See accompanying file LICENSE_1_0.txt or copy at \r
  10 // http://www.boost.org/LICENSE_1_0.txt)\r
  11 //\r
  12 // See http://www.boost.org/libs/mpl for documentation.\r
  13 \r
  14 // $Id: at_impl.hpp 49267 2008-10-11 06:19:02Z agurtovoy $\r
  15 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $\r
  16 // $Revision: 49267 $\r
  17 \r
  18 #include <boost/mpl/at_fwd.hpp>\r
  19 #include <boost/mpl/long.hpp>\r
  20 #include <boost/mpl/map/aux_/tag.hpp>\r
  21 #include <boost/mpl/aux_/order_impl.hpp>\r
  22 #include <boost/mpl/aux_/overload_names.hpp>\r
  23 #include <boost/mpl/aux_/type_wrapper.hpp>\r
  24 #include <boost/mpl/aux_/ptr_to_ref.hpp>\r
  25 #include <boost/mpl/aux_/static_cast.hpp>\r
  26 #include <boost/mpl/aux_/config/typeof.hpp>\r
  27 #include <boost/mpl/aux_/config/ctps.hpp>\r
  28 \r
  29 #if !defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)\r
  30 #   include <boost/mpl/eval_if.hpp>\r
  31 #   include <boost/mpl/pair.hpp>\r
  32 #   include <boost/mpl/void.hpp>\r
  33 #   include <boost/mpl/aux_/config/static_constant.hpp>\r
  34 #endif\r
  35 \r
  36 namespace boost { namespace mpl {\r
  37 \r
  38 #if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)\r
  39 \r
  40 template< typename Map, typename Key >\r
  41 struct m_at\r
  42 {\r
  43     typedef aux::type_wrapper<Key> key_;\r
  44     typedef __typeof__( BOOST_MPL_AUX_OVERLOAD_CALL_VALUE_BY_KEY(\r
  45           Map\r
  46         , BOOST_MPL_AUX_STATIC_CAST(key_*, 0)\r
  47         ) ) type;\r
  48 };\r
  49 \r
  50 template<>\r
  51 struct at_impl< aux::map_tag >\r
  52 {\r
  53     template< typename Map, typename Key > struct apply\r
  54         : aux::wrapped_type< typename m_at<\r
  55               Map\r
  56             , Key\r
  57             >::type >\r
  58     {\r
  59     };\r
  60 };\r
  61 \r
  62 // agurt 31/jan/04: two-step implementation for the sake of GCC 3.x\r
  63 template< typename Map, long order > \r
  64 struct item_by_order_impl\r
  65 {\r
  66     typedef __typeof__( BOOST_MPL_AUX_OVERLOAD_CALL_ITEM_BY_ORDER(\r
  67           Map \r
  68         , BOOST_MPL_AUX_STATIC_CAST(long_<order>*, 0)\r
  69         ) ) type;\r
  70 };\r
  71 \r
  72 template< typename Map, long order >\r
  73 struct item_by_order\r
  74     : aux::wrapped_type<\r
  75           typename item_by_order_impl<Map,order>::type\r
  76         >\r
  77 {\r
  78 };\r
  79 \r
  80 #else // BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES\r
  81 \r
  82 #   if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)\r
  83 \r
  84 template< typename Map, long n > struct m_at\r
  85 {\r
  86     typedef void_ type;\r
  87 };\r
  88 \r
  89 #   else\r
  90 \r
  91 template< long n > struct m_at_impl\r
  92 {\r
  93     template< typename Map > struct result_\r
  94     {\r
  95         typedef void_ type;\r
  96     };\r
  97 };\r
  98 \r
  99 template< typename Map, long n > struct m_at\r
 100 {\r
 101     typedef typename m_at_impl<n>::result_<Map>::type type;\r
 102 };\r
 103 \r
 104 #   endif\r
 105 \r
 106 \r
 107 template<>\r
 108 struct at_impl< aux::map_tag >\r
 109 {\r
 110     template< typename Map, typename Key > struct apply\r
 111     {\r
 112         typedef typename m_at< Map, (x_order_impl<Map,Key>::value - 2) >::type item_;       \r
 113         typedef typename eval_if<\r
 114               is_void_<item_>\r
 115             , void_\r
 116             , second<item_>\r
 117             >::type type;\r
 118     };\r
 119 };\r
 120 \r
 121 template< typename Map, long order > struct is_item_masked\r
 122 {\r
 123     BOOST_STATIC_CONSTANT(bool, value = \r
 124           sizeof( BOOST_MPL_AUX_OVERLOAD_CALL_IS_MASKED(\r
 125               Map\r
 126             , BOOST_MPL_AUX_STATIC_CAST(long_<order>*, 0)\r
 127             ) ) == sizeof(aux::yes_tag)\r
 128         );\r
 129 };\r
 130 \r
 131 template< typename Map, long order > struct item_by_order\r
 132 {    \r
 133     typedef typename eval_if_c< \r
 134           is_item_masked<Map,order>::value\r
 135         , void_\r
 136         , m_at<Map,(order - 2)>\r
 137         >::type type;\r
 138 };\r
 139 \r
 140 #endif\r
 141 \r
 142 }}\r
 143 \r
 144 #endif // BOOST_MPL_SET_AUX_AT_IMPL_HPP_INCLUDED\r