| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2005-2013. Distributed under the Boost
- // Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- // See http://www.boost.org/libs/container for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- #ifndef BOOST_CONTAINER_FLAT_SET_HPP
- #define BOOST_CONTAINER_FLAT_SET_HPP
- #ifndef BOOST_CONFIG_HPP
- # include <boost/config.hpp>
- #endif
- #if defined(BOOST_HAS_PRAGMA_ONCE)
- # pragma once
- #endif
- #include <boost/container/detail/config_begin.hpp>
- #include <boost/container/detail/workaround.hpp>
- // container
- #include <boost/container/allocator_traits.hpp>
- #include <boost/container/container_fwd.hpp>
- #include <boost/container/new_allocator.hpp> //new_allocator
- // container/detail
- #include <boost/container/detail/flat_tree.hpp>
- #include <boost/container/detail/mpl.hpp>
- // move
- #include <boost/move/traits.hpp>
- #include <boost/move/utility_core.hpp>
- // move/detail
- #if defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #include <boost/move/detail/fwd_macros.hpp>
- #endif
- #include <boost/move/detail/move_helpers.hpp>
- // intrusive/detail
- #include <boost/intrusive/detail/minimal_pair_header.hpp> //pair
- #include <boost/intrusive/detail/minimal_less_equal_header.hpp>//less, equal
- // std
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- #include <initializer_list>
- #endif
- namespace boost {
- namespace container {
- #if !defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- template <class Key, class Compare, class AllocatorOrContainer>
- class flat_multiset;
- #endif
- //! flat_set is a Sorted Associative Container that stores objects of type Key.
- //! It is also a Unique Associative Container, meaning that no two elements are the same.
- //!
- //! flat_set is similar to std::set but it's implemented by as an ordered sequence container.
- //! The underlying sequence container is by default <i>vector</i> but it can also work
- //! user-provided vector-like SequenceContainers (like <i>static_vector</i> or <i>small_vector</i>).
- //!
- //! Using vector-like sequence containers means that inserting a new element into a flat_set might invalidate
- //! previous iterators and references (unless that sequence container is <i>stable_vector</i> or a similar
- //! container that offers stable pointers and references). Similarly, erasing an element might invalidate
- //! iterators and references pointing to elements that come after (their keys are bigger) the erased element.
- //!
- //! This container provides random-access iterators.
- //!
- //! \tparam Key is the type to be inserted in the set, which is also the key_type
- //! \tparam Compare is the comparison functor used to order keys
- //! \tparam AllocatorOrContainer is either:
- //! - The allocator to allocate <code>value_type</code>s (e.g. <i>allocator< std::pair<Key, T> > </i>).
- //! (in this case <i>sequence_type</i> will be vector<value_type, AllocatorOrContainer>)
- //! - The SequenceContainer to be used as the underlying <i>sequence_type</i>. It must be a vector-like
- //! sequence container with random-access iterators.
- #ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
- template <class Key, class Compare = std::less<Key>, class AllocatorOrContainer = new_allocator<Key> >
- #else
- template <class Key, class Compare, class AllocatorOrContainer>
- #endif
- class flat_set
- ///@cond
- : public dtl::flat_tree<Key, dtl::identity<Key>, Compare, AllocatorOrContainer>
- ///@endcond
- {
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- private:
- BOOST_COPYABLE_AND_MOVABLE(flat_set)
- typedef dtl::flat_tree<Key, dtl::identity<Key>, Compare, AllocatorOrContainer> tree_t;
- public:
- tree_t &tree()
- { return *this; }
- const tree_t &tree() const
- { return *this; }
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- public:
- //////////////////////////////////////////////
- //
- // types
- //
- //////////////////////////////////////////////
- typedef Key key_type;
- typedef Compare key_compare;
- typedef Key value_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::sequence_type) sequence_type;
- typedef typename sequence_type::allocator_type allocator_type;
- typedef ::boost::container::allocator_traits<allocator_type> allocator_traits_type;
- typedef typename sequence_type::pointer pointer;
- typedef typename sequence_type::const_pointer const_pointer;
- typedef typename sequence_type::reference reference;
- typedef typename sequence_type::const_reference const_reference;
- typedef typename sequence_type::size_type size_type;
- typedef typename sequence_type::difference_type difference_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::stored_allocator_type) stored_allocator_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::value_compare) value_compare;
- typedef typename sequence_type::iterator iterator;
- typedef typename sequence_type::const_iterator const_iterator;
- typedef typename sequence_type::reverse_iterator reverse_iterator;
- typedef typename sequence_type::const_reverse_iterator const_reverse_iterator;
- public:
- //////////////////////////////////////////////
- //
- // construct/copy/destroy
- //
- //////////////////////////////////////////////
- //! <b>Effects</b>: Default constructs an empty container.
- //!
- //! <b>Complexity</b>: Constant.
- BOOST_CONTAINER_FORCEINLINE
- flat_set() BOOST_NOEXCEPT_IF(dtl::is_nothrow_default_constructible<AllocatorOrContainer>::value &&
- dtl::is_nothrow_default_constructible<Compare>::value)
- : tree_t()
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified
- //! comparison object.
- //!
- //! <b>Complexity</b>: Constant.
- BOOST_CONTAINER_FORCEINLINE
- explicit flat_set(const Compare& comp)
- : tree_t(comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified allocator.
- //!
- //! <b>Complexity</b>: Constant.
- BOOST_CONTAINER_FORCEINLINE
- explicit flat_set(const allocator_type& a)
- : tree_t(a)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified
- //! comparison object and allocator.
- //!
- //! <b>Complexity</b>: Constant.
- BOOST_CONTAINER_FORCEINLINE
- flat_set(const Compare& comp, const allocator_type& a)
- : tree_t(comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty container and
- //! inserts elements from the range [first ,last ).
- //!
- //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
- //! comp and otherwise N logN, where N is last - first.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(InputIterator first, InputIterator last)
- : tree_t(true, first, last)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified
- //! allocator, and inserts elements from the range [first ,last ).
- //!
- //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
- //! comp and otherwise N logN, where N is last - first.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(InputIterator first, InputIterator last, const allocator_type& a)
- : tree_t(true, first, last, a)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the range [first ,last ).
- //!
- //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
- //! comp and otherwise N logN, where N is last - first.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(InputIterator first, InputIterator last, const Compare& comp)
- : tree_t(true, first, last, comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! allocator, and inserts elements from the range [first ,last ).
- //!
- //! <b>Complexity</b>: Linear in N if the range [first ,last ) is already sorted using
- //! comp and otherwise N logN, where N is last - first.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(InputIterator first, InputIterator last, const Compare& comp, const allocator_type& a)
- : tree_t(true, first, last, comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty container and
- //! inserts elements from the ordered unique range [first ,last). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(ordered_unique_range_t, InputIterator first, InputIterator last)
- : tree_t(ordered_unique_range, first, last)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the ordered unique range [first ,last). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(ordered_unique_range_t, InputIterator first, InputIterator last, const Compare& comp)
- : tree_t(ordered_unique_range, first, last, comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! allocator, and inserts elements from the ordered unique range [first ,last). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(ordered_unique_range_t, InputIterator first, InputIterator last, const Compare& comp, const allocator_type& a)
- : tree_t(ordered_unique_range, first, last, comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified allocator and
- //! inserts elements from the ordered unique range [first ,last). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE
- flat_set(ordered_unique_range_t, InputIterator first, InputIterator last, const allocator_type& a)
- : tree_t(ordered_unique_range, first, last, Compare(), a)
- {}
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! <b>Effects</b>: Constructs an empty container and
- //! inserts elements from the range [il.begin(), il.end()).
- //!
- //! <b>Complexity</b>: Linear in N if the range [il.begin(), il.end()) is already sorted using
- //! comp and otherwise N logN, where N is il.begin() - il.end().
- BOOST_CONTAINER_FORCEINLINE flat_set(std::initializer_list<value_type> il)
- : tree_t(true, il.begin(), il.end())
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified
- //! allocator, and inserts elements from the range [il.begin(), il.end()).
- //!
- //! <b>Complexity</b>: Linear in N if the range [il.begin(), il.end()) is already sorted using
- //! comp and otherwise N logN, where N is il.begin() - il.end().
- BOOST_CONTAINER_FORCEINLINE flat_set(std::initializer_list<value_type> il, const allocator_type& a)
- : tree_t(true, il.begin(), il.end(), a)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the range [il.begin(), il.end()).
- //!
- //! <b>Complexity</b>: Linear in N if the range [il.begin(), il.end()) is already sorted using
- //! comp and otherwise N logN, where N is il.begin() - il.end().
- BOOST_CONTAINER_FORCEINLINE flat_set(std::initializer_list<value_type> il, const Compare& comp)
- : tree_t(true, il.begin(), il.end(), comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! allocator, and inserts elements from the range [il.begin(), il.end()).
- //!
- //! <b>Complexity</b>: Linear in N if the range [il.begin(), il.end()) is already sorted using
- //! comp and otherwise N logN, where N is il.begin() - il.end().
- BOOST_CONTAINER_FORCEINLINE flat_set(std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
- : tree_t(true, il.begin(), il.end(), comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_set(ordered_unique_range_t, std::initializer_list<value_type> il)
- : tree_t(ordered_unique_range, il.begin(), il.end())
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_set(ordered_unique_range_t, std::initializer_list<value_type> il, const Compare& comp)
- : tree_t(ordered_unique_range, il.begin(), il.end(), comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! allocator, and inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_set(ordered_unique_range_t, std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
- : tree_t(ordered_unique_range, il.begin(), il.end(), comp, a)
- {}
- #endif
- //! <b>Effects</b>: Copy constructs the container.
- //!
- //! <b>Complexity</b>: Linear in x.size().
- BOOST_CONTAINER_FORCEINLINE flat_set(const flat_set& x)
- : tree_t(static_cast<const tree_t&>(x))
- {}
- //! <b>Effects</b>: Move constructs thecontainer. Constructs *this using x's resources.
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Postcondition</b>: x is emptied.
- BOOST_CONTAINER_FORCEINLINE flat_set(BOOST_RV_REF(flat_set) x)
- BOOST_NOEXCEPT_IF(boost::container::dtl::is_nothrow_move_constructible<Compare>::value)
- : tree_t(BOOST_MOVE_BASE(tree_t, x))
- {}
- //! <b>Effects</b>: Copy constructs a container using the specified allocator.
- //!
- //! <b>Complexity</b>: Linear in x.size().
- BOOST_CONTAINER_FORCEINLINE flat_set(const flat_set& x, const allocator_type &a)
- : tree_t(static_cast<const tree_t&>(x), a)
- {}
- //! <b>Effects</b>: Move constructs a container using the specified allocator.
- //! Constructs *this using x's resources.
- //!
- //! <b>Complexity</b>: Constant if a == x.get_allocator(), linear otherwise
- BOOST_CONTAINER_FORCEINLINE flat_set(BOOST_RV_REF(flat_set) x, const allocator_type &a)
- : tree_t(BOOST_MOVE_BASE(tree_t, x), a)
- {}
- //! <b>Effects</b>: Makes *this a copy of x.
- //!
- //! <b>Complexity</b>: Linear in x.size().
- BOOST_CONTAINER_FORCEINLINE flat_set& operator=(BOOST_COPY_ASSIGN_REF(flat_set) x)
- { return static_cast<flat_set&>(this->tree_t::operator=(static_cast<const tree_t&>(x))); }
- //! <b>Throws</b>: If allocator_traits_type::propagate_on_container_move_assignment
- //! is false and (allocation throws or value_type's move constructor throws)
- //!
- //! <b>Complexity</b>: Constant if allocator_traits_type::
- //! propagate_on_container_move_assignment is true or
- //! this->get>allocator() == x.get_allocator(). Linear otherwise.
- BOOST_CONTAINER_FORCEINLINE flat_set& operator=(BOOST_RV_REF(flat_set) x)
- BOOST_NOEXCEPT_IF( (allocator_traits_type::propagate_on_container_move_assignment::value ||
- allocator_traits_type::is_always_equal::value) &&
- boost::container::dtl::is_nothrow_move_assignable<Compare>::value)
- { return static_cast<flat_set&>(this->tree_t::operator=(BOOST_MOVE_BASE(tree_t, x))); }
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! <b>Effects</b>: Copy all elements from il to *this.
- //!
- //! <b>Complexity</b>: Linear in il.size().
- flat_set& operator=(std::initializer_list<value_type> il)
- {
- this->clear();
- this->insert(il.begin(), il.end());
- return *this;
- }
- #endif
- #ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
- //! <b>Effects</b>: Returns a copy of the allocator that
- //! was passed to the object's constructor.
- //!
- //! <b>Complexity</b>: Constant.
- allocator_type get_allocator() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a reference to the internal allocator.
- //!
- //! <b>Throws</b>: Nothing
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension.
- stored_allocator_type &get_stored_allocator() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a reference to the internal allocator.
- //!
- //! <b>Throws</b>: Nothing
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension.
- const stored_allocator_type &get_stored_allocator() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns an iterator to the first element contained in the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- iterator begin() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_iterator to the first element contained in the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_iterator begin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns an iterator to the end of the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- iterator end() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_iterator to the end of the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_iterator end() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a reverse_iterator pointing to the beginning
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- reverse_iterator rbegin() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the beginning
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_reverse_iterator rbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a reverse_iterator pointing to the end
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- reverse_iterator rend() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the end
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_reverse_iterator rend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_iterator to the first element contained in the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_iterator cbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_iterator to the end of the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_iterator cend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the beginning
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_reverse_iterator crbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns a const_reverse_iterator pointing to the end
- //! of the reversed container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- const_reverse_iterator crend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns true if the container contains no elements.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- bool empty() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns the number of the elements contained in the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- size_type size() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns the largest possible size of the container.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- size_type max_size() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Number of elements for which memory has been allocated.
- //! capacity() is always greater than or equal to size().
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- size_type capacity() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: If n is less than or equal to capacity(), or the
- //! underlying container has no `reserve` member, this call has no
- //! effect. Otherwise, it is a request for allocation of additional memory.
- //! If the request is successful, then capacity() is greater than or equal to
- //! n; otherwise, capacity() is unchanged. In either case, size() is unchanged.
- //!
- //! <b>Throws</b>: If memory allocation allocation throws or T's copy constructor throws.
- //!
- //! <b>Note</b>: If capacity() is less than "cnt", iterators and references to
- //! to values might be invalidated.
- void reserve(size_type cnt);
- //! <b>Effects</b>: Tries to deallocate the excess of memory created
- // with previous allocations. The size of the vector is unchanged
- //!
- //! <b>Throws</b>: If memory allocation throws, or Key's copy constructor throws.
- //!
- //! <b>Complexity</b>: Linear to size().
- void shrink_to_fit();
- #endif // #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //////////////////////////////////////////////
- //
- // modifiers
- //
- //////////////////////////////////////////////
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) || defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts an object x of type Key constructed with
- //! std::forward<Args>(args)... if and only if there is no element in the container
- //! with key equivalent to the key of x.
- //!
- //! <b>Returns</b>: The bool component of the returned pair is true if and only
- //! if the insertion takes place, and the iterator component of the pair
- //! points to the element with key equivalent to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class... Args>
- BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> emplace(BOOST_FWD_REF(Args)... args)
- { return this->tree_t::emplace_unique(boost::forward<Args>(args)...); }
- //! <b>Effects</b>: Inserts an object of type Key constructed with
- //! std::forward<Args>(args)... in the container if and only if there is
- //! no element in the container with key equivalent to the key of x.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent
- //! to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class... Args>
- BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator p, BOOST_FWD_REF(Args)... args)
- { return this->tree_t::emplace_hint_unique(p, boost::forward<Args>(args)...); }
- #else // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #define BOOST_CONTAINER_FLAT_SET_EMPLACE_CODE(N) \
- BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
- BOOST_CONTAINER_FORCEINLINE std::pair<iterator,bool> emplace(BOOST_MOVE_UREF##N)\
- { return this->tree_t::emplace_unique(BOOST_MOVE_FWD##N); }\
- \
- BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
- BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator hint BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
- { return this->tree_t::emplace_hint_unique(hint BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
- //
- BOOST_MOVE_ITERATE_0TO9(BOOST_CONTAINER_FLAT_SET_EMPLACE_CODE)
- #undef BOOST_CONTAINER_FLAT_SET_EMPLACE_CODE
- #endif // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts x if and only if there is no element in the container
- //! with key equivalent to the key of x.
- //!
- //! <b>Returns</b>: The bool component of the returned pair is true if and only
- //! if the insertion takes place, and the iterator component of the pair
- //! points to the element with key equivalent to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- std::pair<iterator, bool> insert(const value_type &x);
- //! <b>Effects</b>: Inserts a new value_type move constructed from the pair if and
- //! only if there is no element in the container with key equivalent to the key of x.
- //!
- //! <b>Returns</b>: The bool component of the returned pair is true if and only
- //! if the insertion takes place, and the iterator component of the pair
- //! points to the element with key equivalent to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- std::pair<iterator, bool> insert(value_type &&x);
- #else
- private:
- typedef std::pair<iterator, bool> insert_return_pair;
- public:
- BOOST_MOVE_CONVERSION_AWARE_CATCH(insert, value_type, insert_return_pair, this->priv_insert)
- #endif
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts a copy of x in the container if and only if there is
- //! no element in the container with key equivalent to the key of x.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent
- //! to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(const_iterator p, const value_type &x);
- //! <b>Effects</b>: Inserts an element move constructed from x in the container.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(const_iterator p, value_type &&x);
- #else
- BOOST_MOVE_CONVERSION_AWARE_CATCH_1ARG(insert, value_type, iterator, this->priv_insert, const_iterator, const_iterator)
- #endif
- //! <b>Requires</b>: first, last are not iterators into *this.
- //!
- //! <b>Effects</b>: inserts each element from the range [first,last) if and only
- //! if there is no element with key equivalent to the key of that element.
- //!
- //! <b>Complexity</b>: N log(N).
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE void insert(InputIterator first, InputIterator last)
- { this->tree_t::insert_unique(first, last); }
- //! <b>Requires</b>: first, last are not iterators into *this and
- //! must be ordered according to the predicate and must be
- //! unique values.
- //!
- //! <b>Effects</b>: inserts each element from the range [first,last) .This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Complexity</b>: Linear.
- //!
- //! <b>Note</b>: Non-standard extension. If an element is inserted it might invalidate elements.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE void insert(ordered_unique_range_t, InputIterator first, InputIterator last)
- { this->tree_t::insert_unique(ordered_unique_range, first, last); }
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end()) if and only
- //! if there is no element with key equivalent to the key of that element.
- //!
- //! <b>Complexity</b>: N log(N).
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- BOOST_CONTAINER_FORCEINLINE void insert(std::initializer_list<value_type> il)
- { this->tree_t::insert_unique(il.begin(), il.end()); }
- //! <b>Requires</b>: Range [il.begin(), il.end()) must be ordered according to the predicate
- //! and must be unique values.
- //!
- //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end()) .This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Complexity</b>: Linear.
- //!
- //! <b>Note</b>: Non-standard extension. If an element is inserted it might invalidate elements.
- BOOST_CONTAINER_FORCEINLINE void insert(ordered_unique_range_t, std::initializer_list<value_type> il)
- { this->tree_t::insert_unique(ordered_unique_range, il.begin(), il.end()); }
- #endif
- //! @copydoc ::boost::container::flat_map::merge(flat_map<Key, T, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(flat_set<Key, C2, AllocatorOrContainer>& source)
- { this->tree_t::merge_unique(source.tree()); }
- //! @copydoc ::boost::container::flat_set::merge(flat_set<Key, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG flat_set<Key, C2, AllocatorOrContainer> BOOST_RV_REF_END source)
- { return this->merge(static_cast<flat_set<Key, C2, AllocatorOrContainer>&>(source)); }
- //! @copydoc ::boost::container::flat_map::merge(flat_multimap<Key, T, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(flat_multiset<Key, C2, AllocatorOrContainer>& source)
- { this->tree_t::merge_unique(source.tree()); }
- //! @copydoc ::boost::container::flat_set::merge(flat_multiset<Key, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG flat_multiset<Key, C2, AllocatorOrContainer> BOOST_RV_REF_END source)
- { return this->merge(static_cast<flat_multiset<Key, C2, AllocatorOrContainer>&>(source)); }
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Erases the element pointed to by p.
- //!
- //! <b>Returns</b>: Returns an iterator pointing to the element immediately
- //! following q prior to the element being erased. If no such element exists,
- //! returns end().
- //!
- //! <b>Complexity</b>: Linear to the elements with keys bigger than p
- //!
- //! <b>Note</b>: Invalidates elements with keys
- //! not less than the erased element.
- iterator erase(const_iterator p);
- //! <b>Effects</b>: Erases all elements in the container with key equivalent to x.
- //!
- //! <b>Returns</b>: Returns the number of erased elements.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus erasure time
- //! linear to the elements with bigger keys.
- size_type erase(const key_type& x);
- //! <b>Effects</b>: Erases all the elements in the range [first, last).
- //!
- //! <b>Returns</b>: Returns last.
- //!
- //! <b>Complexity</b>: size()*N where N is the distance from first to last.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus erasure time
- //! linear to the elements with bigger keys.
- iterator erase(const_iterator first, const_iterator last);
- //! <b>Effects</b>: Swaps the contents of *this and x.
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- void swap(flat_set& x)
- BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
- && boost::container::dtl::is_nothrow_swappable<Compare>::value );
- //! <b>Effects</b>: erase(a.begin(),a.end()).
- //!
- //! <b>Postcondition</b>: size() == 0.
- //!
- //! <b>Complexity</b>: linear in size().
- void clear() BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Effects</b>: Returns the comparison object out
- //! of which a was constructed.
- //!
- //! <b>Complexity</b>: Constant.
- key_compare key_comp() const;
- //! <b>Effects</b>: Returns an object of value_compare constructed out
- //! of the comparison object.
- //!
- //! <b>Complexity</b>: Constant.
- value_compare value_comp() const;
- //! <b>Returns</b>: An iterator pointing to an element with the key
- //! equivalent to x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic.
- iterator find(const key_type& x);
- //! <b>Returns</b>: A const_iterator pointing to an element with the key
- //! equivalent to x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic.
- const_iterator find(const key_type& x) const;
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: An iterator pointing to an element with the key
- //! equivalent to x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic.
- template<typename K>
- iterator find(const K& x);
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: A const_iterator pointing to an element with the key
- //! equivalent to x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic.
- template<typename K>
- const_iterator find(const K& x) const;
- //! <b>Requires</b>: size() >= n.
- //!
- //! <b>Effects</b>: Returns an iterator to the nth element
- //! from the beginning of the container. Returns end()
- //! if n == size().
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension
- iterator nth(size_type n) BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Requires</b>: size() >= n.
- //!
- //! <b>Effects</b>: Returns a const_iterator to the nth element
- //! from the beginning of the container. Returns end()
- //! if n == size().
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension
- const_iterator nth(size_type n) const BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Requires</b>: begin() <= p <= end().
- //!
- //! <b>Effects</b>: Returns the index of the element pointed by p
- //! and size() if p == end().
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension
- size_type index_of(iterator p) BOOST_NOEXCEPT_OR_NOTHROW;
- //! <b>Requires</b>: begin() <= p <= end().
- //!
- //! <b>Effects</b>: Returns the index of the element pointed by p
- //! and size() if p == end().
- //!
- //! <b>Throws</b>: Nothing.
- //!
- //! <b>Complexity</b>: Constant.
- //!
- //! <b>Note</b>: Non-standard extension
- size_type index_of(const_iterator p) const BOOST_NOEXCEPT_OR_NOTHROW;
- #endif // #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Returns</b>: The number of elements with key equivalent to x.
- //!
- //! <b>Complexity</b>: log(size())+count(k)
- BOOST_CONTAINER_FORCEINLINE size_type count(const key_type& x) const
- { return static_cast<size_type>(this->tree_t::find(x) != this->tree_t::cend()); }
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: The number of elements with key equivalent to x.
- //!
- //! <b>Complexity</b>: log(size())+count(k)
- template<typename K>
- BOOST_CONTAINER_FORCEINLINE size_type count(const K& x) const
- { return static_cast<size_type>(this->tree_t::find(x) != this->tree_t::cend()); }
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Returns</b>: Returns true if there is an element with key
- //! equivalent to key in the container, otherwise false.
- //!
- //! <b>Complexity</b>: log(size()).
- bool contains(const key_type& x) const;
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: Returns true if there is an element with key
- //! equivalent to key in the container, otherwise false.
- //!
- //! <b>Complexity</b>: log(size()).
- template<typename K>
- bool contains(const K& x) const;
- //! <b>Returns</b>: An iterator pointing to the first element with key not less
- //! than k, or a.end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- iterator lower_bound(const key_type& x);
- //! <b>Returns</b>: A const iterator pointing to the first element with key not
- //! less than k, or a.end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- const_iterator lower_bound(const key_type& x) const;
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: An iterator pointing to the first element with key not less
- //! than k, or a.end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- iterator lower_bound(const K& x);
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: A const iterator pointing to the first element with key not
- //! less than k, or a.end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- const_iterator lower_bound(const K& x) const;
- //! <b>Returns</b>: An iterator pointing to the first element with key not less
- //! than x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- iterator upper_bound(const key_type& x);
- //! <b>Returns</b>: A const iterator pointing to the first element with key not
- //! less than x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- const_iterator upper_bound(const key_type& x) const;
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: An iterator pointing to the first element with key not less
- //! than x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- iterator upper_bound(const K& x);
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Returns</b>: A const iterator pointing to the first element with key not
- //! less than x, or end() if such an element is not found.
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- const_iterator upper_bound(const K& x) const;
- #endif // #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
- //!
- //! <b>Complexity</b>: Logarithmic
- BOOST_CONTAINER_FORCEINLINE std::pair<const_iterator, const_iterator> equal_range(const key_type& x) const
- { return this->tree_t::lower_bound_range(x); }
- //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
- //!
- //! <b>Complexity</b>: Logarithmic
- BOOST_CONTAINER_FORCEINLINE std::pair<iterator,iterator> equal_range(const key_type& x)
- { return this->tree_t::lower_bound_range(x); }
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- std::pair<iterator,iterator> equal_range(const K& x)
- { return this->tree_t::lower_bound_range(x); }
- //! <b>Requires</b>: This overload is available only if
- //! key_compare::is_transparent exists.
- //!
- //! <b>Effects</b>: Equivalent to std::make_pair(this->lower_bound(k), this->upper_bound(k)).
- //!
- //! <b>Complexity</b>: Logarithmic
- template<typename K>
- std::pair<const_iterator,const_iterator> equal_range(const K& x) const
- { return this->tree_t::lower_bound_range(x); }
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Returns true if x and y are equal
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator==(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: Returns true if x and y are unequal
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator!=(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: Returns true if x is less than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator<(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: Returns true if x is greater than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator>(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: Returns true if x is equal or less than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator<=(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: Returns true if x is equal or greater than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator>=(const flat_set& x, const flat_set& y);
- //! <b>Effects</b>: x.swap(y)
- //!
- //! <b>Complexity</b>: Constant.
- friend void swap(flat_set& x, flat_set& y);
- //! <b>Effects</b>: Extracts the internal sequence container.
- //!
- //! <b>Complexity</b>: Same as the move constructor of sequence_type, usually constant.
- //!
- //! <b>Postcondition</b>: this->empty()
- //!
- //! <b>Throws</b>: If secuence_type's move constructor throws
- sequence_type extract_sequence();
- #endif //#ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
- //! <b>Effects</b>: Discards the internally hold sequence container and adopts the
- //! one passed externally using the move assignment. Erases non-unique elements.
- //!
- //! <b>Complexity</b>: Assuming O(1) move assignment, O(NlogN) with N = seq.size()
- //!
- //! <b>Throws</b>: If the comparison or the move constructor throws
- BOOST_CONTAINER_FORCEINLINE void adopt_sequence(BOOST_RV_REF(sequence_type) seq)
- { this->tree_t::adopt_sequence_unique(boost::move(seq)); }
- //! <b>Requires</b>: seq shall be ordered according to this->compare()
- //! and shall contain unique elements.
- //!
- //! <b>Effects</b>: Discards the internally hold sequence container and adopts the
- //! one passed externally using the move assignment.
- //!
- //! <b>Complexity</b>: Assuming O(1) move assignment, O(1)
- //!
- //! <b>Throws</b>: If the move assignment throws
- BOOST_CONTAINER_FORCEINLINE void adopt_sequence(ordered_unique_range_t, BOOST_RV_REF(sequence_type) seq)
- { this->tree_t::adopt_sequence_unique(ordered_unique_range_t(), boost::move(seq)); }
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- private:
- template<class KeyType>
- BOOST_CONTAINER_FORCEINLINE std::pair<iterator, bool> priv_insert(BOOST_FWD_REF(KeyType) x)
- { return this->tree_t::insert_unique(::boost::forward<KeyType>(x)); }
- template<class KeyType>
- BOOST_CONTAINER_FORCEINLINE iterator priv_insert(const_iterator p, BOOST_FWD_REF(KeyType) x)
- { return this->tree_t::insert_unique(p, ::boost::forward<KeyType>(x)); }
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- };
- #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
- template <typename InputIterator>
- flat_set(InputIterator, InputIterator) ->
- flat_set< it_based_value_type_t<InputIterator> >;
- template < typename InputIterator, typename AllocatorOrCompare>
- flat_set(InputIterator, InputIterator, AllocatorOrCompare const&) ->
- flat_set< it_based_value_type_t<InputIterator>
- , typename dtl::if_c< // Compare
- dtl::is_allocator<AllocatorOrCompare>::value
- , std::less<it_based_value_type_t<InputIterator>>
- , AllocatorOrCompare
- >::type
- , typename dtl::if_c< // Allocator
- dtl::is_allocator<AllocatorOrCompare>::value
- , AllocatorOrCompare
- , new_allocator<it_based_value_type_t<InputIterator>>
- >::type
- >;
- template < typename InputIterator, typename Compare, typename Allocator
- , typename = dtl::require_nonallocator_t<Compare>
- , typename = dtl::require_allocator_t<Allocator>>
- flat_set(InputIterator, InputIterator, Compare const&, Allocator const&) ->
- flat_set< it_based_value_type_t<InputIterator>
- , Compare
- , Allocator>;
- template <typename InputIterator>
- flat_set(ordered_unique_range_t, InputIterator, InputIterator) ->
- flat_set< it_based_value_type_t<InputIterator>>;
- template < typename InputIterator, typename AllocatorOrCompare>
- flat_set(ordered_unique_range_t, InputIterator, InputIterator, AllocatorOrCompare const&) ->
- flat_set< it_based_value_type_t<InputIterator>
- , typename dtl::if_c< // Compare
- dtl::is_allocator<AllocatorOrCompare>::value
- , std::less<it_based_value_type_t<InputIterator>>
- , AllocatorOrCompare
- >::type
- , typename dtl::if_c< // Allocator
- dtl::is_allocator<AllocatorOrCompare>::value
- , AllocatorOrCompare
- , new_allocator<it_based_value_type_t<InputIterator>>
- >::type
- >;
- template < typename InputIterator, typename Compare, typename Allocator
- , typename = dtl::require_nonallocator_t<Compare>
- , typename = dtl::require_allocator_t<Allocator>>
- flat_set(ordered_unique_range_t, InputIterator, InputIterator, Compare const&, Allocator const&) ->
- flat_set< it_based_value_type_t<InputIterator>
- , Compare
- , Allocator>;
- #endif
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- } //namespace container {
- //!has_trivial_destructor_after_move<> == true_type
- //!specialization for optimizations
- template <class Key, class Compare, class AllocatorOrContainer>
- struct has_trivial_destructor_after_move<boost::container::flat_set<Key, Compare, AllocatorOrContainer> >
- {
- typedef typename ::boost::container::allocator_traits<AllocatorOrContainer>::pointer pointer;
- static const bool value = ::boost::has_trivial_destructor_after_move<AllocatorOrContainer>::value &&
- ::boost::has_trivial_destructor_after_move<pointer>::value &&
- ::boost::has_trivial_destructor_after_move<Compare>::value;
- };
- namespace container {
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- //! flat_multiset is a Sorted Associative Container that stores objects of type Key and
- //! can store multiple copies of the same key value.
- //!
- //! flat_multiset is similar to std::multiset but it's implemented by as an ordered sequence container.
- //! The underlying sequence container is by default <i>vector</i> but it can also work
- //! user-provided vector-like SequenceContainers (like <i>static_vector</i> or <i>small_vector</i>).
- //!
- //! Using vector-like sequence containers means that inserting a new element into a flat_multiset might invalidate
- //! previous iterators and references (unless that sequence container is <i>stable_vector</i> or a similar
- //! container that offers stable pointers and references). Similarly, erasing an element might invalidate
- //! iterators and references pointing to elements that come after (their keys are bigger) the erased element.
- //!
- //! This container provides random-access iterators.
- //!
- //! \tparam Key is the type to be inserted in the multiset, which is also the key_type
- //! \tparam Compare is the comparison functor used to order keys
- //! \tparam AllocatorOrContainer is either:
- //! - The allocator to allocate <code>value_type</code>s (e.g. <i>allocator< std::pair<Key, T> > </i>).
- //! (in this case <i>sequence_type</i> will be vector<value_type, AllocatorOrContainer>)
- //! - The SequenceContainer to be used as the underlying <i>sequence_type</i>. It must be a vector-like
- //! sequence container with random-access iterators.
- #ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
- template <class Key, class Compare = std::less<Key>, class AllocatorOrContainer = new_allocator<Key> >
- #else
- template <class Key, class Compare, class AllocatorOrContainer>
- #endif
- class flat_multiset
- ///@cond
- : public dtl::flat_tree<Key, dtl::identity<Key>, Compare, AllocatorOrContainer>
- ///@endcond
- {
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- private:
- BOOST_COPYABLE_AND_MOVABLE(flat_multiset)
- typedef dtl::flat_tree<Key, dtl::identity<Key>, Compare, AllocatorOrContainer> tree_t;
- public:
- tree_t &tree()
- { return *this; }
- const tree_t &tree() const
- { return *this; }
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- public:
- //////////////////////////////////////////////
- //
- // types
- //
- //////////////////////////////////////////////
- typedef Key key_type;
- typedef Compare key_compare;
- typedef Key value_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::sequence_type) sequence_type;
- typedef typename sequence_type::allocator_type allocator_type;
- typedef ::boost::container::allocator_traits<allocator_type> allocator_traits_type;
- typedef typename sequence_type::pointer pointer;
- typedef typename sequence_type::const_pointer const_pointer;
- typedef typename sequence_type::reference reference;
- typedef typename sequence_type::const_reference const_reference;
- typedef typename sequence_type::size_type size_type;
- typedef typename sequence_type::difference_type difference_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::stored_allocator_type) stored_allocator_type;
- typedef typename BOOST_CONTAINER_IMPDEF(tree_t::value_compare) value_compare;
- typedef typename sequence_type::iterator iterator;
- typedef typename sequence_type::const_iterator const_iterator;
- typedef typename sequence_type::reverse_iterator reverse_iterator;
- typedef typename sequence_type::const_reverse_iterator const_reverse_iterator;
- //! @copydoc ::boost::container::flat_set::flat_set()
- BOOST_CONTAINER_FORCEINLINE flat_multiset() BOOST_NOEXCEPT_IF(dtl::is_nothrow_default_constructible<AllocatorOrContainer>::value &&
- dtl::is_nothrow_default_constructible<Compare>::value)
- : tree_t()
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(const Compare&)
- BOOST_CONTAINER_FORCEINLINE explicit flat_multiset(const Compare& comp)
- : tree_t(comp)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(const allocator_type&)
- BOOST_CONTAINER_FORCEINLINE explicit flat_multiset(const allocator_type& a)
- : tree_t(a)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(const Compare&, const allocator_type&)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(const Compare& comp, const allocator_type& a)
- : tree_t(comp, a)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(InputIterator, InputIterator)
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(InputIterator first, InputIterator last)
- : tree_t(false, first, last)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(InputIterator, InputIterator, const allocator_type&)
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(InputIterator first, InputIterator last, const allocator_type& a)
- : tree_t(false, first, last, a)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(InputIterator, InputIterator, const Compare& comp)
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(InputIterator first, InputIterator last, const Compare& comp)
- : tree_t(false, first, last, comp)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(InputIterator, InputIterator, const Compare& comp, const allocator_type&)
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(InputIterator first, InputIterator last, const Compare& comp, const allocator_type& a)
- : tree_t(false, first, last, comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty flat_multiset and
- //! inserts elements from the ordered range [first ,last ). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, InputIterator first, InputIterator last)
- : tree_t(ordered_range, first, last)
- {}
- //! <b>Effects</b>: Constructs an empty flat_multiset using the specified comparison object and
- //! inserts elements from the ordered range [first ,last ). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, InputIterator first, InputIterator last, const Compare& comp)
- : tree_t(ordered_range, first, last, comp)
- {}
- //! <b>Effects</b>: Constructs an empty flat_multiset using the specified comparison object and
- //! allocator, and inserts elements from the ordered range [first, last ). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, InputIterator first, InputIterator last, const Compare& comp, const allocator_type& a)
- : tree_t(ordered_range, first, last, comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty flat_multiset using the specified allocator and
- //! inserts elements from the ordered range [first ,last ). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [first ,last) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, InputIterator first, InputIterator last, const allocator_type &a)
- : tree_t(ordered_range, first, last, Compare(), a)
- {}
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! @copydoc ::boost::container::flat_set::flat_set(std::initializer_list<value_type)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(std::initializer_list<value_type> il)
- : tree_t(false, il.begin(), il.end())
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(std::initializer_list<value_type>, const allocator_type&)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(std::initializer_list<value_type> il, const allocator_type& a)
- : tree_t(false, il.begin(), il.end(), a)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(std::initializer_list<value_type>, const Compare& comp)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(std::initializer_list<value_type> il, const Compare& comp)
- : tree_t(false, il.begin(), il.end(), comp)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(std::initializer_list<value_type>, const Compare& comp, const allocator_type&)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
- : tree_t(false, il.begin(), il.end(), comp, a)
- {}
- //! <b>Effects</b>: Constructs an empty containerand
- //! inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, std::initializer_list<value_type> il)
- : tree_t(ordered_range, il.begin(), il.end())
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, std::initializer_list<value_type> il, const Compare& comp)
- : tree_t(ordered_range, il.begin(), il.end(), comp)
- {}
- //! <b>Effects</b>: Constructs an empty container using the specified comparison object and
- //! allocator, and inserts elements from the ordered unique range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Requires</b>: [il.begin(), il.end()) must be ordered according to the predicate.
- //!
- //! <b>Complexity</b>: Linear in N.
- //!
- //! <b>Note</b>: Non-standard extension.
- BOOST_CONTAINER_FORCEINLINE flat_multiset(ordered_range_t, std::initializer_list<value_type> il, const Compare& comp, const allocator_type& a)
- : tree_t(ordered_range, il.begin(), il.end(), comp, a)
- {}
- #endif
- //! @copydoc ::boost::container::flat_set::flat_set(const flat_set &)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(const flat_multiset& x)
- : tree_t(static_cast<const tree_t&>(x))
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(flat_set &&)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(BOOST_RV_REF(flat_multiset) x)
- BOOST_NOEXCEPT_IF(boost::container::dtl::is_nothrow_move_constructible<Compare>::value)
- : tree_t(boost::move(static_cast<tree_t&>(x)))
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(const flat_set &, const allocator_type &)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(const flat_multiset& x, const allocator_type &a)
- : tree_t(static_cast<const tree_t&>(x), a)
- {}
- //! @copydoc ::boost::container::flat_set::flat_set(flat_set &&, const allocator_type &)
- BOOST_CONTAINER_FORCEINLINE flat_multiset(BOOST_RV_REF(flat_multiset) x, const allocator_type &a)
- : tree_t(BOOST_MOVE_BASE(tree_t, x), a)
- {}
- //! @copydoc ::boost::container::flat_set::operator=(const flat_set &)
- BOOST_CONTAINER_FORCEINLINE flat_multiset& operator=(BOOST_COPY_ASSIGN_REF(flat_multiset) x)
- { return static_cast<flat_multiset&>(this->tree_t::operator=(static_cast<const tree_t&>(x))); }
- //! @copydoc ::boost::container::flat_set::operator=(flat_set &&)
- BOOST_CONTAINER_FORCEINLINE flat_multiset& operator=(BOOST_RV_REF(flat_multiset) x)
- BOOST_NOEXCEPT_IF( (allocator_traits_type::propagate_on_container_move_assignment::value ||
- allocator_traits_type::is_always_equal::value) &&
- boost::container::dtl::is_nothrow_move_assignable<Compare>::value)
- { return static_cast<flat_multiset&>(this->tree_t::operator=(BOOST_MOVE_BASE(tree_t, x))); }
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! @copydoc ::boost::container::flat_set::operator=(std::initializer_list<value_type>)
- flat_multiset& operator=(std::initializer_list<value_type> il)
- {
- this->clear();
- this->insert(il.begin(), il.end());
- return *this;
- }
- #endif
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! @copydoc ::boost::container::flat_set::get_allocator()
- allocator_type get_allocator() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::get_stored_allocator()
- stored_allocator_type &get_stored_allocator() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::get_stored_allocator() const
- const stored_allocator_type &get_stored_allocator() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::begin()
- iterator begin() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::begin() const
- const_iterator begin() const;
- //! @copydoc ::boost::container::flat_set::cbegin() const
- const_iterator cbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::end()
- iterator end() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::end() const
- const_iterator end() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::cend() const
- const_iterator cend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::rbegin()
- reverse_iterator rbegin() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::rbegin() const
- const_reverse_iterator rbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::crbegin() const
- const_reverse_iterator crbegin() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::rend()
- reverse_iterator rend() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::rend() const
- const_reverse_iterator rend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::crend() const
- const_reverse_iterator crend() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::empty() const
- bool empty() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::size() const
- size_type size() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::max_size() const
- size_type max_size() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::capacity() const
- size_type capacity() const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::reserve(size_type)
- void reserve(size_type cnt);
- //! @copydoc ::boost::container::flat_set::shrink_to_fit()
- void shrink_to_fit();
- #endif // #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //////////////////////////////////////////////
- //
- // modifiers
- //
- //////////////////////////////////////////////
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) || defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts an object of type Key constructed with
- //! std::forward<Args>(args)... and returns the iterator pointing to the
- //! newly inserted element.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class... Args>
- BOOST_CONTAINER_FORCEINLINE iterator emplace(BOOST_FWD_REF(Args)... args)
- { return this->tree_t::emplace_equal(boost::forward<Args>(args)...); }
- //! <b>Effects</b>: Inserts an object of type Key constructed with
- //! std::forward<Args>(args)... in the container.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent
- //! to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class... Args>
- BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator p, BOOST_FWD_REF(Args)... args)
- { return this->tree_t::emplace_hint_equal(p, boost::forward<Args>(args)...); }
- #else // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #define BOOST_CONTAINER_FLAT_MULTISET_EMPLACE_CODE(N) \
- BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
- BOOST_CONTAINER_FORCEINLINE iterator emplace(BOOST_MOVE_UREF##N)\
- { return this->tree_t::emplace_equal(BOOST_MOVE_FWD##N); }\
- \
- BOOST_MOVE_TMPL_LT##N BOOST_MOVE_CLASS##N BOOST_MOVE_GT##N \
- BOOST_CONTAINER_FORCEINLINE iterator emplace_hint(const_iterator hint BOOST_MOVE_I##N BOOST_MOVE_UREF##N)\
- { return this->tree_t::emplace_hint_equal(hint BOOST_MOVE_I##N BOOST_MOVE_FWD##N); }\
- //
- BOOST_MOVE_ITERATE_0TO9(BOOST_CONTAINER_FLAT_MULTISET_EMPLACE_CODE)
- #undef BOOST_CONTAINER_FLAT_MULTISET_EMPLACE_CODE
- #endif // !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts x and returns the iterator pointing to the
- //! newly inserted element.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(const value_type &x);
- //! <b>Effects</b>: Inserts a new value_type move constructed from x
- //! and returns the iterator pointing to the newly inserted element.
- //!
- //! <b>Complexity</b>: Logarithmic search time plus linear insertion
- //! to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(value_type &&x);
- #else
- BOOST_MOVE_CONVERSION_AWARE_CATCH(insert, value_type, iterator, this->priv_insert)
- #endif
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! <b>Effects</b>: Inserts a copy of x in the container.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent
- //! to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(const_iterator p, const value_type &x);
- //! <b>Effects</b>: Inserts a new value move constructed from x in the container.
- //! p is a hint pointing to where the insert should start to search.
- //!
- //! <b>Returns</b>: An iterator pointing to the element with key equivalent
- //! to the key of x.
- //!
- //! <b>Complexity</b>: Logarithmic search time (constant if x is inserted
- //! right before p) plus insertion linear to the elements with bigger keys than x.
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- iterator insert(const_iterator p, value_type &&x);
- #else
- BOOST_MOVE_CONVERSION_AWARE_CATCH_1ARG(insert, value_type, iterator, this->priv_insert, const_iterator, const_iterator)
- #endif
- //! <b>Requires</b>: first, last are not iterators into *this.
- //!
- //! <b>Effects</b>: inserts each element from the range [first,last) .
- //!
- //! <b>Complexity</b>: N log(N).
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE void insert(InputIterator first, InputIterator last)
- { this->tree_t::insert_equal(first, last); }
- //! <b>Requires</b>: first, last are not iterators into *this and
- //! must be ordered according to the predicate.
- //!
- //! <b>Effects</b>: inserts each element from the range [first,last) .This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Complexity</b>: Linear.
- //!
- //! <b>Note</b>: Non-standard extension. If an element is inserted it might invalidate elements.
- template <class InputIterator>
- BOOST_CONTAINER_FORCEINLINE void insert(ordered_range_t, InputIterator first, InputIterator last)
- { this->tree_t::insert_equal(ordered_range, first, last); }
- #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
- //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end()).
- //!
- //! <b>Complexity</b>: N log(N).
- //!
- //! <b>Note</b>: If an element is inserted it might invalidate elements.
- BOOST_CONTAINER_FORCEINLINE void insert(std::initializer_list<value_type> il)
- { this->tree_t::insert_equal(il.begin(), il.end()); }
- //! <b>Requires</b>: Range [il.begin(), il.end()) must be ordered according to the predicate.
- //!
- //! <b>Effects</b>: inserts each element from the range [il.begin(), il.end()). This function
- //! is more efficient than the normal range creation for ordered ranges.
- //!
- //! <b>Complexity</b>: Linear.
- //!
- //! <b>Note</b>: Non-standard extension. If an element is inserted it might invalidate elements.
- BOOST_CONTAINER_FORCEINLINE void insert(ordered_range_t, std::initializer_list<value_type> il)
- { this->tree_t::insert_equal(ordered_range, il.begin(), il.end()); }
- #endif
- //! @copydoc ::boost::container::flat_multimap::merge(flat_multimap<Key, T, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(flat_multiset<Key, C2, AllocatorOrContainer>& source)
- { this->tree_t::merge_equal(source.tree()); }
- //! @copydoc ::boost::container::flat_multiset::merge(flat_multiset<Key, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG flat_multiset<Key, C2, AllocatorOrContainer> BOOST_RV_REF_END source)
- { return this->merge(static_cast<flat_multiset<Key, C2, AllocatorOrContainer>&>(source)); }
- //! @copydoc ::boost::container::flat_multimap::merge(flat_map<Key, T, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(flat_set<Key, C2, AllocatorOrContainer>& source)
- { this->tree_t::merge_equal(source.tree()); }
- //! @copydoc ::boost::container::flat_multiset::merge(flat_set<Key, C2, AllocatorOrContainer>&)
- template<class C2>
- BOOST_CONTAINER_FORCEINLINE void merge(BOOST_RV_REF_BEG flat_set<Key, C2, AllocatorOrContainer> BOOST_RV_REF_END source)
- { return this->merge(static_cast<flat_set<Key, C2, AllocatorOrContainer>&>(source)); }
- #if defined(BOOST_CONTAINER_DOXYGEN_INVOKED)
- //! @copydoc ::boost::container::flat_set::erase(const_iterator)
- iterator erase(const_iterator p);
- //! @copydoc ::boost::container::flat_set::erase(const key_type&)
- size_type erase(const key_type& x);
- //! @copydoc ::boost::container::flat_set::erase(const_iterator,const_iterator)
- iterator erase(const_iterator first, const_iterator last);
- //! @copydoc ::boost::container::flat_set::swap
- void swap(flat_multiset& x)
- BOOST_NOEXCEPT_IF( allocator_traits_type::is_always_equal::value
- && boost::container::dtl::is_nothrow_swappable<Compare>::value );
- //! @copydoc ::boost::container::flat_set::clear
- void clear() BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::key_comp
- key_compare key_comp() const;
- //! @copydoc ::boost::container::flat_set::value_comp
- value_compare value_comp() const;
- //! @copydoc ::boost::container::flat_set::find(const key_type& )
- iterator find(const key_type& x);
- //! @copydoc ::boost::container::flat_set::find(const key_type& ) const
- const_iterator find(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::nth(size_type)
- iterator nth(size_type n) BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::nth(size_type) const
- const_iterator nth(size_type n) const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::index_of(iterator)
- size_type index_of(iterator p) BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::index_of(const_iterator) const
- size_type index_of(const_iterator p) const BOOST_NOEXCEPT_OR_NOTHROW;
- //! @copydoc ::boost::container::flat_set::count(const key_type& ) const
- size_type count(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::contains(const key_type& ) const
- bool contains(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::contains(const K& ) const
- template<typename K>
- bool contains(const K& x) const;
- //! @copydoc ::boost::container::flat_set::lower_bound(const key_type& )
- iterator lower_bound(const key_type& x);
- //! @copydoc ::boost::container::flat_set::lower_bound(const key_type& ) const
- const_iterator lower_bound(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::upper_bound(const key_type& )
- iterator upper_bound(const key_type& x);
- //! @copydoc ::boost::container::flat_set::upper_bound(const key_type& ) const
- const_iterator upper_bound(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::equal_range(const key_type& ) const
- std::pair<const_iterator, const_iterator> equal_range(const key_type& x) const;
- //! @copydoc ::boost::container::flat_set::equal_range(const key_type& )
- std::pair<iterator,iterator> equal_range(const key_type& x);
- //! <b>Effects</b>: Returns true if x and y are equal
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator==(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: Returns true if x and y are unequal
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator!=(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: Returns true if x is less than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator<(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: Returns true if x is greater than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator>(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: Returns true if x is equal or less than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator<=(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: Returns true if x is equal or greater than y
- //!
- //! <b>Complexity</b>: Linear to the number of elements in the container.
- friend bool operator>=(const flat_multiset& x, const flat_multiset& y);
- //! <b>Effects</b>: x.swap(y)
- //!
- //! <b>Complexity</b>: Constant.
- friend void swap(flat_multiset& x, flat_multiset& y);
- //! <b>Effects</b>: Extracts the internal sequence container.
- //!
- //! <b>Complexity</b>: Same as the move constructor of sequence_type, usually constant.
- //!
- //! <b>Postcondition</b>: this->empty()
- //!
- //! <b>Throws</b>: If secuence_type's move constructor throws
- sequence_type extract_sequence();
- #endif //#ifdef BOOST_CONTAINER_DOXYGEN_INVOKED
- //! <b>Effects</b>: Discards the internally hold sequence container and adopts the
- //! one passed externally using the move assignment.
- //!
- //! <b>Complexity</b>: Assuming O(1) move assignment, O(NlogN) with N = seq.size()
- //!
- //! <b>Throws</b>: If the comparison or the move constructor throws
- BOOST_CONTAINER_FORCEINLINE void adopt_sequence(BOOST_RV_REF(sequence_type) seq)
- { this->tree_t::adopt_sequence_equal(boost::move(seq)); }
- //! <b>Requires</b>: seq shall be ordered according to this->compare()
- //!
- //! <b>Effects</b>: Discards the internally hold sequence container and adopts the
- //! one passed externally using the move assignment.
- //!
- //! <b>Complexity</b>: Assuming O(1) move assignment, O(1)
- //!
- //! <b>Throws</b>: If the move assignment throws
- BOOST_CONTAINER_FORCEINLINE void adopt_sequence(ordered_range_t, BOOST_RV_REF(sequence_type) seq)
- { this->tree_t::adopt_sequence_equal(ordered_range_t(), boost::move(seq)); }
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- private:
- template <class KeyType>
- BOOST_CONTAINER_FORCEINLINE iterator priv_insert(BOOST_FWD_REF(KeyType) x)
- { return this->tree_t::insert_equal(::boost::forward<KeyType>(x)); }
- template <class KeyType>
- BOOST_CONTAINER_FORCEINLINE iterator priv_insert(const_iterator p, BOOST_FWD_REF(KeyType) x)
- { return this->tree_t::insert_equal(p, ::boost::forward<KeyType>(x)); }
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- };
- #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
- template <typename InputIterator>
- flat_multiset(InputIterator, InputIterator) ->
- flat_multiset< it_based_value_type_t<InputIterator> >;
- template < typename InputIterator, typename AllocatorOrCompare>
- flat_multiset(InputIterator, InputIterator, AllocatorOrCompare const&) ->
- flat_multiset < it_based_value_type_t<InputIterator>
- , typename dtl::if_c< // Compare
- dtl::is_allocator<AllocatorOrCompare>::value
- , std::less<it_based_value_type_t<InputIterator>>
- , AllocatorOrCompare
- >::type
- , typename dtl::if_c< // Allocator
- dtl::is_allocator<AllocatorOrCompare>::value
- , AllocatorOrCompare
- , new_allocator<it_based_value_type_t<InputIterator>>
- >::type
- >;
- template < typename InputIterator, typename Compare, typename Allocator
- , typename = dtl::require_nonallocator_t<Compare>
- , typename = dtl::require_allocator_t<Allocator>>
- flat_multiset(InputIterator, InputIterator, Compare const&, Allocator const&) ->
- flat_multiset< it_based_value_type_t<InputIterator>
- , Compare
- , Allocator>;
- template <typename InputIterator>
- flat_multiset(ordered_range_t, InputIterator, InputIterator) ->
- flat_multiset< it_based_value_type_t<InputIterator>>;
- template < typename InputIterator, typename AllocatorOrCompare>
- flat_multiset(ordered_range_t, InputIterator, InputIterator, AllocatorOrCompare const&) ->
- flat_multiset < it_based_value_type_t<InputIterator>
- , typename dtl::if_c< // Compare
- dtl::is_allocator<AllocatorOrCompare>::value
- , std::less<it_based_value_type_t<InputIterator>>
- , AllocatorOrCompare
- >::type
- , typename dtl::if_c< // Allocator
- dtl::is_allocator<AllocatorOrCompare>::value
- , AllocatorOrCompare
- , new_allocator<it_based_value_type_t<InputIterator>>
- >::type
- >;
- template < typename InputIterator, typename Compare, typename Allocator
- , typename = dtl::require_nonallocator_t<Compare>
- , typename = dtl::require_allocator_t<Allocator>>
- flat_multiset(ordered_range_t, InputIterator, InputIterator, Compare const&, Allocator const&) ->
- flat_multiset< it_based_value_type_t<InputIterator>
- , Compare
- , Allocator>;
- #endif
- #ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- } //namespace container {
- //!has_trivial_destructor_after_move<> == true_type
- //!specialization for optimizations
- template <class Key, class Compare, class AllocatorOrContainer>
- struct has_trivial_destructor_after_move<boost::container::flat_multiset<Key, Compare, AllocatorOrContainer> >
- {
- typedef typename ::boost::container::allocator_traits<AllocatorOrContainer>::pointer pointer;
- static const bool value = ::boost::has_trivial_destructor_after_move<AllocatorOrContainer>::value &&
- ::boost::has_trivial_destructor_after_move<pointer>::value &&
- ::boost::has_trivial_destructor_after_move<Compare>::value;
- };
- namespace container {
- #endif //#ifndef BOOST_CONTAINER_DOXYGEN_INVOKED
- }}
- #include <boost/container/detail/config_end.hpp>
- #endif // BOOST_CONTAINER_FLAT_SET_HPP
|