ranked_index.hpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385
  1. /* Copyright 2003-2018 Joaquin M Lopez Munoz.
  2. * Distributed under the Boost Software License, Version 1.0.
  3. * (See accompanying file LICENSE_1_0.txt or copy at
  4. * http://www.boost.org/LICENSE_1_0.txt)
  5. *
  6. * See http://www.boost.org/libs/multi_index for library home page.
  7. */
  8. #ifndef BOOST_MULTI_INDEX_RANKED_INDEX_HPP
  9. #define BOOST_MULTI_INDEX_RANKED_INDEX_HPP
  10. #if defined(_MSC_VER)
  11. #pragma once
  12. #endif
  13. #include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */
  14. #include <boost/multi_index/detail/ord_index_impl.hpp>
  15. #include <boost/multi_index/detail/rnk_index_ops.hpp>
  16. #include <boost/multi_index/ranked_index_fwd.hpp>
  17. namespace boost{
  18. namespace multi_index{
  19. namespace detail{
  20. /* ranked_index augments a given ordered index to provide rank operations */
  21. template<typename OrderedIndexNodeImpl>
  22. struct ranked_node:OrderedIndexNodeImpl
  23. {
  24. typedef typename OrderedIndexNodeImpl::size_type size_type;
  25. size_type size;
  26. };
  27. template<typename OrderedIndexImpl>
  28. class ranked_index:public OrderedIndexImpl
  29. {
  30. typedef OrderedIndexImpl super;
  31. protected:
  32. typedef typename super::node_type node_type;
  33. typedef typename super::node_impl_pointer node_impl_pointer;
  34. public:
  35. typedef typename super::ctor_args_list ctor_args_list;
  36. typedef typename super::allocator_type allocator_type;
  37. typedef typename super::iterator iterator;
  38. typedef typename super::size_type size_type;
  39. /* rank operations */
  40. iterator nth(size_type n)const
  41. {
  42. return this->make_iterator(node_type::from_impl(
  43. ranked_index_nth(n,this->header()->impl())));
  44. }
  45. size_type rank(iterator position)const
  46. {
  47. BOOST_MULTI_INDEX_CHECK_VALID_ITERATOR(position);
  48. BOOST_MULTI_INDEX_CHECK_IS_OWNER(position,*this);
  49. return ranked_index_rank(
  50. position.get_node()->impl(),this->header()->impl());
  51. }
  52. template<typename CompatibleKey>
  53. size_type find_rank(const CompatibleKey& x)const
  54. {
  55. return ranked_index_find_rank(
  56. this->root(),this->header(),this->key,x,this->comp_);
  57. }
  58. template<typename CompatibleKey,typename CompatibleCompare>
  59. size_type find_rank(
  60. const CompatibleKey& x,const CompatibleCompare& comp)const
  61. {
  62. return ranked_index_find_rank(
  63. this->root(),this->header(),this->key,x,comp);
  64. }
  65. template<typename CompatibleKey>
  66. size_type lower_bound_rank(const CompatibleKey& x)const
  67. {
  68. return ranked_index_lower_bound_rank(
  69. this->root(),this->header(),this->key,x,this->comp_);
  70. }
  71. template<typename CompatibleKey,typename CompatibleCompare>
  72. size_type lower_bound_rank(
  73. const CompatibleKey& x,const CompatibleCompare& comp)const
  74. {
  75. return ranked_index_lower_bound_rank(
  76. this->root(),this->header(),this->key,x,comp);
  77. }
  78. template<typename CompatibleKey>
  79. size_type upper_bound_rank(const CompatibleKey& x)const
  80. {
  81. return ranked_index_upper_bound_rank(
  82. this->root(),this->header(),this->key,x,this->comp_);
  83. }
  84. template<typename CompatibleKey,typename CompatibleCompare>
  85. size_type upper_bound_rank(
  86. const CompatibleKey& x,const CompatibleCompare& comp)const
  87. {
  88. return ranked_index_upper_bound_rank(
  89. this->root(),this->header(),this->key,x,comp);
  90. }
  91. template<typename CompatibleKey>
  92. std::pair<size_type,size_type> equal_range_rank(
  93. const CompatibleKey& x)const
  94. {
  95. return ranked_index_equal_range_rank(
  96. this->root(),this->header(),this->key,x,this->comp_);
  97. }
  98. template<typename CompatibleKey,typename CompatibleCompare>
  99. std::pair<size_type,size_type> equal_range_rank(
  100. const CompatibleKey& x,const CompatibleCompare& comp)const
  101. {
  102. return ranked_index_equal_range_rank(
  103. this->root(),this->header(),this->key,x,comp);
  104. }
  105. template<typename LowerBounder,typename UpperBounder>
  106. std::pair<size_type,size_type>
  107. range_rank(LowerBounder lower,UpperBounder upper)const
  108. {
  109. typedef typename mpl::if_<
  110. is_same<LowerBounder,unbounded_type>,
  111. BOOST_DEDUCED_TYPENAME mpl::if_<
  112. is_same<UpperBounder,unbounded_type>,
  113. both_unbounded_tag,
  114. lower_unbounded_tag
  115. >::type,
  116. BOOST_DEDUCED_TYPENAME mpl::if_<
  117. is_same<UpperBounder,unbounded_type>,
  118. upper_unbounded_tag,
  119. none_unbounded_tag
  120. >::type
  121. >::type dispatch;
  122. return range_rank(lower,upper,dispatch());
  123. }
  124. protected:
  125. ranked_index(const ranked_index& x):super(x){};
  126. ranked_index(const ranked_index& x,do_not_copy_elements_tag):
  127. super(x,do_not_copy_elements_tag()){};
  128. ranked_index(
  129. const ctor_args_list& args_list,const allocator_type& al):
  130. super(args_list,al){}
  131. private:
  132. template<typename LowerBounder,typename UpperBounder>
  133. std::pair<size_type,size_type>
  134. range_rank(LowerBounder lower,UpperBounder upper,none_unbounded_tag)const
  135. {
  136. node_type* y=this->header();
  137. node_type* z=this->root();
  138. if(!z)return std::pair<size_type,size_type>(0,0);
  139. size_type s=z->impl()->size;
  140. do{
  141. if(!lower(this->key(z->value()))){
  142. z=node_type::from_impl(z->right());
  143. }
  144. else if(!upper(this->key(z->value()))){
  145. y=z;
  146. s-=ranked_node_size(y->right())+1;
  147. z=node_type::from_impl(z->left());
  148. }
  149. else{
  150. return std::pair<size_type,size_type>(
  151. s-z->impl()->size+
  152. lower_range_rank(node_type::from_impl(z->left()),z,lower),
  153. s-ranked_node_size(z->right())+
  154. upper_range_rank(node_type::from_impl(z->right()),y,upper));
  155. }
  156. }while(z);
  157. return std::pair<size_type,size_type>(s,s);
  158. }
  159. template<typename LowerBounder,typename UpperBounder>
  160. std::pair<size_type,size_type>
  161. range_rank(LowerBounder,UpperBounder upper,lower_unbounded_tag)const
  162. {
  163. return std::pair<size_type,size_type>(
  164. 0,
  165. upper_range_rank(this->root(),this->header(),upper));
  166. }
  167. template<typename LowerBounder,typename UpperBounder>
  168. std::pair<size_type,size_type>
  169. range_rank(LowerBounder lower,UpperBounder,upper_unbounded_tag)const
  170. {
  171. return std::pair<size_type,size_type>(
  172. lower_range_rank(this->root(),this->header(),lower),
  173. this->size());
  174. }
  175. template<typename LowerBounder,typename UpperBounder>
  176. std::pair<size_type,size_type>
  177. range_rank(LowerBounder,UpperBounder,both_unbounded_tag)const
  178. {
  179. return std::pair<size_type,size_type>(0,this->size());
  180. }
  181. template<typename LowerBounder>
  182. size_type
  183. lower_range_rank(node_type* top,node_type* y,LowerBounder lower)const
  184. {
  185. if(!top)return 0;
  186. size_type s=top->impl()->size;
  187. do{
  188. if(lower(this->key(top->value()))){
  189. y=top;
  190. s-=ranked_node_size(y->right())+1;
  191. top=node_type::from_impl(top->left());
  192. }
  193. else top=node_type::from_impl(top->right());
  194. }while(top);
  195. return s;
  196. }
  197. template<typename UpperBounder>
  198. size_type
  199. upper_range_rank(node_type* top,node_type* y,UpperBounder upper)const
  200. {
  201. if(!top)return 0;
  202. size_type s=top->impl()->size;
  203. do{
  204. if(!upper(this->key(top->value()))){
  205. y=top;
  206. s-=ranked_node_size(y->right())+1;
  207. top=node_type::from_impl(top->left());
  208. }
  209. else top=node_type::from_impl(top->right());
  210. }while(top);
  211. return s;
  212. }
  213. };
  214. /* augmenting policy for ordered_index */
  215. struct rank_policy
  216. {
  217. template<typename OrderedIndexNodeImpl>
  218. struct augmented_node
  219. {
  220. typedef ranked_node<OrderedIndexNodeImpl> type;
  221. };
  222. template<typename OrderedIndexImpl>
  223. struct augmented_interface
  224. {
  225. typedef ranked_index<OrderedIndexImpl> type;
  226. };
  227. /* algorithmic stuff */
  228. template<typename Pointer>
  229. static void add(Pointer x,Pointer root)
  230. {
  231. x->size=1;
  232. while(x!=root){
  233. x=x->parent();
  234. ++(x->size);
  235. }
  236. }
  237. template<typename Pointer>
  238. static void remove(Pointer x,Pointer root)
  239. {
  240. while(x!=root){
  241. x=x->parent();
  242. --(x->size);
  243. }
  244. }
  245. template<typename Pointer>
  246. static void copy(Pointer x,Pointer y)
  247. {
  248. y->size=x->size;
  249. }
  250. template<typename Pointer>
  251. static void rotate_left(Pointer x,Pointer y) /* in: x==y->left() */
  252. {
  253. y->size=x->size;
  254. x->size=ranked_node_size(x->left())+ranked_node_size(x->right())+1;
  255. }
  256. template<typename Pointer>
  257. static void rotate_right(Pointer x,Pointer y) /* in: x==y->right() */
  258. {
  259. rotate_left(x,y);
  260. }
  261. #if defined(BOOST_MULTI_INDEX_ENABLE_INVARIANT_CHECKING)
  262. /* invariant stuff */
  263. template<typename Pointer>
  264. static bool invariant(Pointer x)
  265. {
  266. return x->size==ranked_node_size(x->left())+ranked_node_size(x->right())+1;
  267. }
  268. #endif
  269. };
  270. } /* namespace multi_index::detail */
  271. /* ranked_index specifiers */
  272. template<typename Arg1,typename Arg2,typename Arg3>
  273. struct ranked_unique
  274. {
  275. typedef typename detail::ordered_index_args<
  276. Arg1,Arg2,Arg3> index_args;
  277. typedef typename index_args::tag_list_type::type tag_list_type;
  278. typedef typename index_args::key_from_value_type key_from_value_type;
  279. typedef typename index_args::compare_type compare_type;
  280. template<typename Super>
  281. struct node_class
  282. {
  283. typedef detail::ordered_index_node<detail::rank_policy,Super> type;
  284. };
  285. template<typename SuperMeta>
  286. struct index_class
  287. {
  288. typedef detail::ordered_index<
  289. key_from_value_type,compare_type,
  290. SuperMeta,tag_list_type,detail::ordered_unique_tag,
  291. detail::rank_policy> type;
  292. };
  293. };
  294. template<typename Arg1,typename Arg2,typename Arg3>
  295. struct ranked_non_unique
  296. {
  297. typedef detail::ordered_index_args<
  298. Arg1,Arg2,Arg3> index_args;
  299. typedef typename index_args::tag_list_type::type tag_list_type;
  300. typedef typename index_args::key_from_value_type key_from_value_type;
  301. typedef typename index_args::compare_type compare_type;
  302. template<typename Super>
  303. struct node_class
  304. {
  305. typedef detail::ordered_index_node<detail::rank_policy,Super> type;
  306. };
  307. template<typename SuperMeta>
  308. struct index_class
  309. {
  310. typedef detail::ordered_index<
  311. key_from_value_type,compare_type,
  312. SuperMeta,tag_list_type,detail::ordered_non_unique_tag,
  313. detail::rank_policy> type;
  314. };
  315. };
  316. } /* namespace multi_index */
  317. } /* namespace boost */
  318. #endif