bs_set.hpp 38 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922
  1. /////////////////////////////////////////////////////////////////////////////
  2. //
  3. // (C) Copyright Ion Gaztanaga 2013-2013
  4. //
  5. // Distributed under the Boost Software License, Version 1.0.
  6. // (See accompanying file LICENSE_1_0.txt or copy at
  7. // http://www.boost.org/LICENSE_1_0.txt)
  8. //
  9. // See http://www.boost.org/libs/intrusive for documentation.
  10. //
  11. /////////////////////////////////////////////////////////////////////////////
  12. #ifndef BOOST_INTRUSIVE_BS_SET_HPP
  13. #define BOOST_INTRUSIVE_BS_SET_HPP
  14. #include <boost/intrusive/detail/config_begin.hpp>
  15. #include <boost/intrusive/intrusive_fwd.hpp>
  16. #include <boost/intrusive/detail/mpl.hpp>
  17. #include <boost/intrusive/bstree.hpp>
  18. #include <iterator>
  19. #include <boost/move/move.hpp>
  20. namespace boost {
  21. namespace intrusive {
  22. //! The class template bs_set is an intrusive container, that mimics most of
  23. //! the interface of std::set as described in the C++ standard.
  24. //!
  25. //! The template parameter \c T is the type to be managed by the container.
  26. //! The user can specify additional options and if no options are provided
  27. //! default options are used.
  28. //!
  29. //! The container supports the following options:
  30. //! \c base_hook<>/member_hook<>/value_traits<>,
  31. //! \c constant_time_size<>, \c size_type<> and
  32. //! \c compare<>.
  33. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  34. template<class T, class ...Options>
  35. #else
  36. template<class ValueTraits, class Compare, class SizeType, bool ConstantTimeSize>
  37. #endif
  38. class bs_set_impl
  39. #ifndef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  40. : public bstree_impl<ValueTraits, Compare, SizeType, ConstantTimeSize, BsTreeAlgorithms>
  41. #endif
  42. {
  43. /// @cond
  44. typedef bstree_impl<ValueTraits, Compare, SizeType, ConstantTimeSize, BsTreeAlgorithms> tree_type;
  45. BOOST_MOVABLE_BUT_NOT_COPYABLE(bs_set_impl)
  46. typedef tree_type implementation_defined;
  47. /// @endcond
  48. public:
  49. typedef typename implementation_defined::value_type value_type;
  50. typedef typename implementation_defined::value_traits value_traits;
  51. typedef typename implementation_defined::pointer pointer;
  52. typedef typename implementation_defined::const_pointer const_pointer;
  53. typedef typename implementation_defined::reference reference;
  54. typedef typename implementation_defined::const_reference const_reference;
  55. typedef typename implementation_defined::difference_type difference_type;
  56. typedef typename implementation_defined::size_type size_type;
  57. typedef typename implementation_defined::value_compare value_compare;
  58. typedef typename implementation_defined::key_compare key_compare;
  59. typedef typename implementation_defined::iterator iterator;
  60. typedef typename implementation_defined::const_iterator const_iterator;
  61. typedef typename implementation_defined::reverse_iterator reverse_iterator;
  62. typedef typename implementation_defined::const_reverse_iterator const_reverse_iterator;
  63. typedef typename implementation_defined::insert_commit_data insert_commit_data;
  64. typedef typename implementation_defined::node_traits node_traits;
  65. typedef typename implementation_defined::node node;
  66. typedef typename implementation_defined::node_ptr node_ptr;
  67. typedef typename implementation_defined::const_node_ptr const_node_ptr;
  68. typedef typename implementation_defined::node_algorithms node_algorithms;
  69. static const bool constant_time_size = tree_type::constant_time_size;
  70. public:
  71. //! @copydoc ::boost::intrusive::bstree::bstree(const value_compare &,const value_traits &)
  72. explicit bs_set_impl( const value_compare &cmp = value_compare()
  73. , const value_traits &v_traits = value_traits())
  74. : tree_type(cmp, v_traits)
  75. {}
  76. //! @copydoc ::boost::intrusive::bstree::bstree(bool,Iterator,Iterator,const value_compare &,const value_traits &)
  77. template<class Iterator>
  78. bs_set_impl( Iterator b, Iterator e
  79. , const value_compare &cmp = value_compare()
  80. , const value_traits &v_traits = value_traits())
  81. : tree_type(true, b, e, cmp, v_traits)
  82. {}
  83. //! @copydoc ::boost::intrusive::bstree::bstree(bstree &&)
  84. bs_set_impl(BOOST_RV_REF(bs_set_impl) x)
  85. : tree_type(::boost::move(static_cast<tree_type&>(x)))
  86. {}
  87. //! @copydoc ::boost::intrusive::bstree::operator=(bstree &&)
  88. bs_set_impl& operator=(BOOST_RV_REF(bs_set_impl) x)
  89. { return static_cast<bs_set_impl&>(tree_type::operator=(::boost::move(static_cast<tree_type&>(x)))); }
  90. #ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  91. //! @copydoc ::boost::intrusive::bstree::~bstree()
  92. ~bs_set_impl();
  93. //! @copydoc ::boost::intrusive::bstree::begin()
  94. iterator begin();
  95. //! @copydoc ::boost::intrusive::bstree::begin()const
  96. const_iterator begin() const;
  97. //! @copydoc ::boost::intrusive::bstree::cbegin()const
  98. const_iterator cbegin() const;
  99. //! @copydoc ::boost::intrusive::bstree::end()
  100. iterator end();
  101. //! @copydoc ::boost::intrusive::bstree::end()const
  102. const_iterator end() const;
  103. //! @copydoc ::boost::intrusive::bstree::cend()const
  104. const_iterator cend() const;
  105. //! @copydoc ::boost::intrusive::bstree::rbegin()
  106. reverse_iterator rbegin();
  107. //! @copydoc ::boost::intrusive::bstree::rbegin()const
  108. const_reverse_iterator rbegin() const;
  109. //! @copydoc ::boost::intrusive::bstree::crbegin()const
  110. const_reverse_iterator crbegin() const;
  111. //! @copydoc ::boost::intrusive::bstree::rend()
  112. reverse_iterator rend();
  113. //! @copydoc ::boost::intrusive::bstree::rend()const
  114. const_reverse_iterator rend() const;
  115. //! @copydoc ::boost::intrusive::bstree::crend()const
  116. const_reverse_iterator crend() const;
  117. //! @copydoc ::boost::intrusive::bstree::container_from_end_iterator(iterator)
  118. static bs_set_impl &container_from_end_iterator(iterator end_iterator);
  119. //! @copydoc ::boost::intrusive::bstree::container_from_end_iterator(const_iterator)
  120. static const bs_set_impl &container_from_end_iterator(const_iterator end_iterator);
  121. //! @copydoc ::boost::intrusive::bstree::container_from_iterator(iterator)
  122. static bs_set_impl &container_from_iterator(iterator it);
  123. //! @copydoc ::boost::intrusive::bstree::container_from_iterator(const_iterator)
  124. static const bs_set_impl &container_from_iterator(const_iterator it);
  125. //! @copydoc ::boost::intrusive::bstree::key_comp()const
  126. key_compare key_comp() const;
  127. //! @copydoc ::boost::intrusive::bstree::value_comp()const
  128. value_compare value_comp() const;
  129. //! @copydoc ::boost::intrusive::bstree::empty()const
  130. bool empty() const;
  131. //! @copydoc ::boost::intrusive::bstree::size()const
  132. size_type size() const;
  133. //! @copydoc ::boost::intrusive::bstree::swap
  134. void swap(bs_set_impl& other);
  135. //! @copydoc ::boost::intrusive::bstree::clone_from
  136. template <class Cloner, class Disposer>
  137. void clone_from(const bs_set_impl &src, Cloner cloner, Disposer disposer);
  138. #endif //#ifdef BOOST_iNTRUSIVE_DOXYGEN_INVOKED
  139. //! @copydoc ::boost::intrusive::bstree::insert_unique(reference)
  140. std::pair<iterator, bool> insert(reference value)
  141. { return tree_type::insert_unique(value); }
  142. //! @copydoc ::boost::intrusive::bstree::insert_unique(const_iterator,reference)
  143. iterator insert(const_iterator hint, reference value)
  144. { return tree_type::insert_unique(hint, value); }
  145. //! @copydoc ::boost::intrusive::bstree::insert_unique_check(const KeyType&,KeyValueCompare,insert_commit_data&)
  146. template<class KeyType, class KeyValueCompare>
  147. std::pair<iterator, bool> insert_check
  148. (const KeyType &key, KeyValueCompare key_value_comp, insert_commit_data &commit_data)
  149. { return tree_type::insert_unique_check(key, key_value_comp, commit_data); }
  150. //! @copydoc ::boost::intrusive::bstree::insert_unique_check(const_iterator,const KeyType&,KeyValueCompare,insert_commit_data&)
  151. template<class KeyType, class KeyValueCompare>
  152. std::pair<iterator, bool> insert_check
  153. (const_iterator hint, const KeyType &key
  154. ,KeyValueCompare key_value_comp, insert_commit_data &commit_data)
  155. { return tree_type::insert_unique_check(hint, key, key_value_comp, commit_data); }
  156. //! @copydoc ::boost::intrusive::bstree::insert_unique(Iterator,Iterator)
  157. template<class Iterator>
  158. void insert(Iterator b, Iterator e)
  159. { tree_type::insert_unique(b, e); }
  160. //! @copydoc ::boost::intrusive::bstree::insert_unique_commit
  161. iterator insert_commit(reference value, const insert_commit_data &commit_data)
  162. { return tree_type::insert_unique_commit(value, commit_data); }
  163. #ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  164. //! @copydoc ::boost::intrusive::bstree::insert_before
  165. iterator insert_before(const_iterator pos, reference value);
  166. //! @copydoc ::boost::intrusive::bstree::push_back
  167. void push_back(reference value);
  168. //! @copydoc ::boost::intrusive::bstree::push_front
  169. void push_front(reference value);
  170. //! @copydoc ::boost::intrusive::bstree::erase(const_iterator)
  171. iterator erase(const_iterator i);
  172. //! @copydoc ::boost::intrusive::bstree::erase(const_iterator,const_iterator)
  173. iterator erase(const_iterator b, const_iterator e);
  174. //! @copydoc ::boost::intrusive::bstree::erase(const_reference)
  175. size_type erase(const_reference value);
  176. //! @copydoc ::boost::intrusive::bstree::erase(const KeyType&,KeyValueCompare)
  177. template<class KeyType, class KeyValueCompare>
  178. size_type erase(const KeyType& key, KeyValueCompare comp);
  179. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_iterator,Disposer)
  180. template<class Disposer>
  181. iterator erase_and_dispose(const_iterator i, Disposer disposer);
  182. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_iterator,const_iterator,Disposer)
  183. template<class Disposer>
  184. iterator erase_and_dispose(const_iterator b, const_iterator e, Disposer disposer);
  185. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_reference, Disposer)
  186. template<class Disposer>
  187. size_type erase_and_dispose(const_reference value, Disposer disposer);
  188. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const KeyType&,KeyValueCompare,Disposer)
  189. template<class KeyType, class KeyValueCompare, class Disposer>
  190. size_type erase_and_dispose(const KeyType& key, KeyValueCompare comp, Disposer disposer);
  191. //! @copydoc ::boost::intrusive::bstree::clear
  192. void clear();
  193. //! @copydoc ::boost::intrusive::bstree::clear_and_dispose
  194. template<class Disposer>
  195. void clear_and_dispose(Disposer disposer);
  196. //! @copydoc ::boost::intrusive::bstree::count(const_reference)const
  197. size_type count(const_reference value) const;
  198. //! @copydoc ::boost::intrusive::bstree::count(const KeyType&,KeyValueCompare)const
  199. template<class KeyType, class KeyValueCompare>
  200. size_type count(const KeyType& key, KeyValueCompare comp) const;
  201. //! @copydoc ::boost::intrusive::bstree::lower_bound(const_reference)
  202. iterator lower_bound(const_reference value);
  203. //! @copydoc ::boost::intrusive::bstree::lower_bound(const KeyType&,KeyValueCompare)
  204. template<class KeyType, class KeyValueCompare>
  205. iterator lower_bound(const KeyType& key, KeyValueCompare comp);
  206. //! @copydoc ::boost::intrusive::bstree::lower_bound(const_reference)const
  207. const_iterator lower_bound(const_reference value) const;
  208. //! @copydoc ::boost::intrusive::bstree::lower_bound(const KeyType&,KeyValueCompare)const
  209. template<class KeyType, class KeyValueCompare>
  210. const_iterator lower_bound(const KeyType& key, KeyValueCompare comp) const;
  211. //! @copydoc ::boost::intrusive::bstree::upper_bound(const_reference)
  212. iterator upper_bound(const_reference value);
  213. //! @copydoc ::boost::intrusive::bstree::upper_bound(const KeyType&,KeyValueCompare)
  214. template<class KeyType, class KeyValueCompare>
  215. iterator upper_bound(const KeyType& key, KeyValueCompare comp);
  216. //! @copydoc ::boost::intrusive::bstree::upper_bound(const_reference)const
  217. const_iterator upper_bound(const_reference value) const;
  218. //! @copydoc ::boost::intrusive::bstree::upper_bound(const KeyType&,KeyValueCompare)const
  219. template<class KeyType, class KeyValueCompare>
  220. const_iterator upper_bound(const KeyType& key, KeyValueCompare comp) const;
  221. //! @copydoc ::boost::intrusive::bstree::find(const_reference)
  222. iterator find(const_reference value);
  223. //! @copydoc ::boost::intrusive::bstree::find(const KeyType&,KeyValueCompare)
  224. template<class KeyType, class KeyValueCompare>
  225. iterator find(const KeyType& key, KeyValueCompare comp);
  226. //! @copydoc ::boost::intrusive::bstree::find(const_reference)const
  227. const_iterator find(const_reference value) const;
  228. //! @copydoc ::boost::intrusive::bstree::find(const KeyType&,KeyValueCompare)const
  229. template<class KeyType, class KeyValueCompare>
  230. const_iterator find(const KeyType& key, KeyValueCompare comp) const;
  231. //! @copydoc ::boost::intrusive::bstree::equal_range(const_reference)
  232. std::pair<iterator,iterator> equal_range(const_reference value);
  233. //! @copydoc ::boost::intrusive::bstree::equal_range(const KeyType&,KeyValueCompare)
  234. template<class KeyType, class KeyValueCompare>
  235. std::pair<iterator,iterator> equal_range(const KeyType& key, KeyValueCompare comp);
  236. //! @copydoc ::boost::intrusive::bstree::equal_range(const_reference)const
  237. std::pair<const_iterator, const_iterator>
  238. equal_range(const_reference value) const;
  239. //! @copydoc ::boost::intrusive::bstree::equal_range(const KeyType&,KeyValueCompare)const
  240. template<class KeyType, class KeyValueCompare>
  241. std::pair<const_iterator, const_iterator>
  242. equal_range(const KeyType& key, KeyValueCompare comp) const;
  243. //! @copydoc ::boost::intrusive::bstree::bounded_range(const_reference,const_reference,bool,bool)
  244. std::pair<iterator,iterator> bounded_range
  245. (const_reference lower_value, const_reference upper_value, bool left_closed, bool right_closed);
  246. //! @copydoc ::boost::intrusive::bstree::bounded_range(const KeyType&,const KeyType&,KeyValueCompare,bool,bool)
  247. template<class KeyType, class KeyValueCompare>
  248. std::pair<iterator,iterator> bounded_range
  249. (const KeyType& lower_key, const KeyType& upper_key, KeyValueCompare comp, bool left_closed, bool right_closed);
  250. //! @copydoc ::boost::intrusive::bstree::bounded_range(const_reference,const_reference,bool,bool)const
  251. std::pair<const_iterator, const_iterator>
  252. bounded_range(const_reference lower_value, const_reference upper_value, bool left_closed, bool right_closed) const;
  253. //! @copydoc ::boost::intrusive::bstree::bounded_range(const KeyType&,const KeyType&,KeyValueCompare,bool,bool)const
  254. template<class KeyType, class KeyValueCompare>
  255. std::pair<const_iterator, const_iterator> bounded_range
  256. (const KeyType& lower_key, const KeyType& upper_key, KeyValueCompare comp, bool left_closed, bool right_closed) const;
  257. //! @copydoc ::boost::intrusive::bstree::s_iterator_to(reference)
  258. static iterator s_iterator_to(reference value);
  259. //! @copydoc ::boost::intrusive::bstree::s_iterator_to(const_reference)
  260. static const_iterator s_iterator_to(const_reference value);
  261. //! @copydoc ::boost::intrusive::bstree::iterator_to(reference)
  262. iterator iterator_to(reference value);
  263. //! @copydoc ::boost::intrusive::bstree::iterator_to(const_reference)const
  264. const_iterator iterator_to(const_reference value) const;
  265. //! @copydoc ::boost::intrusive::bstree::init_node(reference)
  266. static void init_node(reference value);
  267. //! @copydoc ::boost::intrusive::bstree::unlink_leftmost_without_rebalance
  268. pointer unlink_leftmost_without_rebalance();
  269. //! @copydoc ::boost::intrusive::bstree::replace_node
  270. void replace_node(iterator replace_this, reference with_this);
  271. //! @copydoc ::boost::intrusive::bstree::remove_node
  272. void remove_node(reference value);
  273. #endif //#ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  274. };
  275. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  276. template<class T, class ...Options>
  277. bool operator!= (const bs_set_impl<T, Options...> &x, const bs_set_impl<T, Options...> &y);
  278. template<class T, class ...Options>
  279. bool operator>(const bs_set_impl<T, Options...> &x, const bs_set_impl<T, Options...> &y);
  280. template<class T, class ...Options>
  281. bool operator<=(const bs_set_impl<T, Options...> &x, const bs_set_impl<T, Options...> &y);
  282. template<class T, class ...Options>
  283. bool operator>=(const bs_set_impl<T, Options...> &x, const bs_set_impl<T, Options...> &y);
  284. template<class T, class ...Options>
  285. void swap(bs_set_impl<T, Options...> &x, bs_set_impl<T, Options...> &y);
  286. #endif //#if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  287. //! Helper metafunction to define a \c bs_set that yields to the same type when the
  288. //! same options (either explicitly or implicitly) are used.
  289. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  290. template<class T, class ...Options>
  291. #else
  292. template<class T, class O1 = void, class O2 = void
  293. , class O3 = void, class O4 = void>
  294. #endif
  295. struct make_bs_set
  296. {
  297. /// @cond
  298. typedef typename pack_options
  299. < bstree_defaults,
  300. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  301. O1, O2, O3, O4
  302. #else
  303. Options...
  304. #endif
  305. >::type packed_options;
  306. typedef typename detail::get_value_traits
  307. <T, typename packed_options::proto_value_traits>::type value_traits;
  308. typedef bs_set_impl
  309. < value_traits
  310. , typename packed_options::compare
  311. , typename packed_options::size_type
  312. , packed_options::constant_time_size
  313. > implementation_defined;
  314. /// @endcond
  315. typedef implementation_defined type;
  316. };
  317. #ifndef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  318. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  319. template<class T, class O1, class O2, class O3, class O4>
  320. #else
  321. template<class T, class ...Options>
  322. #endif
  323. class bs_set
  324. : public make_bs_set<T,
  325. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  326. O1, O2, O3, O4
  327. #else
  328. Options...
  329. #endif
  330. >::type
  331. {
  332. typedef typename make_bs_set
  333. <T,
  334. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  335. O1, O2, O3, O4
  336. #else
  337. Options...
  338. #endif
  339. >::type Base;
  340. BOOST_MOVABLE_BUT_NOT_COPYABLE(bs_set)
  341. public:
  342. typedef typename Base::value_compare value_compare;
  343. typedef typename Base::value_traits value_traits;
  344. typedef typename Base::iterator iterator;
  345. typedef typename Base::const_iterator const_iterator;
  346. //Assert if passed value traits are compatible with the type
  347. BOOST_STATIC_ASSERT((detail::is_same<typename value_traits::value_type, T>::value));
  348. explicit bs_set( const value_compare &cmp = value_compare()
  349. , const value_traits &v_traits = value_traits())
  350. : Base(cmp, v_traits)
  351. {}
  352. template<class Iterator>
  353. bs_set( Iterator b, Iterator e
  354. , const value_compare &cmp = value_compare()
  355. , const value_traits &v_traits = value_traits())
  356. : Base(b, e, cmp, v_traits)
  357. {}
  358. bs_set(BOOST_RV_REF(bs_set) x)
  359. : Base(::boost::move(static_cast<Base&>(x)))
  360. {}
  361. bs_set& operator=(BOOST_RV_REF(bs_set) x)
  362. { return static_cast<bs_set &>(this->Base::operator=(::boost::move(static_cast<Base&>(x)))); }
  363. static bs_set &container_from_end_iterator(iterator end_iterator)
  364. { return static_cast<bs_set &>(Base::container_from_end_iterator(end_iterator)); }
  365. static const bs_set &container_from_end_iterator(const_iterator end_iterator)
  366. { return static_cast<const bs_set &>(Base::container_from_end_iterator(end_iterator)); }
  367. static bs_set &container_from_iterator(iterator it)
  368. { return static_cast<bs_set &>(Base::container_from_iterator(it)); }
  369. static const bs_set &container_from_iterator(const_iterator it)
  370. { return static_cast<const bs_set &>(Base::container_from_iterator(it)); }
  371. };
  372. #endif
  373. //! The class template bs_multiset is an intrusive container, that mimics most of
  374. //! the interface of std::multiset as described in the C++ standard.
  375. //!
  376. //! The template parameter \c T is the type to be managed by the container.
  377. //! The user can specify additional options and if no options are provided
  378. //! default options are used.
  379. //!
  380. //! The container supports the following options:
  381. //! \c base_hook<>/member_hook<>/value_traits<>,
  382. //! \c constant_time_size<>, \c size_type<> and
  383. //! \c compare<>.
  384. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  385. template<class T, class ...Options>
  386. #else
  387. template<class ValueTraits, class Compare, class SizeType, bool ConstantTimeSize>
  388. #endif
  389. class bs_multiset_impl
  390. #ifndef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  391. : public bstree_impl<ValueTraits, Compare, SizeType, ConstantTimeSize, RbTreeAlgorithms>
  392. #endif
  393. {
  394. /// @cond
  395. typedef bstree_impl<ValueTraits, Compare, SizeType, ConstantTimeSize, RbTreeAlgorithms> tree_type;
  396. BOOST_MOVABLE_BUT_NOT_COPYABLE(bs_multiset_impl)
  397. typedef tree_type implementation_defined;
  398. /// @endcond
  399. public:
  400. typedef typename implementation_defined::value_type value_type;
  401. typedef typename implementation_defined::value_traits value_traits;
  402. typedef typename implementation_defined::pointer pointer;
  403. typedef typename implementation_defined::const_pointer const_pointer;
  404. typedef typename implementation_defined::reference reference;
  405. typedef typename implementation_defined::const_reference const_reference;
  406. typedef typename implementation_defined::difference_type difference_type;
  407. typedef typename implementation_defined::size_type size_type;
  408. typedef typename implementation_defined::value_compare value_compare;
  409. typedef typename implementation_defined::key_compare key_compare;
  410. typedef typename implementation_defined::iterator iterator;
  411. typedef typename implementation_defined::const_iterator const_iterator;
  412. typedef typename implementation_defined::reverse_iterator reverse_iterator;
  413. typedef typename implementation_defined::const_reverse_iterator const_reverse_iterator;
  414. typedef typename implementation_defined::insert_commit_data insert_commit_data;
  415. typedef typename implementation_defined::node_traits node_traits;
  416. typedef typename implementation_defined::node node;
  417. typedef typename implementation_defined::node_ptr node_ptr;
  418. typedef typename implementation_defined::const_node_ptr const_node_ptr;
  419. typedef typename implementation_defined::node_algorithms node_algorithms;
  420. static const bool constant_time_size = tree_type::constant_time_size;
  421. public:
  422. //! @copydoc ::boost::intrusive::bstree::bstree(const value_compare &,const value_traits &)
  423. explicit bs_multiset_impl( const value_compare &cmp = value_compare()
  424. , const value_traits &v_traits = value_traits())
  425. : tree_type(cmp, v_traits)
  426. {}
  427. //! @copydoc ::boost::intrusive::bstree::bstree(bool,Iterator,Iterator,const value_compare &,const value_traits &)
  428. template<class Iterator>
  429. bs_multiset_impl( Iterator b, Iterator e
  430. , const value_compare &cmp = value_compare()
  431. , const value_traits &v_traits = value_traits())
  432. : tree_type(false, b, e, cmp, v_traits)
  433. {}
  434. //! @copydoc ::boost::intrusive::bstree::bstree(bstree &&)
  435. bs_multiset_impl(BOOST_RV_REF(bs_multiset_impl) x)
  436. : tree_type(::boost::move(static_cast<tree_type&>(x)))
  437. {}
  438. //! @copydoc ::boost::intrusive::bstree::operator=(bstree &&)
  439. bs_multiset_impl& operator=(BOOST_RV_REF(bs_multiset_impl) x)
  440. { return static_cast<bs_multiset_impl&>(tree_type::operator=(::boost::move(static_cast<tree_type&>(x)))); }
  441. #ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  442. //! @copydoc ::boost::intrusive::bstree::~bstree()
  443. ~bs_multiset_impl();
  444. //! @copydoc ::boost::intrusive::bstree::begin()
  445. iterator begin();
  446. //! @copydoc ::boost::intrusive::bstree::begin()const
  447. const_iterator begin() const;
  448. //! @copydoc ::boost::intrusive::bstree::cbegin()const
  449. const_iterator cbegin() const;
  450. //! @copydoc ::boost::intrusive::bstree::end()
  451. iterator end();
  452. //! @copydoc ::boost::intrusive::bstree::end()const
  453. const_iterator end() const;
  454. //! @copydoc ::boost::intrusive::bstree::cend()const
  455. const_iterator cend() const;
  456. //! @copydoc ::boost::intrusive::bstree::rbegin()
  457. reverse_iterator rbegin();
  458. //! @copydoc ::boost::intrusive::bstree::rbegin()const
  459. const_reverse_iterator rbegin() const;
  460. //! @copydoc ::boost::intrusive::bstree::crbegin()const
  461. const_reverse_iterator crbegin() const;
  462. //! @copydoc ::boost::intrusive::bstree::rend()
  463. reverse_iterator rend();
  464. //! @copydoc ::boost::intrusive::bstree::rend()const
  465. const_reverse_iterator rend() const;
  466. //! @copydoc ::boost::intrusive::bstree::crend()const
  467. const_reverse_iterator crend() const;
  468. //! @copydoc ::boost::intrusive::bstree::container_from_end_iterator(iterator)
  469. static bs_multiset_impl &container_from_end_iterator(iterator end_iterator);
  470. //! @copydoc ::boost::intrusive::bstree::container_from_end_iterator(const_iterator)
  471. static const bs_multiset_impl &container_from_end_iterator(const_iterator end_iterator);
  472. //! @copydoc ::boost::intrusive::bstree::container_from_iterator(iterator)
  473. static bs_multiset_impl &container_from_iterator(iterator it);
  474. //! @copydoc ::boost::intrusive::bstree::container_from_iterator(const_iterator)
  475. static const bs_multiset_impl &container_from_iterator(const_iterator it);
  476. //! @copydoc ::boost::intrusive::bstree::key_comp()const
  477. key_compare key_comp() const;
  478. //! @copydoc ::boost::intrusive::bstree::value_comp()const
  479. value_compare value_comp() const;
  480. //! @copydoc ::boost::intrusive::bstree::empty()const
  481. bool empty() const;
  482. //! @copydoc ::boost::intrusive::bstree::size()const
  483. size_type size() const;
  484. //! @copydoc ::boost::intrusive::bstree::swap
  485. void swap(bs_multiset_impl& other);
  486. //! @copydoc ::boost::intrusive::bstree::clone_from
  487. template <class Cloner, class Disposer>
  488. void clone_from(const bs_multiset_impl &src, Cloner cloner, Disposer disposer);
  489. #endif //#ifdef BOOST_iNTRUSIVE_DOXYGEN_INVOKED
  490. //! @copydoc ::boost::intrusive::bstree::insert_equal(reference)
  491. iterator insert(reference value)
  492. { return tree_type::insert_equal(value); }
  493. //! @copydoc ::boost::intrusive::bstree::insert_equal(const_iterator,reference)
  494. iterator insert(const_iterator hint, reference value)
  495. { return tree_type::insert_equal(hint, value); }
  496. //! @copydoc ::boost::intrusive::bstree::insert_equal(Iterator,Iterator)
  497. template<class Iterator>
  498. void insert(Iterator b, Iterator e)
  499. { tree_type::insert_equal(b, e); }
  500. #ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  501. //! @copydoc ::boost::intrusive::bstree::insert_before
  502. iterator insert_before(const_iterator pos, reference value);
  503. //! @copydoc ::boost::intrusive::bstree::push_back
  504. void push_back(reference value);
  505. //! @copydoc ::boost::intrusive::bstree::push_front
  506. void push_front(reference value);
  507. //! @copydoc ::boost::intrusive::bstree::erase(const_iterator)
  508. iterator erase(const_iterator i);
  509. //! @copydoc ::boost::intrusive::bstree::erase(const_iterator,const_iterator)
  510. iterator erase(const_iterator b, const_iterator e);
  511. //! @copydoc ::boost::intrusive::bstree::erase(const_reference)
  512. size_type erase(const_reference value);
  513. //! @copydoc ::boost::intrusive::bstree::erase(const KeyType&,KeyValueCompare)
  514. template<class KeyType, class KeyValueCompare>
  515. size_type erase(const KeyType& key, KeyValueCompare comp);
  516. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_iterator,Disposer)
  517. template<class Disposer>
  518. iterator erase_and_dispose(const_iterator i, Disposer disposer);
  519. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_iterator,const_iterator,Disposer)
  520. template<class Disposer>
  521. iterator erase_and_dispose(const_iterator b, const_iterator e, Disposer disposer);
  522. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const_reference, Disposer)
  523. template<class Disposer>
  524. size_type erase_and_dispose(const_reference value, Disposer disposer);
  525. //! @copydoc ::boost::intrusive::bstree::erase_and_dispose(const KeyType&,KeyValueCompare,Disposer)
  526. template<class KeyType, class KeyValueCompare, class Disposer>
  527. size_type erase_and_dispose(const KeyType& key, KeyValueCompare comp, Disposer disposer);
  528. //! @copydoc ::boost::intrusive::bstree::clear
  529. void clear();
  530. //! @copydoc ::boost::intrusive::bstree::clear_and_dispose
  531. template<class Disposer>
  532. void clear_and_dispose(Disposer disposer);
  533. //! @copydoc ::boost::intrusive::bstree::count(const_reference)const
  534. size_type count(const_reference value) const;
  535. //! @copydoc ::boost::intrusive::bstree::count(const KeyType&,KeyValueCompare)const
  536. template<class KeyType, class KeyValueCompare>
  537. size_type count(const KeyType& key, KeyValueCompare comp) const;
  538. //! @copydoc ::boost::intrusive::bstree::lower_bound(const_reference)
  539. iterator lower_bound(const_reference value);
  540. //! @copydoc ::boost::intrusive::bstree::lower_bound(const KeyType&,KeyValueCompare)
  541. template<class KeyType, class KeyValueCompare>
  542. iterator lower_bound(const KeyType& key, KeyValueCompare comp);
  543. //! @copydoc ::boost::intrusive::bstree::lower_bound(const_reference)const
  544. const_iterator lower_bound(const_reference value) const;
  545. //! @copydoc ::boost::intrusive::bstree::lower_bound(const KeyType&,KeyValueCompare)const
  546. template<class KeyType, class KeyValueCompare>
  547. const_iterator lower_bound(const KeyType& key, KeyValueCompare comp) const;
  548. //! @copydoc ::boost::intrusive::bstree::upper_bound(const_reference)
  549. iterator upper_bound(const_reference value);
  550. //! @copydoc ::boost::intrusive::bstree::upper_bound(const KeyType&,KeyValueCompare)
  551. template<class KeyType, class KeyValueCompare>
  552. iterator upper_bound(const KeyType& key, KeyValueCompare comp);
  553. //! @copydoc ::boost::intrusive::bstree::upper_bound(const_reference)const
  554. const_iterator upper_bound(const_reference value) const;
  555. //! @copydoc ::boost::intrusive::bstree::upper_bound(const KeyType&,KeyValueCompare)const
  556. template<class KeyType, class KeyValueCompare>
  557. const_iterator upper_bound(const KeyType& key, KeyValueCompare comp) const;
  558. //! @copydoc ::boost::intrusive::bstree::find(const_reference)
  559. iterator find(const_reference value);
  560. //! @copydoc ::boost::intrusive::bstree::find(const KeyType&,KeyValueCompare)
  561. template<class KeyType, class KeyValueCompare>
  562. iterator find(const KeyType& key, KeyValueCompare comp);
  563. //! @copydoc ::boost::intrusive::bstree::find(const_reference)const
  564. const_iterator find(const_reference value) const;
  565. //! @copydoc ::boost::intrusive::bstree::find(const KeyType&,KeyValueCompare)const
  566. template<class KeyType, class KeyValueCompare>
  567. const_iterator find(const KeyType& key, KeyValueCompare comp) const;
  568. //! @copydoc ::boost::intrusive::bstree::equal_range(const_reference)
  569. std::pair<iterator,iterator> equal_range(const_reference value);
  570. //! @copydoc ::boost::intrusive::bstree::equal_range(const KeyType&,KeyValueCompare)
  571. template<class KeyType, class KeyValueCompare>
  572. std::pair<iterator,iterator> equal_range(const KeyType& key, KeyValueCompare comp);
  573. //! @copydoc ::boost::intrusive::bstree::equal_range(const_reference)const
  574. std::pair<const_iterator, const_iterator>
  575. equal_range(const_reference value) const;
  576. //! @copydoc ::boost::intrusive::bstree::equal_range(const KeyType&,KeyValueCompare)const
  577. template<class KeyType, class KeyValueCompare>
  578. std::pair<const_iterator, const_iterator>
  579. equal_range(const KeyType& key, KeyValueCompare comp) const;
  580. //! @copydoc ::boost::intrusive::bstree::bounded_range(const_reference,const_reference,bool,bool)
  581. std::pair<iterator,iterator> bounded_range
  582. (const_reference lower_value, const_reference upper_value, bool left_closed, bool right_closed);
  583. //! @copydoc ::boost::intrusive::bstree::bounded_range(const KeyType&,const KeyType&,KeyValueCompare,bool,bool)
  584. template<class KeyType, class KeyValueCompare>
  585. std::pair<iterator,iterator> bounded_range
  586. (const KeyType& lower_key, const KeyType& upper_key, KeyValueCompare comp, bool left_closed, bool right_closed);
  587. //! @copydoc ::boost::intrusive::bstree::bounded_range(const_reference,const_reference,bool,bool)const
  588. std::pair<const_iterator, const_iterator>
  589. bounded_range(const_reference lower_value, const_reference upper_value, bool left_closed, bool right_closed) const;
  590. //! @copydoc ::boost::intrusive::bstree::bounded_range(const KeyType&,const KeyType&,KeyValueCompare,bool,bool)const
  591. template<class KeyType, class KeyValueCompare>
  592. std::pair<const_iterator, const_iterator> bounded_range
  593. (const KeyType& lower_key, const KeyType& upper_key, KeyValueCompare comp, bool left_closed, bool right_closed) const;
  594. //! @copydoc ::boost::intrusive::bstree::s_iterator_to(reference)
  595. static iterator s_iterator_to(reference value);
  596. //! @copydoc ::boost::intrusive::bstree::s_iterator_to(const_reference)
  597. static const_iterator s_iterator_to(const_reference value);
  598. //! @copydoc ::boost::intrusive::bstree::iterator_to(reference)
  599. iterator iterator_to(reference value);
  600. //! @copydoc ::boost::intrusive::bstree::iterator_to(const_reference)const
  601. const_iterator iterator_to(const_reference value) const;
  602. //! @copydoc ::boost::intrusive::bstree::init_node(reference)
  603. static void init_node(reference value);
  604. //! @copydoc ::boost::intrusive::bstree::unlink_leftmost_without_rebalance
  605. pointer unlink_leftmost_without_rebalance();
  606. //! @copydoc ::boost::intrusive::bstree::replace_node
  607. void replace_node(iterator replace_this, reference with_this);
  608. //! @copydoc ::boost::intrusive::bstree::remove_node
  609. void remove_node(reference value);
  610. #endif //#ifdef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  611. };
  612. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  613. template<class T, class ...Options>
  614. bool operator!= (const bs_multiset_impl<T, Options...> &x, const bs_multiset_impl<T, Options...> &y);
  615. template<class T, class ...Options>
  616. bool operator>(const bs_multiset_impl<T, Options...> &x, const bs_multiset_impl<T, Options...> &y);
  617. template<class T, class ...Options>
  618. bool operator<=(const bs_multiset_impl<T, Options...> &x, const bs_multiset_impl<T, Options...> &y);
  619. template<class T, class ...Options>
  620. bool operator>=(const bs_multiset_impl<T, Options...> &x, const bs_multiset_impl<T, Options...> &y);
  621. template<class T, class ...Options>
  622. void swap(bs_multiset_impl<T, Options...> &x, bs_multiset_impl<T, Options...> &y);
  623. #endif //#if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
  624. //! Helper metafunction to define a \c bs_multiset that yields to the same type when the
  625. //! same options (either explicitly or implicitly) are used.
  626. #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  627. template<class T, class ...Options>
  628. #else
  629. template<class T, class O1 = void, class O2 = void
  630. , class O3 = void, class O4 = void>
  631. #endif
  632. struct make_bs_multiset
  633. {
  634. /// @cond
  635. typedef typename pack_options
  636. < bstree_defaults,
  637. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  638. O1, O2, O3, O4
  639. #else
  640. Options...
  641. #endif
  642. >::type packed_options;
  643. typedef typename detail::get_value_traits
  644. <T, typename packed_options::proto_value_traits>::type value_traits;
  645. typedef bs_multiset_impl
  646. < value_traits
  647. , typename packed_options::compare
  648. , typename packed_options::size_type
  649. , packed_options::constant_time_size
  650. > implementation_defined;
  651. /// @endcond
  652. typedef implementation_defined type;
  653. };
  654. #ifndef BOOST_INTRUSIVE_DOXYGEN_INVOKED
  655. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  656. template<class T, class O1, class O2, class O3, class O4>
  657. #else
  658. template<class T, class ...Options>
  659. #endif
  660. class bs_multiset
  661. : public make_bs_multiset<T,
  662. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  663. O1, O2, O3, O4
  664. #else
  665. Options...
  666. #endif
  667. >::type
  668. {
  669. typedef typename make_bs_multiset<T,
  670. #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
  671. O1, O2, O3, O4
  672. #else
  673. Options...
  674. #endif
  675. >::type Base;
  676. BOOST_MOVABLE_BUT_NOT_COPYABLE(bs_multiset)
  677. public:
  678. typedef typename Base::value_compare value_compare;
  679. typedef typename Base::value_traits value_traits;
  680. typedef typename Base::iterator iterator;
  681. typedef typename Base::const_iterator const_iterator;
  682. //Assert if passed value traits are compatible with the type
  683. BOOST_STATIC_ASSERT((detail::is_same<typename value_traits::value_type, T>::value));
  684. explicit bs_multiset( const value_compare &cmp = value_compare()
  685. , const value_traits &v_traits = value_traits())
  686. : Base(cmp, v_traits)
  687. {}
  688. template<class Iterator>
  689. bs_multiset( Iterator b, Iterator e
  690. , const value_compare &cmp = value_compare()
  691. , const value_traits &v_traits = value_traits())
  692. : Base(b, e, cmp, v_traits)
  693. {}
  694. bs_multiset(BOOST_RV_REF(bs_multiset) x)
  695. : Base(::boost::move(static_cast<Base&>(x)))
  696. {}
  697. bs_multiset& operator=(BOOST_RV_REF(bs_multiset) x)
  698. { return static_cast<bs_multiset &>(this->Base::operator=(::boost::move(static_cast<Base&>(x)))); }
  699. static bs_multiset &container_from_end_iterator(iterator end_iterator)
  700. { return static_cast<bs_multiset &>(Base::container_from_end_iterator(end_iterator)); }
  701. static const bs_multiset &container_from_end_iterator(const_iterator end_iterator)
  702. { return static_cast<const bs_multiset &>(Base::container_from_end_iterator(end_iterator)); }
  703. static bs_multiset &container_from_iterator(iterator it)
  704. { return static_cast<bs_multiset &>(Base::container_from_iterator(it)); }
  705. static const bs_multiset &container_from_iterator(const_iterator it)
  706. { return static_cast<const bs_multiset &>(Base::container_from_iterator(it)); }
  707. };
  708. #endif
  709. } //namespace intrusive
  710. } //namespace boost
  711. #include <boost/intrusive/detail/config_end.hpp>
  712. #endif //BOOST_INTRUSIVE_BS_SET_HPP