tag_of.hpp 2.2 KB

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