| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295 |
- // Debugging unordered_set/unordered_multiset implementation -*- C++ -*-
- // Copyright (C) 2003-2021 Free Software Foundation, Inc.
- //
- // This file is part of the GNU ISO C++ Library. This library is free
- // software; you can redistribute it and/or modify it under the
- // terms of the GNU General Public License as published by the
- // Free Software Foundation; either version 3, or (at your option)
- // any later version.
- // This library is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- // GNU General Public License for more details.
- // Under Section 7 of GPL version 3, you are granted additional
- // permissions described in the GCC Runtime Library Exception, version
- // 3.1, as published by the Free Software Foundation.
- // You should have received a copy of the GNU General Public License and
- // a copy of the GCC Runtime Library Exception along with this program;
- // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- // <http://www.gnu.org/licenses/>.
- /** @file debug/unordered_set
- * This file is a GNU debug extension to the Standard C++ Library.
- */
- #ifndef _GLIBCXX_DEBUG_UNORDERED_SET
- #define _GLIBCXX_DEBUG_UNORDERED_SET 1
- #pragma GCC system_header
- #if __cplusplus < 201103L
- # include <bits/c++0x_warning.h>
- #else
- # include <bits/c++config.h>
- namespace std _GLIBCXX_VISIBILITY(default) { namespace __debug {
- template<typename _Key, typename _Hash, typename _Pred, typename _Allocator>
- class unordered_set;
- template<typename _Key, typename _Hash, typename _Pred, typename _Allocator>
- class unordered_multiset;
- } } // namespace std::__debug
- # include <unordered_set>
- #include <debug/safe_unordered_container.h>
- #include <debug/safe_container.h>
- #include <debug/safe_iterator.h>
- #include <debug/safe_local_iterator.h>
- namespace std _GLIBCXX_VISIBILITY(default)
- {
- namespace __debug
- {
- /// Class std::unordered_set with safety/checking/debug instrumentation.
- template<typename _Value,
- typename _Hash = std::hash<_Value>,
- typename _Pred = std::equal_to<_Value>,
- typename _Alloc = std::allocator<_Value> >
- class unordered_set
- : public __gnu_debug::_Safe_container<
- unordered_set<_Value, _Hash, _Pred, _Alloc>, _Alloc,
- __gnu_debug::_Safe_unordered_container>,
- public _GLIBCXX_STD_C::unordered_set<_Value, _Hash, _Pred, _Alloc>
- {
- typedef _GLIBCXX_STD_C::unordered_set<
- _Value, _Hash, _Pred, _Alloc> _Base;
- typedef __gnu_debug::_Safe_container<
- unordered_set, _Alloc, __gnu_debug::_Safe_unordered_container> _Safe;
- typedef typename _Base::const_iterator _Base_const_iterator;
- typedef typename _Base::iterator _Base_iterator;
- typedef typename _Base::const_local_iterator _Base_const_local_iterator;
- typedef typename _Base::local_iterator _Base_local_iterator;
- template<typename _ItT, typename _SeqT, typename _CatT>
- friend class ::__gnu_debug::_Safe_iterator;
- template<typename _ItT, typename _SeqT>
- friend class ::__gnu_debug::_Safe_local_iterator;
- // Reference wrapper for base class. See PR libstdc++/90102.
- struct _Base_ref
- {
- _Base_ref(const _Base& __r) : _M_ref(__r) { }
- const _Base& _M_ref;
- };
- public:
- typedef typename _Base::size_type size_type;
- typedef typename _Base::hasher hasher;
- typedef typename _Base::key_equal key_equal;
- typedef typename _Base::allocator_type allocator_type;
- typedef typename _Base::key_type key_type;
- typedef typename _Base::value_type value_type;
- typedef __gnu_debug::_Safe_iterator<
- _Base_iterator, unordered_set> iterator;
- typedef __gnu_debug::_Safe_iterator<
- _Base_const_iterator, unordered_set> const_iterator;
- typedef __gnu_debug::_Safe_local_iterator<
- _Base_local_iterator, unordered_set> local_iterator;
- typedef __gnu_debug::_Safe_local_iterator<
- _Base_const_local_iterator, unordered_set> const_local_iterator;
- unordered_set() = default;
- explicit
- unordered_set(size_type __n,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__n, __hf, __eql, __a) { }
- template<typename _InputIterator>
- unordered_set(_InputIterator __first, _InputIterator __last,
- size_type __n = 0,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__gnu_debug::__base(
- __glibcxx_check_valid_constructor_range(__first, __last)),
- __gnu_debug::__base(__last), __n,
- __hf, __eql, __a) { }
- unordered_set(const unordered_set&) = default;
- unordered_set(_Base_ref __x)
- : _Base(__x._M_ref) { }
- unordered_set(unordered_set&&) = default;
- explicit
- unordered_set(const allocator_type& __a)
- : _Base(__a) { }
- unordered_set(const unordered_set& __uset,
- const allocator_type& __a)
- : _Base(__uset, __a) { }
- unordered_set(unordered_set&& __uset,
- const allocator_type& __a)
- noexcept( noexcept(_Base(std::move(__uset._M_base()), __a)) )
- : _Safe(std::move(__uset._M_safe()), __a),
- _Base(std::move(__uset._M_base()), __a) { }
- unordered_set(initializer_list<value_type> __l,
- size_type __n = 0,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__l, __n, __hf, __eql, __a) { }
- unordered_set(size_type __n, const allocator_type& __a)
- : unordered_set(__n, hasher(), key_equal(), __a)
- { }
- unordered_set(size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_set(__n, __hf, key_equal(), __a)
- { }
- template<typename _InputIterator>
- unordered_set(_InputIterator __first, _InputIterator __last,
- size_type __n,
- const allocator_type& __a)
- : unordered_set(__first, __last, __n, hasher(), key_equal(), __a)
- { }
- template<typename _InputIterator>
- unordered_set(_InputIterator __first, _InputIterator __last,
- size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_set(__first, __last, __n, __hf, key_equal(), __a)
- { }
- unordered_set(initializer_list<value_type> __l,
- size_type __n,
- const allocator_type& __a)
- : unordered_set(__l, __n, hasher(), key_equal(), __a)
- { }
- unordered_set(initializer_list<value_type> __l,
- size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_set(__l, __n, __hf, key_equal(), __a)
- { }
- ~unordered_set() = default;
- unordered_set&
- operator=(const unordered_set&) = default;
- unordered_set&
- operator=(unordered_set&&) = default;
- unordered_set&
- operator=(initializer_list<value_type> __l)
- {
- _M_base() = __l;
- this->_M_invalidate_all();
- return *this;
- }
- void
- swap(unordered_set& __x)
- noexcept( noexcept(declval<_Base&>().swap(__x)) )
- {
- _Safe::_M_swap(__x);
- _Base::swap(__x);
- }
- void
- clear() noexcept
- {
- _Base::clear();
- this->_M_invalidate_all();
- }
- iterator
- begin() noexcept
- { return { _Base::begin(), this }; }
- const_iterator
- begin() const noexcept
- { return { _Base::begin(), this }; }
- iterator
- end() noexcept
- { return { _Base::end(), this }; }
- const_iterator
- end() const noexcept
- { return { _Base::end(), this }; }
- const_iterator
- cbegin() const noexcept
- { return { _Base::cbegin(), this }; }
- const_iterator
- cend() const noexcept
- { return { _Base::cend(), this }; }
- // local versions
- local_iterator
- begin(size_type __b)
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::begin(__b), this };
- }
- local_iterator
- end(size_type __b)
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::end(__b), this };
- }
- const_local_iterator
- begin(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::begin(__b), this };
- }
- const_local_iterator
- end(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::end(__b), this };
- }
- const_local_iterator
- cbegin(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::cbegin(__b), this };
- }
- const_local_iterator
- cend(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::cend(__b), this };
- }
- size_type
- bucket_size(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return _Base::bucket_size(__b);
- }
- float
- max_load_factor() const noexcept
- { return _Base::max_load_factor(); }
- void
- max_load_factor(float __f)
- {
- __glibcxx_check_max_load_factor(__f);
- _Base::max_load_factor(__f);
- }
- template<typename... _Args>
- std::pair<iterator, bool>
- emplace(_Args&&... __args)
- {
- size_type __bucket_count = this->bucket_count();
- auto __res = _Base::emplace(std::forward<_Args>(__args)...);
- _M_check_rehashed(__bucket_count);
- return { { __res.first, this }, __res.second };
- }
- template<typename... _Args>
- iterator
- emplace_hint(const_iterator __hint, _Args&&... __args)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::emplace_hint(__hint.base(),
- std::forward<_Args>(__args)...);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- std::pair<iterator, bool>
- insert(const value_type& __obj)
- {
- size_type __bucket_count = this->bucket_count();
- auto __res = _Base::insert(__obj);
- _M_check_rehashed(__bucket_count);
- return { { __res.first, this }, __res.second };
- }
- iterator
- insert(const_iterator __hint, const value_type& __obj)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(__hint.base(), __obj);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- std::pair<iterator, bool>
- insert(value_type&& __obj)
- {
- size_type __bucket_count = this->bucket_count();
- auto __res = _Base::insert(std::move(__obj));
- _M_check_rehashed(__bucket_count);
- return { { __res.first, this }, __res.second };
- }
- iterator
- insert(const_iterator __hint, value_type&& __obj)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(__hint.base(), std::move(__obj));
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- void
- insert(std::initializer_list<value_type> __l)
- {
- size_type __bucket_count = this->bucket_count();
- _Base::insert(__l);
- _M_check_rehashed(__bucket_count);
- }
- template<typename _InputIterator>
- void
- insert(_InputIterator __first, _InputIterator __last)
- {
- typename __gnu_debug::_Distance_traits<_InputIterator>::__type __dist;
- __glibcxx_check_valid_range2(__first, __last, __dist);
- size_type __bucket_count = this->bucket_count();
- if (__dist.second >= __gnu_debug::__dp_sign)
- _Base::insert(__gnu_debug::__unsafe(__first),
- __gnu_debug::__unsafe(__last));
- else
- _Base::insert(__first, __last);
- _M_check_rehashed(__bucket_count);
- }
- #if __cplusplus > 201402L
- using node_type = typename _Base::node_type;
- using insert_return_type = _Node_insert_return<iterator, node_type>;
- node_type
- extract(const_iterator __position)
- {
- __glibcxx_check_erase(__position);
- return _M_extract(__position.base());
- }
- node_type
- extract(const key_type& __key)
- {
- const auto __position = _Base::find(__key);
- if (__position != _Base::end())
- return _M_extract(__position);
- return {};
- }
- insert_return_type
- insert(node_type&& __nh)
- {
- auto __ret = _Base::insert(std::move(__nh));
- return
- { { __ret.position, this }, __ret.inserted, std::move(__ret.node) };
- }
- iterator
- insert(const_iterator __hint, node_type&& __nh)
- {
- __glibcxx_check_insert(__hint);
- return { _Base::insert(__hint.base(), std::move(__nh)), this };
- }
- using _Base::merge;
- #endif // C++17
- iterator
- find(const key_type& __key)
- { return { _Base::find(__key), this }; }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- iterator
- find(const _Kt& __k)
- { return { _Base::find(__k), this }; }
- #endif
- const_iterator
- find(const key_type& __key) const
- { return { _Base::find(__key), this }; }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- const_iterator
- find(const _Kt& __k) const
- { return { _Base::find(__k), this }; }
- #endif
- std::pair<iterator, iterator>
- equal_range(const key_type& __key)
- {
- auto __res = _Base::equal_range(__key);
- return { { __res.first, this }, { __res.second, this } };
- }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- std::pair<iterator, iterator>
- equal_range(const _Kt& __k)
- {
- auto __res = _Base::equal_range(__k);
- return { { __res.first, this }, { __res.second, this } };
- }
- #endif
- std::pair<const_iterator, const_iterator>
- equal_range(const key_type& __key) const
- {
- auto __res = _Base::equal_range(__key);
- return { { __res.first, this }, { __res.second, this } };
- }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- std::pair<const_iterator, const_iterator>
- equal_range(const _Kt& __k) const
- {
- auto __res = _Base::equal_range(__k);
- return { { __res.first, this }, { __res.second, this } };
- }
- #endif
- size_type
- erase(const key_type& __key)
- {
- size_type __ret(0);
- auto __victim = _Base::find(__key);
- if (__victim != _Base::end())
- {
- _M_erase(__victim);
- __ret = 1;
- }
- return __ret;
- }
- iterator
- erase(const_iterator __it)
- {
- __glibcxx_check_erase(__it);
- return { _M_erase(__it.base()), this };
- }
- iterator
- erase(iterator __it)
- {
- __glibcxx_check_erase(__it);
- return { _M_erase(__it.base()), this };
- }
- iterator
- erase(const_iterator __first, const_iterator __last)
- {
- __glibcxx_check_erase_range(__first, __last);
- for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
- {
- _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
- _M_message(__gnu_debug::__msg_valid_range)
- ._M_iterator(__first, "first")
- ._M_iterator(__last, "last"));
- _M_invalidate(__tmp);
- }
- size_type __bucket_count = this->bucket_count();
- auto __next = _Base::erase(__first.base(), __last.base());
- _M_check_rehashed(__bucket_count);
- return { __next, this };
- }
- _Base&
- _M_base() noexcept { return *this; }
- const _Base&
- _M_base() const noexcept { return *this; }
- private:
- void
- _M_check_rehashed(size_type __prev_count)
- {
- if (__prev_count != this->bucket_count())
- this->_M_invalidate_all();
- }
- void
- _M_invalidate(_Base_const_iterator __victim)
- {
- this->_M_invalidate_if(
- [__victim](_Base_const_iterator __it) { return __it == __victim; });
- this->_M_invalidate_local_if(
- [__victim](_Base_const_local_iterator __it)
- { return __it == __victim; });
- }
- _Base_iterator
- _M_erase(_Base_const_iterator __victim)
- {
- _M_invalidate(__victim);
- size_type __bucket_count = this->bucket_count();
- _Base_iterator __next = _Base::erase(__victim);
- _M_check_rehashed(__bucket_count);
- return __next;
- }
- #if __cplusplus > 201402L
- node_type
- _M_extract(_Base_const_iterator __victim)
- {
- _M_invalidate(__victim);
- return _Base::extract(__victim);
- }
- #endif
- };
- #if __cpp_deduction_guides >= 201606
- template<typename _InputIterator,
- typename _Hash =
- hash<typename iterator_traits<_InputIterator>::value_type>,
- typename _Pred =
- equal_to<typename iterator_traits<_InputIterator>::value_type>,
- typename _Allocator =
- allocator<typename iterator_traits<_InputIterator>::value_type>,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireNotAllocator<_Pred>,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(_InputIterator, _InputIterator,
- unordered_set<int>::size_type = {},
- _Hash = _Hash(), _Pred = _Pred(), _Allocator = _Allocator())
- -> unordered_set<typename iterator_traits<_InputIterator>::value_type,
- _Hash, _Pred, _Allocator>;
- template<typename _Tp, typename _Hash = hash<_Tp>,
- typename _Pred = equal_to<_Tp>,
- typename _Allocator = allocator<_Tp>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireNotAllocator<_Pred>,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(initializer_list<_Tp>,
- unordered_set<int>::size_type = {},
- _Hash = _Hash(), _Pred = _Pred(), _Allocator = _Allocator())
- -> unordered_set<_Tp, _Hash, _Pred, _Allocator>;
- template<typename _InputIterator, typename _Allocator,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(_InputIterator, _InputIterator,
- unordered_set<int>::size_type, _Allocator)
- -> unordered_set<typename iterator_traits<_InputIterator>::value_type,
- hash<
- typename iterator_traits<_InputIterator>::value_type>,
- equal_to<
- typename iterator_traits<_InputIterator>::value_type>,
- _Allocator>;
- template<typename _InputIterator, typename _Hash, typename _Allocator,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(_InputIterator, _InputIterator,
- unordered_set<int>::size_type,
- _Hash, _Allocator)
- -> unordered_set<typename iterator_traits<_InputIterator>::value_type,
- _Hash,
- equal_to<
- typename iterator_traits<_InputIterator>::value_type>,
- _Allocator>;
- template<typename _Tp, typename _Allocator,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(initializer_list<_Tp>,
- unordered_set<int>::size_type, _Allocator)
- -> unordered_set<_Tp, hash<_Tp>, equal_to<_Tp>, _Allocator>;
- template<typename _Tp, typename _Hash, typename _Allocator,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireAllocator<_Allocator>>
- unordered_set(initializer_list<_Tp>,
- unordered_set<int>::size_type, _Hash, _Allocator)
- -> unordered_set<_Tp, _Hash, equal_to<_Tp>, _Allocator>;
- #endif
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline void
- swap(unordered_set<_Value, _Hash, _Pred, _Alloc>& __x,
- unordered_set<_Value, _Hash, _Pred, _Alloc>& __y)
- noexcept(noexcept(__x.swap(__y)))
- { __x.swap(__y); }
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline bool
- operator==(const unordered_set<_Value, _Hash, _Pred, _Alloc>& __x,
- const unordered_set<_Value, _Hash, _Pred, _Alloc>& __y)
- { return __x._M_base() == __y._M_base(); }
- #if __cpp_impl_three_way_comparison < 201907L
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline bool
- operator!=(const unordered_set<_Value, _Hash, _Pred, _Alloc>& __x,
- const unordered_set<_Value, _Hash, _Pred, _Alloc>& __y)
- { return !(__x == __y); }
- #endif
- /// Class std::unordered_multiset with safety/checking/debug instrumentation.
- template<typename _Value,
- typename _Hash = std::hash<_Value>,
- typename _Pred = std::equal_to<_Value>,
- typename _Alloc = std::allocator<_Value> >
- class unordered_multiset
- : public __gnu_debug::_Safe_container<
- unordered_multiset<_Value, _Hash, _Pred, _Alloc>, _Alloc,
- __gnu_debug::_Safe_unordered_container>,
- public _GLIBCXX_STD_C::unordered_multiset<_Value, _Hash, _Pred, _Alloc>
- {
- typedef _GLIBCXX_STD_C::unordered_multiset<
- _Value, _Hash, _Pred, _Alloc> _Base;
- typedef __gnu_debug::_Safe_container<unordered_multiset,
- _Alloc, __gnu_debug::_Safe_unordered_container> _Safe;
- typedef typename _Base::const_iterator _Base_const_iterator;
- typedef typename _Base::iterator _Base_iterator;
- typedef typename _Base::const_local_iterator
- _Base_const_local_iterator;
- typedef typename _Base::local_iterator _Base_local_iterator;
- template<typename _ItT, typename _SeqT, typename _CatT>
- friend class ::__gnu_debug::_Safe_iterator;
- template<typename _ItT, typename _SeqT>
- friend class ::__gnu_debug::_Safe_local_iterator;
- // Reference wrapper for base class. See PR libstdc++/90102.
- struct _Base_ref
- {
- _Base_ref(const _Base& __r) : _M_ref(__r) { }
- const _Base& _M_ref;
- };
- public:
- typedef typename _Base::size_type size_type;
- typedef typename _Base::hasher hasher;
- typedef typename _Base::key_equal key_equal;
- typedef typename _Base::allocator_type allocator_type;
- typedef typename _Base::key_type key_type;
- typedef typename _Base::value_type value_type;
- typedef __gnu_debug::_Safe_iterator<
- _Base_iterator, unordered_multiset> iterator;
- typedef __gnu_debug::_Safe_iterator<
- _Base_const_iterator, unordered_multiset> const_iterator;
- typedef __gnu_debug::_Safe_local_iterator<
- _Base_local_iterator, unordered_multiset> local_iterator;
- typedef __gnu_debug::_Safe_local_iterator<
- _Base_const_local_iterator, unordered_multiset> const_local_iterator;
- unordered_multiset() = default;
- explicit
- unordered_multiset(size_type __n,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__n, __hf, __eql, __a) { }
- template<typename _InputIterator>
- unordered_multiset(_InputIterator __first, _InputIterator __last,
- size_type __n = 0,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__gnu_debug::__base(
- __glibcxx_check_valid_constructor_range(__first, __last)),
- __gnu_debug::__base(__last), __n,
- __hf, __eql, __a) { }
- unordered_multiset(const unordered_multiset&) = default;
- unordered_multiset(_Base_ref __x)
- : _Base(__x._M_ref) { }
- unordered_multiset(unordered_multiset&&) = default;
- explicit
- unordered_multiset(const allocator_type& __a)
- : _Base(__a) { }
- unordered_multiset(const unordered_multiset& __uset,
- const allocator_type& __a)
- : _Base(__uset, __a) { }
- unordered_multiset(unordered_multiset&& __uset,
- const allocator_type& __a)
- noexcept( noexcept(_Base(std::move(__uset._M_base()), __a)) )
- : _Safe(std::move(__uset._M_safe()), __a),
- _Base(std::move(__uset._M_base()), __a) { }
- unordered_multiset(initializer_list<value_type> __l,
- size_type __n = 0,
- const hasher& __hf = hasher(),
- const key_equal& __eql = key_equal(),
- const allocator_type& __a = allocator_type())
- : _Base(__l, __n, __hf, __eql, __a) { }
- unordered_multiset(size_type __n, const allocator_type& __a)
- : unordered_multiset(__n, hasher(), key_equal(), __a)
- { }
- unordered_multiset(size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_multiset(__n, __hf, key_equal(), __a)
- { }
- template<typename _InputIterator>
- unordered_multiset(_InputIterator __first, _InputIterator __last,
- size_type __n,
- const allocator_type& __a)
- : unordered_multiset(__first, __last, __n, hasher(), key_equal(), __a)
- { }
- template<typename _InputIterator>
- unordered_multiset(_InputIterator __first, _InputIterator __last,
- size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_multiset(__first, __last, __n, __hf, key_equal(), __a)
- { }
- unordered_multiset(initializer_list<value_type> __l,
- size_type __n,
- const allocator_type& __a)
- : unordered_multiset(__l, __n, hasher(), key_equal(), __a)
- { }
- unordered_multiset(initializer_list<value_type> __l,
- size_type __n, const hasher& __hf,
- const allocator_type& __a)
- : unordered_multiset(__l, __n, __hf, key_equal(), __a)
- { }
- ~unordered_multiset() = default;
- unordered_multiset&
- operator=(const unordered_multiset&) = default;
- unordered_multiset&
- operator=(unordered_multiset&&) = default;
- unordered_multiset&
- operator=(initializer_list<value_type> __l)
- {
- this->_M_base() = __l;
- this->_M_invalidate_all();
- return *this;
- }
- void
- swap(unordered_multiset& __x)
- noexcept( noexcept(declval<_Base&>().swap(__x)) )
- {
- _Safe::_M_swap(__x);
- _Base::swap(__x);
- }
- void
- clear() noexcept
- {
- _Base::clear();
- this->_M_invalidate_all();
- }
- iterator
- begin() noexcept
- { return { _Base::begin(), this }; }
- const_iterator
- begin() const noexcept
- { return { _Base::begin(), this }; }
- iterator
- end() noexcept
- { return { _Base::end(), this }; }
- const_iterator
- end() const noexcept
- { return { _Base::end(), this }; }
- const_iterator
- cbegin() const noexcept
- { return { _Base::cbegin(), this }; }
- const_iterator
- cend() const noexcept
- { return { _Base::cend(), this }; }
- // local versions
- local_iterator
- begin(size_type __b)
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::begin(__b), this };
- }
- local_iterator
- end(size_type __b)
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::end(__b), this };
- }
- const_local_iterator
- begin(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::begin(__b), this };
- }
- const_local_iterator
- end(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::end(__b), this };
- }
- const_local_iterator
- cbegin(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::cbegin(__b), this };
- }
- const_local_iterator
- cend(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return { _Base::cend(__b), this };
- }
- size_type
- bucket_size(size_type __b) const
- {
- __glibcxx_check_bucket_index(__b);
- return _Base::bucket_size(__b);
- }
- float
- max_load_factor() const noexcept
- { return _Base::max_load_factor(); }
- void
- max_load_factor(float __f)
- {
- __glibcxx_check_max_load_factor(__f);
- _Base::max_load_factor(__f);
- }
- template<typename... _Args>
- iterator
- emplace(_Args&&... __args)
- {
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::emplace(std::forward<_Args>(__args)...);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- template<typename... _Args>
- iterator
- emplace_hint(const_iterator __hint, _Args&&... __args)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::emplace_hint(__hint.base(),
- std::forward<_Args>(__args)...);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- iterator
- insert(const value_type& __obj)
- {
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(__obj);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- iterator
- insert(const_iterator __hint, const value_type& __obj)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(__hint.base(), __obj);
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- iterator
- insert(value_type&& __obj)
- {
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(std::move(__obj));
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- iterator
- insert(const_iterator __hint, value_type&& __obj)
- {
- __glibcxx_check_insert(__hint);
- size_type __bucket_count = this->bucket_count();
- auto __it = _Base::insert(__hint.base(), std::move(__obj));
- _M_check_rehashed(__bucket_count);
- return { __it, this };
- }
- void
- insert(std::initializer_list<value_type> __l)
- {
- size_type __bucket_count = this->bucket_count();
- _Base::insert(__l);
- _M_check_rehashed(__bucket_count);
- }
- template<typename _InputIterator>
- void
- insert(_InputIterator __first, _InputIterator __last)
- {
- typename __gnu_debug::_Distance_traits<_InputIterator>::__type __dist;
- __glibcxx_check_valid_range2(__first, __last, __dist);
- size_type __bucket_count = this->bucket_count();
- if (__dist.second >= __gnu_debug::__dp_sign)
- _Base::insert(__gnu_debug::__unsafe(__first),
- __gnu_debug::__unsafe(__last));
- else
- _Base::insert(__first, __last);
- _M_check_rehashed(__bucket_count);
- }
- #if __cplusplus > 201402L
- using node_type = typename _Base::node_type;
- node_type
- extract(const_iterator __position)
- {
- __glibcxx_check_erase(__position);
- return _M_extract(__position.base());
- }
- node_type
- extract(const key_type& __key)
- {
- const auto __position = _Base::find(__key);
- if (__position != _Base::end())
- return _M_extract(__position);
- return {};
- }
- iterator
- insert(node_type&& __nh)
- { return { _Base::insert(std::move(__nh)), this }; }
- iterator
- insert(const_iterator __hint, node_type&& __nh)
- {
- __glibcxx_check_insert(__hint);
- return { _Base::insert(__hint.base(), std::move(__nh)), this };
- }
- using _Base::merge;
- #endif // C++17
- iterator
- find(const key_type& __key)
- { return { _Base::find(__key), this }; }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- iterator
- find(const _Kt& __k)
- { return { _Base::find(__k), this }; }
- #endif
- const_iterator
- find(const key_type& __key) const
- { return { _Base::find(__key), this }; }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- const_iterator
- find(const _Kt& __k) const
- { return { _Base::find(__k), this }; }
- #endif
- std::pair<iterator, iterator>
- equal_range(const key_type& __key)
- {
- auto __res = _Base::equal_range(__key);
- return { { __res.first, this }, { __res.second, this } };
- }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- std::pair<iterator, iterator>
- equal_range(const _Kt& __k)
- {
- auto __res = _Base::equal_range(__k);
- return { { __res.first, this }, { __res.second, this } };
- }
- #endif
- std::pair<const_iterator, const_iterator>
- equal_range(const key_type& __key) const
- {
- auto __res = _Base::equal_range(__key);
- return { { __res.first, this }, { __res.second, this } };
- }
- #if __cplusplus > 201703L
- template<typename _Kt,
- typename = std::__has_is_transparent_t<_Hash, _Kt>,
- typename = std::__has_is_transparent_t<_Pred, _Kt>>
- std::pair<const_iterator, const_iterator>
- equal_range(const _Kt& __k) const
- {
- auto __res = _Base::equal_range(__k);
- return { { __res.first, this }, { __res.second, this } };
- }
- #endif
- size_type
- erase(const key_type& __key)
- {
- size_type __ret(0);
- auto __pair = _Base::equal_range(__key);
- for (auto __victim = __pair.first; __victim != __pair.second;)
- {
- _M_invalidate(__victim);
- __victim = _Base::erase(__victim);
- ++__ret;
- }
- return __ret;
- }
- iterator
- erase(const_iterator __it)
- {
- __glibcxx_check_erase(__it);
- return { _M_erase(__it.base()), this };
- }
- iterator
- erase(iterator __it)
- {
- __glibcxx_check_erase(__it);
- return { _M_erase(__it.base()), this };
- }
- iterator
- erase(const_iterator __first, const_iterator __last)
- {
- __glibcxx_check_erase_range(__first, __last);
- for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
- {
- _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
- _M_message(__gnu_debug::__msg_valid_range)
- ._M_iterator(__first, "first")
- ._M_iterator(__last, "last"));
- _M_invalidate(__tmp);
- }
- return { _Base::erase(__first.base(), __last.base()), this };
- }
- _Base&
- _M_base() noexcept { return *this; }
- const _Base&
- _M_base() const noexcept { return *this; }
- private:
- void
- _M_check_rehashed(size_type __prev_count)
- {
- if (__prev_count != this->bucket_count())
- this->_M_invalidate_all();
- }
- void
- _M_invalidate(_Base_const_iterator __victim)
- {
- this->_M_invalidate_if(
- [__victim](_Base_const_iterator __it) { return __it == __victim; });
- this->_M_invalidate_local_if(
- [__victim](_Base_const_local_iterator __it)
- { return __it == __victim; });
- }
- _Base_iterator
- _M_erase(_Base_const_iterator __victim)
- {
- _M_invalidate(__victim);
- size_type __bucket_count = this->bucket_count();
- _Base_iterator __next = _Base::erase(__victim);
- _M_check_rehashed(__bucket_count);
- return __next;
- }
- #if __cplusplus > 201402L
- node_type
- _M_extract(_Base_const_iterator __victim)
- {
- _M_invalidate(__victim);
- return _Base::extract(__victim);
- }
- #endif
- };
- #if __cpp_deduction_guides >= 201606
- template<typename _InputIterator,
- typename _Hash =
- hash<typename iterator_traits<_InputIterator>::value_type>,
- typename _Pred =
- equal_to<typename iterator_traits<_InputIterator>::value_type>,
- typename _Allocator =
- allocator<typename iterator_traits<_InputIterator>::value_type>,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireNotAllocator<_Pred>,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(_InputIterator, _InputIterator,
- unordered_multiset<int>::size_type = {},
- _Hash = _Hash(), _Pred = _Pred(),
- _Allocator = _Allocator())
- -> unordered_multiset<typename iterator_traits<_InputIterator>::value_type,
- _Hash, _Pred, _Allocator>;
- template<typename _Tp, typename _Hash = hash<_Tp>,
- typename _Pred = equal_to<_Tp>,
- typename _Allocator = allocator<_Tp>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireNotAllocator<_Pred>,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(initializer_list<_Tp>,
- unordered_multiset<int>::size_type = {},
- _Hash = _Hash(), _Pred = _Pred(),
- _Allocator = _Allocator())
- -> unordered_multiset<_Tp, _Hash, _Pred, _Allocator>;
- template<typename _InputIterator, typename _Allocator,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(_InputIterator, _InputIterator,
- unordered_multiset<int>::size_type, _Allocator)
- -> unordered_multiset<typename iterator_traits<_InputIterator>::value_type,
- hash<typename
- iterator_traits<_InputIterator>::value_type>,
- equal_to<typename
- iterator_traits<_InputIterator>::value_type>,
- _Allocator>;
- template<typename _InputIterator, typename _Hash, typename _Allocator,
- typename = _RequireInputIter<_InputIterator>,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(_InputIterator, _InputIterator,
- unordered_multiset<int>::size_type,
- _Hash, _Allocator)
- -> unordered_multiset<typename
- iterator_traits<_InputIterator>::value_type,
- _Hash,
- equal_to<
- typename
- iterator_traits<_InputIterator>::value_type>,
- _Allocator>;
- template<typename _Tp, typename _Allocator,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(initializer_list<_Tp>,
- unordered_multiset<int>::size_type, _Allocator)
- -> unordered_multiset<_Tp, hash<_Tp>, equal_to<_Tp>, _Allocator>;
- template<typename _Tp, typename _Hash, typename _Allocator,
- typename = _RequireNotAllocatorOrIntegral<_Hash>,
- typename = _RequireAllocator<_Allocator>>
- unordered_multiset(initializer_list<_Tp>,
- unordered_multiset<int>::size_type, _Hash, _Allocator)
- -> unordered_multiset<_Tp, _Hash, equal_to<_Tp>, _Allocator>;
- #endif
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline void
- swap(unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __x,
- unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __y)
- noexcept(noexcept(__x.swap(__y)))
- { __x.swap(__y); }
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline bool
- operator==(const unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __x,
- const unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __y)
- { return __x._M_base() == __y._M_base(); }
- #if __cpp_impl_three_way_comparison < 201907L
- template<typename _Value, typename _Hash, typename _Pred, typename _Alloc>
- inline bool
- operator!=(const unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __x,
- const unordered_multiset<_Value, _Hash, _Pred, _Alloc>& __y)
- { return !(__x == __y); }
- #endif
- } // namespace __debug
- } // namespace std
- #endif // C++11
- #endif
|