boost/mpl/is_sequence.hpp

   1
   2 #ifndef BOOST_MPL_IS_SEQUENCE_HPP_INCLUDED
   3 #define BOOST_MPL_IS_SEQUENCE_HPP_INCLUDED
   4
   5 // Copyright Aleksey Gurtovoy 2002-2004
   6 //
   7 // Distributed under the Boost Software License, Version 1.0.
   8 // (See accompanying file LICENSE_1_0.txt or copy at
   9 // http://www.boost.org/LICENSE_1_0.txt)
  10 //
  11 // See http://www.boost.org/libs/mpl for documentation.
  12
  13 // $Id: is_sequence.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
  14 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $
  15 // $Revision: 49267 $
  16
  17 #include <boost/mpl/not.hpp>
  18 #include <boost/mpl/and.hpp>
  19 #include <boost/mpl/begin_end.hpp>
  20 #include <boost/mpl/if.hpp>
  21 #include <boost/mpl/bool.hpp>
  22 #include <boost/mpl/sequence_tag_fwd.hpp>
  23 #include <boost/mpl/identity.hpp>
  24 #include <boost/mpl/void.hpp>
  25 #include <boost/mpl/aux_/has_tag.hpp>
  26 #include <boost/mpl/aux_/has_begin.hpp>
  27 #include <boost/mpl/aux_/na_spec.hpp>
  28 #include <boost/mpl/aux_/lambda_support.hpp>
  29 #include <boost/mpl/aux_/config/eti.hpp>
  30 #include <boost/mpl/aux_/config/msvc.hpp>
  31 #include <boost/mpl/aux_/config/workaround.hpp>
  32 #if BOOST_WORKAROUND(BOOST_MSVC, < 1300)
  33 #   include <boost/mpl/aux_/msvc_is_class.hpp>
  34 #elif BOOST_WORKAROUND(BOOST_MSVC, == 1300)
  35 #   include <boost/type_traits/is_class.hpp>
  36 #endif
  37
  38 #include <boost/type_traits/is_same.hpp>
  39
  40 namespace boost { namespace mpl {
  41
  42 #if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
  43
  44 namespace aux {
  45
  46 // agurt, 11/jun/03:
  47 // MSVC 6.5/7.0 fails if 'has_begin' is instantiated on a class type that has a
  48 // 'begin' member that doesn't name a type; e.g. 'has_begin< std::vector<int> >'
  49 // would fail; requiring 'T' to have _both_ 'tag' and 'begin' members workarounds
  50 // the issue for most real-world cases
  51 template< typename T > struct is_sequence_impl
  52     : and_<
  53           identity< aux::has_tag<T> >
  54         , identity< aux::has_begin<T> >
  55         >
  56 {
  57 };
  58
  59 } // namespace aux
  60
  61 template<
  62       typename BOOST_MPL_AUX_NA_PARAM(T)
  63     >
  64 struct is_sequence
  65     : if_<
  66 #if BOOST_WORKAROUND(BOOST_MSVC, < 1300)
  67           aux::msvc_is_class<T>
  68 #else
  69           boost::is_class<T>
  70 #endif
  71         , aux::is_sequence_impl<T>
  72         , bool_<false>
  73         >::type
  74 {
  75     BOOST_MPL_AUX_LAMBDA_SUPPORT(1, is_sequence, (T))
  76 };
  77
  78 #elif defined(BOOST_MPL_CFG_NO_HAS_XXX)
  79
  80 template<
  81       typename BOOST_MPL_AUX_NA_PARAM(T)
  82     >
  83 struct is_sequence
  84     : bool_<false>
  85 {
  86 };
  87
  88 #else
  89
  90 template<
  91       typename BOOST_MPL_AUX_NA_PARAM(T)
  92     >
  93 struct is_sequence
  94     : not_< is_same< typename begin<T>::type, void_ > >
  95 {
  96     BOOST_MPL_AUX_LAMBDA_SUPPORT(1, is_sequence, (T))
  97 };
  98
  99 #endif // BOOST_MSVC
 100
 101 #if defined(BOOST_MPL_CFG_MSVC_60_ETI_BUG)
 102 template<> struct is_sequence<int>
 103     : bool_<false>
 104 {
 105 };
 106 #endif
 107
 108 BOOST_MPL_AUX_NA_SPEC_NO_ETI(1, is_sequence)
 109
 110 }}
 111
 112 #endif // BOOST_MPL_IS_SEQUENCE_HPP_INCLUDED