Chris@16
|
1 //
|
Chris@16
|
2 // Boost.Pointer Container
|
Chris@16
|
3 //
|
Chris@16
|
4 // Copyright Thorsten Ottosen 2003-2005. Use, modification and
|
Chris@16
|
5 // distribution is subject to the Boost Software License, Version
|
Chris@16
|
6 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
7 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
8 //
|
Chris@16
|
9 // For more information, see http://www.boost.org/libs/ptr_container/
|
Chris@16
|
10 //
|
Chris@16
|
11
|
Chris@16
|
12 #ifndef BOOST_PTR_CONTAINER_PTR_SEQUENCE_ADAPTER_HPP
|
Chris@16
|
13 #define BOOST_PTR_CONTAINER_PTR_SEQUENCE_ADAPTER_HPP
|
Chris@16
|
14
|
Chris@16
|
15 #if defined(_MSC_VER) && (_MSC_VER >= 1200)
|
Chris@16
|
16 # pragma once
|
Chris@16
|
17 #endif
|
Chris@16
|
18
|
Chris@16
|
19
|
Chris@16
|
20 #include <boost/ptr_container/detail/reversible_ptr_container.hpp>
|
Chris@16
|
21 #include <boost/ptr_container/indirect_fun.hpp>
|
Chris@16
|
22 #include <boost/ptr_container/detail/void_ptr_iterator.hpp>
|
Chris@16
|
23 #include <boost/type_traits/remove_pointer.hpp>
|
Chris@16
|
24 #include <boost/type_traits/is_same.hpp>
|
Chris@16
|
25
|
Chris@16
|
26
|
Chris@16
|
27 namespace boost
|
Chris@16
|
28 {
|
Chris@16
|
29 namespace ptr_container_detail
|
Chris@16
|
30 {
|
Chris@16
|
31 template
|
Chris@16
|
32 <
|
Chris@16
|
33 class T,
|
Chris@16
|
34 class VoidPtrSeq
|
Chris@16
|
35 >
|
Chris@16
|
36 struct sequence_config
|
Chris@16
|
37 {
|
Chris@16
|
38 typedef BOOST_DEDUCED_TYPENAME remove_nullable<T>::type
|
Chris@16
|
39 U;
|
Chris@16
|
40 typedef VoidPtrSeq
|
Chris@16
|
41 void_container_type;
|
Chris@16
|
42
|
Chris@16
|
43 typedef BOOST_DEDUCED_TYPENAME VoidPtrSeq::allocator_type
|
Chris@16
|
44 allocator_type;
|
Chris@16
|
45
|
Chris@16
|
46 typedef U value_type;
|
Chris@16
|
47
|
Chris@16
|
48 typedef void_ptr_iterator<
|
Chris@16
|
49 BOOST_DEDUCED_TYPENAME VoidPtrSeq::iterator, U >
|
Chris@16
|
50 iterator;
|
Chris@16
|
51
|
Chris@16
|
52 typedef void_ptr_iterator<
|
Chris@16
|
53 BOOST_DEDUCED_TYPENAME VoidPtrSeq::const_iterator, const U >
|
Chris@16
|
54 const_iterator;
|
Chris@16
|
55
|
Chris@16
|
56 #if defined(BOOST_NO_SFINAE) || defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
|
Chris@16
|
57
|
Chris@16
|
58 template< class Iter >
|
Chris@16
|
59 static U* get_pointer( Iter i )
|
Chris@16
|
60 {
|
Chris@16
|
61 return static_cast<U*>( *i.base() );
|
Chris@16
|
62 }
|
Chris@16
|
63
|
Chris@16
|
64 #else
|
Chris@16
|
65 template< class Iter >
|
Chris@16
|
66 static U* get_pointer( void_ptr_iterator<Iter,U> i )
|
Chris@16
|
67 {
|
Chris@16
|
68 return static_cast<U*>( *i.base() );
|
Chris@16
|
69 }
|
Chris@16
|
70
|
Chris@16
|
71 template< class Iter >
|
Chris@16
|
72 static U* get_pointer( Iter i )
|
Chris@16
|
73 {
|
Chris@16
|
74 return &*i;
|
Chris@16
|
75 }
|
Chris@16
|
76 #endif
|
Chris@16
|
77
|
Chris@16
|
78 #if defined(BOOST_NO_SFINAE) && !BOOST_WORKAROUND(__MWERKS__, <= 0x3003)
|
Chris@16
|
79
|
Chris@16
|
80 template< class Iter >
|
Chris@16
|
81 static const U* get_const_pointer( Iter i )
|
Chris@16
|
82 {
|
Chris@16
|
83 return static_cast<const U*>( *i.base() );
|
Chris@16
|
84 }
|
Chris@16
|
85
|
Chris@16
|
86 #else // BOOST_NO_SFINAE
|
Chris@16
|
87
|
Chris@16
|
88 #if BOOST_WORKAROUND(__MWERKS__, <= 0x3003)
|
Chris@16
|
89 template< class Iter >
|
Chris@16
|
90 static const U* get_const_pointer( void_ptr_iterator<Iter,U> i )
|
Chris@16
|
91 {
|
Chris@16
|
92 return static_cast<const U*>( *i.base() );
|
Chris@16
|
93 }
|
Chris@16
|
94 #else // BOOST_WORKAROUND
|
Chris@16
|
95 template< class Iter >
|
Chris@16
|
96 static const U* get_const_pointer( void_ptr_iterator<Iter,const U> i )
|
Chris@16
|
97 {
|
Chris@16
|
98 return static_cast<const U*>( *i.base() );
|
Chris@16
|
99 }
|
Chris@16
|
100 #endif // BOOST_WORKAROUND
|
Chris@16
|
101
|
Chris@16
|
102 template< class Iter >
|
Chris@16
|
103 static const U* get_const_pointer( Iter i )
|
Chris@16
|
104 {
|
Chris@16
|
105 return &*i;
|
Chris@16
|
106 }
|
Chris@16
|
107 #endif // BOOST_NO_SFINAE
|
Chris@16
|
108
|
Chris@16
|
109 BOOST_STATIC_CONSTANT(bool, allow_null = boost::is_nullable<T>::value );
|
Chris@16
|
110 };
|
Chris@16
|
111
|
Chris@16
|
112 } // ptr_container_detail
|
Chris@16
|
113
|
Chris@16
|
114
|
Chris@16
|
115 template< class Iterator, class T >
|
Chris@16
|
116 inline bool is_null( void_ptr_iterator<Iterator,T> i )
|
Chris@16
|
117 {
|
Chris@16
|
118 return *i.base() == 0;
|
Chris@16
|
119 }
|
Chris@16
|
120
|
Chris@16
|
121
|
Chris@16
|
122
|
Chris@16
|
123 template
|
Chris@16
|
124 <
|
Chris@16
|
125 class T,
|
Chris@16
|
126 class VoidPtrSeq,
|
Chris@16
|
127 class CloneAllocator = heap_clone_allocator
|
Chris@16
|
128 >
|
Chris@16
|
129 class ptr_sequence_adapter : public
|
Chris@16
|
130 ptr_container_detail::reversible_ptr_container< ptr_container_detail::sequence_config<T,VoidPtrSeq>,
|
Chris@16
|
131 CloneAllocator >
|
Chris@16
|
132 {
|
Chris@16
|
133 typedef ptr_container_detail::reversible_ptr_container< ptr_container_detail::sequence_config<T,VoidPtrSeq>,
|
Chris@16
|
134 CloneAllocator >
|
Chris@16
|
135 base_type;
|
Chris@16
|
136
|
Chris@16
|
137 typedef ptr_sequence_adapter<T,VoidPtrSeq,CloneAllocator>
|
Chris@16
|
138 this_type;
|
Chris@16
|
139
|
Chris@16
|
140 protected:
|
Chris@16
|
141 typedef BOOST_DEDUCED_TYPENAME base_type::scoped_deleter scoped_deleter;
|
Chris@16
|
142
|
Chris@16
|
143 public:
|
Chris@16
|
144 typedef BOOST_DEDUCED_TYPENAME base_type::value_type value_type;
|
Chris@16
|
145 typedef BOOST_DEDUCED_TYPENAME base_type::reference reference;
|
Chris@16
|
146 typedef BOOST_DEDUCED_TYPENAME base_type::const_reference
|
Chris@16
|
147 const_reference;
|
Chris@16
|
148 typedef BOOST_DEDUCED_TYPENAME base_type::auto_type auto_type;
|
Chris@16
|
149 typedef BOOST_DEDUCED_TYPENAME base_type::clone_allocator_type
|
Chris@16
|
150 clone_allocator_type;
|
Chris@16
|
151 typedef BOOST_DEDUCED_TYPENAME base_type::iterator iterator;
|
Chris@16
|
152 typedef BOOST_DEDUCED_TYPENAME base_type::size_type size_type;
|
Chris@16
|
153 typedef BOOST_DEDUCED_TYPENAME base_type::allocator_type
|
Chris@16
|
154 allocator_type;
|
Chris@16
|
155
|
Chris@16
|
156 ptr_sequence_adapter()
|
Chris@16
|
157 { }
|
Chris@16
|
158
|
Chris@16
|
159 template< class Allocator >
|
Chris@16
|
160 explicit ptr_sequence_adapter( const Allocator& a )
|
Chris@16
|
161 : base_type( a )
|
Chris@16
|
162 { }
|
Chris@16
|
163
|
Chris@16
|
164 template< class SizeType >
|
Chris@16
|
165 ptr_sequence_adapter( SizeType n,
|
Chris@16
|
166 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
167 : base_type( n, tag )
|
Chris@16
|
168 { }
|
Chris@16
|
169
|
Chris@16
|
170 template< class SizeType, class Allocator >
|
Chris@16
|
171 ptr_sequence_adapter( SizeType n, const Allocator& a,
|
Chris@16
|
172 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
173 : base_type( n, a, tag )
|
Chris@16
|
174 { }
|
Chris@16
|
175
|
Chris@16
|
176 template< class InputIterator >
|
Chris@16
|
177 ptr_sequence_adapter( InputIterator first, InputIterator last )
|
Chris@16
|
178 : base_type( first, last )
|
Chris@16
|
179 { }
|
Chris@16
|
180
|
Chris@16
|
181 template< class InputIterator, class Allocator >
|
Chris@16
|
182 ptr_sequence_adapter( InputIterator first, InputIterator last,
|
Chris@16
|
183 const Allocator& a )
|
Chris@16
|
184 : base_type( first, last, a )
|
Chris@16
|
185 { }
|
Chris@16
|
186
|
Chris@16
|
187 template< class ForwardIterator >
|
Chris@16
|
188 ptr_sequence_adapter( ForwardIterator first,
|
Chris@16
|
189 ForwardIterator last,
|
Chris@16
|
190 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
191 : base_type( first, last, tag )
|
Chris@16
|
192 { }
|
Chris@16
|
193
|
Chris@16
|
194 template< class SizeType, class ForwardIterator >
|
Chris@16
|
195 ptr_sequence_adapter( SizeType n,
|
Chris@16
|
196 ForwardIterator first,
|
Chris@16
|
197 ForwardIterator last,
|
Chris@16
|
198 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
199 : base_type( n, first, last, tag )
|
Chris@16
|
200 { }
|
Chris@16
|
201
|
Chris@16
|
202 ptr_sequence_adapter( const ptr_sequence_adapter& r )
|
Chris@16
|
203 : base_type( r )
|
Chris@16
|
204 { }
|
Chris@16
|
205
|
Chris@16
|
206 template< class U >
|
Chris@16
|
207 ptr_sequence_adapter( const ptr_sequence_adapter<U,VoidPtrSeq,CloneAllocator>& r )
|
Chris@16
|
208 : base_type( r )
|
Chris@16
|
209 { }
|
Chris@16
|
210
|
Chris@16
|
211 ptr_sequence_adapter( const ptr_sequence_adapter& r,
|
Chris@16
|
212 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
213 : base_type( r, tag )
|
Chris@16
|
214 { }
|
Chris@16
|
215
|
Chris@16
|
216 template< class U >
|
Chris@16
|
217 ptr_sequence_adapter( const ptr_sequence_adapter<U,VoidPtrSeq,CloneAllocator>& r,
|
Chris@16
|
218 ptr_container_detail::fixed_length_sequence_tag tag )
|
Chris@16
|
219 : base_type( r, tag )
|
Chris@16
|
220 { }
|
Chris@16
|
221
|
Chris@16
|
222 template< class PtrContainer >
|
Chris@16
|
223 explicit ptr_sequence_adapter( std::auto_ptr<PtrContainer> clone )
|
Chris@16
|
224 : base_type( clone )
|
Chris@16
|
225 { }
|
Chris@16
|
226
|
Chris@16
|
227 ptr_sequence_adapter& operator=( const ptr_sequence_adapter r )
|
Chris@16
|
228 {
|
Chris@16
|
229 this->swap( r );
|
Chris@16
|
230 return *this;
|
Chris@16
|
231 }
|
Chris@16
|
232
|
Chris@16
|
233 template< class PtrContainer >
|
Chris@16
|
234 ptr_sequence_adapter& operator=( std::auto_ptr<PtrContainer> clone )
|
Chris@16
|
235 {
|
Chris@16
|
236 base_type::operator=( clone );
|
Chris@16
|
237 return *this;
|
Chris@16
|
238 }
|
Chris@16
|
239
|
Chris@16
|
240 /////////////////////////////////////////////////////////////
|
Chris@16
|
241 // modifiers
|
Chris@16
|
242 /////////////////////////////////////////////////////////////
|
Chris@16
|
243
|
Chris@16
|
244 void push_back( value_type x ) // strong
|
Chris@16
|
245 {
|
Chris@16
|
246 this->enforce_null_policy( x, "Null pointer in 'push_back()'" );
|
Chris@16
|
247
|
Chris@16
|
248 auto_type ptr( x ); // notrow
|
Chris@16
|
249 this->base().push_back( x ); // strong, commit
|
Chris@16
|
250 ptr.release(); // nothrow
|
Chris@16
|
251 }
|
Chris@16
|
252
|
Chris@16
|
253 template< class U >
|
Chris@16
|
254 void push_back( std::auto_ptr<U> x )
|
Chris@16
|
255 {
|
Chris@16
|
256 push_back( x.release() );
|
Chris@16
|
257 }
|
Chris@16
|
258
|
Chris@16
|
259 void push_front( value_type x )
|
Chris@16
|
260 {
|
Chris@16
|
261 this->enforce_null_policy( x, "Null pointer in 'push_front()'" );
|
Chris@16
|
262
|
Chris@16
|
263 auto_type ptr( x ); // nothrow
|
Chris@16
|
264 this->base().push_front( x ); // strong, commit
|
Chris@16
|
265 ptr.release(); // nothrow
|
Chris@16
|
266 }
|
Chris@16
|
267
|
Chris@16
|
268 template< class U >
|
Chris@16
|
269 void push_front( std::auto_ptr<U> x )
|
Chris@16
|
270 {
|
Chris@16
|
271 push_front( x.release() );
|
Chris@16
|
272 }
|
Chris@16
|
273
|
Chris@16
|
274 auto_type pop_back()
|
Chris@16
|
275 {
|
Chris@16
|
276 BOOST_ASSERT( !this->empty() &&
|
Chris@16
|
277 "'pop_back()' on empty container" );
|
Chris@16
|
278 auto_type ptr( static_cast<value_type>( this->base().back() ) );
|
Chris@16
|
279 // nothrow
|
Chris@16
|
280 this->base().pop_back(); // nothrow
|
Chris@16
|
281 return ptr_container_detail::move( ptr ); // nothrow
|
Chris@16
|
282 }
|
Chris@16
|
283
|
Chris@16
|
284 auto_type pop_front()
|
Chris@16
|
285 {
|
Chris@16
|
286 BOOST_ASSERT( !this->empty() &&
|
Chris@16
|
287 "'pop_front()' on empty container" );
|
Chris@16
|
288 auto_type ptr( static_cast<value_type>( this->base().front() ) );
|
Chris@16
|
289 // nothrow
|
Chris@16
|
290 this->base().pop_front(); // nothrow
|
Chris@16
|
291 return ptr_container_detail::move( ptr );
|
Chris@16
|
292 }
|
Chris@16
|
293
|
Chris@16
|
294 reference front()
|
Chris@16
|
295 {
|
Chris@16
|
296 BOOST_ASSERT( !this->empty() &&
|
Chris@16
|
297 "accessing 'front()' on empty container" );
|
Chris@16
|
298
|
Chris@16
|
299 BOOST_ASSERT( !::boost::is_null( this->begin() ) );
|
Chris@16
|
300 return *this->begin();
|
Chris@16
|
301 }
|
Chris@16
|
302
|
Chris@16
|
303 const_reference front() const
|
Chris@16
|
304 {
|
Chris@16
|
305 return const_cast<ptr_sequence_adapter*>(this)->front();
|
Chris@16
|
306 }
|
Chris@16
|
307
|
Chris@16
|
308 reference back()
|
Chris@16
|
309 {
|
Chris@16
|
310 BOOST_ASSERT( !this->empty() &&
|
Chris@16
|
311 "accessing 'back()' on empty container" );
|
Chris@16
|
312 BOOST_ASSERT( !::boost::is_null( --this->end() ) );
|
Chris@16
|
313 return *--this->end();
|
Chris@16
|
314 }
|
Chris@16
|
315
|
Chris@16
|
316 const_reference back() const
|
Chris@16
|
317 {
|
Chris@16
|
318 return const_cast<ptr_sequence_adapter*>(this)->back();
|
Chris@16
|
319 }
|
Chris@16
|
320
|
Chris@16
|
321 public: // deque/vector inerface
|
Chris@16
|
322
|
Chris@16
|
323 reference operator[]( size_type n ) // nothrow
|
Chris@16
|
324 {
|
Chris@16
|
325 BOOST_ASSERT( n < this->size() );
|
Chris@16
|
326 BOOST_ASSERT( !this->is_null( n ) );
|
Chris@16
|
327 return *static_cast<value_type>( this->base()[n] );
|
Chris@16
|
328 }
|
Chris@16
|
329
|
Chris@16
|
330 const_reference operator[]( size_type n ) const // nothrow
|
Chris@16
|
331 {
|
Chris@16
|
332 BOOST_ASSERT( n < this->size() );
|
Chris@16
|
333 BOOST_ASSERT( !this->is_null( n ) );
|
Chris@16
|
334 return *static_cast<value_type>( this->base()[n] );
|
Chris@16
|
335 }
|
Chris@16
|
336
|
Chris@16
|
337 reference at( size_type n )
|
Chris@16
|
338 {
|
Chris@16
|
339 BOOST_PTR_CONTAINER_THROW_EXCEPTION( n >= this->size(), bad_index,
|
Chris@16
|
340 "'at()' out of bounds" );
|
Chris@16
|
341 BOOST_ASSERT( !this->is_null( n ) );
|
Chris@16
|
342 return (*this)[n];
|
Chris@16
|
343 }
|
Chris@16
|
344
|
Chris@16
|
345 const_reference at( size_type n ) const
|
Chris@16
|
346 {
|
Chris@16
|
347 BOOST_PTR_CONTAINER_THROW_EXCEPTION( n >= this->size(), bad_index,
|
Chris@16
|
348 "'at()' out of bounds" );
|
Chris@16
|
349 BOOST_ASSERT( !this->is_null( n ) );
|
Chris@16
|
350 return (*this)[n];
|
Chris@16
|
351 }
|
Chris@16
|
352
|
Chris@16
|
353 public: // vector interface
|
Chris@16
|
354
|
Chris@16
|
355 size_type capacity() const
|
Chris@16
|
356 {
|
Chris@16
|
357 return this->base().capacity();
|
Chris@16
|
358 }
|
Chris@16
|
359
|
Chris@16
|
360 void reserve( size_type n )
|
Chris@16
|
361 {
|
Chris@16
|
362 this->base().reserve( n );
|
Chris@16
|
363 }
|
Chris@16
|
364
|
Chris@16
|
365 void reverse()
|
Chris@16
|
366 {
|
Chris@16
|
367 this->base().reverse();
|
Chris@16
|
368 }
|
Chris@16
|
369
|
Chris@16
|
370 public: // assign, insert, transfer
|
Chris@16
|
371
|
Chris@16
|
372 // overhead: 1 heap allocation (very cheap compared to cloning)
|
Chris@16
|
373 template< class InputIterator >
|
Chris@16
|
374 void assign( InputIterator first, InputIterator last ) // strong
|
Chris@16
|
375 {
|
Chris@16
|
376 base_type temp( first, last );
|
Chris@16
|
377 this->swap( temp );
|
Chris@16
|
378 }
|
Chris@16
|
379
|
Chris@16
|
380 template< class Range >
|
Chris@16
|
381 void assign( const Range& r ) // strong
|
Chris@16
|
382 {
|
Chris@16
|
383 assign( boost::begin(r), boost::end(r ) );
|
Chris@16
|
384 }
|
Chris@16
|
385
|
Chris@16
|
386 private:
|
Chris@16
|
387 template< class I >
|
Chris@16
|
388 void insert_impl( iterator before, I first, I last, std::input_iterator_tag ) // strong
|
Chris@16
|
389 {
|
Chris@16
|
390 ptr_sequence_adapter temp(first,last); // strong
|
Chris@16
|
391 transfer( before, temp ); // strong, commit
|
Chris@16
|
392 }
|
Chris@16
|
393
|
Chris@16
|
394 template< class I >
|
Chris@16
|
395 void insert_impl( iterator before, I first, I last, std::forward_iterator_tag ) // strong
|
Chris@16
|
396 {
|
Chris@16
|
397 if( first == last )
|
Chris@16
|
398 return;
|
Chris@16
|
399 scoped_deleter sd( first, last ); // strong
|
Chris@16
|
400 this->insert_clones_and_release( sd, before ); // strong, commit
|
Chris@16
|
401 }
|
Chris@16
|
402
|
Chris@16
|
403 public:
|
Chris@16
|
404
|
Chris@16
|
405 using base_type::insert;
|
Chris@16
|
406
|
Chris@16
|
407 template< class InputIterator >
|
Chris@16
|
408 void insert( iterator before, InputIterator first, InputIterator last ) // strong
|
Chris@16
|
409 {
|
Chris@16
|
410 insert_impl( before, first, last, BOOST_DEDUCED_TYPENAME
|
Chris@16
|
411 iterator_category<InputIterator>::type() );
|
Chris@16
|
412 }
|
Chris@16
|
413
|
Chris@16
|
414 #if defined(BOOST_NO_SFINAE) || defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
|
Chris@16
|
415 #else
|
Chris@16
|
416 template< class Range >
|
Chris@16
|
417 BOOST_DEDUCED_TYPENAME
|
Chris@16
|
418 boost::disable_if< ptr_container_detail::is_pointer_or_integral<Range> >::type
|
Chris@16
|
419 insert( iterator before, const Range& r )
|
Chris@16
|
420 {
|
Chris@16
|
421 insert( before, boost::begin(r), boost::end(r) );
|
Chris@16
|
422 }
|
Chris@16
|
423
|
Chris@16
|
424 #endif
|
Chris@16
|
425
|
Chris@16
|
426 template< class PtrSeqAdapter >
|
Chris@16
|
427 void transfer( iterator before,
|
Chris@16
|
428 BOOST_DEDUCED_TYPENAME PtrSeqAdapter::iterator first,
|
Chris@16
|
429 BOOST_DEDUCED_TYPENAME PtrSeqAdapter::iterator last,
|
Chris@16
|
430 PtrSeqAdapter& from ) // strong
|
Chris@16
|
431 {
|
Chris@16
|
432 BOOST_ASSERT( (void*)&from != (void*)this );
|
Chris@16
|
433 if( from.empty() )
|
Chris@16
|
434 return;
|
Chris@16
|
435 this->base().
|
Chris@16
|
436 insert( before.base(), first.base(), last.base() ); // strong
|
Chris@16
|
437 from.base().erase( first.base(), last.base() ); // nothrow
|
Chris@16
|
438 }
|
Chris@16
|
439
|
Chris@16
|
440 template< class PtrSeqAdapter >
|
Chris@16
|
441 void transfer( iterator before,
|
Chris@16
|
442 BOOST_DEDUCED_TYPENAME PtrSeqAdapter::iterator object,
|
Chris@16
|
443 PtrSeqAdapter& from ) // strong
|
Chris@16
|
444 {
|
Chris@16
|
445 BOOST_ASSERT( (void*)&from != (void*)this );
|
Chris@16
|
446 if( from.empty() )
|
Chris@16
|
447 return;
|
Chris@16
|
448 this->base().insert( before.base(), *object.base() ); // strong
|
Chris@16
|
449 from.base().erase( object.base() ); // nothrow
|
Chris@16
|
450 }
|
Chris@16
|
451
|
Chris@16
|
452 #if defined(BOOST_NO_SFINAE) || defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
|
Chris@16
|
453 #else
|
Chris@16
|
454
|
Chris@16
|
455 template< class PtrSeqAdapter, class Range >
|
Chris@16
|
456 BOOST_DEDUCED_TYPENAME boost::disable_if< boost::is_same< Range,
|
Chris@16
|
457 BOOST_DEDUCED_TYPENAME PtrSeqAdapter::iterator > >::type
|
Chris@16
|
458 transfer( iterator before, const Range& r, PtrSeqAdapter& from ) // strong
|
Chris@16
|
459 {
|
Chris@16
|
460 transfer( before, boost::begin(r), boost::end(r), from );
|
Chris@16
|
461 }
|
Chris@16
|
462
|
Chris@16
|
463 #endif
|
Chris@16
|
464 template< class PtrSeqAdapter >
|
Chris@16
|
465 void transfer( iterator before, PtrSeqAdapter& from ) // strong
|
Chris@16
|
466 {
|
Chris@16
|
467 BOOST_ASSERT( (void*)&from != (void*)this );
|
Chris@16
|
468 if( from.empty() )
|
Chris@16
|
469 return;
|
Chris@16
|
470 this->base().
|
Chris@16
|
471 insert( before.base(),
|
Chris@16
|
472 from.begin().base(), from.end().base() ); // strong
|
Chris@16
|
473 from.base().clear(); // nothrow
|
Chris@16
|
474 }
|
Chris@16
|
475
|
Chris@16
|
476 public: // C-array support
|
Chris@16
|
477
|
Chris@16
|
478 void transfer( iterator before, value_type* from,
|
Chris@16
|
479 size_type size, bool delete_from = true ) // strong
|
Chris@16
|
480 {
|
Chris@16
|
481 BOOST_ASSERT( from != 0 );
|
Chris@16
|
482 if( delete_from )
|
Chris@16
|
483 {
|
Chris@16
|
484 BOOST_DEDUCED_TYPENAME base_type::scoped_deleter
|
Chris@16
|
485 deleter( from, size ); // nothrow
|
Chris@16
|
486 this->base().insert( before.base(), from, from + size ); // strong
|
Chris@16
|
487 deleter.release(); // nothrow
|
Chris@16
|
488 }
|
Chris@16
|
489 else
|
Chris@16
|
490 {
|
Chris@16
|
491 this->base().insert( before.base(), from, from + size ); // strong
|
Chris@16
|
492 }
|
Chris@16
|
493 }
|
Chris@16
|
494
|
Chris@16
|
495 value_type* c_array() // nothrow
|
Chris@16
|
496 {
|
Chris@16
|
497 if( this->empty() )
|
Chris@16
|
498 return 0;
|
Chris@16
|
499 T** res = reinterpret_cast<T**>( &this->begin().base()[0] );
|
Chris@16
|
500 return res;
|
Chris@16
|
501 }
|
Chris@16
|
502
|
Chris@16
|
503 public: // null functions
|
Chris@16
|
504
|
Chris@16
|
505 bool is_null( size_type idx ) const
|
Chris@16
|
506 {
|
Chris@16
|
507 BOOST_ASSERT( idx < this->size() );
|
Chris@16
|
508 return this->base()[idx] == 0;
|
Chris@16
|
509 }
|
Chris@16
|
510
|
Chris@16
|
511 public: // resize
|
Chris@16
|
512
|
Chris@16
|
513 void resize( size_type size ) // basic
|
Chris@16
|
514 {
|
Chris@16
|
515 size_type old_size = this->size();
|
Chris@16
|
516 if( old_size > size )
|
Chris@16
|
517 {
|
Chris@16
|
518 this->erase( boost::next( this->begin(), size ), this->end() );
|
Chris@16
|
519 }
|
Chris@16
|
520 else if( size > old_size )
|
Chris@16
|
521 {
|
Chris@16
|
522 for( ; old_size != size; ++old_size )
|
Chris@16
|
523 this->push_back( new BOOST_DEDUCED_TYPENAME
|
Chris@16
|
524 boost::remove_pointer<value_type>::type() );
|
Chris@16
|
525 }
|
Chris@16
|
526
|
Chris@16
|
527 BOOST_ASSERT( this->size() == size );
|
Chris@16
|
528 }
|
Chris@16
|
529
|
Chris@16
|
530 void resize( size_type size, value_type to_clone ) // basic
|
Chris@16
|
531 {
|
Chris@16
|
532 size_type old_size = this->size();
|
Chris@16
|
533 if( old_size > size )
|
Chris@16
|
534 {
|
Chris@16
|
535 this->erase( boost::next( this->begin(), size ), this->end() );
|
Chris@16
|
536 }
|
Chris@16
|
537 else if( size > old_size )
|
Chris@16
|
538 {
|
Chris@16
|
539 for( ; old_size != size; ++old_size )
|
Chris@16
|
540 this->push_back( this->null_policy_allocate_clone( to_clone ) );
|
Chris@16
|
541 }
|
Chris@16
|
542
|
Chris@16
|
543 BOOST_ASSERT( this->size() == size );
|
Chris@16
|
544 }
|
Chris@16
|
545
|
Chris@16
|
546 void rresize( size_type size ) // basic
|
Chris@16
|
547 {
|
Chris@16
|
548 size_type old_size = this->size();
|
Chris@16
|
549 if( old_size > size )
|
Chris@16
|
550 {
|
Chris@16
|
551 this->erase( this->begin(),
|
Chris@16
|
552 boost::next( this->begin(), old_size - size ) );
|
Chris@16
|
553 }
|
Chris@16
|
554 else if( size > old_size )
|
Chris@16
|
555 {
|
Chris@16
|
556 for( ; old_size != size; ++old_size )
|
Chris@16
|
557 this->push_front( new BOOST_DEDUCED_TYPENAME
|
Chris@16
|
558 boost::remove_pointer<value_type>::type() );
|
Chris@16
|
559 }
|
Chris@16
|
560
|
Chris@16
|
561 BOOST_ASSERT( this->size() == size );
|
Chris@16
|
562 }
|
Chris@16
|
563
|
Chris@16
|
564 void rresize( size_type size, value_type to_clone ) // basic
|
Chris@16
|
565 {
|
Chris@16
|
566 size_type old_size = this->size();
|
Chris@16
|
567 if( old_size > size )
|
Chris@16
|
568 {
|
Chris@16
|
569 this->erase( this->begin(),
|
Chris@16
|
570 boost::next( this->begin(), old_size - size ) );
|
Chris@16
|
571 }
|
Chris@16
|
572 else if( size > old_size )
|
Chris@16
|
573 {
|
Chris@16
|
574 for( ; old_size != size; ++old_size )
|
Chris@16
|
575 this->push_front( this->null_policy_allocate_clone( to_clone ) );
|
Chris@16
|
576 }
|
Chris@16
|
577
|
Chris@16
|
578 BOOST_ASSERT( this->size() == size );
|
Chris@16
|
579 }
|
Chris@16
|
580
|
Chris@16
|
581 public: // algorithms
|
Chris@16
|
582
|
Chris@16
|
583 void sort( iterator first, iterator last )
|
Chris@16
|
584 {
|
Chris@16
|
585 sort( first, last, std::less<T>() );
|
Chris@16
|
586 }
|
Chris@16
|
587
|
Chris@16
|
588 void sort()
|
Chris@16
|
589 {
|
Chris@16
|
590 sort( this->begin(), this->end() );
|
Chris@16
|
591 }
|
Chris@16
|
592
|
Chris@16
|
593 template< class Compare >
|
Chris@16
|
594 void sort( iterator first, iterator last, Compare comp )
|
Chris@16
|
595 {
|
Chris@16
|
596 BOOST_ASSERT( first <= last && "out of range sort()" );
|
Chris@16
|
597 BOOST_ASSERT( this->begin() <= first && "out of range sort()" );
|
Chris@16
|
598 BOOST_ASSERT( last <= this->end() && "out of range sort()" );
|
Chris@16
|
599 // some static assert on the arguments of the comparison
|
Chris@16
|
600 std::sort( first.base(), last.base(),
|
Chris@16
|
601 void_ptr_indirect_fun<Compare,T>(comp) );
|
Chris@16
|
602 }
|
Chris@16
|
603
|
Chris@16
|
604 template< class Compare >
|
Chris@16
|
605 void sort( Compare comp )
|
Chris@16
|
606 {
|
Chris@16
|
607 sort( this->begin(), this->end(), comp );
|
Chris@16
|
608 }
|
Chris@16
|
609
|
Chris@16
|
610 void unique( iterator first, iterator last )
|
Chris@16
|
611 {
|
Chris@16
|
612 unique( first, last, std::equal_to<T>() );
|
Chris@16
|
613 }
|
Chris@16
|
614
|
Chris@16
|
615 void unique()
|
Chris@16
|
616 {
|
Chris@16
|
617 unique( this->begin(), this->end() );
|
Chris@16
|
618 }
|
Chris@16
|
619
|
Chris@16
|
620 private:
|
Chris@16
|
621 struct is_not_zero_ptr
|
Chris@16
|
622 {
|
Chris@16
|
623 template< class U >
|
Chris@16
|
624 bool operator()( const U* r ) const
|
Chris@16
|
625 {
|
Chris@16
|
626 return r != 0;
|
Chris@16
|
627 }
|
Chris@16
|
628 };
|
Chris@16
|
629
|
Chris@16
|
630 protected:
|
Chris@16
|
631 template< class Fun, class Arg1 >
|
Chris@16
|
632 class void_ptr_delete_if
|
Chris@16
|
633 {
|
Chris@16
|
634 Fun fun;
|
Chris@16
|
635 public:
|
Chris@16
|
636
|
Chris@16
|
637 void_ptr_delete_if() : fun(Fun())
|
Chris@16
|
638 { }
|
Chris@16
|
639
|
Chris@16
|
640 void_ptr_delete_if( Fun f ) : fun(f)
|
Chris@16
|
641 { }
|
Chris@16
|
642
|
Chris@16
|
643 bool operator()( void* r ) const
|
Chris@16
|
644 {
|
Chris@16
|
645 BOOST_ASSERT( r != 0 );
|
Chris@16
|
646 Arg1 arg1 = static_cast<Arg1>(r);
|
Chris@16
|
647 if( fun( *arg1 ) )
|
Chris@16
|
648 {
|
Chris@16
|
649 clone_allocator_type::deallocate_clone( arg1 );
|
Chris@16
|
650 return true;
|
Chris@16
|
651 }
|
Chris@16
|
652 return false;
|
Chris@16
|
653 }
|
Chris@16
|
654 };
|
Chris@16
|
655
|
Chris@16
|
656 private:
|
Chris@16
|
657 void compact_and_erase_nulls( iterator first, iterator last ) // nothrow
|
Chris@16
|
658 {
|
Chris@16
|
659 typename base_type::ptr_iterator p = std::stable_partition(
|
Chris@16
|
660 first.base(),
|
Chris@16
|
661 last.base(),
|
Chris@16
|
662 is_not_zero_ptr() );
|
Chris@16
|
663 this->base().erase( p, this->end().base() );
|
Chris@16
|
664
|
Chris@16
|
665 }
|
Chris@16
|
666
|
Chris@16
|
667 void range_check_impl( iterator first, iterator last,
|
Chris@16
|
668 std::bidirectional_iterator_tag )
|
Chris@16
|
669 { /* do nothing */ }
|
Chris@16
|
670
|
Chris@16
|
671 void range_check_impl( iterator first, iterator last,
|
Chris@16
|
672 std::random_access_iterator_tag )
|
Chris@16
|
673 {
|
Chris@16
|
674 BOOST_ASSERT( first <= last && "out of range unique()/erase_if()" );
|
Chris@16
|
675 BOOST_ASSERT( this->begin() <= first && "out of range unique()/erase_if()" );
|
Chris@16
|
676 BOOST_ASSERT( last <= this->end() && "out of range unique()/erase_if)(" );
|
Chris@16
|
677 }
|
Chris@16
|
678
|
Chris@16
|
679 void range_check( iterator first, iterator last )
|
Chris@16
|
680 {
|
Chris@16
|
681 range_check_impl( first, last,
|
Chris@16
|
682 BOOST_DEDUCED_TYPENAME iterator_category<iterator>::type() );
|
Chris@16
|
683 }
|
Chris@16
|
684
|
Chris@16
|
685 public:
|
Chris@16
|
686
|
Chris@16
|
687 template< class Compare >
|
Chris@16
|
688 void unique( iterator first, iterator last, Compare comp )
|
Chris@16
|
689 {
|
Chris@16
|
690 range_check(first,last);
|
Chris@16
|
691
|
Chris@16
|
692 iterator prev = first;
|
Chris@16
|
693 iterator next = first;
|
Chris@16
|
694 ++next;
|
Chris@16
|
695 for( ; next != last; ++next )
|
Chris@16
|
696 {
|
Chris@16
|
697 BOOST_ASSERT( !::boost::is_null(prev) );
|
Chris@16
|
698 BOOST_ASSERT( !::boost::is_null(next) );
|
Chris@16
|
699 if( comp( *prev, *next ) )
|
Chris@16
|
700 {
|
Chris@16
|
701 this->remove( next ); // delete object
|
Chris@16
|
702 *next.base() = 0; // mark pointer as deleted
|
Chris@16
|
703 }
|
Chris@16
|
704 else
|
Chris@16
|
705 {
|
Chris@16
|
706 prev = next;
|
Chris@16
|
707 }
|
Chris@16
|
708 // ++next
|
Chris@16
|
709 }
|
Chris@16
|
710
|
Chris@16
|
711 compact_and_erase_nulls( first, last );
|
Chris@16
|
712 }
|
Chris@16
|
713
|
Chris@16
|
714 template< class Compare >
|
Chris@16
|
715 void unique( Compare comp )
|
Chris@16
|
716 {
|
Chris@16
|
717 unique( this->begin(), this->end(), comp );
|
Chris@16
|
718 }
|
Chris@16
|
719
|
Chris@16
|
720 template< class Pred >
|
Chris@16
|
721 void erase_if( iterator first, iterator last, Pred pred )
|
Chris@16
|
722 {
|
Chris@16
|
723 range_check(first,last);
|
Chris@16
|
724 this->base().erase( std::remove_if( first.base(), last.base(),
|
Chris@16
|
725 void_ptr_delete_if<Pred,value_type>(pred) ),
|
Chris@16
|
726 last.base() );
|
Chris@16
|
727 }
|
Chris@16
|
728
|
Chris@16
|
729 template< class Pred >
|
Chris@16
|
730 void erase_if( Pred pred )
|
Chris@16
|
731 {
|
Chris@16
|
732 erase_if( this->begin(), this->end(), pred );
|
Chris@16
|
733 }
|
Chris@16
|
734
|
Chris@16
|
735
|
Chris@16
|
736 void merge( iterator first, iterator last,
|
Chris@16
|
737 ptr_sequence_adapter& from )
|
Chris@16
|
738 {
|
Chris@16
|
739 merge( first, last, from, std::less<T>() );
|
Chris@16
|
740 }
|
Chris@16
|
741
|
Chris@16
|
742 template< class BinPred >
|
Chris@16
|
743 void merge( iterator first, iterator last,
|
Chris@16
|
744 ptr_sequence_adapter& from, BinPred pred )
|
Chris@16
|
745 {
|
Chris@16
|
746 void_ptr_indirect_fun<BinPred,T> bin_pred(pred);
|
Chris@16
|
747 size_type current_size = this->size();
|
Chris@16
|
748 this->transfer( this->end(), first, last, from );
|
Chris@16
|
749 typename base_type::ptr_iterator middle = this->begin().base();
|
Chris@16
|
750 std::advance(middle,current_size);
|
Chris@16
|
751 std::inplace_merge( this->begin().base(),
|
Chris@16
|
752 middle,
|
Chris@16
|
753 this->end().base(),
|
Chris@16
|
754 bin_pred );
|
Chris@16
|
755 }
|
Chris@16
|
756
|
Chris@16
|
757 void merge( ptr_sequence_adapter& r )
|
Chris@16
|
758 {
|
Chris@16
|
759 merge( r, std::less<T>() );
|
Chris@16
|
760 BOOST_ASSERT( r.empty() );
|
Chris@16
|
761 }
|
Chris@16
|
762
|
Chris@16
|
763 template< class BinPred >
|
Chris@16
|
764 void merge( ptr_sequence_adapter& r, BinPred pred )
|
Chris@16
|
765 {
|
Chris@16
|
766 merge( r.begin(), r.end(), r, pred );
|
Chris@16
|
767 BOOST_ASSERT( r.empty() );
|
Chris@16
|
768 }
|
Chris@16
|
769
|
Chris@16
|
770 };
|
Chris@16
|
771
|
Chris@16
|
772
|
Chris@16
|
773 } // namespace 'boost'
|
Chris@16
|
774
|
Chris@16
|
775 #endif
|