boost/fusion/support/tag_of.hpp

   1 /*=============================================================================
   2     Copyright (c) 2001-2006 Joel de Guzman
   3
   4     Distributed under the Boost Software License, Version 1.0. (See accompanying
   5     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   6 ==============================================================================*/
   7 #if !defined(FUSION_TAG_OF_09232005_0845)
   8 #define FUSION_TAG_OF_09232005_0845
   9
  10 #include <boost/utility/enable_if.hpp>
  11 #include <boost/type_traits/remove_const.hpp>
  12 #include <boost/fusion/support/tag_of_fwd.hpp>
  13 #include <boost/fusion/support/detail/is_mpl_sequence.hpp>
  14 #include <boost/mpl/has_xxx.hpp>
  15 #include <boost/mpl/identity.hpp>
  16 #include <boost/mpl/assert.hpp>
  17 #include <boost/mpl/bool.hpp>
  18 #include <boost/mpl/if.hpp>
  19 #include <boost/config/no_tr1/utility.hpp>
  20
  21 namespace boost
  22 {
  23     template <typename T, std::size_t N>
  24     class array; // forward
  25
  26     namespace tuples
  27     {
  28         struct null_type;
  29
  30         template <
  31             class T0, class T1, class T2, class T3, class T4,
  32             class T5, class T6, class T7, class T8, class T9
  33         >
  34         class tuple;
  35
  36         template <class Head, class Tail>
  37         struct cons;
  38     }
  39 }
  40
  41 namespace boost { namespace fusion
  42 {
  43     struct non_fusion_tag;
  44     struct mpl_sequence_tag;
  45
  46     namespace detail
  47     {
  48         BOOST_MPL_HAS_XXX_TRAIT_DEF(fusion_tag)
  49     }
  50
  51     namespace traits
  52     {
  53         template <typename Sequence, typename Active>
  54         struct tag_of
  55           : mpl::if_< fusion::detail::is_mpl_sequence<Sequence>,
  56               mpl::identity<mpl_sequence_tag>,
  57               mpl::identity<non_fusion_tag> >::type
  58         {};
  59
  60         template <typename Sequence>
  61         struct tag_of<Sequence, typename boost::enable_if<detail::has_fusion_tag<Sequence> >::type>
  62         {
  63             typedef typename Sequence::fusion_tag type;
  64         };
  65     }
  66
  67     namespace detail
  68     {
  69         template<typename T>
  70         struct tag_of
  71             : traits::tag_of<typename remove_const<T>::type>
  72         {};
  73     }
  74 }}
  75 #endif