3 // Copyright Neil Groves 2010. Use, modification and
4 // distribution is subject to the Boost Software License, Version
5 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
6 // http://www.boost.org/LICENSE_1_0.txt)
8 // For more information, see http://www.boost.org/libs/range/
10 #ifndef BOOST_RANGE_DETAIL_ANY_ITERATOR_WRAPPER_HPP_INCLUDED
11 #define BOOST_RANGE_DETAIL_ANY_ITERATOR_WRAPPER_HPP_INCLUDED
13 #include <boost/cast.hpp>
14 #include <boost/range/config.hpp>
15 #include <boost/range/detail/any_iterator_interface.hpp>
16 #include <boost/range/concepts.hpp>
20 namespace range_detail
22 template<typename TargetT, typename SourceT>
23 TargetT& polymorphic_ref_downcast(SourceT& source)
26 return static_cast<TargetT&>(source);
28 return *boost::polymorphic_downcast<TargetT*>(&source);
32 template<class Reference, class T>
33 Reference dereference_cast(T& x)
35 return static_cast<Reference>(x);
37 template<class Reference, class T>
38 Reference dereference_cast(const T& x)
40 return static_cast<Reference>(const_cast<T&>(x));
48 class any_incrementable_iterator_wrapper
49 : public any_incrementable_iterator_interface<
54 BOOST_RANGE_CONCEPT_ASSERT(( IncrementableIteratorConcept<WrappedIterator> ));
56 typedef WrappedIterator wrapped_type;
58 BOOST_STATIC_ASSERT(( is_convertible<
59 typename iterator_reference<WrappedIterator>::type
63 any_incrementable_iterator_wrapper()
67 explicit any_incrementable_iterator_wrapper(wrapped_type it)
71 // any_incrementable_iterator implementation
72 virtual any_incrementable_iterator_wrapper* clone(
73 typename any_incrementable_iterator_wrapper::buffer_type& buffer
76 return new (buffer.allocate(sizeof(*this)))
77 any_incrementable_iterator_wrapper(m_it);
80 virtual any_incrementable_iterator_wrapper<
82 , typename any_incrementable_iterator_wrapper::const_reference
85 typename any_incrementable_iterator_wrapper::buffer_type& buffer
88 typedef any_incrementable_iterator_wrapper<
90 , typename any_incrementable_iterator_wrapper::const_reference
94 return new (buffer.allocate(sizeof(result_type)))
98 virtual any_incrementable_iterator_wrapper<
100 , typename any_incrementable_iterator_wrapper::reference_as_value_type
102 >* clone_reference_as_value(
103 typename any_incrementable_iterator_wrapper::buffer_type& buffer
106 typedef any_incrementable_iterator_wrapper<
108 , typename any_incrementable_iterator_wrapper::reference_as_value_type
112 return new (buffer.allocate(sizeof(result_type)))
116 virtual void increment()
126 class WrappedIterator
130 class any_single_pass_iterator_wrapper
131 : public any_single_pass_iterator_interface<
137 BOOST_RANGE_CONCEPT_ASSERT(( SinglePassIteratorConcept<WrappedIterator> ));
138 typedef any_single_pass_iterator_interface<
144 typedef typename base_type::reference reference;
146 any_single_pass_iterator_wrapper()
150 explicit any_single_pass_iterator_wrapper(const WrappedIterator& it)
153 // any_single_pass_iterator_interface<Reference> implementation
154 virtual any_single_pass_iterator_wrapper* clone(
155 typename any_single_pass_iterator_wrapper::buffer_type& buffer
158 return new (buffer.allocate(sizeof(*this)))
159 any_single_pass_iterator_wrapper(m_it);
162 virtual any_single_pass_iterator_wrapper<
164 , typename any_single_pass_iterator_wrapper::const_reference
167 typename any_single_pass_iterator_wrapper::buffer_type& buffer
170 typedef any_single_pass_iterator_wrapper<
172 , typename any_single_pass_iterator_wrapper::const_reference
176 return new (buffer.allocate(sizeof(result_type)))
180 virtual any_single_pass_iterator_wrapper<
182 , typename any_single_pass_iterator_wrapper::reference_as_value_type
184 >* clone_reference_as_value(
185 typename any_single_pass_iterator_wrapper::buffer_type& buffer
188 typedef any_single_pass_iterator_wrapper<
190 , typename any_single_pass_iterator_wrapper::reference_as_value_type
194 return new (buffer.allocate(sizeof(result_type)))
198 virtual void increment()
203 virtual bool equal(const any_single_pass_iterator_interface<Reference, Buffer>& other) const
205 return m_it == range_detail::polymorphic_ref_downcast<const any_single_pass_iterator_wrapper>(other).m_it;
208 virtual reference dereference() const
210 return dereference_cast<reference>(*m_it);
214 WrappedIterator m_it;
218 class WrappedIterator
222 class any_forward_iterator_wrapper
223 : public any_forward_iterator_interface<
228 BOOST_RANGE_CONCEPT_ASSERT(( ForwardIteratorConcept<WrappedIterator> ));
229 typedef any_forward_iterator_interface<
235 typedef typename base_type::reference reference;
237 any_forward_iterator_wrapper()
241 explicit any_forward_iterator_wrapper(const WrappedIterator& it)
245 // any_forward_iterator_interface<Reference> implementation
246 virtual any_forward_iterator_wrapper* clone(
247 typename any_forward_iterator_wrapper::buffer_type& buffer
250 return new (buffer.allocate(sizeof(*this)))
251 any_forward_iterator_wrapper(m_it);
254 virtual any_forward_iterator_wrapper<
256 , typename any_forward_iterator_wrapper::const_reference
259 typename any_forward_iterator_wrapper::buffer_type& buffer
262 typedef any_forward_iterator_wrapper<
264 , typename any_forward_iterator_wrapper::const_reference
268 return new (buffer.allocate(sizeof(result_type)))
272 virtual any_forward_iterator_wrapper<
274 , typename any_forward_iterator_wrapper::reference_as_value_type
276 >* clone_reference_as_value(
277 typename any_forward_iterator_wrapper::buffer_type& buffer
280 typedef any_forward_iterator_wrapper<
282 , typename any_forward_iterator_wrapper::reference_as_value_type
286 return new (buffer.allocate(sizeof(result_type)))
290 virtual void increment()
295 virtual bool equal(const any_single_pass_iterator_interface<Reference, Buffer>& other) const
297 return m_it == range_detail::polymorphic_ref_downcast<const any_forward_iterator_wrapper>(other).m_it;
300 virtual reference dereference() const
302 return dereference_cast<reference>(*m_it);
305 WrappedIterator m_it;
309 class WrappedIterator
313 class any_bidirectional_iterator_wrapper
314 : public any_bidirectional_iterator_interface<
319 BOOST_RANGE_CONCEPT_ASSERT(( BidirectionalIteratorConcept<WrappedIterator> ));
320 typedef any_bidirectional_iterator_interface<
326 typedef typename base_type::reference reference;
328 any_bidirectional_iterator_wrapper()
333 explicit any_bidirectional_iterator_wrapper(const WrappedIterator& it)
338 virtual any_bidirectional_iterator_wrapper* clone(
339 typename any_bidirectional_iterator_wrapper::buffer_type& buffer
342 return new (buffer.allocate(sizeof(*this)))
343 any_bidirectional_iterator_wrapper(*this);
346 virtual any_bidirectional_iterator_wrapper<
348 , typename any_bidirectional_iterator_wrapper::const_reference
351 typename any_bidirectional_iterator_wrapper::buffer_type& buffer
354 typedef any_bidirectional_iterator_wrapper<
356 , typename any_bidirectional_iterator_wrapper::const_reference
360 return new (buffer.allocate(sizeof(result_type)))
364 virtual any_bidirectional_iterator_wrapper<
366 , typename any_bidirectional_iterator_wrapper::reference_as_value_type
368 >* clone_reference_as_value(
369 typename any_bidirectional_iterator_wrapper::buffer_type& buffer
372 typedef any_bidirectional_iterator_wrapper<
374 , typename any_bidirectional_iterator_wrapper::reference_as_value_type
378 return new (buffer.allocate(sizeof(result_type)))
382 virtual void increment()
387 virtual void decrement()
392 virtual bool equal(const any_single_pass_iterator_interface<Reference, Buffer>& other) const
394 return m_it == range_detail::polymorphic_ref_downcast<const any_bidirectional_iterator_wrapper>(other).m_it;
397 virtual reference dereference() const
399 return dereference_cast<reference>(*m_it);
403 WrappedIterator m_it;
407 class WrappedIterator
412 class any_random_access_iterator_wrapper
413 : public any_random_access_iterator_interface<
419 BOOST_RANGE_CONCEPT_ASSERT(( RandomAccessIteratorConcept<WrappedIterator> ));
420 typedef any_random_access_iterator_interface<
427 typedef typename base_type::reference reference;
428 typedef Difference difference_type;
430 any_random_access_iterator_wrapper()
435 explicit any_random_access_iterator_wrapper(const WrappedIterator& other)
440 virtual any_random_access_iterator_wrapper* clone(
441 typename any_random_access_iterator_wrapper::buffer_type& buffer
444 return new (buffer.allocate(sizeof(*this)))
445 any_random_access_iterator_wrapper(*this);
448 virtual any_random_access_iterator_wrapper<
450 , typename any_random_access_iterator_wrapper::const_reference
454 typename any_random_access_iterator_wrapper::buffer_type& buffer
457 typedef any_random_access_iterator_wrapper<
459 , typename any_random_access_iterator_wrapper::const_reference
464 return new (buffer.allocate(sizeof(result_type)))
468 virtual any_random_access_iterator_wrapper<
470 , typename any_random_access_iterator_wrapper::reference_as_value_type
473 >* clone_reference_as_value(
474 typename any_random_access_iterator_wrapper::buffer_type& buffer
477 typedef any_random_access_iterator_wrapper<
479 , typename any_random_access_iterator_wrapper::reference_as_value_type
484 return new (buffer.allocate(sizeof(result_type)))
488 virtual void increment()
493 virtual bool equal(const any_single_pass_iterator_interface<Reference, Buffer>& other) const
495 return m_it == range_detail::polymorphic_ref_downcast<const any_random_access_iterator_wrapper>(other).m_it;
498 virtual void decrement()
503 virtual void advance(Difference offset)
508 virtual reference dereference() const
510 return dereference_cast<reference>(*m_it);
513 virtual Difference distance_to(const any_random_access_iterator_interface<Reference, Difference, Buffer>& other) const
515 return range_detail::polymorphic_ref_downcast<const any_random_access_iterator_wrapper>(other).m_it - m_it;
519 WrappedIterator m_it;
523 class WrappedIterator
529 struct any_iterator_wrapper_type_generator;
532 class WrappedIterator
537 struct any_iterator_wrapper_type_generator<
539 , incrementable_traversal_tag
545 typedef any_incrementable_iterator_wrapper<
553 class WrappedIterator
558 struct any_iterator_wrapper_type_generator<
560 , single_pass_traversal_tag
566 typedef any_single_pass_iterator_wrapper<
574 class WrappedIterator
579 struct any_iterator_wrapper_type_generator<
581 , forward_traversal_tag
587 typedef any_forward_iterator_wrapper<
595 class WrappedIterator
600 struct any_iterator_wrapper_type_generator<
602 , bidirectional_traversal_tag
608 typedef any_bidirectional_iterator_wrapper<
616 class WrappedIterator
621 struct any_iterator_wrapper_type_generator<
623 , random_access_traversal_tag
629 typedef any_random_access_iterator_wrapper<
637 } // namespace range_detail
640 #endif // include guard