libstdc++
map.h
Go to the documentation of this file.
1 // Debugging map implementation -*- C++ -*-
2 
3 // Copyright (C) 2003-2021 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
10 
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
15 
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
19 
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
24 
25 /** @file debug/map.h
26  * This file is a GNU debug extension to the Standard C++ Library.
27  */
28 
29 #ifndef _GLIBCXX_DEBUG_MAP_H
30 #define _GLIBCXX_DEBUG_MAP_H 1
31 
32 #include <debug/safe_sequence.h>
33 #include <debug/safe_container.h>
34 #include <debug/safe_iterator.h>
35 #include <utility>
36 
37 namespace std _GLIBCXX_VISIBILITY(default)
38 {
39 namespace __debug
40 {
41  /// Class std::map with safety/checking/debug instrumentation.
42  template<typename _Key, typename _Tp, typename _Compare = std::less<_Key>,
43  typename _Allocator = std::allocator<std::pair<const _Key, _Tp> > >
44  class map
46  map<_Key, _Tp, _Compare, _Allocator>, _Allocator,
47  __gnu_debug::_Safe_node_sequence>,
48  public _GLIBCXX_STD_C::map<_Key, _Tp, _Compare, _Allocator>
49  {
50  typedef _GLIBCXX_STD_C::map<
51  _Key, _Tp, _Compare, _Allocator> _Base;
54 
56  typedef typename _Base::iterator _Base_iterator;
58 
59  template<typename _ItT, typename _SeqT, typename _CatT>
60  friend class ::__gnu_debug::_Safe_iterator;
61 
62  // Reference wrapper for base class. Disambiguates map(const _Base&)
63  // from copy constructor by requiring a user-defined conversion.
64  // See PR libstdc++/90102.
65  struct _Base_ref
66  {
67  _Base_ref(const _Base& __r) : _M_ref(__r) { }
68 
69  const _Base& _M_ref;
70  };
71 
72  public:
73  // types:
74  typedef _Key key_type;
75  typedef _Tp mapped_type;
77  typedef _Compare key_compare;
78  typedef _Allocator allocator_type;
79  typedef typename _Base::reference reference;
80  typedef typename _Base::const_reference const_reference;
81 
83  iterator;
86 
87  typedef typename _Base::size_type size_type;
88  typedef typename _Base::difference_type difference_type;
89  typedef typename _Base::pointer pointer;
90  typedef typename _Base::const_pointer const_pointer;
93 
94  // 23.3.1.1 construct/copy/destroy:
95 
96 #if __cplusplus < 201103L
97  map() : _Base() { }
98 
99  map(const map& __x)
100  : _Base(__x) { }
101 
102  ~map() { }
103 #else
104  map() = default;
105  map(const map&) = default;
106  map(map&&) = default;
107 
109  const _Compare& __c = _Compare(),
110  const allocator_type& __a = allocator_type())
111  : _Base(__l, __c, __a) { }
112 
113  explicit
114  map(const allocator_type& __a)
115  : _Base(__a) { }
116 
117  map(const map& __m, const allocator_type& __a)
118  : _Base(__m, __a) { }
119 
120  map(map&& __m, const allocator_type& __a)
121  noexcept( noexcept(_Base(std::move(__m._M_base()), __a)) )
122  : _Safe(std::move(__m._M_safe()), __a),
123  _Base(std::move(__m._M_base()), __a) { }
124 
125  map(initializer_list<value_type> __l, const allocator_type& __a)
126  : _Base(__l, __a) { }
127 
128  template<typename _InputIterator>
129  map(_InputIterator __first, _InputIterator __last,
130  const allocator_type& __a)
132  __glibcxx_check_valid_constructor_range(__first, __last)),
133  __gnu_debug::__base(__last), __a)
134  { }
135 
136  ~map() = default;
137 #endif
138 
139  map(_Base_ref __x)
140  : _Base(__x._M_ref) { }
141 
142  explicit map(const _Compare& __comp,
143  const _Allocator& __a = _Allocator())
144  : _Base(__comp, __a) { }
145 
146  template<typename _InputIterator>
147  map(_InputIterator __first, _InputIterator __last,
148  const _Compare& __comp = _Compare(),
149  const _Allocator& __a = _Allocator())
151  __glibcxx_check_valid_constructor_range(__first, __last)),
152  __gnu_debug::__base(__last),
153  __comp, __a) { }
154 
155 #if __cplusplus < 201103L
156  map&
157  operator=(const map& __x)
158  {
159  this->_M_safe() = __x;
160  _M_base() = __x;
161  return *this;
162  }
163 #else
164  map&
165  operator=(const map&) = default;
166 
167  map&
168  operator=(map&&) = default;
169 
170  map&
171  operator=(initializer_list<value_type> __l)
172  {
173  _M_base() = __l;
174  this->_M_invalidate_all();
175  return *this;
176  }
177 #endif
178 
179  // _GLIBCXX_RESOLVE_LIB_DEFECTS
180  // 133. map missing get_allocator()
181  using _Base::get_allocator;
182 
183  // iterators:
184  iterator
185  begin() _GLIBCXX_NOEXCEPT
186  { return iterator(_Base::begin(), this); }
187 
189  begin() const _GLIBCXX_NOEXCEPT
190  { return const_iterator(_Base::begin(), this); }
191 
192  iterator
193  end() _GLIBCXX_NOEXCEPT
194  { return iterator(_Base::end(), this); }
195 
197  end() const _GLIBCXX_NOEXCEPT
198  { return const_iterator(_Base::end(), this); }
199 
201  rbegin() _GLIBCXX_NOEXCEPT
202  { return reverse_iterator(end()); }
203 
205  rbegin() const _GLIBCXX_NOEXCEPT
206  { return const_reverse_iterator(end()); }
207 
209  rend() _GLIBCXX_NOEXCEPT
210  { return reverse_iterator(begin()); }
211 
213  rend() const _GLIBCXX_NOEXCEPT
214  { return const_reverse_iterator(begin()); }
215 
216 #if __cplusplus >= 201103L
218  cbegin() const noexcept
219  { return const_iterator(_Base::begin(), this); }
220 
222  cend() const noexcept
223  { return const_iterator(_Base::end(), this); }
224 
226  crbegin() const noexcept
227  { return const_reverse_iterator(end()); }
228 
230  crend() const noexcept
231  { return const_reverse_iterator(begin()); }
232 #endif
233 
234  // capacity:
235  using _Base::empty;
236  using _Base::size;
237  using _Base::max_size;
238 
239  // 23.3.1.2 element access:
240  using _Base::operator[];
241 
242  // _GLIBCXX_RESOLVE_LIB_DEFECTS
243  // DR 464. Suggestion for new member functions in standard containers.
244  using _Base::at;
245 
246  // modifiers:
247 #if __cplusplus >= 201103L
248  template<typename... _Args>
250  emplace(_Args&&... __args)
251  {
252  auto __res = _Base::emplace(std::forward<_Args>(__args)...);
253  return { { __res.first, this }, __res.second };
254  }
255 
256  template<typename... _Args>
257  iterator
258  emplace_hint(const_iterator __pos, _Args&&... __args)
259  {
260  __glibcxx_check_insert(__pos);
261  return
262  {
263  _Base::emplace_hint(__pos.base(), std::forward<_Args>(__args)...),
264  this
265  };
266  }
267 #endif
268 
270  insert(const value_type& __x)
271  {
272  std::pair<_Base_iterator, bool> __res = _Base::insert(__x);
273  return std::pair<iterator, bool>(iterator(__res.first, this),
274  __res.second);
275  }
276 
277 #if __cplusplus >= 201103L
278  // _GLIBCXX_RESOLVE_LIB_DEFECTS
279  // 2354. Unnecessary copying when inserting into maps with braced-init
281  insert(value_type&& __x)
282  {
283  auto __res = _Base::insert(std::move(__x));
284  return { { __res.first, this }, __res.second };
285  }
286 
287  template<typename _Pair, typename = typename
289  _Pair&&>::value>::type>
291  insert(_Pair&& __x)
292  {
293  auto __res = _Base::insert(std::forward<_Pair>(__x));
294  return { { __res.first, this }, __res.second };
295  }
296 #endif
297 
298 #if __cplusplus >= 201103L
299  void
300  insert(std::initializer_list<value_type> __list)
301  { _Base::insert(__list); }
302 #endif
303 
304  iterator
305 #if __cplusplus >= 201103L
306  insert(const_iterator __position, const value_type& __x)
307 #else
308  insert(iterator __position, const value_type& __x)
309 #endif
310  {
311  __glibcxx_check_insert(__position);
312  return iterator(_Base::insert(__position.base(), __x), this);
313  }
314 
315 #if __cplusplus >= 201103L
316  // _GLIBCXX_RESOLVE_LIB_DEFECTS
317  // 2354. Unnecessary copying when inserting into maps with braced-init
318  iterator
319  insert(const_iterator __position, value_type&& __x)
320  {
321  __glibcxx_check_insert(__position);
322  return { _Base::insert(__position.base(), std::move(__x)), this };
323  }
324 
325  template<typename _Pair, typename = typename
327  _Pair&&>::value>::type>
328  iterator
329  insert(const_iterator __position, _Pair&& __x)
330  {
331  __glibcxx_check_insert(__position);
332  return
333  {
334  _Base::insert(__position.base(), std::forward<_Pair>(__x)),
335  this
336  };
337  }
338 #endif
339 
340  template<typename _InputIterator>
341  void
342  insert(_InputIterator __first, _InputIterator __last)
343  {
345  __glibcxx_check_valid_range2(__first, __last, __dist);
346 
347  if (__dist.second >= __gnu_debug::__dp_sign)
348  _Base::insert(__gnu_debug::__unsafe(__first),
349  __gnu_debug::__unsafe(__last));
350  else
351  _Base::insert(__first, __last);
352  }
353 
354 
355 #if __cplusplus > 201402L
356  template <typename... _Args>
358  try_emplace(const key_type& __k, _Args&&... __args)
359  {
360  auto __res = _Base::try_emplace(__k,
361  std::forward<_Args>(__args)...);
362  return { { __res.first, this }, __res.second };
363  }
364 
365  template <typename... _Args>
367  try_emplace(key_type&& __k, _Args&&... __args)
368  {
369  auto __res = _Base::try_emplace(std::move(__k),
370  std::forward<_Args>(__args)...);
371  return { { __res.first, this }, __res.second };
372  }
373 
374  template <typename... _Args>
375  iterator
376  try_emplace(const_iterator __hint, const key_type& __k,
377  _Args&&... __args)
378  {
379  __glibcxx_check_insert(__hint);
380  return
381  {
382  _Base::try_emplace(__hint.base(), __k,
383  std::forward<_Args>(__args)...),
384  this
385  };
386  }
387 
388  template <typename... _Args>
389  iterator
390  try_emplace(const_iterator __hint, key_type&& __k, _Args&&... __args)
391  {
392  __glibcxx_check_insert(__hint);
393  return
394  {
395  _Base::try_emplace(__hint.base(), std::move(__k),
396  std::forward<_Args>(__args)...),
397  this
398  };
399  }
400 
401  template <typename _Obj>
403  insert_or_assign(const key_type& __k, _Obj&& __obj)
404  {
405  auto __res = _Base::insert_or_assign(__k,
406  std::forward<_Obj>(__obj));
407  return { { __res.first, this }, __res.second };
408  }
409 
410  template <typename _Obj>
412  insert_or_assign(key_type&& __k, _Obj&& __obj)
413  {
414  auto __res = _Base::insert_or_assign(std::move(__k),
415  std::forward<_Obj>(__obj));
416  return { { __res.first, this }, __res.second };
417  }
418 
419  template <typename _Obj>
420  iterator
421  insert_or_assign(const_iterator __hint,
422  const key_type& __k, _Obj&& __obj)
423  {
424  __glibcxx_check_insert(__hint);
425  return
426  {
427  _Base::insert_or_assign(__hint.base(), __k,
428  std::forward<_Obj>(__obj)),
429  this
430  };
431  }
432 
433  template <typename _Obj>
434  iterator
435  insert_or_assign(const_iterator __hint, key_type&& __k, _Obj&& __obj)
436  {
437  __glibcxx_check_insert(__hint);
438  return
439  {
440  _Base::insert_or_assign(__hint.base(), std::move(__k),
441  std::forward<_Obj>(__obj)),
442  this
443  };
444  }
445 #endif // C++17
446 
447 #if __cplusplus > 201402L
448  using node_type = typename _Base::node_type;
450 
451  node_type
452  extract(const_iterator __position)
453  {
454  __glibcxx_check_erase(__position);
455  this->_M_invalidate_if(_Equal(__position.base()));
456  return _Base::extract(__position.base());
457  }
458 
459  node_type
460  extract(const key_type& __key)
461  {
462  const auto __position = find(__key);
463  if (__position != end())
464  return extract(__position);
465  return {};
466  }
467 
469  insert(node_type&& __nh)
470  {
471  auto __ret = _Base::insert(std::move(__nh));
472  return
473  { { __ret.position, this }, __ret.inserted, std::move(__ret.node) };
474  }
475 
476  iterator
477  insert(const_iterator __hint, node_type&& __nh)
478  {
479  __glibcxx_check_insert(__hint);
480  return { _Base::insert(__hint.base(), std::move(__nh)), this };
481  }
482 
483  using _Base::merge;
484 #endif // C++17
485 
486 #if __cplusplus >= 201103L
487  iterator
488  erase(const_iterator __position)
489  {
490  __glibcxx_check_erase(__position);
491  this->_M_invalidate_if(_Equal(__position.base()));
492  return { _Base::erase(__position.base()), this };
493  }
494 
495  _GLIBCXX_ABI_TAG_CXX11
496  iterator
497  erase(iterator __position)
498  { return erase(const_iterator(__position)); }
499 #else
500  void
501  erase(iterator __position)
502  {
503  __glibcxx_check_erase(__position);
504  this->_M_invalidate_if(_Equal(__position.base()));
505  _Base::erase(__position.base());
506  }
507 #endif
508 
509  size_type
510  erase(const key_type& __x)
511  {
512  _Base_iterator __victim = _Base::find(__x);
513  if (__victim == _Base::end())
514  return 0;
515  else
516  {
517  this->_M_invalidate_if(_Equal(__victim));
518  _Base::erase(__victim);
519  return 1;
520  }
521  }
522 
523 #if __cplusplus >= 201103L
524  iterator
525  erase(const_iterator __first, const_iterator __last)
526  {
527  // _GLIBCXX_RESOLVE_LIB_DEFECTS
528  // 151. can't currently clear() empty container
529  __glibcxx_check_erase_range(__first, __last);
530  for (_Base_const_iterator __victim = __first.base();
531  __victim != __last.base(); ++__victim)
532  {
533  _GLIBCXX_DEBUG_VERIFY(__victim != _Base::cend(),
534  _M_message(__gnu_debug::__msg_valid_range)
535  ._M_iterator(__first, "first")
536  ._M_iterator(__last, "last"));
537  this->_M_invalidate_if(_Equal(__victim));
538  }
539 
540  return { _Base::erase(__first.base(), __last.base()), this };
541  }
542 #else
543  void
544  erase(iterator __first, iterator __last)
545  {
546  // _GLIBCXX_RESOLVE_LIB_DEFECTS
547  // 151. can't currently clear() empty container
548  __glibcxx_check_erase_range(__first, __last);
549  for (_Base_iterator __victim = __first.base();
550  __victim != __last.base(); ++__victim)
551  {
552  _GLIBCXX_DEBUG_VERIFY(__victim != _Base::end(),
553  _M_message(__gnu_debug::__msg_valid_range)
554  ._M_iterator(__first, "first")
555  ._M_iterator(__last, "last"));
556  this->_M_invalidate_if(_Equal(__victim));
557  }
558  _Base::erase(__first.base(), __last.base());
559  }
560 #endif
561 
562  void
563  swap(map& __x)
564  _GLIBCXX_NOEXCEPT_IF( noexcept(declval<_Base&>().swap(__x)) )
565  {
566  _Safe::_M_swap(__x);
567  _Base::swap(__x);
568  }
569 
570  void
571  clear() _GLIBCXX_NOEXCEPT
572  {
573  this->_M_invalidate_all();
574  _Base::clear();
575  }
576 
577  // observers:
578  using _Base::key_comp;
579  using _Base::value_comp;
580 
581  // 23.3.1.3 map operations:
582  iterator
583  find(const key_type& __x)
584  { return iterator(_Base::find(__x), this); }
585 
586 #if __cplusplus > 201103L
587  template<typename _Kt,
588  typename _Req =
589  typename __has_is_transparent<_Compare, _Kt>::type>
590  iterator
591  find(const _Kt& __x)
592  { return { _Base::find(__x), this }; }
593 #endif
594 
596  find(const key_type& __x) const
597  { return const_iterator(_Base::find(__x), this); }
598 
599 #if __cplusplus > 201103L
600  template<typename _Kt,
601  typename _Req =
602  typename __has_is_transparent<_Compare, _Kt>::type>
604  find(const _Kt& __x) const
605  { return { _Base::find(__x), this }; }
606 #endif
607 
608  using _Base::count;
609 
610  iterator
611  lower_bound(const key_type& __x)
612  { return iterator(_Base::lower_bound(__x), this); }
613 
614 #if __cplusplus > 201103L
615  template<typename _Kt,
616  typename _Req =
617  typename __has_is_transparent<_Compare, _Kt>::type>
618  iterator
619  lower_bound(const _Kt& __x)
620  { return { _Base::lower_bound(__x), this }; }
621 #endif
622 
624  lower_bound(const key_type& __x) const
625  { return const_iterator(_Base::lower_bound(__x), this); }
626 
627 #if __cplusplus > 201103L
628  template<typename _Kt,
629  typename _Req =
630  typename __has_is_transparent<_Compare, _Kt>::type>
632  lower_bound(const _Kt& __x) const
633  { return { _Base::lower_bound(__x), this }; }
634 #endif
635 
636  iterator
637  upper_bound(const key_type& __x)
638  { return iterator(_Base::upper_bound(__x), this); }
639 
640 #if __cplusplus > 201103L
641  template<typename _Kt,
642  typename _Req =
643  typename __has_is_transparent<_Compare, _Kt>::type>
644  iterator
645  upper_bound(const _Kt& __x)
646  { return { _Base::upper_bound(__x), this }; }
647 #endif
648 
650  upper_bound(const key_type& __x) const
651  { return const_iterator(_Base::upper_bound(__x), this); }
652 
653 #if __cplusplus > 201103L
654  template<typename _Kt,
655  typename _Req =
656  typename __has_is_transparent<_Compare, _Kt>::type>
658  upper_bound(const _Kt& __x) const
659  { return { _Base::upper_bound(__x), this }; }
660 #endif
661 
663  equal_range(const key_type& __x)
664  {
666  _Base::equal_range(__x);
667  return std::make_pair(iterator(__res.first, this),
668  iterator(__res.second, this));
669  }
670 
671 #if __cplusplus > 201103L
672  template<typename _Kt,
673  typename _Req =
674  typename __has_is_transparent<_Compare, _Kt>::type>
676  equal_range(const _Kt& __x)
677  {
678  auto __res = _Base::equal_range(__x);
679  return { { __res.first, this }, { __res.second, this } };
680  }
681 #endif
682 
684  equal_range(const key_type& __x) const
685  {
687  _Base::equal_range(__x);
688  return std::make_pair(const_iterator(__res.first, this),
689  const_iterator(__res.second, this));
690  }
691 
692 #if __cplusplus > 201103L
693  template<typename _Kt,
694  typename _Req =
695  typename __has_is_transparent<_Compare, _Kt>::type>
697  equal_range(const _Kt& __x) const
698  {
699  auto __res = _Base::equal_range(__x);
700  return { { __res.first, this }, { __res.second, this } };
701  }
702 #endif
703 
704  _Base&
705  _M_base() _GLIBCXX_NOEXCEPT { return *this; }
706 
707  const _Base&
708  _M_base() const _GLIBCXX_NOEXCEPT { return *this; }
709  };
710 
711 #if __cpp_deduction_guides >= 201606
712 
713  template<typename _InputIterator,
714  typename _Compare = less<__iter_key_t<_InputIterator>>,
715  typename _Allocator = allocator<__iter_to_alloc_t<_InputIterator>>,
716  typename = _RequireInputIter<_InputIterator>,
717  typename = _RequireNotAllocator<_Compare>,
718  typename = _RequireAllocator<_Allocator>>
719  map(_InputIterator, _InputIterator,
720  _Compare = _Compare(), _Allocator = _Allocator())
721  -> map<__iter_key_t<_InputIterator>, __iter_val_t<_InputIterator>,
722  _Compare, _Allocator>;
723 
724  template<typename _Key, typename _Tp, typename _Compare = less<_Key>,
725  typename _Allocator = allocator<pair<const _Key, _Tp>>,
726  typename = _RequireNotAllocator<_Compare>,
727  typename = _RequireAllocator<_Allocator>>
729  _Compare = _Compare(), _Allocator = _Allocator())
731 
732  template <typename _InputIterator, typename _Allocator,
733  typename = _RequireInputIter<_InputIterator>,
734  typename = _RequireAllocator<_Allocator>>
735  map(_InputIterator, _InputIterator, _Allocator)
736  -> map<__iter_key_t<_InputIterator>, __iter_val_t<_InputIterator>,
737  less<__iter_key_t<_InputIterator>>, _Allocator>;
738 
739  template<typename _Key, typename _Tp, typename _Allocator,
740  typename = _RequireAllocator<_Allocator>>
741  map(initializer_list<pair<_Key, _Tp>>, _Allocator)
742  -> map<_Key, _Tp, less<_Key>, _Allocator>;
743 
744 #endif // deduction guides
745 
746  template<typename _Key, typename _Tp,
747  typename _Compare, typename _Allocator>
748  inline bool
749  operator==(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
751  { return __lhs._M_base() == __rhs._M_base(); }
752 
753 #if __cpp_lib_three_way_comparison
754  template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
755  inline __detail::__synth3way_t<pair<const _Key, _Tp>>
756  operator<=>(const map<_Key, _Tp, _Compare, _Alloc>& __lhs,
758  { return __lhs._M_base() <=> __rhs._M_base(); }
759 #else
760  template<typename _Key, typename _Tp,
761  typename _Compare, typename _Allocator>
762  inline bool
763  operator!=(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
764  const map<_Key, _Tp, _Compare, _Allocator>& __rhs)
765  { return __lhs._M_base() != __rhs._M_base(); }
766 
767  template<typename _Key, typename _Tp,
768  typename _Compare, typename _Allocator>
769  inline bool
770  operator<(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
771  const map<_Key, _Tp, _Compare, _Allocator>& __rhs)
772  { return __lhs._M_base() < __rhs._M_base(); }
773 
774  template<typename _Key, typename _Tp,
775  typename _Compare, typename _Allocator>
776  inline bool
777  operator<=(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
778  const map<_Key, _Tp, _Compare, _Allocator>& __rhs)
779  { return __lhs._M_base() <= __rhs._M_base(); }
780 
781  template<typename _Key, typename _Tp,
782  typename _Compare, typename _Allocator>
783  inline bool
784  operator>=(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
785  const map<_Key, _Tp, _Compare, _Allocator>& __rhs)
786  { return __lhs._M_base() >= __rhs._M_base(); }
787 
788  template<typename _Key, typename _Tp,
789  typename _Compare, typename _Allocator>
790  inline bool
791  operator>(const map<_Key, _Tp, _Compare, _Allocator>& __lhs,
792  const map<_Key, _Tp, _Compare, _Allocator>& __rhs)
793  { return __lhs._M_base() > __rhs._M_base(); }
794 #endif // three-way comparison
795 
796  template<typename _Key, typename _Tp,
797  typename _Compare, typename _Allocator>
798  inline void
799  swap(map<_Key, _Tp, _Compare, _Allocator>& __lhs,
800  map<_Key, _Tp, _Compare, _Allocator>& __rhs)
801  _GLIBCXX_NOEXCEPT_IF(noexcept(__lhs.swap(__rhs)))
802  { __lhs.swap(__rhs); }
803 
804 } // namespace __debug
805 } // namespace std
806 
807 #endif
#define __glibcxx_check_insert(_Position)
Definition: macros.h:146
#define __glibcxx_check_erase_range(_First, _Last)
Definition: macros.h:240
#define __glibcxx_check_erase(_Position)
Definition: macros.h:212
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
Definition: move.h:104
void swap(any &__x, any &__y) noexcept
Exchange the states of two any objects.
Definition: any:422
ISO C++ entities toplevel namespace is std.
constexpr auto empty(const _Container &__cont) noexcept(noexcept(__cont.empty())) -> decltype(__cont.empty())
Return whether a container is empty.
Definition: range_access.h:263
constexpr auto size(const _Container &__cont) noexcept(noexcept(__cont.size())) -> decltype(__cont.size())
Return the size of a container.
Definition: range_access.h:245
constexpr _Iterator __base(_Iterator __it)
initializer_list
is_constructible
Definition: type_traits:954
Define a member typedef type only if a boolean constant is true.
Definition: type_traits:2200
The standard allocator, as per C++03 [20.4.1].
Definition: allocator.h:141
Return type of insert(node_handle&&) on unique maps/sets.
Definition: node_handle.h:364
One of the comparison functors.
Definition: stl_function.h:382
A standard container made up of (key,value) pairs, which can be retrieved based on a key,...
Definition: stl_map.h:101
Struct holding two objects of arbitrary type.
Definition: stl_pair.h:202
_T1 first
The first member.
Definition: stl_pair.h:206
_T2 second
The second member.
Definition: stl_pair.h:207
Safe iterator wrapper.
_Iterator & base() noexcept
Return the underlying iterator.
void _M_invalidate_if(_Predicate __pred)
Class std::map with safety/checking/debug instrumentation.
Definition: map.h:49
Safe class dealing with some allocator dependent operations.
Like _Safe_sequence but with a special _M_invalidate_all implementation not invalidating past-the-end...