void_ptr_iterator.hpp 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267
  1. //
  2. // Boost.Pointer Container
  3. //
  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)
  8. //
  9. // For more information, see http://www.boost.org/libs/ptr_container/
  10. //
  11. #ifndef BOOST_PTR_CONTAINER_DETAIL_VOID_PTR_ITERATOR_HPP
  12. #define BOOST_PTR_CONTAINER_DETAIL_VOID_PTR_ITERATOR_HPP
  13. #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  14. # pragma once
  15. #endif
  16. #include <boost/config.hpp>
  17. #include <boost/iterator/iterator_traits.hpp>
  18. #include <boost/type_traits/remove_const.hpp>
  19. namespace boost
  20. {
  21. template
  22. <
  23. class VoidIter,
  24. class T
  25. >
  26. class void_ptr_iterator
  27. {
  28. public:
  29. typedef BOOST_DEDUCED_TYPENAME boost::remove_const<T>::type
  30. value_type;
  31. typedef T& reference;
  32. typedef T* pointer;
  33. typedef BOOST_DEDUCED_TYPENAME iterator_difference<VoidIter>::type
  34. difference_type;
  35. typedef BOOST_DEDUCED_TYPENAME iterator_category<VoidIter>::type
  36. iterator_category;
  37. private:
  38. VoidIter iter_;
  39. public:
  40. void_ptr_iterator() : iter_()
  41. { }
  42. void_ptr_iterator( VoidIter r ) : iter_(r)
  43. { }
  44. //
  45. // Remark: passing by value breaks vc7.1
  46. //
  47. template< class MutableIterator, class MutableT >
  48. void_ptr_iterator( const void_ptr_iterator<MutableIterator,MutableT>& r )
  49. #ifdef BOOST_NO_SFINAE
  50. : iter_( VoidIter(const_cast<void**>(&*r.base())) )
  51. #else
  52. : iter_(r.base())
  53. #endif
  54. { }
  55. T& operator*() const
  56. {
  57. return *static_cast<T*>( *iter_ );
  58. }
  59. T* operator->() const
  60. {
  61. return static_cast<T*>( *iter_ );
  62. }
  63. void_ptr_iterator& operator++()
  64. {
  65. ++iter_;
  66. return *this;
  67. }
  68. void_ptr_iterator operator++(int)
  69. {
  70. void_ptr_iterator res = *this;
  71. ++iter_;
  72. return res;
  73. }
  74. void_ptr_iterator& operator--()
  75. {
  76. --iter_;
  77. return *this;
  78. }
  79. void_ptr_iterator operator--(int)
  80. {
  81. void_ptr_iterator res = *this;
  82. --iter_;
  83. return res;
  84. }
  85. void_ptr_iterator& operator+=( difference_type n )
  86. {
  87. iter_ += n;
  88. return *this;
  89. }
  90. void_ptr_iterator& operator-=( difference_type n )
  91. {
  92. iter_ -= n;
  93. return *this;
  94. }
  95. T& operator[]( difference_type n ) const
  96. {
  97. return *static_cast<T*>( *(iter_ + n) );
  98. }
  99. VoidIter base() const
  100. {
  101. return iter_;
  102. }
  103. }; // class 'void_ptr_iterator'
  104. template< class VoidIter, class T >
  105. inline void_ptr_iterator<VoidIter,T>
  106. operator+( void_ptr_iterator<VoidIter,T> l,
  107. BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n )
  108. {
  109. l += n;
  110. return l;
  111. }
  112. template< class VoidIter, class T >
  113. inline void_ptr_iterator<VoidIter,T>
  114. operator+( BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n,
  115. void_ptr_iterator<VoidIter,T> r )
  116. {
  117. r += n;
  118. return r;
  119. }
  120. template< class VoidIter, class T >
  121. inline void_ptr_iterator<VoidIter,T>
  122. operator-( void_ptr_iterator<VoidIter,T> l,
  123. BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n )
  124. {
  125. l -= n;
  126. return l;
  127. }
  128. template< class VoidIter, class T >
  129. inline void_ptr_iterator<VoidIter,T>
  130. operator-( BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type n,
  131. void_ptr_iterator<VoidIter,T> r )
  132. {
  133. r -= n;
  134. return r;
  135. }
  136. namespace ptr_container_detail
  137. {
  138. template<typename T, typename U>
  139. struct is_compatible
  140. {
  141. static const bool value = boost::is_same< typename boost::remove_const<T>::type, typename boost::remove_const<U>::type >::value;
  142. };
  143. }
  144. template< class VoidIter, class T, class VoidIterU, class U >
  145. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  146. ptr_container_detail::is_compatible<T, U>,
  147. BOOST_DEDUCED_TYPENAME void_ptr_iterator<VoidIter,T>::difference_type
  148. >::type
  149. operator-( void_ptr_iterator<VoidIter,T> l,
  150. void_ptr_iterator<VoidIterU,U> r )
  151. {
  152. return l.base() - r.base();
  153. }
  154. template< class VoidIterT, class T, class VoidIterU, class U >
  155. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  156. ptr_container_detail::is_compatible<T, U>,
  157. bool
  158. >::type
  159. operator==( const void_ptr_iterator<VoidIterT,T>& l,
  160. const void_ptr_iterator<VoidIterU,U>& r )
  161. {
  162. return l.base() == r.base();
  163. }
  164. template< class VoidIterT, class T, class VoidIterU, class U >
  165. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  166. ptr_container_detail::is_compatible<T, U>,
  167. bool
  168. >::type
  169. operator!=( const void_ptr_iterator<VoidIterT,T>& l,
  170. const void_ptr_iterator<VoidIterU,U>& r )
  171. {
  172. return l.base() != r.base();
  173. }
  174. template< class VoidIterT, class T, class VoidIterU, class U >
  175. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  176. ptr_container_detail::is_compatible<T, U>,
  177. bool
  178. >::type
  179. operator<( const void_ptr_iterator<VoidIterT,T>& l,
  180. const void_ptr_iterator<VoidIterU,U>& r )
  181. {
  182. return l.base() < r.base();
  183. }
  184. template< class VoidIterT, class T, class VoidIterU, class U >
  185. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  186. ptr_container_detail::is_compatible<T, U>,
  187. bool
  188. >::type
  189. operator<=( const void_ptr_iterator<VoidIterT,T>& l,
  190. const void_ptr_iterator<VoidIterU,U>& r )
  191. {
  192. return l.base() <= r.base();
  193. }
  194. template< class VoidIterT, class T, class VoidIterU, class U >
  195. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  196. ptr_container_detail::is_compatible<T, U>,
  197. bool
  198. >::type
  199. operator>( const void_ptr_iterator<VoidIterT,T>& l,
  200. const void_ptr_iterator<VoidIterU,U>& r )
  201. {
  202. return l.base() > r.base();
  203. }
  204. template< class VoidIterT, class T, class VoidIterU, class U >
  205. inline BOOST_DEDUCED_TYPENAME boost::enable_if<
  206. ptr_container_detail::is_compatible<T, U>,
  207. bool
  208. >::type
  209. operator>=( const void_ptr_iterator<VoidIterT,T>& l,
  210. const void_ptr_iterator<VoidIterU,U>& r )
  211. {
  212. return l.base() >= r.base();
  213. }
  214. }
  215. #endif