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