2 // Boost.Pointer Container
4 // Copyright Thorsten Ottosen 2003-2005. Use, modification and
5 // distribution is subject to the Boost Software License, Version
6 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
7 // http://www.boost.org/LICENSE_1_0.txt)
9 // For more information, see http://www.boost.org/libs/ptr_container/
12 #ifndef BOOST_PTR_CONTAINER_DETAIL_VOID_PTR_ITERATOR_HPP
13 #define BOOST_PTR_CONTAINER_DETAIL_VOID_PTR_ITERATOR_HPP
15 #if defined(_MSC_VER) && (_MSC_VER >= 1200)
19 #include <boost/config.hpp>
20 #include <boost/iterator/iterator_traits.hpp>
21 #include <boost/type_traits/remove_const.hpp>
30 class void_ptr_iterator
33 typedef BOOST_DEDUCED_TYPENAME boost::remove_const<T>::type
38 typedef BOOST_DEDUCED_TYPENAME iterator_difference<VoidIter>::type
40 typedef BOOST_DEDUCED_TYPENAME iterator_category<VoidIter>::type
47 void_ptr_iterator() : iter_()
50 void_ptr_iterator( VoidIter r ) : iter_(r)
54 // Remark: passing by value breaks vc7.1
56 template< class MutableIterator, class MutableT >
57 void_ptr_iterator( const void_ptr_iterator<MutableIterator,MutableT>& r )
58 #ifdef BOOST_NO_SFINAE
59 : iter_( VoidIter(const_cast<void**>(&*r.base())) )
68 return *static_cast<T*>( *iter_ );
73 return static_cast<T*>( *iter_ );
76 void_ptr_iterator& operator++()
82 void_ptr_iterator operator++(int)
84 void_ptr_iterator res = *this;
89 void_ptr_iterator& operator--()
95 void_ptr_iterator operator--(int)
97 void_ptr_iterator res = *this;
102 void_ptr_iterator& operator+=( difference_type n )
108 void_ptr_iterator& operator-=( difference_type n )
114 T& operator[]( difference_type n ) const
116 return *static_cast<T*>( *(iter_ + n) );
119 VoidIter base() const
124 }; // class 'void_ptr_iterator'
126 template< class VoidIter, class T >
127 inline void_ptr_iterator<VoidIter,T>
128 operator+( void_ptr_iterator<VoidIter,T> l,
129 BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n )
135 template< class VoidIter, class T >
136 inline void_ptr_iterator<VoidIter,T>
137 operator+( BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n,
138 void_ptr_iterator<VoidIter,T> r )
145 template< class VoidIter, class T >
146 inline void_ptr_iterator<VoidIter,T>
147 operator-( void_ptr_iterator<VoidIter,T> l,
148 BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n )
154 template< class VoidIter, class T >
155 inline void_ptr_iterator<VoidIter,T>
156 operator-( BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n,
157 void_ptr_iterator<VoidIter,T> r )
165 namespace ptr_container_detail
167 template<typename T, typename U>
170 static const bool value = boost::is_same< typename boost::remove_const<T>::type, typename boost::remove_const<U>::type >::value;
175 template< class VoidIter, class T, class VoidIterU, class U >
176 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
177 ptr_container_detail::is_compatible<T, U>,
178 BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type
180 operator-( void_ptr_iterator<VoidIter,T> l,
181 void_ptr_iterator<VoidIterU,U> r )
184 return l.base() - r.base();
189 template< class VoidIterT, class T, class VoidIterU, class U >
190 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
191 ptr_container_detail::is_compatible<T, U>,
194 operator==( const void_ptr_iterator<VoidIterT,T>& l,
195 const void_ptr_iterator<VoidIterU,U>& r )
197 return l.base() == r.base();
202 template< class VoidIterT, class T, class VoidIterU, class U >
203 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
204 ptr_container_detail::is_compatible<T, U>,
207 operator!=( const void_ptr_iterator<VoidIterT,T>& l,
208 const void_ptr_iterator<VoidIterU,U>& r )
210 return l.base() != r.base();
215 template< class VoidIterT, class T, class VoidIterU, class U >
216 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
217 ptr_container_detail::is_compatible<T, U>,
220 operator<( const void_ptr_iterator<VoidIterT,T>& l,
221 const void_ptr_iterator<VoidIterU,U>& r )
223 return l.base() < r.base();
228 template< class VoidIterT, class T, class VoidIterU, class U >
229 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
230 ptr_container_detail::is_compatible<T, U>,
233 operator<=( const void_ptr_iterator<VoidIterT,T>& l,
234 const void_ptr_iterator<VoidIterU,U>& r )
236 return l.base() <= r.base();
241 template< class VoidIterT, class T, class VoidIterU, class U >
242 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
243 ptr_container_detail::is_compatible<T, U>,
246 operator>( const void_ptr_iterator<VoidIterT,T>& l,
247 const void_ptr_iterator<VoidIterU,U>& r )
249 return l.base() > r.base();
254 template< class VoidIterT, class T, class VoidIterU, class U >
255 inline BOOST_DEDUCED_TYPENAME boost::enable_if<
256 ptr_container_detail::is_compatible<T, U>,
259 operator>=( const void_ptr_iterator<VoidIterT,T>& l,
260 const void_ptr_iterator<VoidIterU,U>& r )
262 return l.base() >= r.base();