cons.hpp 5.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Copyright (c) 2005 Eric Niebler
  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_CONS_07172005_0843)
  8. #define FUSION_CONS_07172005_0843
  9. #include <boost/fusion/support/config.hpp>
  10. #include <boost/fusion/support/void.hpp>
  11. #include <boost/fusion/support/detail/enabler.hpp>
  12. #include <boost/fusion/container/list/cons_fwd.hpp>
  13. #include <boost/fusion/support/detail/access.hpp>
  14. #include <boost/fusion/sequence/intrinsic/begin.hpp>
  15. #include <boost/fusion/sequence/intrinsic/end.hpp>
  16. #include <boost/fusion/iterator/next.hpp>
  17. #include <boost/fusion/iterator/deref.hpp>
  18. #include <boost/fusion/container/list/nil.hpp>
  19. #include <boost/fusion/container/list/cons_iterator.hpp>
  20. #include <boost/fusion/container/list/detail/begin_impl.hpp>
  21. #include <boost/fusion/container/list/detail/end_impl.hpp>
  22. #include <boost/fusion/container/list/detail/at_impl.hpp>
  23. #include <boost/fusion/container/list/detail/value_at_impl.hpp>
  24. #include <boost/fusion/container/list/detail/empty_impl.hpp>
  25. #include <boost/type_traits/is_convertible.hpp>
  26. #include <boost/type_traits/is_base_of.hpp>
  27. #include <boost/utility/enable_if.hpp>
  28. #include <boost/fusion/support/sequence_base.hpp>
  29. #include <boost/fusion/support/is_sequence.hpp>
  30. #include <boost/mpl/int.hpp>
  31. #include <boost/mpl/bool.hpp>
  32. #include <boost/mpl/and.hpp>
  33. #include <boost/mpl/not.hpp>
  34. namespace boost { namespace fusion
  35. {
  36. struct cons_tag;
  37. struct forward_traversal_tag;
  38. struct fusion_sequence_tag;
  39. template <typename Car, typename Cdr /*= nil_*/>
  40. struct cons : sequence_base<cons<Car, Cdr> >
  41. {
  42. typedef mpl::int_<Cdr::size::value+1> size;
  43. typedef cons_tag fusion_tag;
  44. typedef fusion_sequence_tag tag; // this gets picked up by MPL
  45. typedef mpl::false_ is_view;
  46. typedef forward_traversal_tag category;
  47. typedef Car car_type;
  48. typedef Cdr cdr_type;
  49. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  50. cons()
  51. : car(), cdr() {}
  52. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  53. explicit cons(typename detail::call_param<Car>::type in_car)
  54. : car(in_car), cdr() {}
  55. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  56. cons(
  57. typename detail::call_param<Car>::type in_car
  58. , typename detail::call_param<Cdr>::type in_cdr)
  59. : car(in_car), cdr(in_cdr) {}
  60. template <typename Car2, typename Cdr2>
  61. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  62. cons(cons<Car2, Cdr2> const& rhs)
  63. : car(rhs.car), cdr(rhs.cdr) {}
  64. #if BOOST_WORKAROUND(BOOST_GCC, / 100 == 406) && !defined(BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS)
  65. // Workaround for `array used as initializer` compile error on gcc 4.6 w/ c++0x.
  66. template <typename = void>
  67. #endif
  68. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  69. cons(cons const& rhs)
  70. : car(rhs.car), cdr(rhs.cdr) {}
  71. template <typename Sequence>
  72. BOOST_FUSION_GPU_ENABLED
  73. cons(
  74. Sequence const& seq
  75. , typename boost::enable_if<
  76. mpl::and_<
  77. traits::is_sequence<Sequence>
  78. , mpl::not_<is_base_of<cons, Sequence> >
  79. , mpl::not_<is_convertible<Sequence, Car> > > // use copy to car instead
  80. , detail::enabler_
  81. >::type = detail::enabler
  82. )
  83. : car(*fusion::begin(seq))
  84. , cdr(fusion::next(fusion::begin(seq)), mpl::true_()) {}
  85. template <typename Iterator>
  86. BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  87. cons(Iterator const& iter, mpl::true_ /*this_is_an_iterator*/)
  88. : car(*iter)
  89. , cdr(fusion::next(iter), mpl::true_()) {}
  90. template <typename Car2, typename Cdr2>
  91. BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  92. cons& operator=(cons<Car2, Cdr2> const& rhs)
  93. {
  94. car = rhs.car;
  95. cdr = rhs.cdr;
  96. return *this;
  97. }
  98. BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  99. cons& operator=(cons const& rhs)
  100. {
  101. car = rhs.car;
  102. cdr = rhs.cdr;
  103. return *this;
  104. }
  105. template <typename Sequence>
  106. BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  107. typename boost::enable_if<
  108. mpl::and_<
  109. traits::is_sequence<Sequence>
  110. , mpl::not_<is_convertible<Sequence, Car> > >
  111. , cons&>::type
  112. operator=(Sequence const& seq)
  113. {
  114. typedef typename result_of::begin<Sequence const>::type Iterator;
  115. Iterator iter = fusion::begin(seq);
  116. this->assign_from_iter(iter);
  117. return *this;
  118. }
  119. template <typename Iterator>
  120. BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
  121. void assign_from_iter(Iterator const& iter)
  122. {
  123. car = *iter;
  124. cdr.assign_from_iter(fusion::next(iter));
  125. }
  126. car_type car;
  127. cdr_type cdr;
  128. };
  129. }}
  130. #endif