Chris@16
|
1 /*=============================================================================
|
Chris@16
|
2 Copyright (c) 2005-2013 Joel de Guzman
|
Chris@16
|
3
|
Chris@16
|
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
|
Chris@16
|
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
6 ==============================================================================*/
|
Chris@16
|
7 #if !defined(BOOST_FUSION_MAP_IMPL_02032013_2233)
|
Chris@16
|
8 #define BOOST_FUSION_MAP_IMPL_02032013_2233
|
Chris@16
|
9
|
Chris@16
|
10 #include <boost/fusion/support/detail/access.hpp>
|
Chris@16
|
11 #include <boost/fusion/iterator/deref.hpp>
|
Chris@16
|
12 #include <boost/fusion/iterator/next.hpp>
|
Chris@16
|
13 #include <boost/mpl/int.hpp>
|
Chris@16
|
14 #include <boost/mpl/identity.hpp>
|
Chris@16
|
15
|
Chris@16
|
16 namespace boost { namespace fusion
|
Chris@16
|
17 {
|
Chris@16
|
18 struct fusion_sequence_tag;
|
Chris@16
|
19 }}
|
Chris@16
|
20
|
Chris@16
|
21 namespace boost { namespace fusion { namespace detail
|
Chris@16
|
22 {
|
Chris@16
|
23 struct map_impl_from_iterator {};
|
Chris@16
|
24
|
Chris@16
|
25 template <int index, typename ...T>
|
Chris@16
|
26 struct map_impl;
|
Chris@16
|
27
|
Chris@16
|
28 template <int index_>
|
Chris@16
|
29 struct map_impl<index_>
|
Chris@16
|
30 {
|
Chris@16
|
31 typedef fusion_sequence_tag tag;
|
Chris@16
|
32 static int const index = index_;
|
Chris@16
|
33 static int const size = 0;
|
Chris@16
|
34
|
Chris@16
|
35 map_impl() {}
|
Chris@16
|
36
|
Chris@16
|
37 template <typename Iterator>
|
Chris@16
|
38 map_impl(Iterator const& iter, map_impl_from_iterator)
|
Chris@16
|
39 {}
|
Chris@16
|
40
|
Chris@16
|
41 template <typename Iterator>
|
Chris@16
|
42 void assign(Iterator const& iter, map_impl_from_iterator)
|
Chris@16
|
43 {}
|
Chris@16
|
44
|
Chris@16
|
45 void get();
|
Chris@16
|
46 void get_val();
|
Chris@16
|
47 void get_key();
|
Chris@16
|
48 };
|
Chris@16
|
49
|
Chris@16
|
50 template <int index_, typename Pair, typename ...T>
|
Chris@16
|
51 struct map_impl<index_, Pair, T...> : map_impl<index_ + 1, T...>
|
Chris@16
|
52 {
|
Chris@16
|
53 typedef fusion_sequence_tag tag;
|
Chris@16
|
54 typedef map_impl<index_+1, T...> rest_type;
|
Chris@16
|
55
|
Chris@16
|
56 using rest_type::get;
|
Chris@16
|
57 using rest_type::get_val;
|
Chris@16
|
58 using rest_type::get_key;
|
Chris@16
|
59
|
Chris@16
|
60 static int const index = index_;
|
Chris@16
|
61 static int const size = rest_type::size + 1;
|
Chris@16
|
62
|
Chris@16
|
63 typedef Pair pair_type;
|
Chris@16
|
64 typedef typename Pair::first_type key_type;
|
Chris@16
|
65 typedef typename Pair::second_type value_type;
|
Chris@16
|
66
|
Chris@16
|
67 map_impl()
|
Chris@16
|
68 : rest_type(), element()
|
Chris@16
|
69 {}
|
Chris@16
|
70
|
Chris@16
|
71 map_impl(map_impl const& rhs)
|
Chris@16
|
72 : rest_type(rhs.get_base()), element(rhs.element)
|
Chris@16
|
73 {}
|
Chris@16
|
74
|
Chris@16
|
75 map_impl(map_impl&& rhs)
|
Chris@16
|
76 : rest_type(std::forward<rest_type>(*static_cast<rest_type*>(this)))
|
Chris@16
|
77 , element(std::forward<Pair>(rhs.element))
|
Chris@16
|
78 {}
|
Chris@16
|
79
|
Chris@16
|
80 template <typename ...U>
|
Chris@16
|
81 map_impl(map_impl<index, U...> const& rhs)
|
Chris@16
|
82 : rest_type(rhs.get_base()), element(rhs.element)
|
Chris@16
|
83 {}
|
Chris@16
|
84
|
Chris@16
|
85 map_impl(typename detail::call_param<Pair>::type element
|
Chris@16
|
86 , typename detail::call_param<T>::type... rest)
|
Chris@16
|
87 : rest_type(rest...), element(element)
|
Chris@16
|
88 {}
|
Chris@16
|
89
|
Chris@16
|
90 map_impl(Pair&& element, T&&... rest)
|
Chris@16
|
91 : rest_type(std::forward<T>(rest)...)
|
Chris@16
|
92 , element(std::forward<Pair>(element))
|
Chris@16
|
93 {}
|
Chris@16
|
94
|
Chris@16
|
95 template <typename Iterator>
|
Chris@16
|
96 map_impl(Iterator const& iter, map_impl_from_iterator fi)
|
Chris@16
|
97 : rest_type(fusion::next(iter), fi)
|
Chris@16
|
98 , element(*iter)
|
Chris@16
|
99 {}
|
Chris@16
|
100
|
Chris@16
|
101 rest_type& get_base()
|
Chris@16
|
102 {
|
Chris@16
|
103 return *this;
|
Chris@16
|
104 }
|
Chris@16
|
105
|
Chris@16
|
106 rest_type const& get_base() const
|
Chris@16
|
107 {
|
Chris@16
|
108 return *this;
|
Chris@16
|
109 }
|
Chris@16
|
110
|
Chris@16
|
111 value_type get_val(mpl::identity<key_type>);
|
Chris@16
|
112 pair_type get_val(mpl::int_<index>);
|
Chris@16
|
113 value_type get_val(mpl::identity<key_type>) const;
|
Chris@16
|
114 pair_type get_val(mpl::int_<index>) const;
|
Chris@16
|
115
|
Chris@16
|
116 key_type get_key(mpl::int_<index>);
|
Chris@16
|
117 key_type get_key(mpl::int_<index>) const;
|
Chris@16
|
118
|
Chris@16
|
119 typename cref_result<value_type>::type
|
Chris@16
|
120 get(mpl::identity<key_type>) const
|
Chris@16
|
121 {
|
Chris@16
|
122 return element.second;
|
Chris@16
|
123 }
|
Chris@16
|
124
|
Chris@16
|
125 typename ref_result<value_type>::type
|
Chris@16
|
126 get(mpl::identity<key_type>)
|
Chris@16
|
127 {
|
Chris@16
|
128 return element.second;
|
Chris@16
|
129 }
|
Chris@16
|
130
|
Chris@16
|
131 typename cref_result<pair_type>::type
|
Chris@16
|
132 get(mpl::int_<index>) const
|
Chris@16
|
133 {
|
Chris@16
|
134 return element;
|
Chris@16
|
135 }
|
Chris@16
|
136
|
Chris@16
|
137 typename ref_result<pair_type>::type
|
Chris@16
|
138 get(mpl::int_<index>)
|
Chris@16
|
139 {
|
Chris@16
|
140 return element;
|
Chris@16
|
141 }
|
Chris@16
|
142
|
Chris@16
|
143 template <typename ...U>
|
Chris@16
|
144 map_impl& operator=(map_impl<index, U...> const& rhs)
|
Chris@16
|
145 {
|
Chris@16
|
146 rest_type::operator=(rhs);
|
Chris@16
|
147 element = rhs.element;
|
Chris@16
|
148 return *this;
|
Chris@16
|
149 }
|
Chris@16
|
150
|
Chris@16
|
151 map_impl& operator=(map_impl const& rhs)
|
Chris@16
|
152 {
|
Chris@16
|
153 rest_type::operator=(rhs);
|
Chris@16
|
154 element = rhs.element;
|
Chris@16
|
155 return *this;
|
Chris@16
|
156 }
|
Chris@16
|
157
|
Chris@16
|
158 map_impl& operator=(map_impl&& rhs)
|
Chris@16
|
159 {
|
Chris@16
|
160 rest_type::operator=(std::forward<map_impl>(rhs));
|
Chris@16
|
161 element = std::forward<Pair>(rhs.element);
|
Chris@16
|
162 return *this;
|
Chris@16
|
163 }
|
Chris@16
|
164
|
Chris@16
|
165 template <typename Iterator>
|
Chris@16
|
166 void assign(Iterator const& iter, map_impl_from_iterator fi)
|
Chris@16
|
167 {
|
Chris@16
|
168 rest_type::assign(fusion::next(iter), fi);
|
Chris@16
|
169 element = *iter;
|
Chris@16
|
170 }
|
Chris@16
|
171
|
Chris@16
|
172 Pair element;
|
Chris@16
|
173 };
|
Chris@16
|
174 }}}
|
Chris@16
|
175
|
Chris@16
|
176 #endif
|