map.hpp 101 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313
  1. //////////////////////////////////////////////////////////////////////////////
  2. //
  3. // (C) Copyright Ion Gaztanaga 2005-2013. Distributed under the Boost
  4. // Software License, Version 1.0. (See accompanying file
  5. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // See http://www.boost.org/libs/container for documentation.
  8. //
  9. //////////////////////////////////////////////////////////////////////////////
  10. #ifndef BOOST_CONTAINER_MAP_HPP
  11. #define BOOST_CONTAINER_MAP_HPP
  12. #ifndef BOOST_CONFIG_HPP
  13. # include <boost/config.hpp>
  14. #endif
  15. #if defined(BOOST_HAS_PRAGMA_ONCE)
  16. # pragma once
  17. #endif
  18. #include <boost/container/detail/config_begin.hpp>
  19. #include <boost/container/detail/workaround.hpp>
  20. // container
  21. #include <boost/container/container_fwd.hpp>
  22. #include <boost/container/new_allocator.hpp> //new_allocator
  23. #include <boost/container/throw_exception.hpp>
  24. // container/detail
  25. #include <boost/container/detail/mpl.hpp>
  26. #include <boost/container/detail/tree.hpp>
  27. #include <boost/container/detail/type_traits.hpp>
  28. #include <boost/container/detail/value_init.hpp>
  29. #include <boost/container/detail/pair.hpp>
  30. #include <boost/container/detail/pair_key_mapped_of_value.hpp>
  31. // move
  32. #include <boost/move/traits.hpp>
  33. #include <boost/move/utility_core.hpp>
  34. // move/detail
  35. #if defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  36. #include <boost/move/detail/fwd_macros.hpp>
  37. #endif
  38. #include <boost/move/detail/move_helpers.hpp>
  39. // intrusive/detail
  40. #include <boost/intrusive/detail/minimal_pair_header.hpp> //pair
  41. #include <boost/intrusive/detail/minimal_less_equal_header.hpp>//less, equal
  42. // other
  43. #include <boost/static_assert.hpp>
  44. #include <boost/core/no_exceptions_support.hpp>
  45. // std
  46. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  47. #include <initializer_list>
  48. #endif
  49. namespace boost {
  50. namespace container {
  51. #ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
  52. //! A map is a kind of associative container that supports unique keys (contains at
  53. //! most one of each key value) and provides for fast retrieval of values of another
  54. //! type T based on the keys. The map class supports bidirectional iterators.
  55. //!
  56. //! A map satisfies all of the requirements of a container and of a reversible
  57. //! container and of an associative container. The <code>value_type</code> stored
  58. //! by this container is the value_type is std::pair<const Key, T>.
  59. //!
  60. //! \tparam Key is the key_type of the map
  61. //! \tparam T is the <code>mapped_type</code>
  62. //! \tparam Compare is the ordering function for Keys (e.g. <i>std::less<Key></i>).
  63. //! \tparam Allocator is the allocator to allocate the <code>value_type</code>s
  64. //! (e.g. <i>allocator< std::pair<const Key, T> > </i>).
  65. //! \tparam Options is an packed option type generated using using boost::container::tree_assoc_options.
  66. template < class Key, class T, class Compare = std::less<Key>
  67. , class Allocator = void, class Options = tree_assoc_defaults >
  68. #else
  69. template <class Key, class T, class Compare, class Allocator, class Options>
  70. #endif
  71. class map
  72. ///@cond
  73. : public dtl::tree
  74. < std::pair<const Key, T>
  75. , int
  76. , Compare, Allocator, Options>
  77. ///@endcond
  78. {
  79. #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  80. private:
  81. BOOST_COPYABLE_AND_MOVABLE(map)
  82. typedef int select_1st_t;
  83. typedef std::pair<const Key, T> value_type_impl;
  84. typedef dtl::tree
  85. <value_type_impl, select_1st_t, Compare, Allocator, Options> base_t;
  86. typedef dtl::pair <Key, T> movable_value_type_impl;
  87. typedef typename base_t::value_compare value_compare_impl;
  88. #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  89. public:
  90. //////////////////////////////////////////////
  91. //
  92. // types
  93. //
  94. //////////////////////////////////////////////
  95. typedef Key key_type;
  96. typedef T mapped_type;
  97. typedef typename base_t::allocator_type allocator_type;
  98. typedef ::boost::container::allocator_traits<allocator_type> allocator_traits_type;
  99. typedef typename boost::container::allocator_traits<allocator_type>::value_type value_type;
  100. typedef typename boost::container::allocator_traits<allocator_type>::pointer pointer;
  101. typedef typename boost::container::allocator_traits<allocator_type>::const_pointer const_pointer;
  102. typedef typename boost::container::allocator_traits<allocator_type>::reference reference;
  103. typedef typename boost::container::allocator_traits<allocator_type>::const_reference const_reference;
  104. typedef typename boost::container::allocator_traits<allocator_type>::size_type size_type;
  105. typedef typename boost::container::allocator_traits<allocator_type>::difference_type difference_type;
  106. typedef typename BOOST_CONTAINER_IMPDEF(base_t::stored_allocator_type) stored_allocator_type;
  107. typedef BOOST_CONTAINER_IMPDEF(value_compare_impl) value_compare;
  108. typedef Compare key_compare;
  109. typedef typename BOOST_CONTAINER_IMPDEF(base_t::iterator) iterator;
  110. typedef typename BOOST_CONTAINER_IMPDEF(base_t::const_iterator) const_iterator;
  111. typedef typename BOOST_CONTAINER_IMPDEF(base_t::reverse_iterator) reverse_iterator;
  112. typedef typename BOOST_CONTAINER_IMPDEF(base_t::const_reverse_iterator) const_reverse_iterator;
  113. //typedef std::pair<key_type, mapped_type> nonconst_value_type;
  114. typedef BOOST_CONTAINER_IMPDEF(movable_value_type_impl) movable_value_type;
  115. typedef BOOST_CONTAINER_IMPDEF(node_handle<
  116. typename base_t::stored_allocator_type
  117. BOOST_MOVE_I pair_key_mapped_of_value
  118. <key_type BOOST_MOVE_I mapped_type> >) node_type;
  119. typedef BOOST_CONTAINER_IMPDEF
  120. (insert_return_type_base<iterator BOOST_MOVE_I node_type>) insert_return_type;
  121. //allocator_type::value_type type must be std::pair<CONST Key, T>
  122. BOOST_STATIC_ASSERT((dtl::is_same<typename allocator_type::value_type, std::pair<const Key, T> >::value));
  123. //////////////////////////////////////////////
  124. //
  125. // construct/copy/destroy
  126. //
  127. //////////////////////////////////////////////
  128. //! <b>Effects</b>: Default constructs an empty map.
  129. //!
  130. //! <b>Complexity</b>: Constant.
  131. BOOST_CONTAINER_FORCEINLINE
  132. map() BOOST_NOEXCEPT_IF(dtl::is_nothrow_default_constructible<allocator_type>::value &&
  133. dtl::is_nothrow_default_constructible<Compare>::value)
  134. : base_t()
  135. {}
  136. //! <b>Effects</b>: Constructs an empty map using the specified comparison object
  137. //! and allocator.
  138. //!
  139. //! <b>Complexity</b>: Constant.
  140. BOOST_CONTAINER_FORCEINLINE map(const Compare& comp, const allocator_type& a)
  141. : base_t(comp, a)
  142. {}
  143. //! <b>Effects</b>: Constructs an empty map using the specified comparison object.
  144. //!
  145. //! <b>Complexity</b>: Constant.
  146. BOOST_CONTAINER_FORCEINLINE explicit map(const Compare& comp)
  147. : base_t(comp)
  148. {}
  149. //! <b>Effects</b>: Constructs an empty map using the specified allocator.
  150. //!
  151. //! <b>Complexity</b>: Constant.
  152. BOOST_CONTAINER_FORCEINLINE explicit map(const allocator_type& a)
  153. : base_t(a)
  154. {}
  155. //! <b>Effects</b>: Constructs an empty map and
  156. //! inserts elements from the range [first ,last ).
  157. //!
  158. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  159. //! the predicate and otherwise N logN, where N is last - first.
  160. template <class InputIterator>
  161. BOOST_CONTAINER_FORCEINLINE map(InputIterator first, InputIterator last)
  162. : base_t(true, first, last)
  163. {}
  164. //! <b>Effects</b>: Constructs an empty map using the specified
  165. //! allocator, and inserts elements from the range [first ,last ).
  166. //!
  167. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  168. //! the predicate and otherwise N logN, where N is last - first.
  169. template <class InputIterator>
  170. BOOST_CONTAINER_FORCEINLINE map(InputIterator first, InputIterator last, const allocator_type& a)
  171. : base_t(true, first, last, Compare(), a)
  172. {}
  173. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  174. //! inserts elements from the range [first ,last ).
  175. //!
  176. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  177. //! the predicate and otherwise N logN, where N is last - first.
  178. template <class InputIterator>
  179. BOOST_CONTAINER_FORCEINLINE map(InputIterator first, InputIterator last, const Compare& comp)
  180. : base_t(true, first, last, comp)
  181. {}
  182. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  183. //! allocator, and inserts elements from the range [first ,last ).
  184. //!
  185. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  186. //! the predicate and otherwise N logN, where N is last - first.
  187. template <class InputIterator>
  188. BOOST_CONTAINER_FORCEINLINE map(InputIterator first, InputIterator last, const Compare& comp, const allocator_type& a)
  189. : base_t(true, first, last, comp, a)
  190. {}
  191. //! <b>Effects</b>: Constructs an empty map and
  192. //! inserts elements from the ordered unique range [first ,last). This function
  193. //! is more efficient than the normal range creation for ordered ranges.
  194. //!
  195. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
  196. //! unique values.
  197. //!
  198. //! <b>Complexity</b>: Linear in N.
  199. //!
  200. //! <b>Note</b>: Non-standard extension.
  201. template <class InputIterator>
  202. BOOST_CONTAINER_FORCEINLINE map( ordered_unique_range_t, InputIterator first, InputIterator last)
  203. : base_t(ordered_range, first, last)
  204. {}
  205. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  206. //! inserts elements from the ordered unique range [first ,last). This function
  207. //! is more efficient than the normal range creation for ordered ranges.
  208. //!
  209. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
  210. //! unique values.
  211. //!
  212. //! <b>Complexity</b>: Linear in N.
  213. //!
  214. //! <b>Note</b>: Non-standard extension.
  215. template <class InputIterator>
  216. BOOST_CONTAINER_FORCEINLINE map( ordered_unique_range_t, InputIterator first, InputIterator last, const Compare& comp)
  217. : base_t(ordered_range, first, last, comp)
  218. {}
  219. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  220. //! allocator, and inserts elements from the ordered unique range [first ,last). This function
  221. //! is more efficient than the normal range creation for ordered ranges.
  222. //!
  223. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
  224. //! unique values.
  225. //!
  226. //! <b>Complexity</b>: Linear in N.
  227. //!
  228. //! <b>Note</b>: Non-standard extension.
  229. template <class InputIterator>
  230. BOOST_CONTAINER_FORCEINLINE map( ordered_unique_range_t, InputIterator first, InputIterator last
  231. , const Compare& comp, const allocator_type& a)
  232. : base_t(ordered_range, first, last, comp, a)
  233. {}
  234. //! <b>Effects</b>: Constructs an empty map using the specified allocator object and
  235. //! inserts elements from the ordered unique range [first ,last). This function
  236. //! is more efficient than the normal range creation for ordered ranges.
  237. //!
  238. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
  239. //! unique values.
  240. //!
  241. //! <b>Complexity</b>: Linear in N.
  242. //!
  243. //! <b>Note</b>: Non-standard extension.
  244. template <class InputIterator>
  245. BOOST_CONTAINER_FORCEINLINE map(ordered_unique_range_t, InputIterator first, InputIterator last, const allocator_type& a)
  246. : base_t(ordered_range, first, last, Compare(), a)
  247. {}
  248. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  249. //! <b>Effects</b>: Constructs an empty map and
  250. //! inserts elements from the range [il.begin(), il.end()).
  251. //!
  252. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted according
  253. //! to the predicate and otherwise N logN, where N is il.first() - il.end().
  254. BOOST_CONTAINER_FORCEINLINE map(std::initializer_list<value_type> il)
  255. : base_t(true, il.begin(), il.end())
  256. {}
  257. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  258. //! inserts elements from the range [il.begin(), il.end()).
  259. //!
  260. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  261. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  262. BOOST_CONTAINER_FORCEINLINE map(std::initializer_list<value_type> il, const Compare& comp)
  263. : base_t(true, il.begin(), il.end(), comp)
  264. {}
  265. //! <b>Effects</b>: Constructs an empty map using the specified
  266. //! allocator, and inserts elements from the range [il.begin(), il.end()).
  267. //!
  268. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  269. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  270. BOOST_CONTAINER_FORCEINLINE map(std::initializer_list<value_type> il, const allocator_type& a)
  271. : base_t(true, il.begin(), il.end(), Compare(), a)
  272. {}
  273. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  274. //! allocator, and inserts elements from the range [il.begin(), il.end()).
  275. //!
  276. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  277. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  278. BOOST_CONTAINER_FORCEINLINE map(std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
  279. : base_t(true, il.begin(), il.end(), comp, a)
  280. {}
  281. //! <b>Effects</b>: Constructs an empty map and inserts elements from the ordered unique range [il.begin(), il.end()).
  282. //! This function is more efficient than the normal range creation for ordered ranges.
  283. //!
  284. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
  285. //! unique values.
  286. //!
  287. //! <b>Complexity</b>: Linear in N.
  288. //!
  289. //! <b>Note</b>: Non-standard extension.
  290. BOOST_CONTAINER_FORCEINLINE map(ordered_unique_range_t, std::initializer_list<value_type> il)
  291. : base_t(ordered_range, il.begin(), il.end())
  292. {}
  293. //! <b>Effects</b>: Constructs an empty map using the specified comparison object,
  294. //! and inserts elements from the ordered unique range [il.begin(), il.end()). This function
  295. //! is more efficient than the normal range creation for ordered ranges.
  296. //!
  297. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
  298. //! unique values.
  299. //!
  300. //! <b>Complexity</b>: Linear in N.
  301. //!
  302. //! <b>Note</b>: Non-standard extension.
  303. BOOST_CONTAINER_FORCEINLINE map(ordered_unique_range_t, std::initializer_list<value_type> il, const Compare& comp)
  304. : base_t(ordered_range, il.begin(), il.end(), comp)
  305. {}
  306. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  307. //! allocator, and inserts elements from the ordered unique range [il.begin(), il.end()). This function
  308. //! is more efficient than the normal range creation for ordered ranges.
  309. //!
  310. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
  311. //! unique values.
  312. //!
  313. //! <b>Complexity</b>: Linear in N.
  314. //!
  315. //! <b>Note</b>: Non-standard extension.
  316. BOOST_CONTAINER_FORCEINLINE map( ordered_unique_range_t, std::initializer_list<value_type> il
  317. , const Compare& comp, const allocator_type& a)
  318. : base_t(ordered_range, il.begin(), il.end(), comp, a)
  319. {}
  320. #endif
  321. //! <b>Effects</b>: Copy constructs a map.
  322. //!
  323. //! <b>Complexity</b>: Linear in x.size().
  324. BOOST_CONTAINER_FORCEINLINE map(const map& x)
  325. : base_t(static_cast<const base_t&>(x))
  326. {}
  327. //! <b>Effects</b>: Move constructs a map. Constructs *this using x's resources.
  328. //!
  329. //! <b>Complexity</b>: Constant.
  330. //!
  331. //! <b>Postcondition</b>: x is emptied.
  332. BOOST_CONTAINER_FORCEINLINE map(BOOST_RV_REF(map) x)
  333. BOOST_NOEXCEPT_IF(boost::container::dtl::is_nothrow_move_constructible<Compare>::value)
  334. : base_t(BOOST_MOVE_BASE(base_t, x))
  335. {}
  336. //! <b>Effects</b>: Copy constructs a map using the specified allocator.
  337. //!
  338. //! <b>Complexity</b>: Linear in x.size().
  339. BOOST_CONTAINER_FORCEINLINE map(const map& x, const allocator_type &a)
  340. : base_t(static_cast<const base_t&>(x), a)
  341. {}
  342. //! <b>Effects</b>: Move constructs a map using the specified allocator.
  343. //! Constructs *this using x's resources.
  344. //!
  345. //! <b>Complexity</b>: Constant if x == x.get_allocator(), linear otherwise.
  346. //!
  347. //! <b>Postcondition</b>: x is emptied.
  348. BOOST_CONTAINER_FORCEINLINE map(BOOST_RV_REF(map) x, const allocator_type &a)
  349. : base_t(BOOST_MOVE_BASE(base_t, x), a)
  350. {}
  351. //! <b>Effects</b>: Makes *this a copy of x.
  352. //!
  353. //! <b>Complexity</b>: Linear in x.size().
  354. BOOST_CONTAINER_FORCEINLINE map& operator=(BOOST_COPY_ASSIGN_REF(map) x)
  355. { return static_cast<map&>(this->base_t::operator=(static_cast<const base_t&>(x))); }
  356. //! <b>Effects</b>: this->swap(x.get()).
  357. //!
  358. //! <b>Throws</b>: If allocator_traits_type::propagate_on_container_move_assignment
  359. //! is false and (allocation throws or value_type's move constructor throws)
  360. //!
  361. //! <b>Complexity</b>: Constant if allocator_traits_type::
  362. //! propagate_on_container_move_assignment is true or
  363. //! this->get>allocator() == x.get_allocator(). Linear otherwise.
  364. BOOST_CONTAINER_FORCEINLINE map& operator=(BOOST_RV_REF(map) x)
  365. BOOST_NOEXCEPT_IF( (allocator_traits_type::propagate_on_container_move_assignment::value ||
  366. allocator_traits_type::is_always_equal::value) &&
  367. boost::container::dtl::is_nothrow_move_assignable<Compare>::value)
  368. { return static_cast<map&>(this->base_t::operator=(BOOST_MOVE_BASE(base_t, x))); }
  369. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  370. //! <b>Effects</b>: Assign content of il to *this.
  371. //!
  372. BOOST_CONTAINER_FORCEINLINE map& operator=(std::initializer_list<value_type> il)
  373. {
  374. this->clear();
  375. insert(il.begin(), il.end());
  376. return *this;
  377. }
  378. #endif
  379. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  380. //! <b>Effects</b>: Returns a copy of the allocator that
  381. //! was passed to the object's constructor.
  382. //!
  383. //! <b>Complexity</b>: Constant.
  384. allocator_type get_allocator() const;
  385. //! <b>Effects</b>: Returns a reference to the internal allocator.
  386. //!
  387. //! <b>Throws</b>: Nothing
  388. //!
  389. //! <b>Complexity</b>: Constant.
  390. //!
  391. //! <b>Note</b>: Non-standard extension.
  392. stored_allocator_type &get_stored_allocator() BOOST_NOEXCEPT_OR_NOTHROW;
  393. //! <b>Effects</b>: Returns a reference to the internal allocator.
  394. //!
  395. //! <b>Throws</b>: Nothing
  396. //!
  397. //! <b>Complexity</b>: Constant.
  398. //!
  399. //! <b>Note</b>: Non-standard extension.
  400. const stored_allocator_type &get_stored_allocator() const BOOST_NOEXCEPT_OR_NOTHROW;
  401. //! <b>Effects</b>: Returns an iterator to the first element contained in the container.
  402. //!
  403. //! <b>Throws</b>: Nothing.
  404. //!
  405. //! <b>Complexity</b>: Constant.
  406. iterator begin() BOOST_NOEXCEPT_OR_NOTHROW;
  407. //! <b>Effects</b>: Returns a const_iterator to the first element contained in the container.
  408. //!
  409. //! <b>Throws</b>: Nothing.
  410. //!
  411. //! <b>Complexity</b>: Constant.
  412. const_iterator begin() const BOOST_NOEXCEPT_OR_NOTHROW;
  413. //! <b>Effects</b>: Returns a const_iterator to the first element contained in the container.
  414. //!
  415. //! <b>Throws</b>: Nothing.
  416. //!
  417. //! <b>Complexity</b>: Constant.
  418. const_iterator cbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
  419. //! <b>Effects</b>: Returns an iterator to the end of the container.
  420. //!
  421. //! <b>Throws</b>: Nothing.
  422. //!
  423. //! <b>Complexity</b>: Constant.
  424. iterator end() BOOST_NOEXCEPT_OR_NOTHROW;
  425. //! <b>Effects</b>: Returns a const_iterator to the end of the container.
  426. //!
  427. //! <b>Throws</b>: Nothing.
  428. //!
  429. //! <b>Complexity</b>: Constant.
  430. const_iterator end() const BOOST_NOEXCEPT_OR_NOTHROW;
  431. //! <b>Effects</b>: Returns a const_iterator to the end of the container.
  432. //!
  433. //! <b>Throws</b>: Nothing.
  434. //!
  435. //! <b>Complexity</b>: Constant.
  436. const_iterator cend() const BOOST_NOEXCEPT_OR_NOTHROW;
  437. //! <b>Effects</b>: Returns a reverse_iterator pointing to the beginning
  438. //! of the reversed container.
  439. //!
  440. //! <b>Throws</b>: Nothing.
  441. //!
  442. //! <b>Complexity</b>: Constant.
  443. reverse_iterator rbegin() BOOST_NOEXCEPT_OR_NOTHROW;
  444. //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the beginning
  445. //! of the reversed container.
  446. //!
  447. //! <b>Throws</b>: Nothing.
  448. //!
  449. //! <b>Complexity</b>: Constant.
  450. const_reverse_iterator rbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
  451. //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the beginning
  452. //! of the reversed container.
  453. //!
  454. //! <b>Throws</b>: Nothing.
  455. //!
  456. //! <b>Complexity</b>: Constant.
  457. const_reverse_iterator crbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
  458. //! <b>Effects</b>: Returns a reverse_iterator pointing to the end
  459. //! of the reversed container.
  460. //!
  461. //! <b>Throws</b>: Nothing.
  462. //!
  463. //! <b>Complexity</b>: Constant.
  464. reverse_iterator rend() BOOST_NOEXCEPT_OR_NOTHROW;
  465. //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the end
  466. //! of the reversed container.
  467. //!
  468. //! <b>Throws</b>: Nothing.
  469. //!
  470. //! <b>Complexity</b>: Constant.
  471. const_reverse_iterator rend() const BOOST_NOEXCEPT_OR_NOTHROW;
  472. //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the end
  473. //! of the reversed container.
  474. //!
  475. //! <b>Throws</b>: Nothing.
  476. //!
  477. //! <b>Complexity</b>: Constant.
  478. const_reverse_iterator crend() const BOOST_NOEXCEPT_OR_NOTHROW;
  479. //! <b>Effects</b>: Returns true if the container contains no elements.
  480. //!
  481. //! <b>Throws</b>: Nothing.
  482. //!
  483. //! <b>Complexity</b>: Constant.
  484. bool empty() const BOOST_NOEXCEPT_OR_NOTHROW;
  485. //! <b>Effects</b>: Returns the number of the elements contained in the container.
  486. //!
  487. //! <b>Throws</b>: Nothing.
  488. //!
  489. //! <b>Complexity</b>: Constant.
  490. size_type size() const BOOST_NOEXCEPT_OR_NOTHROW;
  491. //! <b>Effects</b>: Returns the largest possible size of the container.
  492. //!
  493. //! <b>Throws</b>: Nothing.
  494. //!
  495. //! <b>Complexity</b>: Constant.
  496. size_type max_size() const BOOST_NOEXCEPT_OR_NOTHROW;
  497. #endif //#if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  498. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  499. //! <b>Effects</b>: If there is no key equivalent to x in the map, inserts
  500. //! value_type(x, T()) into the map.
  501. //!
  502. //! <b>Returns</b>: A reference to the mapped_type corresponding to x in *this.
  503. //!
  504. //! <b>Complexity</b>: Logarithmic.
  505. mapped_type& operator[](const key_type &k);
  506. //! <b>Effects</b>: If there is no key equivalent to x in the map, inserts
  507. //! value_type(boost::move(x), T()) into the map (the key is move-constructed)
  508. //!
  509. //! <b>Returns</b>: A reference to the mapped_type corresponding to x in *this.
  510. //!
  511. //! <b>Complexity</b>: Logarithmic.
  512. mapped_type& operator[](key_type &&k);
  513. #elif defined(BOOST_MOVE_HELPERS_RETURN_SFINAE_BROKEN)
  514. //in compilers like GCC 3.4, we can't catch temporaries
  515. BOOST_CONTAINER_FORCEINLINE mapped_type& operator[](const key_type &k) { return this->priv_subscript(k); }
  516. BOOST_CONTAINER_FORCEINLINE mapped_type& operator[](BOOST_RV_REF(key_type) k) { return this->priv_subscript(::boost::move(k)); }
  517. #else
  518. BOOST_MOVE_CONVERSION_AWARE_CATCH( operator[] , key_type, mapped_type&, this->priv_subscript)
  519. #endif
  520. //! <b>Effects</b>: If a key equivalent to k already exists in the container, assigns forward<M>(obj)
  521. //! to the mapped_type corresponding to the key k. If the key does not exist, inserts the new value
  522. //! as if by insert, constructing it from value_type(k, forward<M>(obj)).
  523. //!
  524. //! No iterators or references are invalidated. If the insertion is successful, pointers and references
  525. //! to the element obtained while it is held in the node handle are invalidated, and pointers and
  526. //! references obtained to that element before it was extracted become valid.
  527. //!
  528. //! <b>Returns</b>: The bool component is true if the insertion took place and false if the assignment
  529. //! took place. The iterator component is pointing at the element that was inserted or updated.
  530. //!
  531. //! <b>Complexity</b>: Logarithmic in the size of the container.
  532. template <class M>
  533. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> insert_or_assign(const key_type& k, BOOST_FWD_REF(M) obj)
  534. { return this->base_t::insert_or_assign(const_iterator(), k, ::boost::forward<M>(obj)); }
  535. //! <b>Effects</b>: If a key equivalent to k already exists in the container, assigns forward<M>(obj)
  536. //! to the mapped_type corresponding to the key k. If the key does not exist, inserts the new value
  537. //! as if by insert, constructing it from value_type(k, move(obj)).
  538. //!
  539. //! No iterators or references are invalidated. If the insertion is successful, pointers and references
  540. //! to the element obtained while it is held in the node handle are invalidated, and pointers and
  541. //! references obtained to that element before it was extracted become valid.
  542. //!
  543. //! <b>Returns</b>: The bool component is true if the insertion took place and false if the assignment
  544. //! took place. The iterator component is pointing at the element that was inserted or updated.
  545. //!
  546. //! <b>Complexity</b>: Logarithmic in the size of the container.
  547. template <class M>
  548. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> insert_or_assign(BOOST_RV_REF(key_type) k, BOOST_FWD_REF(M) obj)
  549. { return this->base_t::insert_or_assign(const_iterator(), ::boost::move(k), ::boost::forward<M>(obj)); }
  550. //! <b>Effects</b>: If a key equivalent to k already exists in the container, assigns forward<M>(obj)
  551. //! to the mapped_type corresponding to the key k. If the key does not exist, inserts the new value
  552. //! as if by insert, constructing it from value_type(k, forward<M>(obj)) and the new element
  553. //! to the container as close as possible to the position just before hint.
  554. //!
  555. //! No iterators or references are invalidated. If the insertion is successful, pointers and references
  556. //! to the element obtained while it is held in the node handle are invalidated, and pointers and
  557. //! references obtained to that element before it was extracted become valid.
  558. //!
  559. //! <b>Returns</b>: The bool component is true if the insertion took place and false if the assignment
  560. //! took place. The iterator component is pointing at the element that was inserted or updated.
  561. //!
  562. //! <b>Complexity</b>: Logarithmic in the size of the container in general, but amortized constant if
  563. //! the new element is inserted just before hint.
  564. template <class M>
  565. BOOST_CONTAINER_FORCEINLINE iterator insert_or_assign(const_iterator hint, const key_type& k, BOOST_FWD_REF(M) obj)
  566. { return this->base_t::insert_or_assign(hint, k, ::boost::forward<M>(obj)).first; }
  567. //! <b>Effects</b>: If a key equivalent to k already exists in the container, assigns forward<M>(obj)
  568. //! to the mapped_type corresponding to the key k. If the key does not exist, inserts the new value
  569. //! as if by insert, constructing it from value_type(k, move(obj)) and the new element
  570. //! to the container as close as possible to the position just before hint.
  571. //!
  572. //! No iterators or references are invalidated. If the insertion is successful, pointers and references
  573. //! to the element obtained while it is held in the node handle are invalidated, and pointers and
  574. //! references obtained to that element before it was extracted become valid.
  575. //!
  576. //! <b>Returns</b>: The bool component is true if the insertion took place and false if the assignment
  577. //! took place. The iterator component is pointing at the element that was inserted or updated.
  578. //!
  579. //! <b>Complexity</b>: Logarithmic in the size of the container in general, but amortized constant if
  580. //! the new element is inserted just before hint.
  581. template <class M>
  582. BOOST_CONTAINER_FORCEINLINE iterator insert_or_assign(const_iterator hint, BOOST_RV_REF(key_type) k, BOOST_FWD_REF(M) obj)
  583. { return this->base_t::insert_or_assign(hint, ::boost::move(k), ::boost::forward<M>(obj)).first; }
  584. //! <b>Returns</b>: A reference to the element whose key is equivalent to x.
  585. //! Throws: An exception object of type out_of_range if no such element is present.
  586. //! <b>Complexity</b>: logarithmic.
  587. T& at(const key_type& k)
  588. {
  589. iterator i = this->find(k);
  590. if(i == this->end()){
  591. throw_out_of_range("map::at key not found");
  592. }
  593. return i->second;
  594. }
  595. //! <b>Returns</b>: A reference to the element whose key is equivalent to x.
  596. //! Throws: An exception object of type out_of_range if no such element is present.
  597. //! <b>Complexity</b>: logarithmic.
  598. BOOST_CONTAINER_ATTRIBUTE_NODISCARD const T& at(const key_type& k) const
  599. {
  600. const_iterator i = this->find(k);
  601. if(i == this->end()){
  602. throw_out_of_range("map::at key not found");
  603. }
  604. return i->second;
  605. }
  606. //////////////////////////////////////////////
  607. //
  608. // modifiers
  609. //
  610. //////////////////////////////////////////////
  611. //! <b>Effects</b>: Inserts x if and only if there is no element in the container
  612. //! with key equivalent to the key of x.
  613. //!
  614. //! <b>Returns</b>: The bool component of the returned pair is true if and only
  615. //! if the insertion takes place, and the iterator component of the pair
  616. //! points to the element with key equivalent to the key of x.
  617. //!
  618. //! <b>Complexity</b>: Logarithmic.
  619. BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> insert(const value_type& x)
  620. { return this->base_t::insert_unique_convertible(x); }
  621. //! <b>Effects</b>: Move constructs a new value from x if and only if there is
  622. //! no element in the container with key equivalent to the key of x.
  623. //!
  624. //! <b>Returns</b>: The bool component of the returned pair is true if and only
  625. //! if the insertion takes place, and the iterator component of the pair
  626. //! points to the element with key equivalent to the key of x.
  627. //!
  628. //! <b>Complexity</b>: Logarithmic.
  629. BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> insert(BOOST_RV_REF(value_type) x)
  630. { return this->base_t::insert_unique_convertible(boost::move(x)); }
  631. //! <b>Effects</b>: Inserts a new value_type created from the pair if and only if
  632. //! there is no element in the container with key equivalent to the key of x.
  633. //!
  634. //! <b>Returns</b>: The bool component of the returned pair is true if and only
  635. //! if the insertion takes place, and the iterator component of the pair
  636. //! points to the element with key equivalent to the key of x.
  637. //!
  638. //! <b>Complexity</b>: Logarithmic.
  639. template <class Pair>
  640. BOOST_CONTAINER_FORCEINLINE BOOST_CONTAINER_DOC1ST
  641. ( std::pair<iterator BOOST_MOVE_I bool>
  642. , typename dtl::enable_if_c<
  643. dtl::is_convertible<Pair BOOST_MOVE_I value_type>::value ||
  644. dtl::is_convertible<Pair BOOST_MOVE_I movable_value_type>::value
  645. BOOST_MOVE_I std::pair<iterator BOOST_MOVE_I bool> >::type)
  646. insert(BOOST_FWD_REF(Pair) x)
  647. { return this->base_t::emplace_unique(boost::forward<Pair>(x)); }
  648. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, const value_type& x)
  649. { return this->base_t::insert_unique_hint_convertible(p, x); }
  650. //! <b>Effects</b>: Inserts a copy of x in the container if and only if there is
  651. //! no element in the container with key equivalent to the key of x.
  652. //! p is a hint pointing to where the insert should start to search.
  653. //!
  654. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  655. //! to the key of x.
  656. //!
  657. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  658. //! is inserted right before p.
  659. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, BOOST_RV_REF(value_type) x)
  660. { return this->base_t::insert_unique_hint_convertible(p, boost::move(x)); }
  661. //! <b>Effects</b>: Inserts a copy of x in the container if and only if there is
  662. //! no element in the container with key equivalent to the key of x.
  663. //! p is a hint pointing to where the insert should start to search.
  664. //!
  665. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  666. //! to the key of x.
  667. //!
  668. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  669. //! is inserted right before p.
  670. template <class Pair>
  671. BOOST_CONTAINER_FORCEINLINE BOOST_CONTAINER_DOC1ST
  672. ( iterator
  673. , typename dtl::enable_if_c<
  674. dtl::is_convertible<Pair BOOST_MOVE_I value_type>::value ||
  675. dtl::is_convertible<Pair BOOST_MOVE_I movable_value_type>::value
  676. BOOST_MOVE_I iterator >::type)
  677. insert(const_iterator p, BOOST_FWD_REF(Pair) x)
  678. { return this->base_t::emplace_hint_unique(p, boost::forward<Pair>(x)); }
  679. /*
  680. //! <b>Effects</b>: Move constructs a new value from x if and only if there is
  681. //! no element in the container with key equivalent to the key of x.
  682. //! p is a hint pointing to where the insert should start to search.
  683. //!
  684. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  685. //! to the key of x.
  686. //!
  687. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  688. //! is inserted right before p.
  689. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, BOOST_RV_REF(nonconst_value_type) x)
  690. { return this->try_emplace(p, boost::move(x.first), boost::move(x.second)); }
  691. //! <b>Effects</b>: Move constructs a new value from x if and only if there is
  692. //! no element in the container with key equivalent to the key of x.
  693. //! p is a hint pointing to where the insert should start to search.
  694. //!
  695. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  696. //! to the key of x.
  697. //!
  698. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  699. //! is inserted right before p.
  700. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, BOOST_RV_REF(movable_value_type) x)
  701. { return this->try_emplace(p, boost::move(x.first), boost::move(x.second)); }
  702. //! <b>Effects</b>: Inserts a copy of x in the container.
  703. //! p is a hint pointing to where the insert should start to search.
  704. //!
  705. //! <b>Returns</b>: An iterator pointing to the element with key equivalent to the key of x.
  706. //!
  707. //! <b>Complexity</b>: Logarithmic.
  708. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, const nonconst_value_type& x)
  709. { return this->try_emplace(p, x.first, x.second); }
  710. */
  711. //! <b>Requires</b>: first, last are not iterators into *this.
  712. //!
  713. //! <b>Effects</b>: inserts each element from the range [first,last) if and only
  714. //! if there is no element with key equivalent to the key of that element.
  715. //!
  716. //! <b>Complexity</b>: At most N log(size()+N) (N is the distance from first to last)
  717. template <class InputIterator>
  718. BOOST_CONTAINER_FORCEINLINE void insert(InputIterator first, InputIterator last)
  719. { this->base_t::insert_unique_range(first, last); }
  720. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  721. //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end()) if and only
  722. //! if there is no element with key equivalent to the key of that element.
  723. //!
  724. //! <b>Complexity</b>: At most N log(size()+N) (N is the distance from il.begin() to il.end())
  725. BOOST_CONTAINER_FORCEINLINE void insert(std::initializer_list<value_type> il)
  726. { this->base_t::insert_unique_range(il.begin(), il.end()); }
  727. #endif
  728. //! <b>Requires</b>: nh is empty or this->get_allocator() == nh.get_allocator().
  729. //!
  730. //! <b>Effects</b>: If nh is empty, has no effect. Otherwise, inserts the element owned
  731. //! by nh if and only if there is no element in the container with a key equivalent to nh.key().
  732. //!
  733. //! <b>Returns</b>: If nh is empty, insert_return_type.inserted is false, insert_return_type.position
  734. //! is end(), and insert_return_type.node is empty. Otherwise if the insertion took place,
  735. //! insert_return_type.inserted is true, insert_return_type.position points to the inserted element,
  736. //! and insert_return_type.node is empty; if the insertion failed, insert_return_type.inserted is
  737. //! false, insert_return_type.node has the previous value of nh, and insert_return_type.position
  738. //! points to an element with a key equivalent to nh.key().
  739. //!
  740. //! <b>Complexity</b>: Logarithmic
  741. insert_return_type insert(BOOST_RV_REF_BEG_IF_CXX11 node_type BOOST_RV_REF_END_IF_CXX11 nh)
  742. {
  743. typename base_t::node_type n(boost::move(nh));
  744. typename base_t::insert_return_type base_ret(this->base_t::insert_unique_node(boost::move(n)));
  745. return insert_return_type (base_ret.inserted, base_ret.position, boost::move(base_ret.node));
  746. }
  747. //! <b>Effects</b>: Same as `insert(node_type && nh)` but the element is inserted as close as possible
  748. //! to the position just prior to "hint".
  749. //!
  750. //! <b>Complexity</b>: logarithmic in general, but amortized constant if the element is inserted
  751. //! right before "hint".
  752. insert_return_type insert(const_iterator hint, BOOST_RV_REF_BEG_IF_CXX11 node_type BOOST_RV_REF_END_IF_CXX11 nh)
  753. {
  754. typename base_t::node_type n(boost::move(nh));
  755. typename base_t::insert_return_type base_ret(this->base_t::insert_unique_node(hint, boost::move(n)));
  756. return insert_return_type (base_ret.inserted, base_ret.position, boost::move(base_ret.node));
  757. }
  758. #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) || defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  759. //! <b>Effects</b>: Inserts an object x of type T constructed with
  760. //! std::forward<Args>(args)... in the container if and only if there is
  761. //! no element in the container with an equivalent key.
  762. //! p is a hint pointing to where the insert should start to search.
  763. //!
  764. //! <b>Returns</b>: The bool component of the returned pair is true if and only
  765. //! if the insertion takes place, and the iterator component of the pair
  766. //! points to the element with key equivalent to the key of x.
  767. //!
  768. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  769. //! is inserted right before p.
  770. template <class... Args>
  771. BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> emplace(BOOST_FWD_REF(Args)... args)
  772. { return this->base_t::emplace_unique(boost::forward<Args>(args)...); }
  773. //! <b>Effects</b>: Inserts an object of type T constructed with
  774. //! std::forward<Args>(args)... in the container if and only if there is
  775. //! no element in the container with an equivalent key.
  776. //! p is a hint pointing to where the insert should start to search.
  777. //!
  778. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  779. //! to the key of x.
  780. //!
  781. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  782. //! is inserted right before p.
  783. template <class... Args>
  784. BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator p, BOOST_FWD_REF(Args)... args)
  785. { return this->base_t::emplace_hint_unique(p, boost::forward<Args>(args)...); }
  786. //! <b>Requires</b>: value_type shall be EmplaceConstructible into map from piecewise_construct,
  787. //! forward_as_tuple(k), forward_as_tuple(forward<Args>(args)...).
  788. //!
  789. //! <b>Effects</b>: If the map already contains an element whose key is equivalent to k, there is no effect. Otherwise
  790. //! inserts an object of type value_type constructed with piecewise_construct, forward_as_tuple(k),
  791. //! forward_as_tuple(forward<Args>(args)...).
  792. //!
  793. //! <b>Returns</b>: The bool component of the returned pair is true if and only if the
  794. //! insertion took place. The returned iterator points to the map element whose key is equivalent to k.
  795. //!
  796. //! <b>Complexity</b>: Logarithmic.
  797. template <class... Args>
  798. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> try_emplace(const key_type& k, BOOST_FWD_REF(Args)... args)
  799. { return this->base_t::try_emplace(const_iterator(), k, boost::forward<Args>(args)...); }
  800. //! <b>Requires</b>: value_type shall be EmplaceConstructible into map from piecewise_construct,
  801. //! forward_as_tuple(k), forward_as_tuple(forward<Args>(args)...).
  802. //!
  803. //! <b>Effects</b>: If the map already contains an element whose key is equivalent to k, there is no effect. Otherwise
  804. //! inserts an object of type value_type constructed with piecewise_construct, forward_as_tuple(k),
  805. //! forward_as_tuple(forward<Args>(args)...).
  806. //!
  807. //! <b>Returns</b>: The returned iterator points to the map element whose key is equivalent to k.
  808. //!
  809. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if value
  810. //! is inserted right before p.
  811. template <class... Args>
  812. BOOST_CONTAINER_FORCEINLINE iterator try_emplace(const_iterator hint, const key_type &k, BOOST_FWD_REF(Args)... args)
  813. { return this->base_t::try_emplace(hint, k, boost::forward<Args>(args)...).first; }
  814. //! <b>Requires</b>: value_type shall be EmplaceConstructible into map from piecewise_construct,
  815. //! forward_as_tuple(move(k)), forward_as_tuple(forward<Args>(args)...).
  816. //!
  817. //! <b>Effects</b>: If the map already contains an element whose key is equivalent to k, there is no effect. Otherwise
  818. //! inserts an object of type value_type constructed with piecewise_construct, forward_as_tuple(move(k)),
  819. //! forward_as_tuple(forward<Args>(args)...).
  820. //!
  821. //! <b>Returns</b>: The bool component of the returned pair is true if and only if the
  822. //! insertion took place. The returned iterator points to the map element whose key is equivalent to k.
  823. //!
  824. //! <b>Complexity</b>: Logarithmic.
  825. template <class... Args>
  826. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> try_emplace(BOOST_RV_REF(key_type) k, BOOST_FWD_REF(Args)... args)
  827. { return this->base_t::try_emplace(const_iterator(), boost::move(k), boost::forward<Args>(args)...); }
  828. //! <b>Requires</b>: value_type shall be EmplaceConstructible into map from piecewise_construct,
  829. //! forward_as_tuple(move(k)), forward_as_tuple(forward<Args>(args)...).
  830. //!
  831. //! <b>Effects</b>: If the map already contains an element whose key is equivalent to k, there is no effect. Otherwise
  832. //! inserts an object of type value_type constructed with piecewise_construct, forward_as_tuple(move(k)),
  833. //! forward_as_tuple(forward<Args>(args)...).
  834. //!
  835. //! <b>Returns</b>: The returned iterator points to the map element whose key is equivalent to k.
  836. //!
  837. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if value
  838. //! is inserted right before p.
  839. template <class... Args>
  840. BOOST_CONTAINER_FORCEINLINE iterator try_emplace(const_iterator hint, BOOST_RV_REF(key_type) k, BOOST_FWD_REF(Args)... args)
  841. { return this->base_t::try_emplace(hint, boost::move(k), boost::forward<Args>(args)...).first; }
  842. #else // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  843. #define BOOST_CONTAINER_MAP_EMPLACE_CODE(N) \
  844. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  845. BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> emplace(BOOST_MOVE_UREF##N)\
  846. { return this->base_t::emplace_unique(BOOST_MOVE_FWD##N); }\
  847. \
  848. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  849. BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator hint BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  850. { return this->base_t::emplace_hint_unique(hint BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
  851. \
  852. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  853. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> try_emplace(const key_type& k BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  854. { return this->base_t::try_emplace(const_iterator(), k BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
  855. \
  856. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  857. BOOST_CONTAINER_FORCEINLINE iterator try_emplace(const_iterator hint, const key_type &k BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  858. { return this->base_t::try_emplace(hint, k BOOST_MOVE_I##N BOOST_MOVE_FWD##N).first; }\
  859. \
  860. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  861. BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> try_emplace(BOOST_RV_REF(key_type) k BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  862. { return this->base_t::try_emplace(const_iterator(), boost::move(k) BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
  863. \
  864. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  865. BOOST_CONTAINER_FORCEINLINE iterator try_emplace(const_iterator hint, BOOST_RV_REF(key_type) k BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  866. { return this->base_t::try_emplace(hint, boost::move(k) BOOST_MOVE_I##N BOOST_MOVE_FWD##N).first; }\
  867. //
  868. BOOST_MOVE_ITERATE_0TO9(BOOST_CONTAINER_MAP_EMPLACE_CODE)
  869. #undef BOOST_CONTAINER_MAP_EMPLACE_CODE
  870. #endif // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  871. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  872. //! <b>Effects</b>: Erases the element pointed to by p.
  873. //!
  874. //! <b>Returns</b>: Returns an iterator pointing to the element immediately
  875. //! following q prior to the element being erased. If no such element exists,
  876. //! returns end().
  877. //!
  878. //! <b>Complexity</b>: Amortized constant time
  879. iterator erase(const_iterator p) BOOST_NOEXCEPT_OR_NOTHROW;
  880. //! <b>Effects</b>: Erases all elements in the container with key equivalent to x.
  881. //!
  882. //! <b>Returns</b>: Returns the number of erased elements.
  883. //!
  884. //! <b>Complexity</b>: log(size()) + count(k)
  885. size_type erase(const key_type& x) BOOST_NOEXCEPT_OR_NOTHROW;
  886. //! <b>Effects</b>: Erases all the elements in the range [first, last).
  887. //!
  888. //! <b>Returns</b>: Returns last.
  889. //!
  890. //! <b>Complexity</b>: log(size())+N where N is the distance from first to last.
  891. iterator erase(const_iterator first, const_iterator last) BOOST_NOEXCEPT_OR_NOTHROW;
  892. #endif
  893. //! <b>Effects</b>: Removes the first element in the container with key equivalent to k.
  894. //!
  895. //! <b>Returns</b>: A node_type owning the element if found, otherwise an empty node_type.
  896. //!
  897. //! <b>Complexity</b>: log(size()).
  898. node_type extract(const key_type& k)
  899. {
  900. typename base_t::node_type base_nh(this->base_t::extract(k));
  901. node_type nh(boost::move(base_nh));
  902. return BOOST_MOVE_RET(node_type, nh);
  903. }
  904. //! <b>Effects</b>: Removes the element pointed to by "position".
  905. //!
  906. //! <b>Returns</b>: A node_type owning the element, otherwise an empty node_type.
  907. //!
  908. //! <b>Complexity</b>: Amortized constant.
  909. node_type extract(const_iterator position)
  910. {
  911. typename base_t::node_type base_nh(this->base_t::extract(position));
  912. node_type nh(boost::move(base_nh));
  913. return BOOST_MOVE_RET(node_type, nh);
  914. }
  915. //! <b>Requires</b>: this->get_allocator() == source.get_allocator().
  916. //!
  917. //! <b>Effects</b>: Attempts to extract each element in source and insert it into a using
  918. //! the comparison object of *this. If there is an element in a with key equivalent to the
  919. //! key of an element from source, then that element is not extracted from source.
  920. //!
  921. //! <b>Postcondition</b>: Pointers and references to the transferred elements of source refer
  922. //! to those same elements but as members of *this. Iterators referring to the transferred
  923. //! elements will continue to refer to their elements, but they now behave as iterators into *this,
  924. //! not into source.
  925. //!
  926. //! <b>Throws</b>: Nothing unless the comparison object throws.
  927. //!
  928. //! <b>Complexity</b>: N log(size() + N) (N has the value source.size())
  929. template<class C2>
  930. BOOST_CONTAINER_FORCEINLINE void merge(map<Key, T, C2, Allocator, Options>& source)
  931. {
  932. typedef dtl::tree
  933. <value_type_impl, select_1st_t, C2, Allocator, Options> base2_t;
  934. this->merge_unique(static_cast<base2_t&>(source));
  935. }
  936. //! @copydoc ::boost::container::map::merge(map<Key, T, C2, Allocator, Options>&)
  937. template<class C2>
  938. BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG map<Key, T, C2, Allocator, Options> BOOST_RV_REF_END source)
  939. { return this->merge(static_cast<map<Key, T, C2, Allocator, Options>&>(source)); }
  940. //! @copydoc ::boost::container::map::merge(map<Key, T, C2, Allocator, Options>&)
  941. template<class C2>
  942. BOOST_CONTAINER_FORCEINLINE void merge(multimap<Key, T, C2, Allocator, Options>& source)
  943. {
  944. typedef dtl::tree
  945. <value_type_impl, select_1st_t, C2, Allocator, Options> base2_t;
  946. this->base_t::merge_unique(static_cast<base2_t&>(source));
  947. }
  948. //! @copydoc ::boost::container::map::merge(map<Key, T, C2, Allocator, Options>&)
  949. template<class C2>
  950. BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG multimap<Key, T, C2, Allocator, Options> BOOST_RV_REF_END source)
  951. { return this->merge(static_cast<multimap<Key, T, C2, Allocator, Options>&>(source)); }
  952. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  953. //! <b>Effects</b>: Swaps the contents of *this and x.
  954. //!
  955. //! <b>Throws</b>: Nothing.
  956. //!
  957. //! <b>Complexity</b>: Constant.
  958. void swap(map& x)
  959. BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
  960. && boost::container::dtl::is_nothrow_swappable<Compare>::value );
  961. //! <b>Effects</b>: erase(begin(),end()).
  962. //!
  963. //! <b>Postcondition</b>: size() == 0.
  964. //!
  965. //! <b>Complexity</b>: linear in size().
  966. void clear() BOOST_NOEXCEPT_OR_NOTHROW;
  967. //! <b>Effects</b>: Returns the comparison object out
  968. //! of which a was constructed.
  969. //!
  970. //! <b>Complexity</b>: Constant.
  971. key_compare key_comp() const;
  972. //! <b>Effects</b>: Returns an object of value_compare constructed out
  973. //! of the comparison object.
  974. //!
  975. //! <b>Complexity</b>: Constant.
  976. value_compare value_comp() const;
  977. //! <b>Returns</b>: An iterator pointing to an element with the key
  978. //! equivalent to x, or end() if such an element is not found.
  979. //!
  980. //! <b>Complexity</b>: Logarithmic.
  981. iterator find(const key_type& x);
  982. //! <b>Returns</b>: A const_iterator pointing to an element with the key
  983. //! equivalent to x, or end() if such an element is not found.
  984. //!
  985. //! <b>Complexity</b>: Logarithmic.
  986. const_iterator find(const key_type& x) const;
  987. //! <b>Requires</b>: This overload is available only if
  988. //! key_compare::is_transparent exists.
  989. //!
  990. //! <b>Returns</b>: An iterator pointing to an element with the key
  991. //! equivalent to x, or end() if such an element is not found.
  992. //!
  993. //! <b>Complexity</b>: Logarithmic.
  994. template<typename K>
  995. iterator find(const K& x);
  996. //! <b>Requires</b>: This overload is available only if
  997. //! key_compare::is_transparent exists.
  998. //!
  999. //! <b>Returns</b>: A const_iterator pointing to an element with the key
  1000. //! equivalent to x, or end() if such an element is not found.
  1001. //!
  1002. //! <b>Complexity</b>: Logarithmic.
  1003. template<typename K>
  1004. const_iterator find(const K& x) const;
  1005. #endif //#if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1006. //! <b>Returns</b>: The number of elements with key equivalent to x.
  1007. //!
  1008. //! <b>Complexity</b>: log(size())+count(k)
  1009. BOOST_CONTAINER_ATTRIBUTE_NODISCARD BOOST_CONTAINER_FORCEINLINE
  1010. size_type count(const key_type& x) const
  1011. { return static_cast<size_type>(this->find(x) != this->cend()); }
  1012. //! <b>Requires</b>: This overload is available only if
  1013. //! key_compare::is_transparent exists.
  1014. //!
  1015. //! <b>Returns</b>: The number of elements with key equivalent to x.
  1016. //!
  1017. //! <b>Complexity</b>: log(size())+count(k)
  1018. template<typename K>
  1019. BOOST_CONTAINER_ATTRIBUTE_NODISCARD BOOST_CONTAINER_FORCEINLINE
  1020. size_type count(const K& x) const
  1021. { return static_cast<size_type>(this->find(x) != this->cend()); }
  1022. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1023. //! <b>Returns</b>: Returns true if there is an element with key
  1024. //! equivalent to key in the container, otherwise false.
  1025. //!
  1026. //! <b>Complexity</b>: log(size()).
  1027. bool contains(const key_type& x) const;
  1028. //! <b>Requires</b>: This overload is available only if
  1029. //! key_compare::is_transparent exists.
  1030. //!
  1031. //! <b>Returns</b>: Returns true if there is an element with key
  1032. //! equivalent to key in the container, otherwise false.
  1033. //!
  1034. //! <b>Complexity</b>: log(size()).
  1035. template<typename K>
  1036. bool contains(const K& x) const;
  1037. //! <b>Returns</b>: An iterator pointing to the first element with key not less
  1038. //! than x, or end() if such an element is not found.
  1039. //!
  1040. //! <b>Complexity</b>: Logarithmic
  1041. iterator lower_bound(const key_type& x);
  1042. //! <b>Returns</b>: A const iterator pointing to the first element with key not
  1043. //! less than x, or end() if such an element is not found.
  1044. //!
  1045. //! <b>Complexity</b>: Logarithmic
  1046. const_iterator lower_bound(const key_type& x) const;
  1047. //! <b>Requires</b>: This overload is available only if
  1048. //! key_compare::is_transparent exists.
  1049. //!
  1050. //! <b>Returns</b>: An iterator pointing to the first element with key not less
  1051. //! than x, or end() if such an element is not found.
  1052. //!
  1053. //! <b>Complexity</b>: Logarithmic
  1054. template<typename K>
  1055. iterator lower_bound(const K& x);
  1056. //! <b>Requires</b>: This overload is available only if
  1057. //! key_compare::is_transparent exists.
  1058. //!
  1059. //! <b>Returns</b>: A const iterator pointing to the first element with key not
  1060. //! less than x, or end() if such an element is not found.
  1061. //!
  1062. //! <b>Complexity</b>: Logarithmic
  1063. template<typename K>
  1064. const_iterator lower_bound(const K& x) const;
  1065. //! <b>Returns</b>: An iterator pointing to the first element with key greater
  1066. //! than x, or end() if such an element is not found.
  1067. //!
  1068. //! <b>Complexity</b>: Logarithmic
  1069. iterator upper_bound(const key_type& x);
  1070. //! <b>Returns</b>: A const iterator pointing to the first element with key
  1071. //! greater than x, or end() if such an element is not found.
  1072. //!
  1073. //! <b>Complexity</b>: Logarithmic
  1074. const_iterator upper_bound(const key_type& x) const;
  1075. //! <b>Requires</b>: This overload is available only if
  1076. //! key_compare::is_transparent exists.
  1077. //!
  1078. //! <b>Returns</b>: An iterator pointing to the first element with key greater
  1079. //! than x, or end() if such an element is not found.
  1080. //!
  1081. //! <b>Complexity</b>: Logarithmic
  1082. template<typename K>
  1083. iterator upper_bound(const K& x);
  1084. //! <b>Requires</b>: This overload is available only if
  1085. //! key_compare::is_transparent exists.
  1086. //!
  1087. //! <b>Returns</b>: A const iterator pointing to the first element with key
  1088. //! greater than x, or end() if such an element is not found.
  1089. //!
  1090. //! <b>Complexity</b>: Logarithmic
  1091. template<typename K>
  1092. const_iterator upper_bound(const K& x) const;
  1093. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1094. //!
  1095. //! <b>Complexity</b>: Logarithmic
  1096. std::pair<iterator,iterator> equal_range(const key_type& x);
  1097. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1098. //!
  1099. //! <b>Complexity</b>: Logarithmic
  1100. std::pair<const_iterator,const_iterator> equal_range(const key_type& x) const;
  1101. //! <b>Requires</b>: This overload is available only if
  1102. //! key_compare::is_transparent exists.
  1103. //!
  1104. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1105. //!
  1106. //! <b>Complexity</b>: Logarithmic
  1107. template<typename K>
  1108. std::pair<iterator,iterator> equal_range(const K& x);
  1109. //! <b>Requires</b>: This overload is available only if
  1110. //! key_compare::is_transparent exists.
  1111. //!
  1112. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1113. //!
  1114. //! <b>Complexity</b>: Logarithmic
  1115. template<typename K>
  1116. std::pair<const_iterator,const_iterator> equal_range(const K& x) const;
  1117. //! <b>Effects</b>: Rebalances the tree. It's a no-op for Red-Black and AVL trees.
  1118. //!
  1119. //! <b>Complexity</b>: Linear
  1120. void rebalance();
  1121. //! <b>Effects</b>: Returns true if x and y are equal
  1122. //!
  1123. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1124. friend bool operator==(const map& x, const map& y);
  1125. //! <b>Effects</b>: Returns true if x and y are unequal
  1126. //!
  1127. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1128. friend bool operator!=(const map& x, const map& y);
  1129. //! <b>Effects</b>: Returns true if x is less than y
  1130. //!
  1131. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1132. friend bool operator<(const map& x, const map& y);
  1133. //! <b>Effects</b>: Returns true if x is greater than y
  1134. //!
  1135. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1136. friend bool operator>(const map& x, const map& y);
  1137. //! <b>Effects</b>: Returns true if x is equal or less than y
  1138. //!
  1139. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1140. friend bool operator<=(const map& x, const map& y);
  1141. //! <b>Effects</b>: Returns true if x is equal or greater than y
  1142. //!
  1143. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1144. friend bool operator>=(const map& x, const map& y);
  1145. //! <b>Effects</b>: x.swap(y)
  1146. //!
  1147. //! <b>Complexity</b>: Constant.
  1148. friend void swap(map& x, map& y)
  1149. BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
  1150. && boost::container::dtl::is_nothrow_swappable<Compare>::value );
  1151. #endif //#if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1152. #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1153. private:
  1154. template<class KeyConvertible>
  1155. BOOST_CONTAINER_FORCEINLINE mapped_type& priv_subscript(BOOST_FWD_REF(KeyConvertible) k)
  1156. {
  1157. return this->try_emplace(boost::forward<KeyConvertible>(k)).first->second;
  1158. }
  1159. #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1160. };
  1161. #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
  1162. template <typename InputIterator>
  1163. map(InputIterator, InputIterator) ->
  1164. map< it_based_non_const_first_type_t<InputIterator>
  1165. , it_based_second_type_t<InputIterator>>;
  1166. template < typename InputIterator, typename AllocatorOrCompare>
  1167. map(InputIterator, InputIterator, AllocatorOrCompare const&) ->
  1168. map< it_based_non_const_first_type_t<InputIterator>
  1169. , it_based_second_type_t<InputIterator>
  1170. , typename dtl::if_c< // Compare
  1171. dtl::is_allocator<AllocatorOrCompare>::value
  1172. , std::less<it_based_non_const_first_type_t<InputIterator>>
  1173. , AllocatorOrCompare
  1174. >::type
  1175. , typename dtl::if_c< // Allocator
  1176. dtl::is_allocator<AllocatorOrCompare>::value
  1177. , AllocatorOrCompare
  1178. , new_allocator<std::pair<it_based_const_first_type_t<InputIterator>, it_based_second_type_t<InputIterator>>>
  1179. >::type
  1180. >;
  1181. template < typename InputIterator, typename Compare, typename Allocator
  1182. , typename = dtl::require_nonallocator_t<Compare>
  1183. , typename = dtl::require_allocator_t<Allocator>>
  1184. map(InputIterator, InputIterator, Compare const&, Allocator const&) ->
  1185. map< it_based_non_const_first_type_t<InputIterator>
  1186. , it_based_second_type_t<InputIterator>
  1187. , Compare
  1188. , Allocator>;
  1189. template <typename InputIterator>
  1190. map(ordered_unique_range_t, InputIterator, InputIterator) ->
  1191. map< it_based_non_const_first_type_t<InputIterator>
  1192. , it_based_second_type_t<InputIterator>>;
  1193. template < typename InputIterator, typename AllocatorOrCompare>
  1194. map(ordered_unique_range_t, InputIterator, InputIterator, AllocatorOrCompare const&) ->
  1195. map< it_based_non_const_first_type_t<InputIterator>
  1196. , it_based_second_type_t<InputIterator>
  1197. , typename dtl::if_c< // Compare
  1198. dtl::is_allocator<AllocatorOrCompare>::value
  1199. , std::less<it_based_non_const_first_type_t<InputIterator>>
  1200. , AllocatorOrCompare
  1201. >::type
  1202. , typename dtl::if_c< // Allocator
  1203. dtl::is_allocator<AllocatorOrCompare>::value
  1204. , AllocatorOrCompare
  1205. , new_allocator<std::pair<it_based_const_first_type_t<InputIterator>, it_based_second_type_t<InputIterator>>>
  1206. >::type
  1207. >;
  1208. template < typename InputIterator, typename Compare, typename Allocator
  1209. , typename = dtl::require_nonallocator_t<Compare>
  1210. , typename = dtl::require_allocator_t<Allocator>>
  1211. map(ordered_unique_range_t, InputIterator, InputIterator, Compare const&, Allocator const&) ->
  1212. map< it_based_non_const_first_type_t<InputIterator>
  1213. , it_based_second_type_t<InputIterator>
  1214. , Compare
  1215. , Allocator>;
  1216. #endif
  1217. #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1218. } //namespace container {
  1219. //!has_trivial_destructor_after_move<> == true_type
  1220. //!specialization for optimizations
  1221. template <class Key, class T, class Compare, class Allocator, class Options>
  1222. struct has_trivial_destructor_after_move<boost::container::map<Key, T, Compare, Allocator, Options> >
  1223. {
  1224. typedef ::boost::container::dtl::tree<std::pair<const Key, T>, int, Compare, Allocator, Options> tree;
  1225. static const bool value = ::boost::has_trivial_destructor_after_move<tree>::value;
  1226. };
  1227. namespace container {
  1228. #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1229. #ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
  1230. //! A multimap is a kind of associative container that supports equivalent keys
  1231. //! (possibly containing multiple copies of the same key value) and provides for
  1232. //! fast retrieval of values of another type T based on the keys. The multimap class
  1233. //! supports bidirectional iterators.
  1234. //!
  1235. //! A multimap satisfies all of the requirements of a container and of a reversible
  1236. //! container and of an associative container. The <code>value_type</code> stored
  1237. //! by this container is the value_type is std::pair<const Key, T>.
  1238. //!
  1239. //! \tparam Key is the key_type of the map
  1240. //! \tparam Value is the <code>mapped_type</code>
  1241. //! \tparam Compare is the ordering function for Keys (e.g. <i>std::less<Key></i>).
  1242. //! \tparam Allocator is the allocator to allocate the <code>value_type</code>s
  1243. //! (e.g. <i>allocator< std::pair<const Key, T> > </i>).
  1244. //! \tparam Options is an packed option type generated using using boost::container::tree_assoc_options.
  1245. template < class Key, class T, class Compare = std::less<Key>
  1246. , class Allocator = new_allocator< std::pair< const Key, T> >, class Options = tree_assoc_defaults>
  1247. #else
  1248. template <class Key, class T, class Compare, class Allocator, class Options>
  1249. #endif
  1250. class multimap
  1251. ///@cond
  1252. : public dtl::tree
  1253. < std::pair<const Key, T>
  1254. , int
  1255. , Compare, Allocator, Options>
  1256. ///@endcond
  1257. {
  1258. #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1259. private:
  1260. BOOST_COPYABLE_AND_MOVABLE(multimap)
  1261. typedef int select_1st_t;
  1262. typedef std::pair<const Key, T> value_type_impl;
  1263. typedef dtl::tree
  1264. <value_type_impl, select_1st_t, Compare, Allocator, Options> base_t;
  1265. typedef dtl::pair <Key, T> movable_value_type_impl;
  1266. typedef typename base_t::value_compare value_compare_impl;
  1267. #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  1268. public:
  1269. //////////////////////////////////////////////
  1270. //
  1271. // types
  1272. //
  1273. //////////////////////////////////////////////
  1274. typedef Key key_type;
  1275. typedef T mapped_type;
  1276. typedef typename base_t::allocator_type allocator_type;
  1277. typedef ::boost::container::allocator_traits<allocator_type> allocator_traits_type;
  1278. typedef typename boost::container::allocator_traits<allocator_type>::value_type value_type;
  1279. typedef typename boost::container::allocator_traits<allocator_type>::pointer pointer;
  1280. typedef typename boost::container::allocator_traits<allocator_type>::const_pointer const_pointer;
  1281. typedef typename boost::container::allocator_traits<allocator_type>::reference reference;
  1282. typedef typename boost::container::allocator_traits<allocator_type>::const_reference const_reference;
  1283. typedef typename boost::container::allocator_traits<allocator_type>::size_type size_type;
  1284. typedef typename boost::container::allocator_traits<allocator_type>::difference_type difference_type;
  1285. typedef typename BOOST_CONTAINER_IMPDEF(base_t::stored_allocator_type) stored_allocator_type;
  1286. typedef BOOST_CONTAINER_IMPDEF(value_compare_impl) value_compare;
  1287. typedef Compare key_compare;
  1288. typedef typename BOOST_CONTAINER_IMPDEF(base_t::iterator) iterator;
  1289. typedef typename BOOST_CONTAINER_IMPDEF(base_t::const_iterator) const_iterator;
  1290. typedef typename BOOST_CONTAINER_IMPDEF(base_t::reverse_iterator) reverse_iterator;
  1291. typedef typename BOOST_CONTAINER_IMPDEF(base_t::const_reverse_iterator) const_reverse_iterator;
  1292. //typedef std::pair<key_type, mapped_type> nonconst_value_type;
  1293. typedef BOOST_CONTAINER_IMPDEF(movable_value_type_impl) movable_value_type;
  1294. typedef BOOST_CONTAINER_IMPDEF(node_handle<
  1295. typename base_t::stored_allocator_type
  1296. BOOST_MOVE_I pair_key_mapped_of_value
  1297. <key_type BOOST_MOVE_I mapped_type> >) node_type;
  1298. //allocator_type::value_type type must be std::pair<CONST Key, T>
  1299. BOOST_STATIC_ASSERT((dtl::is_same<typename allocator_type::value_type, std::pair<const Key, T> >::value));
  1300. //////////////////////////////////////////////
  1301. //
  1302. // construct/copy/destroy
  1303. //
  1304. //////////////////////////////////////////////
  1305. //! <b>Effects</b>: Default constructs an empty multimap.
  1306. //!
  1307. //! <b>Complexity</b>: Constant.
  1308. BOOST_CONTAINER_FORCEINLINE multimap()
  1309. BOOST_NOEXCEPT_IF(dtl::is_nothrow_default_constructible<allocator_type>::value &&
  1310. dtl::is_nothrow_default_constructible<Compare>::value)
  1311. : base_t()
  1312. {}
  1313. //! <b>Effects</b>: Constructs an empty multimap using the specified allocator
  1314. //! object and allocator.
  1315. //!
  1316. //! <b>Complexity</b>: Constant.
  1317. BOOST_CONTAINER_FORCEINLINE explicit multimap(const allocator_type& a)
  1318. : base_t(a)
  1319. {}
  1320. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison.
  1321. //!
  1322. //! <b>Complexity</b>: Constant.
  1323. BOOST_CONTAINER_FORCEINLINE explicit multimap(const Compare& comp)
  1324. : base_t(comp)
  1325. {}
  1326. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison and allocator.
  1327. //!
  1328. //! <b>Complexity</b>: Constant.
  1329. BOOST_CONTAINER_FORCEINLINE multimap(const Compare& comp, const allocator_type& a)
  1330. : base_t(comp, a)
  1331. {}
  1332. //! <b>Effects</b>: Constructs an empty multimap and
  1333. //! inserts elements from the range [first ,last ).
  1334. //!
  1335. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1336. //! the predicate and otherwise N logN, where N is last - first.
  1337. template <class InputIterator>
  1338. BOOST_CONTAINER_FORCEINLINE multimap(InputIterator first, InputIterator last)
  1339. : base_t(false, first, last)
  1340. {}
  1341. //! <b>Effects</b>: Constructs an empty multimap using the specified
  1342. //! allocator, and inserts elements from the range [first ,last ).
  1343. //!
  1344. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1345. //! the predicate and otherwise N logN, where N is last - first.
  1346. template <class InputIterator>
  1347. BOOST_CONTAINER_FORCEINLINE multimap(InputIterator first, InputIterator last, const allocator_type& a)
  1348. : base_t(false, first, last, Compare(), a)
  1349. {}
  1350. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object and
  1351. //! inserts elements from the range [first ,last ).
  1352. //!
  1353. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1354. //! the predicate and otherwise N logN, where N is last - first.
  1355. template <class InputIterator>
  1356. BOOST_CONTAINER_FORCEINLINE multimap(InputIterator first, InputIterator last, const Compare& comp)
  1357. : base_t(false, first, last, comp)
  1358. {}
  1359. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object
  1360. //! and allocator, and inserts elements from the range [first ,last ).
  1361. //!
  1362. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1363. //! the predicate and otherwise N logN, where N is last - first.
  1364. template <class InputIterator>
  1365. BOOST_CONTAINER_FORCEINLINE multimap(InputIterator first, InputIterator last,
  1366. const Compare& comp, const allocator_type& a)
  1367. : base_t(false, first, last, comp, a)
  1368. {}
  1369. //! <b>Effects</b>: Constructs an empty multimap and
  1370. //! inserts elements from the ordered range [first ,last). This function
  1371. //! is more efficient than the normal range creation for ordered ranges.
  1372. //!
  1373. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
  1374. //!
  1375. //! <b>Complexity</b>: Linear in N.
  1376. //!
  1377. //! <b>Note</b>: Non-standard extension.
  1378. template <class InputIterator>
  1379. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, InputIterator first, InputIterator last)
  1380. : base_t(ordered_range, first, last)
  1381. {}
  1382. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object and
  1383. //! inserts elements from the ordered range [first ,last). This function
  1384. //! is more efficient than the normal range creation for ordered ranges.
  1385. //!
  1386. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
  1387. //!
  1388. //! <b>Complexity</b>: Linear in N.
  1389. //!
  1390. //! <b>Note</b>: Non-standard extension.
  1391. template <class InputIterator>
  1392. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, InputIterator first, InputIterator last, const Compare& comp)
  1393. : base_t(ordered_range, first, last, comp)
  1394. {}
  1395. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object and
  1396. //! allocator, and inserts elements from the ordered range [first ,last). This function
  1397. //! is more efficient than the normal range creation for ordered ranges.
  1398. //!
  1399. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
  1400. //!
  1401. //! <b>Complexity</b>: Linear in N.
  1402. //!
  1403. //! <b>Note</b>: Non-standard extension.
  1404. template <class InputIterator>
  1405. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, InputIterator first, InputIterator last, const Compare& comp,
  1406. const allocator_type& a)
  1407. : base_t(ordered_range, first, last, comp, a)
  1408. {}
  1409. //! <b>Effects</b>: Constructs an empty multimap using the specified allocator and
  1410. //! inserts elements from the ordered range [first ,last). This function
  1411. //! is more efficient than the normal range creation for ordered ranges.
  1412. //!
  1413. //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
  1414. //!
  1415. //! <b>Complexity</b>: Linear in N.
  1416. //!
  1417. //! <b>Note</b>: Non-standard extension.
  1418. template <class InputIterator>
  1419. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, InputIterator first, InputIterator last, const allocator_type& a)
  1420. : base_t(ordered_range, first, last, Compare(), a)
  1421. {}
  1422. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  1423. //! <b>Effects</b>: Constructs an empty multimap and
  1424. //! and inserts elements from the range [il.begin(), il.end()).
  1425. //!
  1426. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1427. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  1428. BOOST_CONTAINER_FORCEINLINE multimap(std::initializer_list<value_type> il)
  1429. : base_t(false, il.begin(), il.end())
  1430. {}
  1431. //! <b>Effects</b>: Constructs an empty multimap using the specified
  1432. //! allocator, and inserts elements from the range [il.begin(), il.end()).
  1433. //!
  1434. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1435. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  1436. BOOST_CONTAINER_FORCEINLINE multimap(std::initializer_list<value_type> il, const allocator_type& a)
  1437. : base_t(false, il.begin(), il.end(), Compare(), a)
  1438. {}
  1439. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object and
  1440. //! inserts elements from the range [il.begin(), il.end()).
  1441. //!
  1442. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1443. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  1444. BOOST_CONTAINER_FORCEINLINE multimap(std::initializer_list<value_type> il, const Compare& comp)
  1445. : base_t(false, il.begin(), il.end(), comp)
  1446. {}
  1447. //! <b>Effects</b>: Constructs an empty multimap using the specified comparison object and
  1448. //! allocator, and inserts elements from the range [il.begin(), il.end()).
  1449. //!
  1450. //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
  1451. //! the predicate and otherwise N logN, where N is il.first() - il.end().
  1452. BOOST_CONTAINER_FORCEINLINE multimap(std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
  1453. : base_t(false, il.begin(), il.end(), comp, a)
  1454. {}
  1455. //! <b>Effects</b>: Constructs an empty map and
  1456. //! inserts elements from the ordered range [il.begin(), il.end()). This function
  1457. //! is more efficient than the normal range creation for ordered ranges.
  1458. //!
  1459. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
  1460. //!
  1461. //! <b>Complexity</b>: Linear in N.
  1462. //!
  1463. //! <b>Note</b>: Non-standard extension.
  1464. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, std::initializer_list<value_type> il)
  1465. : base_t(ordered_range, il.begin(), il.end())
  1466. {}
  1467. //! <b>Effects</b>: Constructs an empty map using the specified comparison object and
  1468. //! inserts elements from the ordered range [il.begin(), il.end()). This function
  1469. //! is more efficient than the normal range creation for ordered ranges.
  1470. //!
  1471. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
  1472. //!
  1473. //! <b>Complexity</b>: Linear in N.
  1474. //!
  1475. //! <b>Note</b>: Non-standard extension.
  1476. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, std::initializer_list<value_type> il, const Compare& comp)
  1477. : base_t(ordered_range, il.begin(), il.end(), comp)
  1478. {}
  1479. //! <b>Effects</b>: Constructs an empty map and
  1480. //! inserts elements from the ordered range [il.begin(), il.end()). This function
  1481. //! is more efficient than the normal range creation for ordered ranges.
  1482. //!
  1483. //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
  1484. //!
  1485. //! <b>Complexity</b>: Linear in N.
  1486. //!
  1487. //! <b>Note</b>: Non-standard extension.
  1488. BOOST_CONTAINER_FORCEINLINE multimap(ordered_range_t, std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
  1489. : base_t(ordered_range, il.begin(), il.end(), comp, a)
  1490. {}
  1491. #endif
  1492. //! <b>Effects</b>: Copy constructs a multimap.
  1493. //!
  1494. //! <b>Complexity</b>: Linear in x.size().
  1495. BOOST_CONTAINER_FORCEINLINE multimap(const multimap& x)
  1496. : base_t(static_cast<const base_t&>(x))
  1497. {}
  1498. //! <b>Effects</b>: Move constructs a multimap. Constructs *this using x's resources.
  1499. //!
  1500. //! <b>Complexity</b>: Constant.
  1501. //!
  1502. //! <b>Postcondition</b>: x is emptied.
  1503. BOOST_CONTAINER_FORCEINLINE multimap(BOOST_RV_REF(multimap) x)
  1504. BOOST_NOEXCEPT_IF(boost::container::dtl::is_nothrow_move_constructible<Compare>::value)
  1505. : base_t(BOOST_MOVE_BASE(base_t, x))
  1506. {}
  1507. //! <b>Effects</b>: Copy constructs a multimap.
  1508. //!
  1509. //! <b>Complexity</b>: Linear in x.size().
  1510. BOOST_CONTAINER_FORCEINLINE multimap(const multimap& x, const allocator_type &a)
  1511. : base_t(static_cast<const base_t&>(x), a)
  1512. {}
  1513. //! <b>Effects</b>: Move constructs a multimap using the specified allocator.
  1514. //! Constructs *this using x's resources.
  1515. //! <b>Complexity</b>: Constant if a == x.get_allocator(), linear otherwise.
  1516. //!
  1517. //! <b>Postcondition</b>: x is emptied.
  1518. BOOST_CONTAINER_FORCEINLINE multimap(BOOST_RV_REF(multimap) x, const allocator_type &a)
  1519. : base_t(BOOST_MOVE_BASE(base_t, x), a)
  1520. {}
  1521. //! <b>Effects</b>: Makes *this a copy of x.
  1522. //!
  1523. //! <b>Complexity</b>: Linear in x.size().
  1524. BOOST_CONTAINER_FORCEINLINE multimap& operator=(BOOST_COPY_ASSIGN_REF(multimap) x)
  1525. { return static_cast<multimap&>(this->base_t::operator=(static_cast<const base_t&>(x))); }
  1526. //! <b>Effects</b>: this->swap(x.get()).
  1527. //!
  1528. //! <b>Complexity</b>: Constant.
  1529. BOOST_CONTAINER_FORCEINLINE multimap& operator=(BOOST_RV_REF(multimap) x)
  1530. BOOST_NOEXCEPT_IF( (allocator_traits_type::propagate_on_container_move_assignment::value ||
  1531. allocator_traits_type::is_always_equal::value) &&
  1532. boost::container::dtl::is_nothrow_move_assignable<Compare>::value)
  1533. { return static_cast<multimap&>(this->base_t::operator=(BOOST_MOVE_BASE(base_t, x))); }
  1534. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  1535. //! <b>Effects</b>: Assign content of il to *this.
  1536. //!
  1537. BOOST_CONTAINER_FORCEINLINE multimap& operator=(std::initializer_list<value_type> il)
  1538. {
  1539. this->clear();
  1540. insert(il.begin(), il.end());
  1541. return *this;
  1542. }
  1543. #endif
  1544. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1545. //! @copydoc ::boost::container::set::get_allocator()
  1546. allocator_type get_allocator() const;
  1547. //! @copydoc ::boost::container::set::get_stored_allocator()
  1548. stored_allocator_type &get_stored_allocator();
  1549. //! @copydoc ::boost::container::set::get_stored_allocator() const
  1550. const stored_allocator_type &get_stored_allocator() const;
  1551. //! @copydoc ::boost::container::set::begin()
  1552. iterator begin();
  1553. //! @copydoc ::boost::container::set::begin() const
  1554. const_iterator begin() const;
  1555. //! @copydoc ::boost::container::set::cbegin() const
  1556. const_iterator cbegin() const;
  1557. //! @copydoc ::boost::container::set::end()
  1558. iterator end() BOOST_NOEXCEPT_OR_NOTHROW;
  1559. //! @copydoc ::boost::container::set::end() const
  1560. const_iterator end() const BOOST_NOEXCEPT_OR_NOTHROW;
  1561. //! @copydoc ::boost::container::set::cend() const
  1562. const_iterator cend() const BOOST_NOEXCEPT_OR_NOTHROW;
  1563. //! @copydoc ::boost::container::set::rbegin()
  1564. reverse_iterator rbegin() BOOST_NOEXCEPT_OR_NOTHROW;
  1565. //! @copydoc ::boost::container::set::rbegin() const
  1566. const_reverse_iterator rbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
  1567. //! @copydoc ::boost::container::set::crbegin() const
  1568. const_reverse_iterator crbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
  1569. //! @copydoc ::boost::container::set::rend()
  1570. reverse_iterator rend() BOOST_NOEXCEPT_OR_NOTHROW;
  1571. //! @copydoc ::boost::container::set::rend() const
  1572. const_reverse_iterator rend() const BOOST_NOEXCEPT_OR_NOTHROW;
  1573. //! @copydoc ::boost::container::set::crend() const
  1574. const_reverse_iterator crend() const BOOST_NOEXCEPT_OR_NOTHROW;
  1575. //! @copydoc ::boost::container::set::empty() const
  1576. bool empty() const;
  1577. //! @copydoc ::boost::container::set::size() const
  1578. size_type size() const;
  1579. //! @copydoc ::boost::container::set::max_size() const
  1580. size_type max_size() const;
  1581. #endif //#if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1582. #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) || defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1583. //! <b>Effects</b>: Inserts an object of type T constructed with
  1584. //! std::forward<Args>(args)... in the container.
  1585. //! p is a hint pointing to where the insert should start to search.
  1586. //!
  1587. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  1588. //! to the key of x.
  1589. //!
  1590. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  1591. //! is inserted right before p.
  1592. template <class... Args>
  1593. BOOST_CONTAINER_FORCEINLINE iterator emplace(BOOST_FWD_REF(Args)... args)
  1594. { return this->base_t::emplace_equal(boost::forward<Args>(args)...); }
  1595. //! <b>Effects</b>: Inserts an object of type T constructed with
  1596. //! std::forward<Args>(args)... in the container.
  1597. //! p is a hint pointing to where the insert should start to search.
  1598. //!
  1599. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  1600. //! to the key of x.
  1601. //!
  1602. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  1603. //! is inserted right before p.
  1604. template <class... Args>
  1605. BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator p, BOOST_FWD_REF(Args)... args)
  1606. { return this->base_t::emplace_hint_equal(p, boost::forward<Args>(args)...); }
  1607. #else // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  1608. #define BOOST_CONTAINER_MULTIMAP_EMPLACE_CODE(N) \
  1609. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  1610. BOOST_CONTAINER_FORCEINLINE iterator emplace(BOOST_MOVE_UREF##N)\
  1611. { return this->base_t::emplace_equal(BOOST_MOVE_FWD##N); }\
  1612. \
  1613. BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
  1614. BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator hint BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
  1615. { return this->base_t::emplace_hint_equal(hint BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
  1616. //
  1617. BOOST_MOVE_ITERATE_0TO9(BOOST_CONTAINER_MULTIMAP_EMPLACE_CODE)
  1618. #undef BOOST_CONTAINER_MULTIMAP_EMPLACE_CODE
  1619. #endif // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  1620. //! <b>Effects</b>: Inserts x and returns the iterator pointing to the
  1621. //! newly inserted element.
  1622. //!
  1623. //! <b>Complexity</b>: Logarithmic.
  1624. BOOST_CONTAINER_FORCEINLINE iterator insert(const value_type& x)
  1625. { return this->base_t::insert_equal_convertible(x); }
  1626. //! <b>Effects</b>: Inserts a new value move-constructed from x and returns
  1627. //! the iterator pointing to the newly inserted element.
  1628. //!
  1629. //! <b>Complexity</b>: Logarithmic.
  1630. BOOST_CONTAINER_FORCEINLINE iterator insert(BOOST_RV_REF(value_type) x)
  1631. { return this->base_t::insert_equal_convertible(boost::move(x)); }
  1632. //! <b>Effects</b>: Inserts a new value constructed from x and returns
  1633. //! the iterator pointing to the newly inserted element.
  1634. //!
  1635. //! <b>Complexity</b>: Logarithmic.
  1636. template<class Pair>
  1637. BOOST_CONTAINER_FORCEINLINE BOOST_CONTAINER_DOC1ST
  1638. ( iterator
  1639. , typename dtl::enable_if_c<
  1640. dtl::is_convertible<Pair BOOST_MOVE_I value_type>::value ||
  1641. dtl::is_convertible<Pair BOOST_MOVE_I movable_value_type>::value
  1642. BOOST_MOVE_I iterator >::type)
  1643. insert(BOOST_FWD_REF(Pair) x)
  1644. { return this->base_t::emplace_equal(boost::forward<Pair>(x)); }
  1645. //! <b>Effects</b>: Inserts a copy of x in the container.
  1646. //! p is a hint pointing to where the insert should start to search.
  1647. //!
  1648. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  1649. //! to the key of x.
  1650. //!
  1651. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  1652. //! is inserted right before p.
  1653. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, const value_type& x)
  1654. { return this->base_t::insert_equal_hint_convertible(p, x); }
  1655. //! <b>Effects</b>: Inserts a new value move constructed from x in the container.
  1656. //! p is a hint pointing to where the insert should start to search.
  1657. //!
  1658. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  1659. //! to the key of x.
  1660. //!
  1661. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  1662. //! is inserted right before p.
  1663. BOOST_CONTAINER_FORCEINLINE iterator insert(const_iterator p, BOOST_RV_REF(movable_value_type) x)
  1664. { return this->base_t::insert_equal_hint_convertible(p, boost::move(x)); }
  1665. //! <b>Effects</b>: Inserts a new value constructed from x in the container.
  1666. //! p is a hint pointing to where the insert should start to search.
  1667. //!
  1668. //! <b>Returns</b>: An iterator pointing to the element with key equivalent
  1669. //! to the key of x.
  1670. //!
  1671. //! <b>Complexity</b>: Logarithmic in general, but amortized constant if t
  1672. //! is inserted right before p.
  1673. template<class Pair>
  1674. BOOST_CONTAINER_FORCEINLINE BOOST_CONTAINER_DOC1ST
  1675. ( iterator
  1676. , typename dtl::enable_if_c<
  1677. dtl::is_convertible<Pair BOOST_MOVE_I value_type>::value ||
  1678. dtl::is_convertible<Pair BOOST_MOVE_I movable_value_type>::value
  1679. BOOST_MOVE_I iterator>::type)
  1680. insert(const_iterator p, BOOST_FWD_REF(Pair) x)
  1681. { return this->base_t::emplace_hint_equal(p, boost::forward<Pair>(x)); }
  1682. //! <b>Requires</b>: first, last are not iterators into *this.
  1683. //!
  1684. //! <b>Effects</b>: inserts each element from the range [first,last) .
  1685. //!
  1686. //! <b>Complexity</b>: At most N log(size()+N) (N is the distance from first to last)
  1687. template <class InputIterator>
  1688. BOOST_CONTAINER_FORCEINLINE void insert(InputIterator first, InputIterator last)
  1689. { this->base_t::insert_equal_range(first, last); }
  1690. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  1691. //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end().
  1692. //!
  1693. //! <b>Complexity</b>: At most N log(size()+N) (N is the distance from il.begin() to il.end())
  1694. BOOST_CONTAINER_FORCEINLINE void insert(std::initializer_list<value_type> il)
  1695. { this->base_t::insert_equal_range(il.begin(), il.end()); }
  1696. #endif
  1697. //! <b>Requires</b>: nh is empty or this->get_allocator() == nh.get_allocator().
  1698. //!
  1699. //! <b>Effects/Returns</b>: If nh is empty, has no effect and returns end(). Otherwise, inserts
  1700. //! the element owned by nh and returns an iterator pointing to the newly inserted element.
  1701. //! If a range containing elements with keys equivalent to nh.key() exists,
  1702. //! the element is inserted at the end of that range. nh is always emptied.
  1703. //!
  1704. //! <b>Complexity</b>: Logarithmic
  1705. iterator insert(BOOST_RV_REF_BEG_IF_CXX11 node_type BOOST_RV_REF_END_IF_CXX11 nh)
  1706. {
  1707. typename base_t::node_type n(boost::move(nh));
  1708. return this->base_t::insert_equal_node(boost::move(n));
  1709. }
  1710. //! <b>Effects</b>: Same as `insert(node_type && nh)` but the element is inserted as close as possible
  1711. //! to the position just prior to "hint".
  1712. //!
  1713. //! <b>Complexity</b>: logarithmic in general, but amortized constant if the element is inserted
  1714. //! right before "hint".
  1715. iterator insert(const_iterator hint, BOOST_RV_REF_BEG_IF_CXX11 node_type BOOST_RV_REF_END_IF_CXX11 nh)
  1716. {
  1717. typename base_t::node_type n(boost::move(nh));
  1718. return this->base_t::insert_equal_node(hint, boost::move(n));
  1719. }
  1720. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1721. //! @copydoc ::boost::container::set::erase(const_iterator)
  1722. iterator erase(const_iterator p);
  1723. //! @copydoc ::boost::container::set::erase(const key_type&)
  1724. size_type erase(const key_type& x);
  1725. //! @copydoc ::boost::container::set::erase(const_iterator,const_iterator)
  1726. iterator erase(const_iterator first, const_iterator last);
  1727. #endif
  1728. //! @copydoc ::boost::container::map::extract(const key_type&)
  1729. node_type extract(const key_type& k)
  1730. {
  1731. typename base_t::node_type base_nh(this->base_t::extract(k));
  1732. return node_type(boost::move(base_nh));
  1733. }
  1734. //! @copydoc ::boost::container::map::extract(const_iterator)
  1735. node_type extract(const_iterator position)
  1736. {
  1737. typename base_t::node_type base_nh(this->base_t::extract(position));
  1738. return node_type (boost::move(base_nh));
  1739. }
  1740. //! <b>Requires</b>: this->get_allocator() == source.get_allocator().
  1741. //!
  1742. //! <b>Effects</b>: Extracts each element in source and insert it into a using
  1743. //! the comparison object of *this.
  1744. //!
  1745. //! <b>Postcondition</b>: Pointers and references to the transferred elements of source refer
  1746. //! to those same elements but as members of *this. Iterators referring to the transferred
  1747. //! elements will continue to refer to their elements, but they now behave as iterators into *this,
  1748. //! not into source.
  1749. //!
  1750. //! <b>Throws</b>: Nothing unless the comparison object throws.
  1751. //!
  1752. //! <b>Complexity</b>: N log(size() + N) (N has the value source.size())
  1753. template<class C2>
  1754. BOOST_CONTAINER_FORCEINLINE void merge(multimap<Key, T, C2, Allocator, Options>& source)
  1755. {
  1756. typedef dtl::tree
  1757. <value_type_impl, select_1st_t, C2, Allocator, Options> base2_t;
  1758. this->base_t::merge_equal(static_cast<base2_t&>(source));
  1759. }
  1760. //! @copydoc ::boost::container::multimap::merge(multimap<Key, T, C2, Allocator, Options>&)
  1761. template<class C2>
  1762. BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG multimap<Key, T, C2, Allocator, Options> BOOST_RV_REF_END source)
  1763. { return this->merge(static_cast<multimap<Key, T, C2, Allocator, Options>&>(source)); }
  1764. //! @copydoc ::boost::container::multimap::merge(multimap<Key, T, C2, Allocator, Options>&)
  1765. template<class C2>
  1766. BOOST_CONTAINER_FORCEINLINE void merge(map<Key, T, C2, Allocator, Options>& source)
  1767. {
  1768. typedef dtl::tree
  1769. <value_type_impl, select_1st_t, C2, Allocator, Options> base2_t;
  1770. this->base_t::merge_equal(static_cast<base2_t&>(source));
  1771. }
  1772. //! @copydoc ::boost::container::multimap::merge(multimap<Key, T, C2, Allocator, Options>&)
  1773. template<class C2>
  1774. BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG map<Key, T, C2, Allocator, Options> BOOST_RV_REF_END source)
  1775. { return this->merge(static_cast<map<Key, T, C2, Allocator, Options>&>(source)); }
  1776. #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1777. //! @copydoc ::boost::container::set::swap
  1778. void swap(multiset& x)
  1779. BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
  1780. && boost::container::dtl::is_nothrow_swappable<Compare>::value );
  1781. //! @copydoc ::boost::container::set::clear
  1782. void clear() BOOST_NOEXCEPT_OR_NOTHROW;
  1783. //! @copydoc ::boost::container::set::key_comp
  1784. key_compare key_comp() const;
  1785. //! @copydoc ::boost::container::set::value_comp
  1786. value_compare value_comp() const;
  1787. //! <b>Returns</b>: An iterator pointing to an element with the key
  1788. //! equivalent to x, or end() if such an element is not found.
  1789. //!
  1790. //! <b>Complexity</b>: Logarithmic.
  1791. iterator find(const key_type& x);
  1792. //! <b>Returns</b>: A const iterator pointing to an element with the key
  1793. //! equivalent to x, or end() if such an element is not found.
  1794. //!
  1795. //! <b>Complexity</b>: Logarithmic.
  1796. const_iterator find(const key_type& x) const;
  1797. //! <b>Requires</b>: This overload is available only if
  1798. //! key_compare::is_transparent exists.
  1799. //!
  1800. //! <b>Returns</b>: An iterator pointing to an element with the key
  1801. //! equivalent to x, or end() if such an element is not found.
  1802. //!
  1803. //! <b>Complexity</b>: Logarithmic.
  1804. template<typename K>
  1805. iterator find(const K& x);
  1806. //! <b>Requires</b>: This overload is available only if
  1807. //! key_compare::is_transparent exists.
  1808. //!
  1809. //! <b>Returns</b>: A const_iterator pointing to an element with the key
  1810. //! equivalent to x, or end() if such an element is not found.
  1811. //!
  1812. //! <b>Complexity</b>: Logarithmic.
  1813. template<typename K>
  1814. const_iterator find(const K& x) const;
  1815. //! <b>Returns</b>: The number of elements with key equivalent to x.
  1816. //!
  1817. //! <b>Complexity</b>: log(size())+count(k)
  1818. size_type count(const key_type& x) const;
  1819. //! <b>Requires</b>: This overload is available only if
  1820. //! key_compare::is_transparent exists.
  1821. //!
  1822. //! <b>Returns</b>: The number of elements with key equivalent to x.
  1823. //!
  1824. //! <b>Complexity</b>: log(size())+count(k)
  1825. template<typename K>
  1826. size_type count(const K& x) const;
  1827. //! <b>Returns</b>: Returns true if there is an element with key
  1828. //! equivalent to key in the container, otherwise false.
  1829. //!
  1830. //! <b>Complexity</b>: log(size()).
  1831. bool contains(const key_type& x) const;
  1832. //! <b>Requires</b>: This overload is available only if
  1833. //! key_compare::is_transparent exists.
  1834. //!
  1835. //! <b>Returns</b>: Returns true if there is an element with key
  1836. //! equivalent to key in the container, otherwise false.
  1837. //!
  1838. //! <b>Complexity</b>: log(size()).
  1839. template<typename K>
  1840. bool contains(const K& x) const;
  1841. //! <b>Returns</b>: An iterator pointing to the first element with key not less
  1842. //! than x, or end() if such an element is not found.
  1843. //!
  1844. //! <b>Complexity</b>: Logarithmic
  1845. iterator lower_bound(const key_type& x);
  1846. //! <b>Returns</b>: A const iterator pointing to the first element with key not
  1847. //! less than x, or end() if such an element is not found.
  1848. //!
  1849. //! <b>Complexity</b>: Logarithmic
  1850. const_iterator lower_bound(const key_type& x) const;
  1851. //! <b>Requires</b>: This overload is available only if
  1852. //! key_compare::is_transparent exists.
  1853. //!
  1854. //! <b>Returns</b>: An iterator pointing to the first element with key not less
  1855. //! than x, or end() if such an element is not found.
  1856. //!
  1857. //! <b>Complexity</b>: Logarithmic
  1858. template<typename K>
  1859. iterator lower_bound(const K& x);
  1860. //! <b>Requires</b>: This overload is available only if
  1861. //! key_compare::is_transparent exists.
  1862. //!
  1863. //! <b>Returns</b>: A const iterator pointing to the first element with key not
  1864. //! less than x, or end() if such an element is not found.
  1865. //!
  1866. //! <b>Complexity</b>: Logarithmic
  1867. template<typename K>
  1868. const_iterator lower_bound(const K& x) const;
  1869. //! <b>Returns</b>: An iterator pointing to the first element with key greater
  1870. //! than x, or end() if such an element is not found.
  1871. //!
  1872. //! <b>Complexity</b>: Logarithmic
  1873. iterator upper_bound(const key_type& x);
  1874. //! <b>Returns</b>: A const iterator pointing to the first element with key
  1875. //! greater than x, or end() if such an element is not found.
  1876. //!
  1877. //! <b>Complexity</b>: Logarithmic
  1878. const_iterator upper_bound(const key_type& x) const;
  1879. //! <b>Requires</b>: This overload is available only if
  1880. //! key_compare::is_transparent exists.
  1881. //!
  1882. //! <b>Returns</b>: An iterator pointing to the first element with key greater
  1883. //! than x, or end() if such an element is not found.
  1884. //!
  1885. //! <b>Complexity</b>: Logarithmic
  1886. template<typename K>
  1887. iterator upper_bound(const K& x);
  1888. //! <b>Requires</b>: This overload is available only if
  1889. //! key_compare::is_transparent exists.
  1890. //!
  1891. //! <b>Returns</b>: A const iterator pointing to the first element with key
  1892. //! greater than x, or end() if such an element is not found.
  1893. //!
  1894. //! <b>Complexity</b>: Logarithmic
  1895. template<typename K>
  1896. const_iterator upper_bound(const K& x) const;
  1897. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1898. //!
  1899. //! <b>Complexity</b>: Logarithmic
  1900. std::pair<iterator,iterator> equal_range(const key_type& x);
  1901. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1902. //!
  1903. //! <b>Complexity</b>: Logarithmic
  1904. std::pair<const_iterator,const_iterator> equal_range(const key_type& x) const;
  1905. //! <b>Requires</b>: This overload is available only if
  1906. //! key_compare::is_transparent exists.
  1907. //!
  1908. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1909. //!
  1910. //! <b>Complexity</b>: Logarithmic
  1911. template<typename K>
  1912. std::pair<iterator,iterator> equal_range(const K& x);
  1913. //! <b>Requires</b>: This overload is available only if
  1914. //! key_compare::is_transparent exists.
  1915. //!
  1916. //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
  1917. //!
  1918. //! <b>Complexity</b>: Logarithmic
  1919. template<typename K>
  1920. std::pair<const_iterator,const_iterator> equal_range(const K& x) const;
  1921. //! <b>Effects</b>: Rebalances the tree. It's a no-op for Red-Black and AVL trees.
  1922. //!
  1923. //! <b>Complexity</b>: Linear
  1924. void rebalance();
  1925. //! <b>Effects</b>: Returns true if x and y are equal
  1926. //!
  1927. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1928. friend bool operator==(const multimap& x, const multimap& y);
  1929. //! <b>Effects</b>: Returns true if x and y are unequal
  1930. //!
  1931. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1932. friend bool operator!=(const multimap& x, const multimap& y);
  1933. //! <b>Effects</b>: Returns true if x is less than y
  1934. //!
  1935. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1936. friend bool operator<(const multimap& x, const multimap& y);
  1937. //! <b>Effects</b>: Returns true if x is greater than y
  1938. //!
  1939. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1940. friend bool operator>(const multimap& x, const multimap& y);
  1941. //! <b>Effects</b>: Returns true if x is equal or less than y
  1942. //!
  1943. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1944. friend bool operator<=(const multimap& x, const multimap& y);
  1945. //! <b>Effects</b>: Returns true if x is equal or greater than y
  1946. //!
  1947. //! <b>Complexity</b>: Linear to the number of elements in the container.
  1948. friend bool operator>=(const multimap& x, const multimap& y);
  1949. //! <b>Effects</b>: x.swap(y)
  1950. //!
  1951. //! <b>Complexity</b>: Constant.
  1952. friend void swap(multimap& x, multimap& y)
  1953. BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
  1954. && boost::container::dtl::is_nothrow_swappable<Compare>::value );
  1955. #endif //#if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
  1956. };
  1957. #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
  1958. template <typename InputIterator>
  1959. multimap(InputIterator, InputIterator) ->
  1960. multimap< it_based_non_const_first_type_t<InputIterator>
  1961. , it_based_second_type_t<InputIterator>>;
  1962. template < typename InputIterator, typename AllocatorOrCompare>
  1963. multimap(InputIterator, InputIterator, AllocatorOrCompare const&) ->
  1964. multimap< it_based_non_const_first_type_t<InputIterator>
  1965. , it_based_second_type_t<InputIterator>
  1966. , typename dtl::if_c< // Compare
  1967. dtl::is_allocator<AllocatorOrCompare>::value
  1968. , std::less<it_based_non_const_first_type_t<InputIterator>>
  1969. , AllocatorOrCompare
  1970. >::type
  1971. , typename dtl::if_c< // Allocator
  1972. dtl::is_allocator<AllocatorOrCompare>::value
  1973. , AllocatorOrCompare
  1974. , new_allocator<std::pair<it_based_const_first_type_t<InputIterator>, it_based_second_type_t<InputIterator>>>
  1975. >::type
  1976. >;
  1977. template < typename InputIterator, typename Compare, typename Allocator
  1978. , typename = dtl::require_nonallocator_t<Compare>
  1979. , typename = dtl::require_allocator_t<Allocator>>
  1980. multimap(InputIterator, InputIterator, Compare const&, Allocator const&) ->
  1981. multimap< it_based_non_const_first_type_t<InputIterator>
  1982. , it_based_second_type_t<InputIterator>
  1983. , Compare
  1984. , Allocator>;
  1985. template <typename InputIterator>
  1986. multimap(ordered_range_t, InputIterator, InputIterator) ->
  1987. multimap< it_based_non_const_first_type_t<InputIterator>
  1988. , it_based_second_type_t<InputIterator>>;
  1989. template < typename InputIterator, typename AllocatorOrCompare>
  1990. multimap(ordered_range_t, InputIterator, InputIterator, AllocatorOrCompare const&) ->
  1991. multimap< it_based_non_const_first_type_t<InputIterator>
  1992. , it_based_second_type_t<InputIterator>
  1993. , typename dtl::if_c< // Compare
  1994. dtl::is_allocator<AllocatorOrCompare>::value
  1995. , std::less<it_based_const_first_type_t<InputIterator>>
  1996. , AllocatorOrCompare
  1997. >::type
  1998. , typename dtl::if_c< // Allocator
  1999. dtl::is_allocator<AllocatorOrCompare>::value
  2000. , AllocatorOrCompare
  2001. , new_allocator<std::pair<it_based_const_first_type_t<InputIterator>, it_based_second_type_t<InputIterator>>>
  2002. >::type
  2003. >;
  2004. template < typename InputIterator, typename Compare, typename Allocator
  2005. , typename = dtl::require_nonallocator_t<Compare>
  2006. , typename = dtl::require_allocator_t<Allocator>>
  2007. multimap(ordered_range_t, InputIterator, InputIterator, Compare const&, Allocator const&) ->
  2008. multimap< it_based_non_const_first_type_t<InputIterator>
  2009. , it_based_second_type_t<InputIterator>
  2010. , Compare
  2011. , Allocator>;
  2012. #endif
  2013. #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  2014. } //namespace container {
  2015. //!has_trivial_destructor_after_move<> == true_type
  2016. //!specialization for optimizations
  2017. template <class Key, class T, class Compare, class Allocator, class Options>
  2018. struct has_trivial_destructor_after_move<boost::container::multimap<Key, T, Compare, Allocator, Options> >
  2019. {
  2020. typedef ::boost::container::dtl::tree<std::pair<const Key, T>, int, Compare, Allocator, Options> tree;
  2021. static const bool value = ::boost::has_trivial_destructor_after_move<tree>::value;
  2022. };
  2023. namespace container {
  2024. #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
  2025. }}
  2026. #include <boost/container/detail/config_end.hpp>
  2027. #endif // BOOST_CONTAINER_MAP_HPP