Chris@16
|
1 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
2 //
|
Chris@16
|
3 // (C) Copyright Ion Gaztanaga 2012-2012.
|
Chris@16
|
4 // Distributed under the Boost Software License, Version 1.0.
|
Chris@16
|
5 // (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
6 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
7 //
|
Chris@16
|
8 // See http://www.boost.org/libs/move for documentation.
|
Chris@16
|
9 //
|
Chris@16
|
10 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
11
|
Chris@16
|
12 //! \file
|
Chris@16
|
13
|
Chris@16
|
14 #ifndef BOOST_MOVE_ITERATOR_HPP
|
Chris@16
|
15 #define BOOST_MOVE_ITERATOR_HPP
|
Chris@16
|
16
|
Chris@101
|
17 #ifndef BOOST_CONFIG_HPP
|
Chris@101
|
18 # include <boost/config.hpp>
|
Chris@101
|
19 #endif
|
Chris@101
|
20 #
|
Chris@101
|
21 #if defined(BOOST_HAS_PRAGMA_ONCE)
|
Chris@101
|
22 # pragma once
|
Chris@101
|
23 #endif
|
Chris@101
|
24
|
Chris@16
|
25 #include <boost/move/detail/config_begin.hpp>
|
Chris@101
|
26 #include <boost/move/detail/iterator_traits.hpp>
|
Chris@101
|
27 #include <boost/move/utility_core.hpp>
|
Chris@16
|
28
|
Chris@16
|
29 namespace boost {
|
Chris@16
|
30
|
Chris@16
|
31 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
32 //
|
Chris@16
|
33 // move_iterator
|
Chris@16
|
34 //
|
Chris@16
|
35 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
36
|
Chris@16
|
37 //! Class template move_iterator is an iterator adaptor with the same behavior
|
Chris@16
|
38 //! as the underlying iterator except that its dereference operator implicitly
|
Chris@16
|
39 //! converts the value returned by the underlying iterator's dereference operator
|
Chris@16
|
40 //! to an rvalue reference. Some generic algorithms can be called with move
|
Chris@16
|
41 //! iterators to replace copying with moving.
|
Chris@16
|
42 template <class It>
|
Chris@16
|
43 class move_iterator
|
Chris@16
|
44 {
|
Chris@16
|
45 public:
|
Chris@16
|
46 typedef It iterator_type;
|
Chris@101
|
47 typedef typename boost::movelib::iterator_traits<iterator_type>::value_type value_type;
|
Chris@16
|
48 #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) || defined(BOOST_MOVE_DOXYGEN_INVOKED)
|
Chris@16
|
49 typedef value_type && reference;
|
Chris@16
|
50 #else
|
Chris@16
|
51 typedef typename ::boost::move_detail::if_
|
Chris@16
|
52 < ::boost::has_move_emulation_enabled<value_type>
|
Chris@16
|
53 , ::boost::rv<value_type>&
|
Chris@16
|
54 , value_type & >::type reference;
|
Chris@16
|
55 #endif
|
Chris@16
|
56 typedef It pointer;
|
Chris@101
|
57 typedef typename boost::movelib::iterator_traits<iterator_type>::difference_type difference_type;
|
Chris@101
|
58 typedef typename boost::movelib::iterator_traits<iterator_type>::iterator_category iterator_category;
|
Chris@16
|
59
|
Chris@16
|
60 move_iterator()
|
Chris@16
|
61 {}
|
Chris@16
|
62
|
Chris@16
|
63 explicit move_iterator(It i)
|
Chris@16
|
64 : m_it(i)
|
Chris@16
|
65 {}
|
Chris@16
|
66
|
Chris@16
|
67 template <class U>
|
Chris@16
|
68 move_iterator(const move_iterator<U>& u)
|
Chris@16
|
69 : m_it(u.base())
|
Chris@16
|
70 {}
|
Chris@16
|
71
|
Chris@16
|
72 iterator_type base() const
|
Chris@16
|
73 { return m_it; }
|
Chris@16
|
74
|
Chris@16
|
75 reference operator*() const
|
Chris@16
|
76 {
|
Chris@16
|
77 #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) || defined(BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES)
|
Chris@16
|
78 return *m_it;
|
Chris@16
|
79 #else
|
Chris@16
|
80 return ::boost::move(*m_it);
|
Chris@16
|
81 #endif
|
Chris@16
|
82 }
|
Chris@16
|
83
|
Chris@16
|
84 pointer operator->() const
|
Chris@16
|
85 { return m_it; }
|
Chris@16
|
86
|
Chris@16
|
87 move_iterator& operator++()
|
Chris@16
|
88 { ++m_it; return *this; }
|
Chris@16
|
89
|
Chris@16
|
90 move_iterator<iterator_type> operator++(int)
|
Chris@16
|
91 { move_iterator<iterator_type> tmp(*this); ++(*this); return tmp; }
|
Chris@16
|
92
|
Chris@16
|
93 move_iterator& operator--()
|
Chris@16
|
94 { --m_it; return *this; }
|
Chris@16
|
95
|
Chris@16
|
96 move_iterator<iterator_type> operator--(int)
|
Chris@16
|
97 { move_iterator<iterator_type> tmp(*this); --(*this); return tmp; }
|
Chris@16
|
98
|
Chris@16
|
99 move_iterator<iterator_type> operator+ (difference_type n) const
|
Chris@16
|
100 { return move_iterator<iterator_type>(m_it + n); }
|
Chris@16
|
101
|
Chris@16
|
102 move_iterator& operator+=(difference_type n)
|
Chris@16
|
103 { m_it += n; return *this; }
|
Chris@16
|
104
|
Chris@16
|
105 move_iterator<iterator_type> operator- (difference_type n) const
|
Chris@16
|
106 { return move_iterator<iterator_type>(m_it - n); }
|
Chris@16
|
107
|
Chris@16
|
108 move_iterator& operator-=(difference_type n)
|
Chris@16
|
109 { m_it -= n; return *this; }
|
Chris@16
|
110
|
Chris@16
|
111 reference operator[](difference_type n) const
|
Chris@16
|
112 {
|
Chris@16
|
113 #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) || defined(BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES)
|
Chris@16
|
114 return m_it[n];
|
Chris@16
|
115 #else
|
Chris@16
|
116 return ::boost::move(m_it[n]);
|
Chris@16
|
117 #endif
|
Chris@16
|
118 }
|
Chris@16
|
119
|
Chris@16
|
120 friend bool operator==(const move_iterator& x, const move_iterator& y)
|
Chris@16
|
121 { return x.base() == y.base(); }
|
Chris@16
|
122
|
Chris@16
|
123 friend bool operator!=(const move_iterator& x, const move_iterator& y)
|
Chris@16
|
124 { return x.base() != y.base(); }
|
Chris@16
|
125
|
Chris@16
|
126 friend bool operator< (const move_iterator& x, const move_iterator& y)
|
Chris@16
|
127 { return x.base() < y.base(); }
|
Chris@16
|
128
|
Chris@16
|
129 friend bool operator<=(const move_iterator& x, const move_iterator& y)
|
Chris@16
|
130 { return x.base() <= y.base(); }
|
Chris@16
|
131
|
Chris@16
|
132 friend bool operator> (const move_iterator& x, const move_iterator& y)
|
Chris@16
|
133 { return x.base() > y.base(); }
|
Chris@16
|
134
|
Chris@16
|
135 friend bool operator>=(const move_iterator& x, const move_iterator& y)
|
Chris@16
|
136 { return x.base() >= y.base(); }
|
Chris@16
|
137
|
Chris@16
|
138 friend difference_type operator-(const move_iterator& x, const move_iterator& y)
|
Chris@16
|
139 { return x.base() - y.base(); }
|
Chris@16
|
140
|
Chris@16
|
141 friend move_iterator operator+(difference_type n, const move_iterator& x)
|
Chris@16
|
142 { return move_iterator(x.base() + n); }
|
Chris@16
|
143
|
Chris@16
|
144 private:
|
Chris@16
|
145 It m_it;
|
Chris@16
|
146 };
|
Chris@16
|
147
|
Chris@16
|
148 //is_move_iterator
|
Chris@16
|
149 namespace move_detail {
|
Chris@16
|
150
|
Chris@16
|
151 template <class I>
|
Chris@16
|
152 struct is_move_iterator
|
Chris@16
|
153 {
|
Chris@101
|
154 static const bool value = false;
|
Chris@16
|
155 };
|
Chris@16
|
156
|
Chris@16
|
157 template <class I>
|
Chris@16
|
158 struct is_move_iterator< ::boost::move_iterator<I> >
|
Chris@16
|
159 {
|
Chris@101
|
160 static const bool value = true;
|
Chris@16
|
161 };
|
Chris@16
|
162
|
Chris@16
|
163 } //namespace move_detail {
|
Chris@16
|
164
|
Chris@16
|
165 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
166 //
|
Chris@16
|
167 // move_iterator
|
Chris@16
|
168 //
|
Chris@16
|
169 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
170
|
Chris@16
|
171 //!
|
Chris@16
|
172 //! <b>Returns</b>: move_iterator<It>(i).
|
Chris@16
|
173 template<class It>
|
Chris@16
|
174 inline move_iterator<It> make_move_iterator(const It &it)
|
Chris@16
|
175 { return move_iterator<It>(it); }
|
Chris@16
|
176
|
Chris@16
|
177 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
178 //
|
Chris@16
|
179 // back_move_insert_iterator
|
Chris@16
|
180 //
|
Chris@16
|
181 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
182
|
Chris@16
|
183
|
Chris@16
|
184 //! A move insert iterator that move constructs elements at the
|
Chris@16
|
185 //! back of a container
|
Chris@16
|
186 template <typename C> // C models Container
|
Chris@16
|
187 class back_move_insert_iterator
|
Chris@16
|
188 {
|
Chris@16
|
189 C* container_m;
|
Chris@16
|
190
|
Chris@16
|
191 public:
|
Chris@101
|
192 typedef C container_type;
|
Chris@101
|
193 typedef typename C::value_type value_type;
|
Chris@101
|
194 typedef typename C::reference reference;
|
Chris@101
|
195 typedef typename C::pointer pointer;
|
Chris@101
|
196 typedef typename C::difference_type difference_type;
|
Chris@101
|
197 typedef std::output_iterator_tag iterator_category;
|
Chris@16
|
198
|
Chris@16
|
199 explicit back_move_insert_iterator(C& x) : container_m(&x) { }
|
Chris@16
|
200
|
Chris@16
|
201 back_move_insert_iterator& operator=(reference x)
|
Chris@16
|
202 { container_m->push_back(boost::move(x)); return *this; }
|
Chris@16
|
203
|
Chris@16
|
204 back_move_insert_iterator& operator=(BOOST_RV_REF(value_type) x)
|
Chris@16
|
205 { reference rx = x; return this->operator=(rx); }
|
Chris@16
|
206
|
Chris@16
|
207 back_move_insert_iterator& operator*() { return *this; }
|
Chris@16
|
208 back_move_insert_iterator& operator++() { return *this; }
|
Chris@16
|
209 back_move_insert_iterator& operator++(int) { return *this; }
|
Chris@16
|
210 };
|
Chris@16
|
211
|
Chris@16
|
212 //!
|
Chris@16
|
213 //! <b>Returns</b>: back_move_insert_iterator<C>(x).
|
Chris@16
|
214 template <typename C> // C models Container
|
Chris@16
|
215 inline back_move_insert_iterator<C> back_move_inserter(C& x)
|
Chris@16
|
216 {
|
Chris@16
|
217 return back_move_insert_iterator<C>(x);
|
Chris@16
|
218 }
|
Chris@16
|
219
|
Chris@16
|
220 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
221 //
|
Chris@16
|
222 // front_move_insert_iterator
|
Chris@16
|
223 //
|
Chris@16
|
224 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
225
|
Chris@16
|
226 //! A move insert iterator that move constructs elements int the
|
Chris@16
|
227 //! front of a container
|
Chris@16
|
228 template <typename C> // C models Container
|
Chris@16
|
229 class front_move_insert_iterator
|
Chris@16
|
230 {
|
Chris@16
|
231 C* container_m;
|
Chris@16
|
232
|
Chris@16
|
233 public:
|
Chris@101
|
234 typedef C container_type;
|
Chris@101
|
235 typedef typename C::value_type value_type;
|
Chris@101
|
236 typedef typename C::reference reference;
|
Chris@101
|
237 typedef typename C::pointer pointer;
|
Chris@101
|
238 typedef typename C::difference_type difference_type;
|
Chris@101
|
239 typedef std::output_iterator_tag iterator_category;
|
Chris@16
|
240
|
Chris@16
|
241 explicit front_move_insert_iterator(C& x) : container_m(&x) { }
|
Chris@16
|
242
|
Chris@16
|
243 front_move_insert_iterator& operator=(reference x)
|
Chris@16
|
244 { container_m->push_front(boost::move(x)); return *this; }
|
Chris@16
|
245
|
Chris@16
|
246 front_move_insert_iterator& operator=(BOOST_RV_REF(value_type) x)
|
Chris@16
|
247 { reference rx = x; return this->operator=(rx); }
|
Chris@16
|
248
|
Chris@16
|
249 front_move_insert_iterator& operator*() { return *this; }
|
Chris@16
|
250 front_move_insert_iterator& operator++() { return *this; }
|
Chris@16
|
251 front_move_insert_iterator& operator++(int) { return *this; }
|
Chris@16
|
252 };
|
Chris@16
|
253
|
Chris@16
|
254 //!
|
Chris@16
|
255 //! <b>Returns</b>: front_move_insert_iterator<C>(x).
|
Chris@16
|
256 template <typename C> // C models Container
|
Chris@16
|
257 inline front_move_insert_iterator<C> front_move_inserter(C& x)
|
Chris@16
|
258 {
|
Chris@16
|
259 return front_move_insert_iterator<C>(x);
|
Chris@16
|
260 }
|
Chris@16
|
261
|
Chris@16
|
262 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
263 //
|
Chris@16
|
264 // insert_move_iterator
|
Chris@16
|
265 //
|
Chris@16
|
266 //////////////////////////////////////////////////////////////////////////////
|
Chris@16
|
267 template <typename C> // C models Container
|
Chris@16
|
268 class move_insert_iterator
|
Chris@16
|
269 {
|
Chris@16
|
270 C* container_m;
|
Chris@16
|
271 typename C::iterator pos_;
|
Chris@16
|
272
|
Chris@16
|
273 public:
|
Chris@101
|
274 typedef C container_type;
|
Chris@101
|
275 typedef typename C::value_type value_type;
|
Chris@101
|
276 typedef typename C::reference reference;
|
Chris@101
|
277 typedef typename C::pointer pointer;
|
Chris@101
|
278 typedef typename C::difference_type difference_type;
|
Chris@101
|
279 typedef std::output_iterator_tag iterator_category;
|
Chris@16
|
280
|
Chris@16
|
281 explicit move_insert_iterator(C& x, typename C::iterator pos)
|
Chris@16
|
282 : container_m(&x), pos_(pos)
|
Chris@16
|
283 {}
|
Chris@16
|
284
|
Chris@16
|
285 move_insert_iterator& operator=(reference x)
|
Chris@16
|
286 {
|
Chris@16
|
287 pos_ = container_m->insert(pos_, ::boost::move(x));
|
Chris@16
|
288 ++pos_;
|
Chris@16
|
289 return *this;
|
Chris@16
|
290 }
|
Chris@16
|
291
|
Chris@16
|
292 move_insert_iterator& operator=(BOOST_RV_REF(value_type) x)
|
Chris@16
|
293 { reference rx = x; return this->operator=(rx); }
|
Chris@16
|
294
|
Chris@16
|
295 move_insert_iterator& operator*() { return *this; }
|
Chris@16
|
296 move_insert_iterator& operator++() { return *this; }
|
Chris@16
|
297 move_insert_iterator& operator++(int) { return *this; }
|
Chris@16
|
298 };
|
Chris@16
|
299
|
Chris@16
|
300 //!
|
Chris@16
|
301 //! <b>Returns</b>: move_insert_iterator<C>(x, it).
|
Chris@16
|
302 template <typename C> // C models Container
|
Chris@16
|
303 inline move_insert_iterator<C> move_inserter(C& x, typename C::iterator it)
|
Chris@16
|
304 {
|
Chris@16
|
305 return move_insert_iterator<C>(x, it);
|
Chris@16
|
306 }
|
Chris@16
|
307
|
Chris@16
|
308 } //namespace boost {
|
Chris@16
|
309
|
Chris@16
|
310 #include <boost/move/detail/config_end.hpp>
|
Chris@16
|
311
|
Chris@16
|
312 #endif //#ifndef BOOST_MOVE_ITERATOR_HPP
|