70 using allocator_type = __alloc_rebind<_NodeAlloc, _Val>;
73 get_allocator()
const noexcept
75 __glibcxx_assert(!this->empty());
76 return allocator_type(_M_alloc._M_alloc);
79 explicit operator bool()
const noexcept {
return _M_ptr !=
nullptr; }
81 [[nodiscard]]
bool empty()
const noexcept {
return _M_ptr ==
nullptr; }
108 else if (__nh.empty())
113 _AllocTraits::destroy(*_M_alloc, _M_ptr->_M_valptr());
114 _AllocTraits::deallocate(*_M_alloc, _M_ptr, 1);
116 _M_alloc = __nh._M_alloc.release();
117 _M_ptr = __nh._M_ptr;
118 __nh._M_ptr =
nullptr;
124 const _NodeAlloc& __alloc)
125 : _M_ptr(__ptr), _M_alloc(__alloc)
127 __glibcxx_assert(__ptr !=
nullptr);
138 else if (__nh.empty())
143 swap(_M_ptr, __nh._M_ptr);
144 _M_alloc.swap(__nh._M_alloc);
156 _M_ptr = __nh._M_ptr;
157 __nh._M_ptr =
nullptr;
166 _NodeAlloc __alloc = _M_alloc.release();
167 _AllocTraits::destroy(__alloc, _M_ptr->_M_valptr());
168 _AllocTraits::deallocate(__alloc, _M_ptr, 1);
173 typename _AllocTraits::pointer _M_ptr;
178 union _Optional_alloc
180 _Optional_alloc() { }
181 ~_Optional_alloc() { }
183 _Optional_alloc(_Optional_alloc&&) =
delete;
184 _Optional_alloc& operator=(_Optional_alloc&&) =
delete;
186 _Optional_alloc(
const _NodeAlloc& __alloc) noexcept
192 operator=(_NodeAlloc&& __alloc)
noexcept
194 using _ATr = _AllocTraits;
195 if constexpr (_ATr::propagate_on_container_move_assignment::value)
197 else if constexpr (!_AllocTraits::is_always_equal::value)
198 __glibcxx_assert(_M_alloc == __alloc);
203 swap(_Optional_alloc& __other)
noexcept
206 if constexpr (_AllocTraits::propagate_on_container_swap::value)
207 swap(_M_alloc, __other._M_alloc);
208 else if constexpr (!_AllocTraits::is_always_equal::value)
209 __glibcxx_assert(_M_alloc == __other._M_alloc);
213 _NodeAlloc&
operator*()
noexcept {
return _M_alloc; }
216 _NodeAlloc release()
noexcept
219 _M_alloc.~_NodeAlloc();
225 [[__no_unique_address__]] _Empty _M_empty;
226 [[__no_unique_address__]] _NodeAlloc _M_alloc;
229 [[__no_unique_address__]] _Optional_alloc _M_alloc;
231 template<
typename _Key2,
typename _Value2,
typename _KeyOfValue,
232 typename _Compare,
typename _ValueAlloc>
233 friend class _Rb_tree;
250 using key_type = _Key;
251 using mapped_type =
typename _Value::second_type;
256 __glibcxx_assert(!this->empty());
261 mapped()
const noexcept
263 __glibcxx_assert(!this->empty());
272 swap(_M_pkey, __nh._M_pkey);
273 swap(_M_pmapped, __nh._M_pmapped);
278 noexcept(
noexcept(__x.swap(__y)))
285 const _NodeAlloc& __alloc)
290 auto& __key =
const_cast<_Key&
>(__ptr->_M_valptr()->first);
291 _M_pkey = _S_pointer_to(__key);
292 _M_pmapped = _S_pointer_to(__ptr->_M_valptr()->second);
297 _M_pmapped =
nullptr;
301 template<
typename _Tp>
306 __pointer<_Key> _M_pkey =
nullptr;
307 __pointer<typename _Value::second_type> _M_pmapped =
nullptr;
309 template<
typename _Tp>
311 _S_pointer_to(_Tp& __obj)
315 _M_key()
const noexcept {
return key(); }
317 template<
typename _Key2,
typename _Value2,
typename _KeyOfValue,
318 typename _Compare,
typename _ValueAlloc>
319 friend class _Rb_tree;
321 template<
typename _Key2,
typename _Value2,
typename _ValueAlloc,
322 typename _ExtractKey,
typename _Equal,
323 typename _Hash,
typename _RangeHash,
typename _Unused,
324 typename _RehashPolicy,
typename _Traits>
325 friend class _Hashtable;