any_iterator_interface.hpp 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262
  1. // Boost.Range library
  2. //
  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)
  7. //
  8. // For more information, see http://www.boost.org/libs/range/
  9. //
  10. #ifndef BOOST_RANGE_DETAIL_ANY_ITERATOR_INTERFACE_HPP_INCLUDED
  11. #define BOOST_RANGE_DETAIL_ANY_ITERATOR_INTERFACE_HPP_INCLUDED
  12. #include <boost/range/detail/any_iterator_buffer.hpp>
  13. #include <boost/iterator/iterator_categories.hpp>
  14. #include <boost/type_traits/add_const.hpp>
  15. #include <boost/type_traits/add_reference.hpp>
  16. #include <boost/type_traits/is_reference.hpp>
  17. #include <boost/type_traits/remove_const.hpp>
  18. #include <boost/type_traits/remove_reference.hpp>
  19. namespace boost
  20. {
  21. namespace range_detail
  22. {
  23. template<class T>
  24. struct const_reference_type_generator
  25. {
  26. typedef typename mpl::if_<
  27. typename is_reference<T>::type,
  28. typename add_reference<
  29. typename add_const<
  30. typename remove_reference<T>::type
  31. >::type
  32. >::type,
  33. T
  34. >::type type;
  35. };
  36. template<
  37. class Reference
  38. , class Buffer
  39. >
  40. struct any_incrementable_iterator_interface
  41. {
  42. typedef Reference reference;
  43. typedef typename const_reference_type_generator<
  44. Reference
  45. >::type const_reference;
  46. typedef typename remove_const<
  47. typename remove_reference<Reference>::type
  48. >::type reference_as_value_type;
  49. typedef Buffer buffer_type;
  50. virtual ~any_incrementable_iterator_interface() {}
  51. virtual any_incrementable_iterator_interface*
  52. clone(buffer_type& buffer) const = 0;
  53. virtual any_incrementable_iterator_interface<const_reference, Buffer>*
  54. clone_const_ref(buffer_type& buffer) const = 0;
  55. virtual any_incrementable_iterator_interface<reference_as_value_type, Buffer>*
  56. clone_reference_as_value(buffer_type& buffer) const = 0;
  57. virtual void increment() = 0;
  58. };
  59. template<
  60. class Reference
  61. , class Buffer
  62. >
  63. struct any_single_pass_iterator_interface
  64. : any_incrementable_iterator_interface<Reference, Buffer>
  65. {
  66. typedef typename any_incrementable_iterator_interface<Reference, Buffer>::reference reference;
  67. typedef typename any_incrementable_iterator_interface<Reference, Buffer>::const_reference const_reference;
  68. typedef typename any_incrementable_iterator_interface<Reference, Buffer>::buffer_type buffer_type;
  69. typedef typename any_incrementable_iterator_interface<Reference, Buffer>::reference_as_value_type reference_as_value_type;
  70. virtual any_single_pass_iterator_interface*
  71. clone(buffer_type& buffer) const = 0;
  72. virtual any_single_pass_iterator_interface<const_reference, Buffer>*
  73. clone_const_ref(buffer_type& buffer) const = 0;
  74. virtual any_single_pass_iterator_interface<reference_as_value_type, Buffer>*
  75. clone_reference_as_value(buffer_type& buffer) const = 0;
  76. virtual Reference dereference() const = 0;
  77. virtual bool equal(const any_single_pass_iterator_interface& other) const = 0;
  78. };
  79. template<
  80. class Reference
  81. , class Buffer
  82. >
  83. struct any_forward_iterator_interface
  84. : any_single_pass_iterator_interface<Reference, Buffer>
  85. {
  86. typedef typename any_single_pass_iterator_interface<Reference, Buffer>::reference reference;
  87. typedef typename any_single_pass_iterator_interface<Reference, Buffer>::const_reference const_reference;
  88. typedef typename any_single_pass_iterator_interface<Reference, Buffer>::buffer_type buffer_type;
  89. typedef typename any_single_pass_iterator_interface<Reference, Buffer>::reference_as_value_type reference_as_value_type;
  90. virtual any_forward_iterator_interface*
  91. clone(buffer_type& buffer) const = 0;
  92. virtual any_forward_iterator_interface<const_reference, Buffer>*
  93. clone_const_ref(buffer_type& buffer) const = 0;
  94. virtual any_forward_iterator_interface<reference_as_value_type, Buffer>*
  95. clone_reference_as_value(buffer_type& buffer) const = 0;
  96. };
  97. template<
  98. class Reference
  99. , class Buffer
  100. >
  101. struct any_bidirectional_iterator_interface
  102. : any_forward_iterator_interface<Reference, Buffer>
  103. {
  104. typedef typename any_forward_iterator_interface<Reference, Buffer>::reference reference;
  105. typedef typename any_forward_iterator_interface<Reference, Buffer>::const_reference const_reference;
  106. typedef typename any_forward_iterator_interface<Reference, Buffer>::buffer_type buffer_type;
  107. typedef typename any_forward_iterator_interface<Reference, Buffer>::reference_as_value_type reference_as_value_type;
  108. virtual any_bidirectional_iterator_interface*
  109. clone(buffer_type& buffer) const = 0;
  110. virtual any_bidirectional_iterator_interface<const_reference, Buffer>*
  111. clone_const_ref(buffer_type& buffer) const = 0;
  112. virtual any_bidirectional_iterator_interface<reference_as_value_type, Buffer>*
  113. clone_reference_as_value(buffer_type& buffer) const = 0;
  114. virtual void decrement() = 0;
  115. };
  116. template<
  117. class Reference
  118. , class Difference
  119. , class Buffer
  120. >
  121. struct any_random_access_iterator_interface
  122. : any_bidirectional_iterator_interface<
  123. Reference
  124. , Buffer
  125. >
  126. {
  127. typedef typename any_bidirectional_iterator_interface<Reference, Buffer>::reference reference;
  128. typedef typename any_bidirectional_iterator_interface<Reference, Buffer>::const_reference const_reference;
  129. typedef typename any_bidirectional_iterator_interface<Reference, Buffer>::buffer_type buffer_type;
  130. typedef typename any_bidirectional_iterator_interface<Reference, Buffer>::reference_as_value_type reference_as_value_type;
  131. typedef Difference difference_type;
  132. virtual any_random_access_iterator_interface*
  133. clone(buffer_type& buffer) const = 0;
  134. virtual any_random_access_iterator_interface<const_reference, Difference, Buffer>*
  135. clone_const_ref(buffer_type& buffer) const = 0;
  136. virtual any_random_access_iterator_interface<reference_as_value_type, Difference, Buffer>*
  137. clone_reference_as_value(buffer_type& buffer) const = 0;
  138. virtual void advance(Difference offset) = 0;
  139. virtual Difference distance_to(const any_random_access_iterator_interface& other) const = 0;
  140. };
  141. template<
  142. class Traversal
  143. , class Reference
  144. , class Difference
  145. , class Buffer
  146. >
  147. struct any_iterator_interface_type_generator;
  148. template<
  149. class Reference
  150. , class Difference
  151. , class Buffer
  152. >
  153. struct any_iterator_interface_type_generator<
  154. incrementable_traversal_tag
  155. , Reference
  156. , Difference
  157. , Buffer
  158. >
  159. {
  160. typedef any_incrementable_iterator_interface<Reference, Buffer> type;
  161. };
  162. template<
  163. class Reference
  164. , class Difference
  165. , class Buffer
  166. >
  167. struct any_iterator_interface_type_generator<
  168. single_pass_traversal_tag
  169. , Reference
  170. , Difference
  171. , Buffer
  172. >
  173. {
  174. typedef any_single_pass_iterator_interface<Reference, Buffer> type;
  175. };
  176. template<
  177. class Reference
  178. , class Difference
  179. , class Buffer
  180. >
  181. struct any_iterator_interface_type_generator<
  182. forward_traversal_tag
  183. , Reference
  184. , Difference
  185. , Buffer
  186. >
  187. {
  188. typedef any_forward_iterator_interface<Reference, Buffer> type;
  189. };
  190. template<
  191. class Reference
  192. , class Difference
  193. , class Buffer
  194. >
  195. struct any_iterator_interface_type_generator<
  196. bidirectional_traversal_tag
  197. , Reference
  198. , Difference
  199. , Buffer
  200. >
  201. {
  202. typedef any_bidirectional_iterator_interface<Reference, Buffer> type;
  203. };
  204. template<
  205. class Reference
  206. , class Difference
  207. , class Buffer
  208. >
  209. struct any_iterator_interface_type_generator<
  210. random_access_traversal_tag
  211. , Reference
  212. , Difference
  213. , Buffer
  214. >
  215. {
  216. typedef any_random_access_iterator_interface<
  217. Reference
  218. , Difference
  219. , Buffer
  220. > type;
  221. };
  222. } // namespace range_detail
  223. } // namespace boost
  224. #endif // include guard