git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

2018-10-24 François Dumont <fdumont@gcc.gnu.org> 

* include/debug/safe_unordered_container.h
	(_Safe_unordered_container<>::_M_invalidate_locals): Take lambda
	parameter type from local end variable.
	(_Safe_unordered_container<>::_M_invalidate_all): Likewise.
	* include/debug/unordered_map
	(unordered_map<>::begin()): Use C++11 direct initialization.
	(unordered_map<>::end()): Likewise.
	(unordered_map<>::cbegin()): Likewise.
	(unordered_map<>::cend()): Likewise.
	(unordered_map<>::begin(size_type)): Likewise.
	(unordered_map<>::end(size_type)): Likewise.
	(unordered_map<>::cbegin(size_type)): Likewise.
	(unordered_map<>::cend(size_type)): Likewise.
	(unordered_map<>::emplace<>(_Args&&...)): Likewise.
	(unordered_map<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
	(unordered_map<>::insert(const value_type&)): Likewise.
	(unordered_map<>::insert(value_type&&)): Likewise.
	(unordered_map<>::insert<>(_Pair&&)): Likewise.
	(unordered_map<>::insert(const_iterator, const value_type&)): Likewise.
	(unordered_map<>::insert(const_iterator, value_type&&)): Likewise.
	(unordered_map<>::insert<>(const_iterator, _Pair&&)): Likewise.
	(unordered_map<>::try_emplace<>(const key_type&, _Args&&...)): Likewise.
	(unordered_map<>::try_emplace<>(key_type&&, _Args&&...)): Likewise.
	(unordered_map<>::try_emplace<>(const_iterator, const key_type&,
	_Args&&...)): Likewise.
	(unordered_map<>::try_emplace<>(const_iterator, key_type&&,
	_Args&&...)): Likewise.
	(unordered_map<>::insert_or_assign<>(const key_type&, _Obj&&)): Likewise.
	(unordered_map<>::insert_or_assign<>(key_type&&, _Obj&&)): Likewise.
	(unordered_map<>::insert_or_assign<>(const_iterator, const key_type&,
	_Obj&&)): Likewise.
	(unordered_map<>::insert_or_assign<>(const_iterator, key_type&&,
	_Obj&&)): Likewise.
	(unordered_map<>::insert(note_type&&)): Likewise.
	(unordered_map<>::find(const key_type&)): Likewise.
	(unordered_map<>::equal_range(const key_type&)): Likewise.
	(unordered_map<>::_M_extract): New.
	(unordered_map<>::extract(const_iterator)): Use latter.
	(unordered_map<>::extract(const key_type&)): Likewise.
	(unordered_map<>::_M_erase): New.
	(unordered_map<>::erase(const key_type&)): Use latter.
	(unordered_map<>::erase(const_iterator)): Likewise.
	(unordered_map<>::erase(iterator)): Likewise.
	(unordered_map<>::_M_invalidate): New.
	(unordered_map<>::erase(const_iterator, const_iterator)): Use latter.
	(unordered_multimap<>::begin()): Use C++11 direct initialization.
	(unordered_multimap<>::end()): Likewise.
	(unordered_multimap<>::cbegin()): Likewise.
	(unordered_multimap<>::cend()): Likewise.
	(unordered_multimap<>::begin(size_type)): Likewise.
	(unordered_multimap<>::end(size_type)): Likewise.
	(unordered_multimap<>::cbegin(size_type)): Likewise.
	(unordered_multimap<>::cend(size_type)): Likewise.
	(unordered_multimap<>::emplace<>(_Args&&...)): Likewise.
	(unordered_multimap<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
	(unordered_multimap<>::insert(const value_type&)): Likewise.
	(unordered_multimap<>::insert(const_iterator, const value_type&)): Likewise.
	(unordered_multimap<>::insert(const_iterator, value_type&&)): Likewise.
	(unordered_multimap<>::insert<>(_Pair&&)): Likewise.
	(unordered_multimap<>::insert<>(const_iterator, _Pair&&)): Likewise.
	(unordered_multimap<>::insert(note_type&&)): Likewise.
	(unordered_multimap<>::insert(const_iterator, note_type&&)): Likewise.
	(unordered_multimap<>::find(const key_type&)): Likewise.
	(unordered_multimap<>::equal_range(const key_type&)): Likewise.
	(unordered_multimap<>::_M_extract): New.
	(unordered_multimap<>::extract(const_iterator)): Use latter.
	(unordered_multimap<>::extract(const key_type&)): Likewise.
	(unordered_multimap<>::_M_erase): New.
	(unordered_multimap<>::erase(const_iterator)): Likewise.
	(unordered_multimap<>::erase(iterator)): Likewise.
	(unordered_multimap<>::_M_invalidate): New.
	(unordered_multimap<>::erase(const key_type&)): Use latter.
	(unordered_multimap<>::erase(const_iterator, const_iterator)): Likewise.
	* include/debug/unordered_set
	(unordered_set<>::begin()): Use C++11 direct initialization.
	(unordered_set<>::end()): Likewise.
	(unordered_set<>::cbegin()): Likewise.
	(unordered_set<>::cend()): Likewise.
	(unordered_set<>::begin(size_type)): Likewise.
	(unordered_set<>::end(size_type)): Likewise.
	(unordered_set<>::cbegin(size_type)): Likewise.
	(unordered_set<>::cend(size_type)): Likewise.
	(unordered_set<>::emplace<>(_Args&&...)): Likewise.
	(unordered_set<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
	(unordered_set<>::insert(const value_type&)): Likewise.
	(unordered_set<>::insert(value_type&&)): Likewise.
	(unordered_set<>::insert(const_iterator, const value_type&)): Likewise.
	(unordered_set<>::insert(const_iterator, value_type&&)): Likewise.
	(unordered_set<>::insert(note_type&&)): Likewise.
	(unordered_set<>::insert(const_iterator, note_type&&)): Likewise.
	(unordered_set<>::find(const key_type&)): Likewise.
	(unordered_set<>::equal_range(const key_type&)): Likewise.
	(unordered_set<>::_M_extract): New.
	(unordered_set<>::extract(const_iterator)): Use latter.
	(unordered_set<>::extract(const key_type&)): Likewise.
	(unordered_set<>::_M_erase): New.
	(unordered_set<>::erase(const key_type&)): Use latter.
	(unordered_set<>::erase(const_iterator)): Likewise.
	(unordered_set<>::erase(iterator)): Likewise.
	(unordered_set<>::_M_invalidate): New.
	(unordered_set<>::erase(const_iterator, const_iterator)): Use latter.
	(unordered_multiset<>::begin()): Use C++11 direct initialization.
	(unordered_multiset<>::end()): Likewise.
	(unordered_multiset<>::cbegin()): Likewise.
	(unordered_multiset<>::cend()): Likewise.
	(unordered_multiset<>::begin(size_type)): Likewise.
	(unordered_multiset<>::end(size_type)): Likewise.
	(unordered_multiset<>::cbegin(size_type)): Likewise.
	(unordered_multiset<>::cend(size_type)): Likewise.
	(unordered_multiset<>::emplace<>(_Args&&...)): Likewise.
	(unordered_multiset<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
	(unordered_multiset<>::insert(const value_type&)): Likewise.
	(unordered_multiset<>::insert(const_iterator, const value_type&)): Likewise.
	(unordered_multiset<>::insert(value_type&&)): Likewise.
	(unordered_multiset<>::insert(const_iterator, value_type&&)): Likewise.
	(unordered_multiset<>::insert(node_type&&)): Likewise.
	(unordered_multiset<>::insert(const_iterator, node_type&&)): Likewise.
	(unordered_multiset<>::find(const key_type&)): Likewise.
	(unordered_multiset<>::equal_range(const key_type&)): Likewise.
	(unordered_multiset<>::_M_extract): New.
	(unordered_multiset<>::extract(const_iterator)): Use latter.
	(unordered_multiset<>::extract(const key_type&)): Likewise.
	(unordered_multiset<>::_M_erase): New.
	(unordered_multiset<>::erase(const_iterator)): Likewise.
	(unordered_multiset<>::erase(iterator)): Likewise.
	(unordered_multiset<>::_M_invalidate): New.
	(unordered_multiset<>::erase(const key_type&)): Use latter.
	(unordered_multiset<>::erase(const_iterator, const_iterator)): Likewise.

From-SVN: r265451
This commit is contained in:
François Dumont 2018-10-24 05:40:25 +00:00
parent a01fc83fea
commit 4b763deedb
4 changed files with 502 additions and 381 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

129
libstdc++-v3/ChangeLog
View File

@ -1,5 +1,134 @@
2018-10-24 François Dumont <fdumont@gcc.gnu.org> 2018-10-24 François Dumont <fdumont@gcc.gnu.org>
* include/debug/safe_unordered_container.h
(_Safe_unordered_container<>::_M_invalidate_locals): Take lambda
parameter type from local end variable.
(_Safe_unordered_container<>::_M_invalidate_all): Likewise.
* include/debug/unordered_map
(unordered_map<>::begin()): Use C++11 direct initialization.
(unordered_map<>::end()): Likewise.
(unordered_map<>::cbegin()): Likewise.
(unordered_map<>::cend()): Likewise.
(unordered_map<>::begin(size_type)): Likewise.
(unordered_map<>::end(size_type)): Likewise.
(unordered_map<>::cbegin(size_type)): Likewise.
(unordered_map<>::cend(size_type)): Likewise.
(unordered_map<>::emplace<>(_Args&&...)): Likewise.
(unordered_map<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
(unordered_map<>::insert(const value_type&)): Likewise.
(unordered_map<>::insert(value_type&&)): Likewise.
(unordered_map<>::insert<>(_Pair&&)): Likewise.
(unordered_map<>::insert(const_iterator, const value_type&)): Likewise.
(unordered_map<>::insert(const_iterator, value_type&&)): Likewise.
(unordered_map<>::insert<>(const_iterator, _Pair&&)): Likewise.
(unordered_map<>::try_emplace<>(const key_type&, _Args&&...)): Likewise.
(unordered_map<>::try_emplace<>(key_type&&, _Args&&...)): Likewise.
(unordered_map<>::try_emplace<>(const_iterator, const key_type&,
_Args&&...)): Likewise.
(unordered_map<>::try_emplace<>(const_iterator, key_type&&,
_Args&&...)): Likewise.
(unordered_map<>::insert_or_assign<>(const key_type&, _Obj&&)): Likewise.
(unordered_map<>::insert_or_assign<>(key_type&&, _Obj&&)): Likewise.
(unordered_map<>::insert_or_assign<>(const_iterator, const key_type&,
_Obj&&)): Likewise.
(unordered_map<>::insert_or_assign<>(const_iterator, key_type&&,
_Obj&&)): Likewise.
(unordered_map<>::insert(note_type&&)): Likewise.
(unordered_map<>::find(const key_type&)): Likewise.
(unordered_map<>::equal_range(const key_type&)): Likewise.
(unordered_map<>::_M_extract): New.
(unordered_map<>::extract(const_iterator)): Use latter.
(unordered_map<>::extract(const key_type&)): Likewise.
(unordered_map<>::_M_erase): New.
(unordered_map<>::erase(const key_type&)): Use latter.
(unordered_map<>::erase(const_iterator)): Likewise.
(unordered_map<>::erase(iterator)): Likewise.
(unordered_map<>::_M_invalidate): New.
(unordered_map<>::erase(const_iterator, const_iterator)): Use latter.
(unordered_multimap<>::begin()): Use C++11 direct initialization.
(unordered_multimap<>::end()): Likewise.
(unordered_multimap<>::cbegin()): Likewise.
(unordered_multimap<>::cend()): Likewise.
(unordered_multimap<>::begin(size_type)): Likewise.
(unordered_multimap<>::end(size_type)): Likewise.
(unordered_multimap<>::cbegin(size_type)): Likewise.
(unordered_multimap<>::cend(size_type)): Likewise.
(unordered_multimap<>::emplace<>(_Args&&...)): Likewise.
(unordered_multimap<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
(unordered_multimap<>::insert(const value_type&)): Likewise.
(unordered_multimap<>::insert(const_iterator, const value_type&)): Likewise.
(unordered_multimap<>::insert(const_iterator, value_type&&)): Likewise.
(unordered_multimap<>::insert<>(_Pair&&)): Likewise.
(unordered_multimap<>::insert<>(const_iterator, _Pair&&)): Likewise.
(unordered_multimap<>::insert(note_type&&)): Likewise.
(unordered_multimap<>::insert(const_iterator, note_type&&)): Likewise.
(unordered_multimap<>::find(const key_type&)): Likewise.
(unordered_multimap<>::equal_range(const key_type&)): Likewise.
(unordered_multimap<>::_M_extract): New.
(unordered_multimap<>::extract(const_iterator)): Use latter.
(unordered_multimap<>::extract(const key_type&)): Likewise.
(unordered_multimap<>::_M_erase): New.
(unordered_multimap<>::erase(const_iterator)): Likewise.
(unordered_multimap<>::erase(iterator)): Likewise.
(unordered_multimap<>::_M_invalidate): New.
(unordered_multimap<>::erase(const key_type&)): Use latter.
(unordered_multimap<>::erase(const_iterator, const_iterator)): Likewise.
* include/debug/unordered_set
(unordered_set<>::begin()): Use C++11 direct initialization.
(unordered_set<>::end()): Likewise.
(unordered_set<>::cbegin()): Likewise.
(unordered_set<>::cend()): Likewise.
(unordered_set<>::begin(size_type)): Likewise.
(unordered_set<>::end(size_type)): Likewise.
(unordered_set<>::cbegin(size_type)): Likewise.
(unordered_set<>::cend(size_type)): Likewise.
(unordered_set<>::emplace<>(_Args&&...)): Likewise.
(unordered_set<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
(unordered_set<>::insert(const value_type&)): Likewise.
(unordered_set<>::insert(value_type&&)): Likewise.
(unordered_set<>::insert(const_iterator, const value_type&)): Likewise.
(unordered_set<>::insert(const_iterator, value_type&&)): Likewise.
(unordered_set<>::insert(note_type&&)): Likewise.
(unordered_set<>::insert(const_iterator, note_type&&)): Likewise.
(unordered_set<>::find(const key_type&)): Likewise.
(unordered_set<>::equal_range(const key_type&)): Likewise.
(unordered_set<>::_M_extract): New.
(unordered_set<>::extract(const_iterator)): Use latter.
(unordered_set<>::extract(const key_type&)): Likewise.
(unordered_set<>::_M_erase): New.
(unordered_set<>::erase(const key_type&)): Use latter.
(unordered_set<>::erase(const_iterator)): Likewise.
(unordered_set<>::erase(iterator)): Likewise.
(unordered_set<>::_M_invalidate): New.
(unordered_set<>::erase(const_iterator, const_iterator)): Use latter.
(unordered_multiset<>::begin()): Use C++11 direct initialization.
(unordered_multiset<>::end()): Likewise.
(unordered_multiset<>::cbegin()): Likewise.
(unordered_multiset<>::cend()): Likewise.
(unordered_multiset<>::begin(size_type)): Likewise.
(unordered_multiset<>::end(size_type)): Likewise.
(unordered_multiset<>::cbegin(size_type)): Likewise.
(unordered_multiset<>::cend(size_type)): Likewise.
(unordered_multiset<>::emplace<>(_Args&&...)): Likewise.
(unordered_multiset<>::emplace_hint<>(const_iterator, _Args&&...)): Likewise.
(unordered_multiset<>::insert(const value_type&)): Likewise.
(unordered_multiset<>::insert(const_iterator, const value_type&)): Likewise.
(unordered_multiset<>::insert(value_type&&)): Likewise.
(unordered_multiset<>::insert(const_iterator, value_type&&)): Likewise.
(unordered_multiset<>::insert(node_type&&)): Likewise.
(unordered_multiset<>::insert(const_iterator, node_type&&)): Likewise.
(unordered_multiset<>::find(const key_type&)): Likewise.
(unordered_multiset<>::equal_range(const key_type&)): Likewise.
(unordered_multiset<>::_M_extract): New.
(unordered_multiset<>::extract(const_iterator)): Use latter.
(unordered_multiset<>::extract(const key_type&)): Likewise.
(unordered_multiset<>::_M_erase): New.
(unordered_multiset<>::erase(const_iterator)): Likewise.
(unordered_multiset<>::erase(iterator)): Likewise.
(unordered_multiset<>::_M_invalidate): New.
(unordered_multiset<>::erase(const key_type&)): Use latter.
(unordered_multiset<>::erase(const_iterator, const_iterator)): Likewise.
* include/c_global/cstddef: Add versioned namespace. * include/c_global/cstddef: Add versioned namespace.
2018-10-23 Jonathan Wakely <jwakely@redhat.com> 2018-10-23 Jonathan Wakely <jwakely@redhat.com>

13
libstdc++-v3/include/debug/safe_unordered_container.h
View File

@ -66,19 +66,18 @@ namespace __gnu_debug
void void
_M_invalidate_locals() _M_invalidate_locals()
{ {
auto __local_end = _M_cont()._M_base().end(0); auto __local_end = _M_cont()._M_base().cend(0);
this->_M_invalidate_local_if( this->_M_invalidate_local_if(
[__local_end](__decltype(_M_cont()._M_base().cend(0)) __it) [__local_end](__decltype(__local_end) __it)
{ return __it != __local_end; }); { return __it != __local_end; });
} }
void void
_M_invalidate_all() _M_invalidate_all()
{ {
auto __end = _M_cont()._M_base().end(); auto __end = _M_cont()._M_base().cend();
this->_M_invalidate_if( this->_M_invalidate_if([__end](__decltype(__end) __it)
[__end](__decltype(_M_cont()._M_base().cend()) __it) { return __it != __end; });
{ return __it != __end; });
_M_invalidate_locals(); _M_invalidate_locals();
} }
@ -92,7 +91,7 @@ namespace __gnu_debug
/** Invalidates all local iterators @c x that reference this container, /** Invalidates all local iterators @c x that reference this container,
are not singular, and for which @c __pred(x) returns @c are not singular, and for which @c __pred(x) returns @c
true. @c __pred will be invoked with the normal ilocal iterators true. @c __pred will be invoked with the normal local iterators
nested in the safe ones. */ nested in the safe ones. */
template<typename _Predicate> template<typename _Predicate>
void void

415
libstdc++-v3/include/debug/unordered_map
View File

@ -217,69 +217,69 @@ namespace __debug
iterator iterator
begin() noexcept begin() noexcept
{ return iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
const_iterator const_iterator
begin() const noexcept begin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
iterator iterator
end() noexcept end() noexcept
{ return iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
end() const noexcept end() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
cbegin() const noexcept cbegin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::cbegin(), this }; }
const_iterator const_iterator
cend() const noexcept cend() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::cend(), this }; }
// local versions // local versions
local_iterator local_iterator
begin(size_type __b) begin(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
local_iterator local_iterator
end(size_type __b) end(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
begin(size_type __b) const begin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
const_local_iterator const_local_iterator
end(size_type __b) const end(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
cbegin(size_type __b) const cbegin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cbegin(__b), this); return { _Base::cbegin(__b), this };
} }
const_local_iterator const_local_iterator
cend(size_type __b) const cend(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cend(__b), this); return { _Base::cend(__b), this };
} }
size_type size_type
@ -305,10 +305,9 @@ namespace __debug
emplace(_Args&&... __args) emplace(_Args&&... __args)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, bool> __res auto __res = _Base::emplace(std::forward<_Args>(__args)...);
= _Base::emplace(std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return std::make_pair(iterator(__res.first, this), __res.second); return { { __res.first, this }, __res.second };
} }
template<typename... _Args> template<typename... _Args>
@ -317,10 +316,10 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::emplace_hint(__hint.base(), auto __it = _Base::emplace_hint(__hint.base(),
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
std::pair<iterator, bool> std::pair<iterator, bool>
@ -329,7 +328,7 @@ namespace __debug
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
auto __res = _Base::insert(__obj); auto __res = _Base::insert(__obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
// _GLIBCXX_RESOLVE_LIB_DEFECTS // _GLIBCXX_RESOLVE_LIB_DEFECTS
@ -340,7 +339,7 @@ namespace __debug
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
auto __res = _Base::insert(std::move(__x)); auto __res = _Base::insert(std::move(__x));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
template<typename _Pair, typename = typename template<typename _Pair, typename = typename
@ -350,10 +349,9 @@ namespace __debug
insert(_Pair&& __obj) insert(_Pair&& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, bool> __res = auto __res = _Base::insert(std::forward<_Pair>(__obj));
_Base::insert(std::forward<_Pair>(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return std::make_pair(iterator(__res.first, this), __res.second); return { { __res.first, this }, __res.second };
} }
iterator iterator
@ -361,9 +359,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), __obj); auto __it = _Base::insert(__hint.base(), __obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
// _GLIBCXX_RESOLVE_LIB_DEFECTS // _GLIBCXX_RESOLVE_LIB_DEFECTS
@ -375,7 +373,7 @@ namespace __debug
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
auto __it = _Base::insert(__hint.base(), std::move(__x)); auto __it = _Base::insert(__hint.base(), std::move(__x));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
template<typename _Pair, typename = typename template<typename _Pair, typename = typename
@ -386,10 +384,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = auto __it = _Base::insert(__hint.base(), std::forward<_Pair>(__obj));
_Base::insert(__hint.base(), std::forward<_Pair>(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
void void
@ -419,82 +416,81 @@ namespace __debug
#if __cplusplus > 201402L #if __cplusplus > 201402L
template <typename... _Args> template <typename... _Args>
pair<iterator, bool> pair<iterator, bool>
try_emplace(const key_type& __k, _Args&&... __args) try_emplace(const key_type& __k, _Args&&... __args)
{ {
auto __res = _Base::try_emplace(__k, auto __res = _Base::try_emplace(__k,
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
template <typename... _Args> template <typename... _Args>
pair<iterator, bool> pair<iterator, bool>
try_emplace(key_type&& __k, _Args&&... __args) try_emplace(key_type&& __k, _Args&&... __args)
{ {
auto __res = _Base::try_emplace(std::move(__k), auto __res = _Base::try_emplace(std::move(__k),
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
template <typename... _Args> template <typename... _Args>
iterator iterator
try_emplace(const_iterator __hint, const key_type& __k, try_emplace(const_iterator __hint, const key_type& __k,
_Args&&... __args) _Args&&... __args)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::try_emplace(__hint.base(), __k, return { _Base::try_emplace(__hint.base(), __k,
std::forward<_Args>(__args)...), std::forward<_Args>(__args)...),
this); this };
} }
template <typename... _Args> template <typename... _Args>
iterator iterator
try_emplace(const_iterator __hint, key_type&& __k, _Args&&... __args) try_emplace(const_iterator __hint, key_type&& __k, _Args&&... __args)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::try_emplace(__hint.base(), std::move(__k), return { _Base::try_emplace(__hint.base(), std::move(__k),
std::forward<_Args>(__args)...), std::forward<_Args>(__args)...),
this); this };
} }
template <typename _Obj> template <typename _Obj>
pair<iterator, bool> pair<iterator, bool>
insert_or_assign(const key_type& __k, _Obj&& __obj) insert_or_assign(const key_type& __k, _Obj&& __obj)
{ {
auto __res = _Base::insert_or_assign(__k, auto __res = _Base::insert_or_assign(__k,
std::forward<_Obj>(__obj)); std::forward<_Obj>(__obj));
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
template <typename _Obj> template <typename _Obj>
pair<iterator, bool> pair<iterator, bool>
insert_or_assign(key_type&& __k, _Obj&& __obj) insert_or_assign(key_type&& __k, _Obj&& __obj)
{ {
auto __res = _Base::insert_or_assign(std::move(__k), auto __res = _Base::insert_or_assign(std::move(__k),
std::forward<_Obj>(__obj)); std::forward<_Obj>(__obj));
return { iterator(__res.first, this), __res.second }; return { { __res.first, this }, __res.second };
} }
template <typename _Obj> template <typename _Obj>
iterator iterator
insert_or_assign(const_iterator __hint, const key_type& __k, insert_or_assign(const_iterator __hint, const key_type& __k,
_Obj&& __obj) _Obj&& __obj)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert_or_assign(__hint.base(), __k, return { _Base::insert_or_assign(__hint.base(), __k,
std::forward<_Obj>(__obj)), std::forward<_Obj>(__obj)),
this); this };
} }
template <typename _Obj> template <typename _Obj>
iterator iterator
insert_or_assign(const_iterator __hint, key_type&& __k, _Obj&& __obj) insert_or_assign(const_iterator __hint, key_type&& __k, _Obj&& __obj)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert_or_assign(__hint.base(), return { _Base::insert_or_assign(__hint.base(), std::move(__k),
std::move(__k), std::forward<_Obj>(__obj)),
std::forward<_Obj>(__obj)), this };
this);
} }
#endif // C++17 #endif // C++17
@ -506,23 +502,15 @@ namespace __debug
extract(const_iterator __position) extract(const_iterator __position)
{ {
__glibcxx_check_erase(__position); __glibcxx_check_erase(__position);
_Base_const_iterator __victim = __position.base(); return _M_extract(__position.base());
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._M_curr() == __victim._M_cur;
});
return _Base::extract(__position.base());
} }
node_type node_type
extract(const key_type& __key) extract(const key_type& __key)
{ {
const auto __position = find(__key); const auto __position = _Base::find(__key);
if (__position != end()) if (__position != _Base::end())
return extract(__position); return _M_extract(__position);
return {}; return {};
} }
@ -530,15 +518,15 @@ namespace __debug
insert(node_type&& __nh) insert(node_type&& __nh)
{ {
auto __ret = _Base::insert(std::move(__nh)); auto __ret = _Base::insert(std::move(__nh));
iterator __pos = iterator(__ret.position, this); return
return { __pos, __ret.inserted, std::move(__ret.node) }; { { __ret.position, this }, __ret.inserted, std::move(__ret.node) };
} }
iterator iterator
insert(const_iterator __hint, node_type&& __nh) insert(const_iterator __hint, node_type&& __nh)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert(__hint.base(), std::move(__nh)), this); return { _Base::insert(__hint.base(), std::move(__nh)), this };
} }
using _Base::merge; using _Base::merge;
@ -546,45 +534,34 @@ namespace __debug
iterator iterator
find(const key_type& __key) find(const key_type& __key)
{ return iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
const_iterator const_iterator
find(const key_type& __key) const find(const key_type& __key) const
{ return const_iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
std::pair<iterator, iterator> std::pair<iterator, iterator>
equal_range(const key_type& __key) equal_range(const key_type& __key)
{ {
std::pair<_Base_iterator, _Base_iterator> __res = auto __res = _Base::equal_range(__key);
_Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(iterator(__res.first, this),
iterator(__res.second, this));
} }
std::pair<const_iterator, const_iterator> std::pair<const_iterator, const_iterator>
equal_range(const key_type& __key) const equal_range(const key_type& __key) const
{ {
std::pair<_Base_const_iterator, _Base_const_iterator> __res = auto __res = _Base::equal_range(__key);
_Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(const_iterator(__res.first, this),
const_iterator(__res.second, this));
} }
size_type size_type
erase(const key_type& __key) erase(const key_type& __key)
{ {
size_type __ret(0); size_type __ret(0);
_Base_iterator __victim(_Base::find(__key)); auto __victim = _Base::find(__key);
if (__victim != _Base::end()) if (__victim != _Base::end())
{ {
this->_M_invalidate_if([__victim](_Base_const_iterator __it) _M_erase(__victim);
{ return __it == __victim; });
this->_M_invalidate_local_if(
[__victim](_Base_const_local_iterator __it)
{ return __it._M_curr() == __victim._M_cur; });
size_type __bucket_count = this->bucket_count();
_Base::erase(__victim);
_M_check_rehashed(__bucket_count);
__ret = 1; __ret = 1;
} }
return __ret; return __ret;
@ -594,43 +571,33 @@ namespace __debug
erase(const_iterator __it) erase(const_iterator __it)
{ {
__glibcxx_check_erase(__it); __glibcxx_check_erase(__it);
_Base_const_iterator __victim = __it.base(); return { _M_erase(__it.base()), this };
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._M_curr() == __victim._M_cur; });
size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__it.base());
_M_check_rehashed(__bucket_count);
return iterator(__next, this);
} }
iterator iterator
erase(iterator __it) erase(iterator __it)
{ return erase(const_iterator(__it)); } {
__glibcxx_check_erase(__it);
return { _M_erase(__it.base()), this };
}
iterator iterator
erase(const_iterator __first, const_iterator __last) erase(const_iterator __first, const_iterator __last)
{ {
__glibcxx_check_erase_range(__first, __last); __glibcxx_check_erase_range(__first, __last);
for (_Base_const_iterator __tmp = __first.base(); for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
__tmp != __last.base(); ++__tmp)
{ {
_GLIBCXX_DEBUG_VERIFY(__tmp != _Base::end(), _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
_M_message(__gnu_debug::__msg_valid_range) _M_message(__gnu_debug::__msg_valid_range)
._M_iterator(__first, "first") ._M_iterator(__first, "first")
._M_iterator(__last, "last")); ._M_iterator(__last, "last"));
this->_M_invalidate_if([__tmp](_Base_const_iterator __it) _M_invalidate(__tmp);
{ return __it == __tmp; });
this->_M_invalidate_local_if(
[__tmp](_Base_const_local_iterator __it)
{ return __it._M_curr() == __tmp._M_cur; });
} }
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__first.base(), __last.base()); auto __next = _Base::erase(__first.base(), __last.base());
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__next, this); return { __next, this };
} }
_Base& _Base&
@ -646,6 +613,35 @@ namespace __debug
if (__prev_count != this->bucket_count()) if (__prev_count != this->bucket_count())
this->_M_invalidate_locals(); this->_M_invalidate_locals();
} }
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._M_curr() == __victim._M_cur; });
}
_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 #if __cpp_deduction_guides >= 201606
@ -905,69 +901,69 @@ namespace __debug
iterator iterator
begin() noexcept begin() noexcept
{ return iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
const_iterator const_iterator
begin() const noexcept begin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
iterator iterator
end() noexcept end() noexcept
{ return iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
end() const noexcept end() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
cbegin() const noexcept cbegin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::cbegin(), this }; }
const_iterator const_iterator
cend() const noexcept cend() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::cend(), this }; }
// local versions // local versions
local_iterator local_iterator
begin(size_type __b) begin(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
local_iterator local_iterator
end(size_type __b) end(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
begin(size_type __b) const begin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
const_local_iterator const_local_iterator
end(size_type __b) const end(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
cbegin(size_type __b) const cbegin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cbegin(__b), this); return { _Base::cbegin(__b), this };
} }
const_local_iterator const_local_iterator
cend(size_type __b) const cend(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cend(__b), this); return { _Base::cend(__b), this };
} }
size_type size_type
@ -993,10 +989,9 @@ namespace __debug
emplace(_Args&&... __args) emplace(_Args&&... __args)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it auto __it = _Base::emplace(std::forward<_Args>(__args)...);
= _Base::emplace(std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
template<typename... _Args> template<typename... _Args>
@ -1005,19 +1000,19 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::emplace_hint(__hint.base(), auto __it = _Base::emplace_hint(__hint.base(),
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
iterator iterator
insert(const value_type& __obj) insert(const value_type& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__obj); auto __it = _Base::insert(__obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
// _GLIBCXX_RESOLVE_LIB_DEFECTS // _GLIBCXX_RESOLVE_LIB_DEFECTS
@ -1036,9 +1031,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), __obj); auto __it = _Base::insert(__hint.base(), __obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
// _GLIBCXX_RESOLVE_LIB_DEFECTS // _GLIBCXX_RESOLVE_LIB_DEFECTS
@ -1050,7 +1045,7 @@ namespace __debug
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
auto __it = _Base::insert(__hint.base(), std::move(__x)); auto __it = _Base::insert(__hint.base(), std::move(__x));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
template<typename _Pair, typename = typename template<typename _Pair, typename = typename
@ -1060,9 +1055,9 @@ namespace __debug
insert(_Pair&& __obj) insert(_Pair&& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(std::forward<_Pair>(__obj)); auto __it = _Base::insert(std::forward<_Pair>(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
template<typename _Pair, typename = typename template<typename _Pair, typename = typename
@ -1073,10 +1068,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = auto __it = _Base::insert(__hint.base(), std::forward<_Pair>(__obj));
_Base::insert(__hint.base(), std::forward<_Pair>(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
void void
@ -1107,35 +1101,27 @@ namespace __debug
extract(const_iterator __position) extract(const_iterator __position)
{ {
__glibcxx_check_erase(__position); __glibcxx_check_erase(__position);
_Base_const_iterator __victim = __position.base(); return _M_extract(__position.base());
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._M_curr() == __victim._M_cur;
});
return _Base::extract(__position.base());
} }
node_type node_type
extract(const key_type& __key) extract(const key_type& __key)
{ {
const auto __position = find(__key); const auto __position = _Base::find(__key);
if (__position != end()) if (__position != _Base::end())
return extract(__position); return _M_extract(__position);
return {}; return {};
} }
iterator iterator
insert(node_type&& __nh) insert(node_type&& __nh)
{ return iterator(_Base::insert(std::move(__nh)), this); } { return { _Base::insert(std::move(__nh)), this }; }
iterator iterator
insert(const_iterator __hint, node_type&& __nh) insert(const_iterator __hint, node_type&& __nh)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert(__hint.base(), std::move(__nh)), this); return { _Base::insert(__hint.base(), std::move(__nh)), this };
} }
using _Base::merge; using _Base::merge;
@ -1143,28 +1129,24 @@ namespace __debug
iterator iterator
find(const key_type& __key) find(const key_type& __key)
{ return iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
const_iterator const_iterator
find(const key_type& __key) const find(const key_type& __key) const
{ return const_iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
std::pair<iterator, iterator> std::pair<iterator, iterator>
equal_range(const key_type& __key) equal_range(const key_type& __key)
{ {
std::pair<_Base_iterator, _Base_iterator> __res = auto __res = _Base::equal_range(__key);
_Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(iterator(__res.first, this),
iterator(__res.second, this));
} }
std::pair<const_iterator, const_iterator> std::pair<const_iterator, const_iterator>
equal_range(const key_type& __key) const equal_range(const key_type& __key) const
{ {
std::pair<_Base_const_iterator, _Base_const_iterator> __res = auto __res = _Base::equal_range(__key);
_Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(const_iterator(__res.first, this),
const_iterator(__res.second, this));
} }
size_type size_type
@ -1172,18 +1154,14 @@ namespace __debug
{ {
size_type __ret(0); size_type __ret(0);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, _Base_iterator> __pair = auto __pair = _Base::equal_range(__key);
_Base::equal_range(__key); for (auto __victim = __pair.first; __victim != __pair.second;)
for (_Base_iterator __victim = __pair.first; __victim != __pair.second;)
{ {
this->_M_invalidate_if([__victim](_Base_const_iterator __it) _M_invalidate(__victim);
{ return __it == __victim; }); __victim = _Base::erase(__victim);
this->_M_invalidate_local_if(
[__victim](_Base_const_local_iterator __it)
{ return __it._M_curr() == __victim._M_cur; });
_Base::erase(__victim++);
++__ret; ++__ret;
} }
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return __ret; return __ret;
} }
@ -1192,43 +1170,33 @@ namespace __debug
erase(const_iterator __it) erase(const_iterator __it)
{ {
__glibcxx_check_erase(__it); __glibcxx_check_erase(__it);
_Base_const_iterator __victim = __it.base(); return { _M_erase(__it.base()), this };
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._M_curr() == __victim._M_cur; });
size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__it.base());
_M_check_rehashed(__bucket_count);
return iterator(__next, this);
} }
iterator iterator
erase(iterator __it) erase(iterator __it)
{ return erase(const_iterator(__it)); } {
__glibcxx_check_erase(__it);
return { _M_erase(__it.base()), this };
}
iterator iterator
erase(const_iterator __first, const_iterator __last) erase(const_iterator __first, const_iterator __last)
{ {
__glibcxx_check_erase_range(__first, __last); __glibcxx_check_erase_range(__first, __last);
for (_Base_const_iterator __tmp = __first.base(); for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
__tmp != __last.base(); ++__tmp)
{ {
_GLIBCXX_DEBUG_VERIFY(__tmp != _Base::end(), _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
_M_message(__gnu_debug::__msg_valid_range) _M_message(__gnu_debug::__msg_valid_range)
._M_iterator(__first, "first") ._M_iterator(__first, "first")
._M_iterator(__last, "last")); ._M_iterator(__last, "last"));
this->_M_invalidate_if([__tmp](_Base_const_iterator __it) _M_invalidate(__tmp);
{ return __it == __tmp; });
this->_M_invalidate_local_if(
[__tmp](_Base_const_local_iterator __it)
{ return __it._M_curr() == __tmp._M_cur; });
} }
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__first.base(), __last.base()); auto __next = _Base::erase(__first.base(), __last.base());
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__next, this); return { __next, this };
} }
_Base& _Base&
@ -1244,6 +1212,35 @@ namespace __debug
if (__prev_count != this->bucket_count()) if (__prev_count != this->bucket_count())
this->_M_invalidate_locals(); this->_M_invalidate_locals();
} }
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._M_curr() == __victim._M_cur; });
}
_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 #if __cpp_deduction_guides >= 201606

326
libstdc++-v3/include/debug/unordered_set
View File

@ -211,69 +211,69 @@ namespace __debug
iterator iterator
begin() noexcept begin() noexcept
{ return iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
const_iterator const_iterator
begin() const noexcept begin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
iterator iterator
end() noexcept end() noexcept
{ return iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
end() const noexcept end() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
cbegin() const noexcept cbegin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::cbegin(), this }; }
const_iterator const_iterator
cend() const noexcept cend() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::cend(), this }; }
// local versions // local versions
local_iterator local_iterator
begin(size_type __b) begin(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
local_iterator local_iterator
end(size_type __b) end(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
begin(size_type __b) const begin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
const_local_iterator const_local_iterator
end(size_type __b) const end(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
cbegin(size_type __b) const cbegin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cbegin(__b), this); return { _Base::cbegin(__b), this };
} }
const_local_iterator const_local_iterator
cend(size_type __b) const cend(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cend(__b), this); return { _Base::cend(__b), this };
} }
size_type size_type
@ -299,10 +299,9 @@ namespace __debug
emplace(_Args&&... __args) emplace(_Args&&... __args)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, bool> __res auto __res = _Base::emplace(std::forward<_Args>(__args)...);
= _Base::emplace(std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return std::make_pair(iterator(__res.first, this), __res.second); return { { __res.first, this }, __res.second };
} }
template<typename... _Args> template<typename... _Args>
@ -311,20 +310,19 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::emplace_hint(__hint.base(), auto __it = _Base::emplace_hint(__hint.base(),
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
std::pair<iterator, bool> std::pair<iterator, bool>
insert(const value_type& __obj) insert(const value_type& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, bool> __res auto __res = _Base::insert(__obj);
= _Base::insert(__obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return std::make_pair(iterator(__res.first, this), __res.second); return { { __res.first, this }, __res.second };
} }
iterator iterator
@ -332,19 +330,18 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), __obj); auto __it = _Base::insert(__hint.base(), __obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
std::pair<iterator, bool> std::pair<iterator, bool>
insert(value_type&& __obj) insert(value_type&& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
std::pair<_Base_iterator, bool> __res auto __res = _Base::insert(std::move(__obj));
= _Base::insert(std::move(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return std::make_pair(iterator(__res.first, this), __res.second); return { { __res.first, this }, __res.second };
} }
iterator iterator
@ -352,9 +349,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), std::move(__obj)); auto __it = _Base::insert(__hint.base(), std::move(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
void void
@ -390,23 +387,15 @@ namespace __debug
extract(const_iterator __position) extract(const_iterator __position)
{ {
__glibcxx_check_erase(__position); __glibcxx_check_erase(__position);
_Base_const_iterator __victim = __position.base(); return _M_extract(__position.base());
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._M_curr() == __victim._M_cur;
});
return _Base::extract(__position.base());
} }
node_type node_type
extract(const key_type& __key) extract(const key_type& __key)
{ {
const auto __position = find(__key); const auto __position = _Base::find(__key);
if (__position != end()) if (__position != _Base::end())
return extract(__position); return _M_extract(__position);
return {}; return {};
} }
@ -414,15 +403,15 @@ namespace __debug
insert(node_type&& __nh) insert(node_type&& __nh)
{ {
auto __ret = _Base::insert(std::move(__nh)); auto __ret = _Base::insert(std::move(__nh));
iterator __pos = iterator(__ret.position, this); return
return { __pos, __ret.inserted, std::move(__ret.node) }; { { __ret.position, this }, __ret.inserted, std::move(__ret.node) };
} }
iterator iterator
insert(const_iterator __hint, node_type&& __nh) insert(const_iterator __hint, node_type&& __nh)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert(__hint.base(), std::move(__nh)), this); return { _Base::insert(__hint.base(), std::move(__nh)), this };
} }
using _Base::merge; using _Base::merge;
@ -430,46 +419,34 @@ namespace __debug
iterator iterator
find(const key_type& __key) find(const key_type& __key)
{ return iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
const_iterator const_iterator
find(const key_type& __key) const find(const key_type& __key) const
{ return const_iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
std::pair<iterator, iterator> std::pair<iterator, iterator>
equal_range(const key_type& __key) equal_range(const key_type& __key)
{ {
std::pair<_Base_iterator, _Base_iterator> __res auto __res = _Base::equal_range(__key);
= _Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(iterator(__res.first, this),
iterator(__res.second, this));
} }
std::pair<const_iterator, const_iterator> std::pair<const_iterator, const_iterator>
equal_range(const key_type& __key) const equal_range(const key_type& __key) const
{ {
std::pair<_Base_const_iterator, _Base_const_iterator> auto __res = _Base::equal_range(__key);
__res = _Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(const_iterator(__res.first, this),
const_iterator(__res.second, this));
} }
size_type size_type
erase(const key_type& __key) erase(const key_type& __key)
{ {
size_type __ret(0); size_type __ret(0);
_Base_iterator __victim(_Base::find(__key)); auto __victim = _Base::find(__key);
if (__victim != _Base::end()) if (__victim != _Base::end())
{ {
this->_M_invalidate_if( _M_erase(__victim);
[__victim](_Base_const_iterator __it)
{ return __it == __victim; });
this->_M_invalidate_local_if(
[__victim](_Base_const_local_iterator __it)
{ return __it._M_curr() == __victim._M_cur; });
size_type __bucket_count = this->bucket_count();
_Base::erase(__victim);
_M_check_rehashed(__bucket_count);
__ret = 1; __ret = 1;
} }
return __ret; return __ret;
@ -479,46 +456,33 @@ namespace __debug
erase(const_iterator __it) erase(const_iterator __it)
{ {
__glibcxx_check_erase(__it); __glibcxx_check_erase(__it);
_Base_const_iterator __victim = __it.base(); return { _M_erase(__it.base()), this };
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._M_curr() == __victim._M_cur; });
size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__it.base());
_M_check_rehashed(__bucket_count);
return iterator(__next, this);
} }
iterator iterator
erase(iterator __it) erase(iterator __it)
{ return erase(const_iterator(__it)); } {
__glibcxx_check_erase(__it);
return { _M_erase(__it.base()), this };
}
iterator iterator
erase(const_iterator __first, const_iterator __last) erase(const_iterator __first, const_iterator __last)
{ {
__glibcxx_check_erase_range(__first, __last); __glibcxx_check_erase_range(__first, __last);
for (_Base_const_iterator __tmp = __first.base(); for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
__tmp != __last.base(); ++__tmp)
{ {
_GLIBCXX_DEBUG_VERIFY(__tmp != _Base::end(), _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
_M_message(__gnu_debug::__msg_valid_range) _M_message(__gnu_debug::__msg_valid_range)
._M_iterator(__first, "first") ._M_iterator(__first, "first")
._M_iterator(__last, "last")); ._M_iterator(__last, "last"));
this->_M_invalidate_if( _M_invalidate(__tmp);
[__tmp](_Base_const_iterator __it)
{ return __it == __tmp; });
this->_M_invalidate_local_if(
[__tmp](_Base_const_local_iterator __it)
{ return __it._M_curr() == __tmp._M_cur; });
} }
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __next = _Base::erase(__first.base(), auto __next = _Base::erase(__first.base(), __last.base());
__last.base());
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__next, this); return { __next, this };
} }
_Base& _Base&
@ -534,6 +498,35 @@ namespace __debug
if (__prev_count != this->bucket_count()) if (__prev_count != this->bucket_count())
this->_M_invalidate_locals(); this->_M_invalidate_locals();
} }
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._M_curr() == __victim._M_cur; });
}
_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 #if __cpp_deduction_guides >= 201606
@ -779,69 +772,69 @@ namespace __debug
iterator iterator
begin() noexcept begin() noexcept
{ return iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
const_iterator const_iterator
begin() const noexcept begin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::begin(), this }; }
iterator iterator
end() noexcept end() noexcept
{ return iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
end() const noexcept end() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::end(), this }; }
const_iterator const_iterator
cbegin() const noexcept cbegin() const noexcept
{ return const_iterator(_Base::begin(), this); } { return { _Base::cbegin(), this }; }
const_iterator const_iterator
cend() const noexcept cend() const noexcept
{ return const_iterator(_Base::end(), this); } { return { _Base::cend(), this }; }
// local versions // local versions
local_iterator local_iterator
begin(size_type __b) begin(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
local_iterator local_iterator
end(size_type __b) end(size_type __b)
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
begin(size_type __b) const begin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::begin(__b), this); return { _Base::begin(__b), this };
} }
const_local_iterator const_local_iterator
end(size_type __b) const end(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::end(__b), this); return { _Base::end(__b), this };
} }
const_local_iterator const_local_iterator
cbegin(size_type __b) const cbegin(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cbegin(__b), this); return { _Base::cbegin(__b), this };
} }
const_local_iterator const_local_iterator
cend(size_type __b) const cend(size_type __b) const
{ {
__glibcxx_check_bucket_index(__b); __glibcxx_check_bucket_index(__b);
return const_local_iterator(_Base::cend(__b), this); return { _Base::cend(__b), this };
} }
size_type size_type
@ -867,10 +860,9 @@ namespace __debug
emplace(_Args&&... __args) emplace(_Args&&... __args)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it auto __it = _Base::emplace(std::forward<_Args>(__args)...);
= _Base::emplace(std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
template<typename... _Args> template<typename... _Args>
@ -879,19 +871,19 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::emplace_hint(__hint.base(), auto __it = _Base::emplace_hint(__hint.base(),
std::forward<_Args>(__args)...); std::forward<_Args>(__args)...);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
iterator iterator
insert(const value_type& __obj) insert(const value_type& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__obj); auto __it = _Base::insert(__obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
iterator iterator
@ -899,18 +891,18 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), __obj); auto __it = _Base::insert(__hint.base(), __obj);
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
iterator iterator
insert(value_type&& __obj) insert(value_type&& __obj)
{ {
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(std::move(__obj)); auto __it = _Base::insert(std::move(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
iterator iterator
@ -918,9 +910,9 @@ namespace __debug
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
size_type __bucket_count = this->bucket_count(); size_type __bucket_count = this->bucket_count();
_Base_iterator __it = _Base::insert(__hint.base(), std::move(__obj)); auto __it = _Base::insert(__hint.base(), std::move(__obj));
_M_check_rehashed(__bucket_count); _M_check_rehashed(__bucket_count);
return iterator(__it, this); return { __it, this };
} }
void void
@ -955,35 +947,27 @@ namespace __debug
extract(const_iterator __position) extract(const_iterator __position)
{ {
__glibcxx_check_erase(__position); __glibcxx_check_erase(__position);
_Base_const_iterator __victim = __position.base(); return _M_extract(__position.base());
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._M_curr() == __victim._M_cur;
});
return _Base::extract(__position.base());
} }
node_type node_type
extract(const key_type& __key) extract(const key_type& __key)
{ {
const auto __position = find(__key); const auto __position = _Base::find(__key);
if (__position != end()) if (__position != _Base::end())
return extract(__position); return _M_extract(__position);
return {}; return {};
} }
iterator iterator
insert(node_type&& __nh) insert(node_type&& __nh)
{ return iterator(_Base::insert(std::move(__nh)), this); } { return { _Base::insert(std::move(__nh)), this }; }
iterator iterator
insert(const_iterator __hint, node_type&& __nh) insert(const_iterator __hint, node_type&& __nh)
{ {
__glibcxx_check_insert(__hint); __glibcxx_check_insert(__hint);
return iterator(_Base::insert(__hint.base(), std::move(__nh)), this); return { _Base::insert(__hint.base(), std::move(__nh)), this };
} }
using _Base::merge; using _Base::merge;
@ -991,46 +975,38 @@ namespace __debug
iterator iterator
find(const key_type& __key) find(const key_type& __key)
{ return iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
const_iterator const_iterator
find(const key_type& __key) const find(const key_type& __key) const
{ return const_iterator(_Base::find(__key), this); } { return { _Base::find(__key), this }; }
std::pair<iterator, iterator> std::pair<iterator, iterator>
equal_range(const key_type& __key) equal_range(const key_type& __key)
{ {
std::pair<_Base_iterator, _Base_iterator> __res auto __res = _Base::equal_range(__key);
= _Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(iterator(__res.first, this),
iterator(__res.second, this));
} }
std::pair<const_iterator, const_iterator> std::pair<const_iterator, const_iterator>
equal_range(const key_type& __key) const equal_range(const key_type& __key) const
{ {
std::pair<_Base_const_iterator, _Base_const_iterator> auto __res = _Base::equal_range(__key);
__res = _Base::equal_range(__key); return { { __res.first, this }, { __res.second, this } };
return std::make_pair(const_iterator(__res.first, this),
const_iterator(__res.second, this));
} }
size_type size_type
erase(const key_type& __key) erase(const key_type& __key)
{ {
size_type __ret(0); size_type __ret(0);
std::pair<_Base_iterator, _Base_iterator> __pair = auto __pair = _Base::equal_range(__key);
_Base::equal_range(__key); for (auto __victim = __pair.first; __victim != __pair.second;)
for (_Base_iterator __victim = __pair.first; __victim != __pair.second;)
{ {
this->_M_invalidate_if([__victim](_Base_const_iterator __it) _M_invalidate(__victim);
{ return __it == __victim; }); __victim = _Base::erase(__victim);
this->_M_invalidate_local_if(
[__victim](_Base_const_local_iterator __it)
{ return __it._M_curr() == __victim._M_cur; });
_Base::erase(__victim++);
++__ret; ++__ret;
} }
return __ret; return __ret;
} }
@ -1038,38 +1014,29 @@ namespace __debug
erase(const_iterator __it) erase(const_iterator __it)
{ {
__glibcxx_check_erase(__it); __glibcxx_check_erase(__it);
_Base_const_iterator __victim = __it.base(); return { _M_erase(__it.base()), this };
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._M_curr() == __victim._M_cur; });
return iterator(_Base::erase(__it.base()), this);
} }
iterator iterator
erase(iterator __it) erase(iterator __it)
{ return erase(const_iterator(__it)); } {
__glibcxx_check_erase(__it);
return { _M_erase(__it.base()), this };
}
iterator iterator
erase(const_iterator __first, const_iterator __last) erase(const_iterator __first, const_iterator __last)
{ {
__glibcxx_check_erase_range(__first, __last); __glibcxx_check_erase_range(__first, __last);
for (_Base_const_iterator __tmp = __first.base(); for (auto __tmp = __first.base(); __tmp != __last.base(); ++__tmp)
__tmp != __last.base(); ++__tmp)
{ {
_GLIBCXX_DEBUG_VERIFY(__tmp != _Base::end(), _GLIBCXX_DEBUG_VERIFY(__tmp != _Base::cend(),
_M_message(__gnu_debug::__msg_valid_range) _M_message(__gnu_debug::__msg_valid_range)
._M_iterator(__first, "first") ._M_iterator(__first, "first")
._M_iterator(__last, "last")); ._M_iterator(__last, "last"));
this->_M_invalidate_if([__tmp](_Base_const_iterator __it) _M_invalidate(__tmp);
{ return __it == __tmp; });
this->_M_invalidate_local_if(
[__tmp](_Base_const_local_iterator __it)
{ return __it._M_curr() == __tmp._M_cur; });
} }
return iterator(_Base::erase(__first.base(), return { _Base::erase(__first.base(), __last.base()), this };
__last.base()), this);
} }
_Base& _Base&
@ -1085,6 +1052,35 @@ namespace __debug
if (__prev_count != this->bucket_count()) if (__prev_count != this->bucket_count())
this->_M_invalidate_locals(); this->_M_invalidate_locals();
} }
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._M_curr() == __victim._M_cur; });
}
_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 #if __cpp_deduction_guides >= 201606
@ -1103,7 +1099,7 @@ namespace __debug
_Hash = _Hash(), _Pred = _Pred(), _Hash = _Hash(), _Pred = _Pred(),
_Allocator = _Allocator()) _Allocator = _Allocator())
-> unordered_multiset<typename iterator_traits<_InputIterator>::value_type, -> unordered_multiset<typename iterator_traits<_InputIterator>::value_type,
_Hash, _Pred, _Allocator>; _Hash, _Pred, _Allocator>;
template<typename _Tp, typename _Hash = hash<_Tp>, template<typename _Tp, typename _Hash = hash<_Tp>,
typename _Pred = equal_to<_Tp>, typename _Pred = equal_to<_Tp>,