LCOV - code coverage report
Current view: top level - usr/include/c++/9/bits - stl_map.h (source / functions) Hit Total Coverage
Test: ROSE Lines: 49 69 71.0 %
Date: 2022-12-08 13:48:47 Functions: 156 337 46.3 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Map implementation -*- C++ -*-
       2             : 
       3             : // Copyright (C) 2001-2019 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             : /*
      26             :  *
      27             :  * Copyright (c) 1994
      28             :  * Hewlett-Packard Company
      29             :  *
      30             :  * Permission to use, copy, modify, distribute and sell this software
      31             :  * and its documentation for any purpose is hereby granted without fee,
      32             :  * provided that the above copyright notice appear in all copies and
      33             :  * that both that copyright notice and this permission notice appear
      34             :  * in supporting documentation.  Hewlett-Packard Company makes no
      35             :  * representations about the suitability of this software for any
      36             :  * purpose.  It is provided "as is" without express or implied warranty.
      37             :  *
      38             :  *
      39             :  * Copyright (c) 1996,1997
      40             :  * Silicon Graphics Computer Systems, Inc.
      41             :  *
      42             :  * Permission to use, copy, modify, distribute and sell this software
      43             :  * and its documentation for any purpose is hereby granted without fee,
      44             :  * provided that the above copyright notice appear in all copies and
      45             :  * that both that copyright notice and this permission notice appear
      46             :  * in supporting documentation.  Silicon Graphics makes no
      47             :  * representations about the suitability of this software for any
      48             :  * purpose.  It is provided "as is" without express or implied warranty.
      49             :  */
      50             : 
      51             : /** @file bits/stl_map.h
      52             :  *  This is an internal header file, included by other library headers.
      53             :  *  Do not attempt to use it directly. @headername{map}
      54             :  */
      55             : 
      56             : #ifndef _STL_MAP_H
      57             : #define _STL_MAP_H 1
      58             : 
      59             : #include <bits/functexcept.h>
      60             : #include <bits/concept_check.h>
      61             : #if __cplusplus >= 201103L
      62             : #include <initializer_list>
      63             : #include <tuple>
      64             : #endif
      65             : 
      66             : namespace std _GLIBCXX_VISIBILITY(default)
      67             : {
      68             : _GLIBCXX_BEGIN_NAMESPACE_VERSION
      69             : _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
      70             : 
      71             :   template <typename _Key, typename _Tp, typename _Compare, typename _Alloc>
      72             :     class multimap;
      73             : 
      74             :   /**
      75             :    *  @brief A standard container made up of (key,value) pairs, which can be
      76             :    *  retrieved based on a key, in logarithmic time.
      77             :    *
      78             :    *  @ingroup associative_containers
      79             :    *
      80             :    *  @tparam _Key  Type of key objects.
      81             :    *  @tparam  _Tp  Type of mapped objects.
      82             :    *  @tparam _Compare  Comparison function object type, defaults to less<_Key>.
      83             :    *  @tparam _Alloc  Allocator type, defaults to
      84             :    *                  allocator<pair<const _Key, _Tp>.
      85             :    *
      86             :    *  Meets the requirements of a <a href="tables.html#65">container</a>, a
      87             :    *  <a href="tables.html#66">reversible container</a>, and an
      88             :    *  <a href="tables.html#69">associative container</a> (using unique keys).
      89             :    *  For a @c map<Key,T> the key_type is Key, the mapped_type is T, and the
      90             :    *  value_type is std::pair<const Key,T>.
      91             :    *
      92             :    *  Maps support bidirectional iterators.
      93             :    *
      94             :    *  The private tree data is declared exactly the same way for map and
      95             :    *  multimap; the distinction is made entirely in how the tree functions are
      96             :    *  called (*_unique versus *_equal, same as the standard).
      97             :   */
      98             :   template <typename _Key, typename _Tp, typename _Compare = std::less<_Key>,
      99             :             typename _Alloc = std::allocator<std::pair<const _Key, _Tp> > >
     100      129123 :     class map
     101             :     {
     102             :     public:
     103             :       typedef _Key                                      key_type;
     104             :       typedef _Tp                                       mapped_type;
     105             :       typedef std::pair<const _Key, _Tp>          value_type;
     106             :       typedef _Compare                                  key_compare;
     107             :       typedef _Alloc                                    allocator_type;
     108             : 
     109             :     private:
     110             : #ifdef _GLIBCXX_CONCEPT_CHECKS
     111             :       // concept requirements
     112             :       typedef typename _Alloc::value_type               _Alloc_value_type;
     113             : # if __cplusplus < 201103L
     114             :       __glibcxx_class_requires(_Tp, _SGIAssignableConcept)
     115             : # endif
     116             :       __glibcxx_class_requires4(_Compare, bool, _Key, _Key,
     117             :                                 _BinaryFunctionConcept)
     118             :       __glibcxx_class_requires2(value_type, _Alloc_value_type, _SameTypeConcept)
     119             : #endif
     120             : 
     121             : #if __cplusplus >= 201103L && defined(__STRICT_ANSI__)
     122             :       static_assert(is_same<typename _Alloc::value_type, value_type>::value,
     123             :           "std::map must have the same value_type as its allocator");
     124             : #endif
     125             : 
     126             :     public:
     127             :       class value_compare
     128             :       : public std::binary_function<value_type, value_type, bool>
     129             :       {
     130             :         friend class map<_Key, _Tp, _Compare, _Alloc>;
     131             :       protected:
     132             :         _Compare comp;
     133             : 
     134             :         value_compare(_Compare __c)
     135             :         : comp(__c) { }
     136             : 
     137             :       public:
     138             :         bool operator()(const value_type& __x, const value_type& __y) const
     139             :         { return comp(__x.first, __y.first); }
     140             :       };
     141             : 
     142             :     private:
     143             :       /// This turns a red-black tree into a [multi]map.
     144             :       typedef typename __gnu_cxx::__alloc_traits<_Alloc>::template
     145             :         rebind<value_type>::other _Pair_alloc_type;
     146             : 
     147             :       typedef _Rb_tree<key_type, value_type, _Select1st<value_type>,
     148             :                        key_compare, _Pair_alloc_type> _Rep_type;
     149             : 
     150             :       /// The actual tree structure.
     151             :       _Rep_type _M_t;
     152             : 
     153             :       typedef __gnu_cxx::__alloc_traits<_Pair_alloc_type> _Alloc_traits;
     154             : 
     155             :     public:
     156             :       // many of these are specified differently in ISO, but the following are
     157             :       // "functionally equivalent"
     158             :       typedef typename _Alloc_traits::pointer            pointer;
     159             :       typedef typename _Alloc_traits::const_pointer      const_pointer;
     160             :       typedef typename _Alloc_traits::reference          reference;
     161             :       typedef typename _Alloc_traits::const_reference    const_reference;
     162             :       typedef typename _Rep_type::iterator               iterator;
     163             :       typedef typename _Rep_type::const_iterator         const_iterator;
     164             :       typedef typename _Rep_type::size_type              size_type;
     165             :       typedef typename _Rep_type::difference_type        difference_type;
     166             :       typedef typename _Rep_type::reverse_iterator       reverse_iterator;
     167             :       typedef typename _Rep_type::const_reverse_iterator const_reverse_iterator;
     168             : 
     169             : #if __cplusplus > 201402L
     170             :       using node_type = typename _Rep_type::node_type;
     171             :       using insert_return_type = typename _Rep_type::insert_return_type;
     172             : #endif
     173             : 
     174             :       // [23.3.1.1] construct/copy/destroy
     175             :       // (get_allocator() is also listed in this section)
     176             : 
     177             :       /**
     178             :        *  @brief  Default constructor creates no elements.
     179             :        */
     180             : #if __cplusplus < 201103L
     181             :       map() : _M_t() { }
     182             : #else
     183      469979 :       map() = default;
     184             : #endif
     185             : 
     186             :       /**
     187             :        *  @brief  Creates a %map with no elements.
     188             :        *  @param  __comp  A comparison object.
     189             :        *  @param  __a  An allocator object.
     190             :        */
     191             :       explicit
     192             :       map(const _Compare& __comp,
     193             :           const allocator_type& __a = allocator_type())
     194             :       : _M_t(__comp, _Pair_alloc_type(__a)) { }
     195             : 
     196             :       /**
     197             :        *  @brief  %Map copy constructor.
     198             :        *
     199             :        *  Whether the allocator is copied depends on the allocator traits.
     200             :        */
     201             : #if __cplusplus < 201103L
     202             :       map(const map& __x)
     203             :       : _M_t(__x._M_t) { }
     204             : #else
     205       14352 :       map(const map&) = default;
     206             : 
     207             :       /**
     208             :        *  @brief  %Map move constructor.
     209             :        *
     210             :        *  The newly-created %map contains the exact contents of the moved
     211             :        *  instance. The moved instance is a valid, but unspecified, %map.
     212             :        */
     213           0 :       map(map&&) = default;
     214             : 
     215             :       /**
     216             :        *  @brief  Builds a %map from an initializer_list.
     217             :        *  @param  __l  An initializer_list.
     218             :        *  @param  __comp  A comparison object.
     219             :        *  @param  __a  An allocator object.
     220             :        *
     221             :        *  Create a %map consisting of copies of the elements in the
     222             :        *  initializer_list @a __l.
     223             :        *  This is linear in N if the range is already sorted, and NlogN
     224             :        *  otherwise (where N is @a __l.size()).
     225             :        */
     226             :       map(initializer_list<value_type> __l,
     227             :           const _Compare& __comp = _Compare(),
     228             :           const allocator_type& __a = allocator_type())
     229             :       : _M_t(__comp, _Pair_alloc_type(__a))
     230             :       { _M_t._M_insert_range_unique(__l.begin(), __l.end()); }
     231             : 
     232             :       /// Allocator-extended default constructor.
     233             :       explicit
     234             :       map(const allocator_type& __a)
     235             :       : _M_t(_Pair_alloc_type(__a)) { }
     236             : 
     237             :       /// Allocator-extended copy constructor.
     238             :       map(const map& __m, const allocator_type& __a)
     239             :       : _M_t(__m._M_t, _Pair_alloc_type(__a)) { }
     240             : 
     241             :       /// Allocator-extended move constructor.
     242             :       map(map&& __m, const allocator_type& __a)
     243             :       noexcept(is_nothrow_copy_constructible<_Compare>::value
     244             :                && _Alloc_traits::_S_always_equal())
     245             :       : _M_t(std::move(__m._M_t), _Pair_alloc_type(__a)) { }
     246             : 
     247             :       /// Allocator-extended initialier-list constructor.
     248             :       map(initializer_list<value_type> __l, const allocator_type& __a)
     249             :       : _M_t(_Pair_alloc_type(__a))
     250             :       { _M_t._M_insert_range_unique(__l.begin(), __l.end()); }
     251             : 
     252             :       /// Allocator-extended range constructor.
     253             :       template<typename _InputIterator>
     254             :         map(_InputIterator __first, _InputIterator __last,
     255             :             const allocator_type& __a)
     256             :         : _M_t(_Pair_alloc_type(__a))
     257             :         { _M_t._M_insert_range_unique(__first, __last); }
     258             : #endif
     259             : 
     260             :       /**
     261             :        *  @brief  Builds a %map from a range.
     262             :        *  @param  __first  An input iterator.
     263             :        *  @param  __last  An input iterator.
     264             :        *
     265             :        *  Create a %map consisting of copies of the elements from
     266             :        *  [__first,__last).  This is linear in N if the range is
     267             :        *  already sorted, and NlogN otherwise (where N is
     268             :        *  distance(__first,__last)).
     269             :        */
     270             :       template<typename _InputIterator>
     271             :         map(_InputIterator __first, _InputIterator __last)
     272             :         : _M_t()
     273             :         { _M_t._M_insert_range_unique(__first, __last); }
     274             : 
     275             :       /**
     276             :        *  @brief  Builds a %map from a range.
     277             :        *  @param  __first  An input iterator.
     278             :        *  @param  __last  An input iterator.
     279             :        *  @param  __comp  A comparison functor.
     280             :        *  @param  __a  An allocator object.
     281             :        *
     282             :        *  Create a %map consisting of copies of the elements from
     283             :        *  [__first,__last).  This is linear in N if the range is
     284             :        *  already sorted, and NlogN otherwise (where N is
     285             :        *  distance(__first,__last)).
     286             :        */
     287             :       template<typename _InputIterator>
     288             :         map(_InputIterator __first, _InputIterator __last,
     289             :             const _Compare& __comp,
     290             :             const allocator_type& __a = allocator_type())
     291             :         : _M_t(__comp, _Pair_alloc_type(__a))
     292             :         { _M_t._M_insert_range_unique(__first, __last); }
     293             : 
     294             : #if __cplusplus >= 201103L
     295             :       /**
     296             :        *  The dtor only erases the elements, and note that if the elements
     297             :        *  themselves are pointers, the pointed-to memory is not touched in any
     298             :        *  way.  Managing the pointer is the user's responsibility.
     299             :        */
     300      158726 :       ~map() = default;
     301             : #endif
     302             : 
     303             :       /**
     304             :        *  @brief  %Map assignment operator.
     305             :        *
     306             :        *  Whether the allocator is copied depends on the allocator traits.
     307             :        */
     308             : #if __cplusplus < 201103L
     309             :       map&
     310             :       operator=(const map& __x)
     311             :       {
     312             :         _M_t = __x._M_t;
     313             :         return *this;
     314             :       }
     315             : #else
     316             :       map&
     317             :       operator=(const map&) = default;
     318             : 
     319             :       /// Move assignment operator.
     320             :       map&
     321             :       operator=(map&&) = default;
     322             : 
     323             :       /**
     324             :        *  @brief  %Map list assignment operator.
     325             :        *  @param  __l  An initializer_list.
     326             :        *
     327             :        *  This function fills a %map with copies of the elements in the
     328             :        *  initializer list @a __l.
     329             :        *
     330             :        *  Note that the assignment completely changes the %map and
     331             :        *  that the resulting %map's size is the same as the number
     332             :        *  of elements assigned.
     333             :        */
     334             :       map&
     335             :       operator=(initializer_list<value_type> __l)
     336             :       {
     337             :         _M_t._M_assign_unique(__l.begin(), __l.end());
     338             :         return *this;
     339             :       }
     340             : #endif
     341             : 
     342             :       /// Get a copy of the memory allocation object.
     343             :       allocator_type
     344             :       get_allocator() const _GLIBCXX_NOEXCEPT
     345             :       { return allocator_type(_M_t.get_allocator()); }
     346             : 
     347             :       // iterators
     348             :       /**
     349             :        *  Returns a read/write iterator that points to the first pair in the
     350             :        *  %map.
     351             :        *  Iteration is done in ascending order according to the keys.
     352             :        */
     353             :       iterator
     354     1453984 :       begin() _GLIBCXX_NOEXCEPT
     355     1452912 :       { return _M_t.begin(); }
     356             : 
     357             :       /**
     358             :        *  Returns a read-only (constant) iterator that points to the first pair
     359             :        *  in the %map.  Iteration is done in ascending order according to the
     360             :        *  keys.
     361             :        */
     362             :       const_iterator
     363    42631207 :       begin() const _GLIBCXX_NOEXCEPT
     364    42631207 :       { return _M_t.begin(); }
     365             : 
     366             :       /**
     367             :        *  Returns a read/write iterator that points one past the last
     368             :        *  pair in the %map.  Iteration is done in ascending order
     369             :        *  according to the keys.
     370             :        */
     371             :       iterator
     372   450258674 :       end() _GLIBCXX_NOEXCEPT
     373   298197812 :       { return _M_t.end(); }
     374             : 
     375             :       /**
     376             :        *  Returns a read-only (constant) iterator that points one past the last
     377             :        *  pair in the %map.  Iteration is done in ascending order according to
     378             :        *  the keys.
     379             :        */
     380             :       const_iterator
     381   162267136 :       end() const _GLIBCXX_NOEXCEPT
     382   162223923 :       { return _M_t.end(); }
     383             : 
     384             :       /**
     385             :        *  Returns a read/write reverse iterator that points to the last pair in
     386             :        *  the %map.  Iteration is done in descending order according to the
     387             :        *  keys.
     388             :        */
     389             :       reverse_iterator
     390             :       rbegin() _GLIBCXX_NOEXCEPT
     391             :       { return _M_t.rbegin(); }
     392             : 
     393             :       /**
     394             :        *  Returns a read-only (constant) reverse iterator that points to the
     395             :        *  last pair in the %map.  Iteration is done in descending order
     396             :        *  according to the keys.
     397             :        */
     398             :       const_reverse_iterator
     399             :       rbegin() const _GLIBCXX_NOEXCEPT
     400             :       { return _M_t.rbegin(); }
     401             : 
     402             :       /**
     403             :        *  Returns a read/write reverse iterator that points to one before the
     404             :        *  first pair in the %map.  Iteration is done in descending order
     405             :        *  according to the keys.
     406             :        */
     407             :       reverse_iterator
     408             :       rend() _GLIBCXX_NOEXCEPT
     409             :       { return _M_t.rend(); }
     410             : 
     411             :       /**
     412             :        *  Returns a read-only (constant) reverse iterator that points to one
     413             :        *  before the first pair in the %map.  Iteration is done in descending
     414             :        *  order according to the keys.
     415             :        */
     416             :       const_reverse_iterator
     417             :       rend() const _GLIBCXX_NOEXCEPT
     418             :       { return _M_t.rend(); }
     419             : 
     420             : #if __cplusplus >= 201103L
     421             :       /**
     422             :        *  Returns a read-only (constant) iterator that points to the first pair
     423             :        *  in the %map.  Iteration is done in ascending order according to the
     424             :        *  keys.
     425             :        */
     426             :       const_iterator
     427           0 :       cbegin() const noexcept
     428           0 :       { return _M_t.begin(); }
     429             : 
     430             :       /**
     431             :        *  Returns a read-only (constant) iterator that points one past the last
     432             :        *  pair in the %map.  Iteration is done in ascending order according to
     433             :        *  the keys.
     434             :        */
     435             :       const_iterator
     436           0 :       cend() const noexcept
     437           0 :       { return _M_t.end(); }
     438             : 
     439             :       /**
     440             :        *  Returns a read-only (constant) reverse iterator that points to the
     441             :        *  last pair in the %map.  Iteration is done in descending order
     442             :        *  according to the keys.
     443             :        */
     444             :       const_reverse_iterator
     445             :       crbegin() const noexcept
     446             :       { return _M_t.rbegin(); }
     447             : 
     448             :       /**
     449             :        *  Returns a read-only (constant) reverse iterator that points to one
     450             :        *  before the first pair in the %map.  Iteration is done in descending
     451             :        *  order according to the keys.
     452             :        */
     453             :       const_reverse_iterator
     454             :       crend() const noexcept
     455             :       { return _M_t.rend(); }
     456             : #endif
     457             : 
     458             :       // capacity
     459             :       /** Returns true if the %map is empty.  (Thus begin() would equal
     460             :        *  end().)
     461             :       */
     462             :       _GLIBCXX_NODISCARD bool
     463      153465 :       empty() const _GLIBCXX_NOEXCEPT
     464      101640 :       { return _M_t.empty(); }
     465             : 
     466             :       /** Returns the size of the %map.  */
     467             :       size_type
     468   607112855 :       size() const _GLIBCXX_NOEXCEPT
     469   607112502 :       { return _M_t.size(); }
     470             : 
     471             :       /** Returns the maximum size of the %map.  */
     472             :       size_type
     473             :       max_size() const _GLIBCXX_NOEXCEPT
     474             :       { return _M_t.max_size(); }
     475             : 
     476             :       // [23.3.1.2] element access
     477             :       /**
     478             :        *  @brief  Subscript ( @c [] ) access to %map data.
     479             :        *  @param  __k  The key for which data should be retrieved.
     480             :        *  @return  A reference to the data of the (key,data) %pair.
     481             :        *
     482             :        *  Allows for easy lookup with the subscript ( @c [] )
     483             :        *  operator.  Returns data associated with the key specified in
     484             :        *  subscript.  If the key does not exist, a pair with that key
     485             :        *  is created using default values, which is then returned.
     486             :        *
     487             :        *  Lookup requires logarithmic time.
     488             :        */
     489             :       mapped_type&
     490   152096494 :       operator[](const key_type& __k)
     491             :       {
     492             :         // concept requirements
     493             :         __glibcxx_function_requires(_DefaultConstructibleConcept<mapped_type>)
     494             : 
     495   152096494 :         iterator __i = lower_bound(__k);
     496             :         // __i->first is greater than or equivalent to __k.
     497   152096494 :         if (__i == end() || key_comp()(__k, (*__i).first))
     498             : #if __cplusplus >= 201103L
     499    15399726 :           __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct,
     500             :                                             std::tuple<const key_type&>(__k),
     501             :                                             std::tuple<>());
     502             : #else
     503             :           __i = insert(__i, value_type(__k, mapped_type()));
     504             : #endif
     505   152096494 :         return (*__i).second;
     506             :       }
     507             : 
     508             : #if __cplusplus >= 201103L
     509             :       mapped_type&
     510     1167990 :       operator[](key_type&& __k)
     511             :       {
     512             :         // concept requirements
     513             :         __glibcxx_function_requires(_DefaultConstructibleConcept<mapped_type>)
     514             : 
     515     1167990 :         iterator __i = lower_bound(__k);
     516             :         // __i->first is greater than or equivalent to __k.
     517     1167990 :         if (__i == end() || key_comp()(__k, (*__i).first))
     518       51382 :           __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct,
     519       51382 :                                         std::forward_as_tuple(std::move(__k)),
     520             :                                         std::tuple<>());
     521     1167990 :         return (*__i).second;
     522             :       }
     523             : #endif
     524             : 
     525             :       // _GLIBCXX_RESOLVE_LIB_DEFECTS
     526             :       // DR 464. Suggestion for new member functions in standard containers.
     527             :       /**
     528             :        *  @brief  Access to %map data.
     529             :        *  @param  __k  The key for which data should be retrieved.
     530             :        *  @return  A reference to the data whose key is equivalent to @a __k, if
     531             :        *           such a data is present in the %map.
     532             :        *  @throw  std::out_of_range  If no such data is present.
     533             :        */
     534             :       mapped_type&
     535           0 :       at(const key_type& __k)
     536             :       {
     537           0 :         iterator __i = lower_bound(__k);
     538           0 :         if (__i == end() || key_comp()(__k, (*__i).first))
     539           0 :           __throw_out_of_range(__N("map::at"));
     540           0 :         return (*__i).second;
     541             :       }
     542             : 
     543             :       const mapped_type&
     544             :       at(const key_type& __k) const
     545             :       {
     546             :         const_iterator __i = lower_bound(__k);
     547             :         if (__i == end() || key_comp()(__k, (*__i).first))
     548             :           __throw_out_of_range(__N("map::at"));
     549             :         return (*__i).second;
     550             :       }
     551             : 
     552             :       // modifiers
     553             : #if __cplusplus >= 201103L
     554             :       /**
     555             :        *  @brief Attempts to build and insert a std::pair into the %map.
     556             :        *
     557             :        *  @param __args  Arguments used to generate a new pair instance (see
     558             :        *                std::piecewise_contruct for passing arguments to each
     559             :        *                part of the pair constructor).
     560             :        *
     561             :        *  @return  A pair, of which the first element is an iterator that points
     562             :        *           to the possibly inserted pair, and the second is a bool that
     563             :        *           is true if the pair was actually inserted.
     564             :        *
     565             :        *  This function attempts to build and insert a (key, value) %pair into
     566             :        *  the %map.
     567             :        *  A %map relies on unique keys and thus a %pair is only inserted if its
     568             :        *  first element (the key) is not already present in the %map.
     569             :        *
     570             :        *  Insertion requires logarithmic time.
     571             :        */
     572             :       template<typename... _Args>
     573             :         std::pair<iterator, bool>
     574             :         emplace(_Args&&... __args)
     575             :         { return _M_t._M_emplace_unique(std::forward<_Args>(__args)...); }
     576             : 
     577             :       /**
     578             :        *  @brief Attempts to build and insert a std::pair into the %map.
     579             :        *
     580             :        *  @param  __pos  An iterator that serves as a hint as to where the pair
     581             :        *                should be inserted.
     582             :        *  @param  __args  Arguments used to generate a new pair instance (see
     583             :        *                 std::piecewise_contruct for passing arguments to each
     584             :        *                 part of the pair constructor).
     585             :        *  @return An iterator that points to the element with key of the
     586             :        *          std::pair built from @a __args (may or may not be that
     587             :        *          std::pair).
     588             :        *
     589             :        *  This function is not concerned about whether the insertion took place,
     590             :        *  and thus does not return a boolean like the single-argument emplace()
     591             :        *  does.
     592             :        *  Note that the first parameter is only a hint and can potentially
     593             :        *  improve the performance of the insertion process. A bad hint would
     594             :        *  cause no gains in efficiency.
     595             :        *
     596             :        *  See
     597             :        *  https://gcc.gnu.org/onlinedocs/libstdc++/manual/associative.html#containers.associative.insert_hints
     598             :        *  for more on @a hinting.
     599             :        *
     600             :        *  Insertion requires logarithmic time (if the hint is not taken).
     601             :        */
     602             :       template<typename... _Args>
     603             :         iterator
     604             :         emplace_hint(const_iterator __pos, _Args&&... __args)
     605             :         {
     606             :           return _M_t._M_emplace_hint_unique(__pos,
     607             :                                              std::forward<_Args>(__args)...);
     608             :         }
     609             : #endif
     610             : 
     611             : #if __cplusplus > 201402L
     612             :       /// Extract a node.
     613             :       node_type
     614             :       extract(const_iterator __pos)
     615             :       {
     616             :         __glibcxx_assert(__pos != end());
     617             :         return _M_t.extract(__pos);
     618             :       }
     619             : 
     620             :       /// Extract a node.
     621             :       node_type
     622             :       extract(const key_type& __x)
     623             :       { return _M_t.extract(__x); }
     624             : 
     625             :       /// Re-insert an extracted node.
     626             :       insert_return_type
     627             :       insert(node_type&& __nh)
     628             :       { return _M_t._M_reinsert_node_unique(std::move(__nh)); }
     629             : 
     630             :       /// Re-insert an extracted node.
     631             :       iterator
     632             :       insert(const_iterator __hint, node_type&& __nh)
     633             :       { return _M_t._M_reinsert_node_hint_unique(__hint, std::move(__nh)); }
     634             : 
     635             :       template<typename, typename>
     636             :         friend class std::_Rb_tree_merge_helper;
     637             : 
     638             :       template<typename _C2>
     639             :         void
     640             :         merge(map<_Key, _Tp, _C2, _Alloc>& __source)
     641             :         {
     642             :           using _Merge_helper = _Rb_tree_merge_helper<map, _C2>;
     643             :           _M_t._M_merge_unique(_Merge_helper::_S_get_tree(__source));
     644             :         }
     645             : 
     646             :       template<typename _C2>
     647             :         void
     648             :         merge(map<_Key, _Tp, _C2, _Alloc>&& __source)
     649             :         { merge(__source); }
     650             : 
     651             :       template<typename _C2>
     652             :         void
     653             :         merge(multimap<_Key, _Tp, _C2, _Alloc>& __source)
     654             :         {
     655             :           using _Merge_helper = _Rb_tree_merge_helper<map, _C2>;
     656             :           _M_t._M_merge_unique(_Merge_helper::_S_get_tree(__source));
     657             :         }
     658             : 
     659             :       template<typename _C2>
     660             :         void
     661             :         merge(multimap<_Key, _Tp, _C2, _Alloc>&& __source)
     662             :         { merge(__source); }
     663             : #endif // C++17
     664             : 
     665             : #if __cplusplus > 201402L
     666             : #define __cpp_lib_map_try_emplace 201411
     667             :       /**
     668             :        *  @brief Attempts to build and insert a std::pair into the %map.
     669             :        *
     670             :        *  @param __k    Key to use for finding a possibly existing pair in
     671             :        *                the map.
     672             :        *  @param __args  Arguments used to generate the .second for a new pair
     673             :        *                instance.
     674             :        *
     675             :        *  @return  A pair, of which the first element is an iterator that points
     676             :        *           to the possibly inserted pair, and the second is a bool that
     677             :        *           is true if the pair was actually inserted.
     678             :        *
     679             :        *  This function attempts to build and insert a (key, value) %pair into
     680             :        *  the %map.
     681             :        *  A %map relies on unique keys and thus a %pair is only inserted if its
     682             :        *  first element (the key) is not already present in the %map.
     683             :        *  If a %pair is not inserted, this function has no effect.
     684             :        *
     685             :        *  Insertion requires logarithmic time.
     686             :        */
     687             :       template <typename... _Args>
     688             :         pair<iterator, bool>
     689             :         try_emplace(const key_type& __k, _Args&&... __args)
     690             :         {
     691             :           iterator __i = lower_bound(__k);
     692             :           if (__i == end() || key_comp()(__k, (*__i).first))
     693             :             {
     694             :               __i = emplace_hint(__i, std::piecewise_construct,
     695             :                                  std::forward_as_tuple(__k),
     696             :                                  std::forward_as_tuple(
     697             :                                    std::forward<_Args>(__args)...));
     698             :               return {__i, true};
     699             :             }
     700             :           return {__i, false};
     701             :         }
     702             : 
     703             :       // move-capable overload
     704             :       template <typename... _Args>
     705             :         pair<iterator, bool>
     706             :         try_emplace(key_type&& __k, _Args&&... __args)
     707             :         {
     708             :           iterator __i = lower_bound(__k);
     709             :           if (__i == end() || key_comp()(__k, (*__i).first))
     710             :             {
     711             :               __i = emplace_hint(__i, std::piecewise_construct,
     712             :                                  std::forward_as_tuple(std::move(__k)),
     713             :                                  std::forward_as_tuple(
     714             :                                    std::forward<_Args>(__args)...));
     715             :               return {__i, true};
     716             :             }
     717             :           return {__i, false};
     718             :         }
     719             : 
     720             :       /**
     721             :        *  @brief Attempts to build and insert a std::pair into the %map.
     722             :        *
     723             :        *  @param  __hint  An iterator that serves as a hint as to where the
     724             :        *                  pair should be inserted.
     725             :        *  @param __k    Key to use for finding a possibly existing pair in
     726             :        *                the map.
     727             :        *  @param __args  Arguments used to generate the .second for a new pair
     728             :        *                instance.
     729             :        *  @return An iterator that points to the element with key of the
     730             :        *          std::pair built from @a __args (may or may not be that
     731             :        *          std::pair).
     732             :        *
     733             :        *  This function is not concerned about whether the insertion took place,
     734             :        *  and thus does not return a boolean like the single-argument
     735             :        *  try_emplace() does. However, if insertion did not take place,
     736             :        *  this function has no effect.
     737             :        *  Note that the first parameter is only a hint and can potentially
     738             :        *  improve the performance of the insertion process. A bad hint would
     739             :        *  cause no gains in efficiency.
     740             :        *
     741             :        *  See
     742             :        *  https://gcc.gnu.org/onlinedocs/libstdc++/manual/associative.html#containers.associative.insert_hints
     743             :        *  for more on @a hinting.
     744             :        *
     745             :        *  Insertion requires logarithmic time (if the hint is not taken).
     746             :        */
     747             :       template <typename... _Args>
     748             :         iterator
     749             :         try_emplace(const_iterator __hint, const key_type& __k,
     750             :                     _Args&&... __args)
     751             :         {
     752             :           iterator __i;
     753             :           auto __true_hint = _M_t._M_get_insert_hint_unique_pos(__hint, __k);
     754             :           if (__true_hint.second)
     755             :             __i = emplace_hint(iterator(__true_hint.second),
     756             :                                std::piecewise_construct,
     757             :                                std::forward_as_tuple(__k),
     758             :                                std::forward_as_tuple(
     759             :                                  std::forward<_Args>(__args)...));
     760             :           else
     761             :             __i = iterator(__true_hint.first);
     762             :           return __i;
     763             :         }
     764             : 
     765             :       // move-capable overload
     766             :       template <typename... _Args>
     767             :         iterator
     768             :         try_emplace(const_iterator __hint, key_type&& __k, _Args&&... __args)
     769             :         {
     770             :           iterator __i;
     771             :           auto __true_hint = _M_t._M_get_insert_hint_unique_pos(__hint, __k);
     772             :           if (__true_hint.second)
     773             :             __i = emplace_hint(iterator(__true_hint.second),
     774             :                                std::piecewise_construct,
     775             :                                std::forward_as_tuple(std::move(__k)),
     776             :                                std::forward_as_tuple(
     777             :                                  std::forward<_Args>(__args)...));
     778             :           else
     779             :             __i = iterator(__true_hint.first);
     780             :           return __i;
     781             :         }
     782             : #endif
     783             : 
     784             :       /**
     785             :        *  @brief Attempts to insert a std::pair into the %map.
     786             :        *  @param __x Pair to be inserted (see std::make_pair for easy
     787             :        *             creation of pairs).
     788             :        *
     789             :        *  @return  A pair, of which the first element is an iterator that
     790             :        *           points to the possibly inserted pair, and the second is
     791             :        *           a bool that is true if the pair was actually inserted.
     792             :        *
     793             :        *  This function attempts to insert a (key, value) %pair into the %map.
     794             :        *  A %map relies on unique keys and thus a %pair is only inserted if its
     795             :        *  first element (the key) is not already present in the %map.
     796             :        *
     797             :        *  Insertion requires logarithmic time.
     798             :        *  @{
     799             :        */
     800             :       std::pair<iterator, bool>
     801             :       insert(const value_type& __x)
     802             :       { return _M_t._M_insert_unique(__x); }
     803             : 
     804             : #if __cplusplus >= 201103L
     805             :       // _GLIBCXX_RESOLVE_LIB_DEFECTS
     806             :       // 2354. Unnecessary copying when inserting into maps with braced-init
     807             :       std::pair<iterator, bool>
     808       10476 :       insert(value_type&& __x)
     809       10476 :       { return _M_t._M_insert_unique(std::move(__x)); }
     810             : 
     811             :       template<typename _Pair>
     812             :         __enable_if_t<is_constructible<value_type, _Pair>::value,
     813             :                       pair<iterator, bool>>
     814    15709287 :         insert(_Pair&& __x)
     815    15709257 :         { return _M_t._M_emplace_unique(std::forward<_Pair>(__x)); }
     816             : #endif
     817             :       /// @}
     818             : 
     819             : #if __cplusplus >= 201103L
     820             :       /**
     821             :        *  @brief Attempts to insert a list of std::pairs into the %map.
     822             :        *  @param  __list  A std::initializer_list<value_type> of pairs to be
     823             :        *                  inserted.
     824             :        *
     825             :        *  Complexity similar to that of the range constructor.
     826             :        */
     827             :       void
     828             :       insert(std::initializer_list<value_type> __list)
     829             :       { insert(__list.begin(), __list.end()); }
     830             : #endif
     831             : 
     832             :       /**
     833             :        *  @brief Attempts to insert a std::pair into the %map.
     834             :        *  @param  __position  An iterator that serves as a hint as to where the
     835             :        *                    pair should be inserted.
     836             :        *  @param  __x  Pair to be inserted (see std::make_pair for easy creation
     837             :        *               of pairs).
     838             :        *  @return An iterator that points to the element with key of
     839             :        *           @a __x (may or may not be the %pair passed in).
     840             :        *
     841             : 
     842             :        *  This function is not concerned about whether the insertion
     843             :        *  took place, and thus does not return a boolean like the
     844             :        *  single-argument insert() does.  Note that the first
     845             :        *  parameter is only a hint and can potentially improve the
     846             :        *  performance of the insertion process.  A bad hint would
     847             :        *  cause no gains in efficiency.
     848             :        *
     849             :        *  See
     850             :        *  https://gcc.gnu.org/onlinedocs/libstdc++/manual/associative.html#containers.associative.insert_hints
     851             :        *  for more on @a hinting.
     852             :        *
     853             :        *  Insertion requires logarithmic time (if the hint is not taken).
     854             :        *  @{
     855             :        */
     856             :       iterator
     857             : #if __cplusplus >= 201103L
     858             :       insert(const_iterator __position, const value_type& __x)
     859             : #else
     860             :       insert(iterator __position, const value_type& __x)
     861             : #endif
     862             :       { return _M_t._M_insert_unique_(__position, __x); }
     863             : 
     864             : #if __cplusplus >= 201103L
     865             :       // _GLIBCXX_RESOLVE_LIB_DEFECTS
     866             :       // 2354. Unnecessary copying when inserting into maps with braced-init
     867             :       iterator
     868             :       insert(const_iterator __position, value_type&& __x)
     869             :       { return _M_t._M_insert_unique_(__position, std::move(__x)); }
     870             : 
     871             :       template<typename _Pair>
     872             :         __enable_if_t<is_constructible<value_type, _Pair>::value, iterator>
     873             :         insert(const_iterator __position, _Pair&& __x)
     874             :         {
     875             :           return _M_t._M_emplace_hint_unique(__position,
     876             :                                              std::forward<_Pair>(__x));
     877             :         }
     878             : #endif
     879             :       /// @}
     880             : 
     881             :       /**
     882             :        *  @brief Template function that attempts to insert a range of elements.
     883             :        *  @param  __first  Iterator pointing to the start of the range to be
     884             :        *                   inserted.
     885             :        *  @param  __last  Iterator pointing to the end of the range.
     886             :        *
     887             :        *  Complexity similar to that of the range constructor.
     888             :        */
     889             :       template<typename _InputIterator>
     890             :         void
     891         320 :         insert(_InputIterator __first, _InputIterator __last)
     892         320 :         { _M_t._M_insert_range_unique(__first, __last); }
     893             : 
     894             : #if __cplusplus > 201402L
     895             : #define __cpp_lib_map_insertion 201411 // non-standard macro
     896             :       /**
     897             :        *  @brief Attempts to insert or assign a std::pair into the %map.
     898             :        *  @param __k    Key to use for finding a possibly existing pair in
     899             :        *                the map.
     900             :        *  @param __obj  Argument used to generate the .second for a pair
     901             :        *                instance.
     902             :        *
     903             :        *  @return  A pair, of which the first element is an iterator that
     904             :        *           points to the possibly inserted pair, and the second is
     905             :        *           a bool that is true if the pair was actually inserted.
     906             :        *
     907             :        *  This function attempts to insert a (key, value) %pair into the %map.
     908             :        *  A %map relies on unique keys and thus a %pair is only inserted if its
     909             :        *  first element (the key) is not already present in the %map.
     910             :        *  If the %pair was already in the %map, the .second of the %pair
     911             :        *  is assigned from __obj.
     912             :        *
     913             :        *  Insertion requires logarithmic time.
     914             :        */
     915             :       template <typename _Obj>
     916             :         pair<iterator, bool>
     917             :         insert_or_assign(const key_type& __k, _Obj&& __obj)
     918             :         {
     919             :           iterator __i = lower_bound(__k);
     920             :           if (__i == end() || key_comp()(__k, (*__i).first))
     921             :             {
     922             :               __i = emplace_hint(__i, std::piecewise_construct,
     923             :                                  std::forward_as_tuple(__k),
     924             :                                  std::forward_as_tuple(
     925             :                                    std::forward<_Obj>(__obj)));
     926             :               return {__i, true};
     927             :             }
     928             :           (*__i).second = std::forward<_Obj>(__obj);
     929             :           return {__i, false};
     930             :         }
     931             : 
     932             :       // move-capable overload
     933             :       template <typename _Obj>
     934             :         pair<iterator, bool>
     935             :         insert_or_assign(key_type&& __k, _Obj&& __obj)
     936             :         {
     937             :           iterator __i = lower_bound(__k);
     938             :           if (__i == end() || key_comp()(__k, (*__i).first))
     939             :             {
     940             :               __i = emplace_hint(__i, std::piecewise_construct,
     941             :                                  std::forward_as_tuple(std::move(__k)),
     942             :                                  std::forward_as_tuple(
     943             :                                    std::forward<_Obj>(__obj)));
     944             :               return {__i, true};
     945             :             }
     946             :           (*__i).second = std::forward<_Obj>(__obj);
     947             :           return {__i, false};
     948             :         }
     949             : 
     950             :       /**
     951             :        *  @brief Attempts to insert or assign a std::pair into the %map.
     952             :        *  @param  __hint  An iterator that serves as a hint as to where the
     953             :        *                  pair should be inserted.
     954             :        *  @param __k    Key to use for finding a possibly existing pair in
     955             :        *                the map.
     956             :        *  @param __obj  Argument used to generate the .second for a pair
     957             :        *                instance.
     958             :        *
     959             :        *  @return An iterator that points to the element with key of
     960             :        *           @a __x (may or may not be the %pair passed in).
     961             :        *
     962             :        *  This function attempts to insert a (key, value) %pair into the %map.
     963             :        *  A %map relies on unique keys and thus a %pair is only inserted if its
     964             :        *  first element (the key) is not already present in the %map.
     965             :        *  If the %pair was already in the %map, the .second of the %pair
     966             :        *  is assigned from __obj.
     967             :        *
     968             :        *  Insertion requires logarithmic time.
     969             :        */
     970             :       template <typename _Obj>
     971             :         iterator
     972             :         insert_or_assign(const_iterator __hint,
     973             :                          const key_type& __k, _Obj&& __obj)
     974             :         {
     975             :           iterator __i;
     976             :           auto __true_hint = _M_t._M_get_insert_hint_unique_pos(__hint, __k);
     977             :           if (__true_hint.second)
     978             :             {
     979             :               return emplace_hint(iterator(__true_hint.second),
     980             :                                   std::piecewise_construct,
     981             :                                   std::forward_as_tuple(__k),
     982             :                                   std::forward_as_tuple(
     983             :                                     std::forward<_Obj>(__obj)));
     984             :             }
     985             :           __i = iterator(__true_hint.first);
     986             :           (*__i).second = std::forward<_Obj>(__obj);
     987             :           return __i;
     988             :         }
     989             : 
     990             :       // move-capable overload
     991             :       template <typename _Obj>
     992             :         iterator
     993             :         insert_or_assign(const_iterator __hint, key_type&& __k, _Obj&& __obj)
     994             :         {
     995             :           iterator __i;
     996             :           auto __true_hint = _M_t._M_get_insert_hint_unique_pos(__hint, __k);
     997             :           if (__true_hint.second)
     998             :             {
     999             :               return emplace_hint(iterator(__true_hint.second),
    1000             :                                   std::piecewise_construct,
    1001             :                                   std::forward_as_tuple(std::move(__k)),
    1002             :                                   std::forward_as_tuple(
    1003             :                                     std::forward<_Obj>(__obj)));
    1004             :             }
    1005             :           __i = iterator(__true_hint.first);
    1006             :           (*__i).second = std::forward<_Obj>(__obj);
    1007             :           return __i;
    1008             :         }
    1009             : #endif
    1010             : 
    1011             : #if __cplusplus >= 201103L
    1012             :       // _GLIBCXX_RESOLVE_LIB_DEFECTS
    1013             :       // DR 130. Associative erase should return an iterator.
    1014             :       /**
    1015             :        *  @brief Erases an element from a %map.
    1016             :        *  @param  __position  An iterator pointing to the element to be erased.
    1017             :        *  @return An iterator pointing to the element immediately following
    1018             :        *          @a position prior to the element being erased. If no such
    1019             :        *          element exists, end() is returned.
    1020             :        *
    1021             :        *  This function erases an element, pointed to by the given
    1022             :        *  iterator, from a %map.  Note that this function only erases
    1023             :        *  the element, and that if the element is itself a pointer,
    1024             :        *  the pointed-to memory is not touched in any way.  Managing
    1025             :        *  the pointer is the user's responsibility.
    1026             :        *
    1027             :        *  @{
    1028             :        */
    1029             :       iterator
    1030             :       erase(const_iterator __position)
    1031             :       { return _M_t.erase(__position); }
    1032             : 
    1033             :       // LWG 2059
    1034             :       _GLIBCXX_ABI_TAG_CXX11
    1035             :       iterator
    1036           0 :       erase(iterator __position)
    1037           0 :       { return _M_t.erase(__position); }
    1038             :       /// @}
    1039             : #else
    1040             :       /**
    1041             :        *  @brief Erases an element from a %map.
    1042             :        *  @param  __position  An iterator pointing to the element to be erased.
    1043             :        *
    1044             :        *  This function erases an element, pointed to by the given
    1045             :        *  iterator, from a %map.  Note that this function only erases
    1046             :        *  the element, and that if the element is itself a pointer,
    1047             :        *  the pointed-to memory is not touched in any way.  Managing
    1048             :        *  the pointer is the user's responsibility.
    1049             :        */
    1050             :       void
    1051             :       erase(iterator __position)
    1052             :       { _M_t.erase(__position); }
    1053             : #endif
    1054             : 
    1055             :       /**
    1056             :        *  @brief Erases elements according to the provided key.
    1057             :        *  @param  __x  Key of element to be erased.
    1058             :        *  @return  The number of elements erased.
    1059             :        *
    1060             :        *  This function erases all the elements located by the given key from
    1061             :        *  a %map.
    1062             :        *  Note that this function only erases the element, and that if
    1063             :        *  the element is itself a pointer, the pointed-to memory is not touched
    1064             :        *  in any way.  Managing the pointer is the user's responsibility.
    1065             :        */
    1066             :       size_type
    1067      113980 :       erase(const key_type& __x)
    1068      113980 :       { return _M_t.erase(__x); }
    1069             : 
    1070             : #if __cplusplus >= 201103L
    1071             :       // _GLIBCXX_RESOLVE_LIB_DEFECTS
    1072             :       // DR 130. Associative erase should return an iterator.
    1073             :       /**
    1074             :        *  @brief Erases a [first,last) range of elements from a %map.
    1075             :        *  @param  __first  Iterator pointing to the start of the range to be
    1076             :        *                   erased.
    1077             :        *  @param __last Iterator pointing to the end of the range to
    1078             :        *                be erased.
    1079             :        *  @return The iterator @a __last.
    1080             :        *
    1081             :        *  This function erases a sequence of elements from a %map.
    1082             :        *  Note that this function only erases the element, and that if
    1083             :        *  the element is itself a pointer, the pointed-to memory is not touched
    1084             :        *  in any way.  Managing the pointer is the user's responsibility.
    1085             :        */
    1086             :       iterator
    1087        2271 :       erase(const_iterator __first, const_iterator __last)
    1088        2271 :       { return _M_t.erase(__first, __last); }
    1089             : #else
    1090             :       /**
    1091             :        *  @brief Erases a [__first,__last) range of elements from a %map.
    1092             :        *  @param  __first  Iterator pointing to the start of the range to be
    1093             :        *                   erased.
    1094             :        *  @param __last Iterator pointing to the end of the range to
    1095             :        *                be erased.
    1096             :        *
    1097             :        *  This function erases a sequence of elements from a %map.
    1098             :        *  Note that this function only erases the element, and that if
    1099             :        *  the element is itself a pointer, the pointed-to memory is not touched
    1100             :        *  in any way.  Managing the pointer is the user's responsibility.
    1101             :        */
    1102             :       void
    1103             :       erase(iterator __first, iterator __last)
    1104             :       { _M_t.erase(__first, __last); }
    1105             : #endif
    1106             : 
    1107             :       /**
    1108             :        *  @brief  Swaps data with another %map.
    1109             :        *  @param  __x  A %map of the same element and allocator types.
    1110             :        *
    1111             :        *  This exchanges the elements between two maps in constant
    1112             :        *  time.  (It is only swapping a pointer, an integer, and an
    1113             :        *  instance of the @c Compare type (which itself is often
    1114             :        *  stateless and empty), so it should be quite fast.)  Note
    1115             :        *  that the global std::swap() function is specialized such
    1116             :        *  that std::swap(m1,m2) will feed to this function.
    1117             :        *
    1118             :        *  Whether the allocators are swapped depends on the allocator traits.
    1119             :        */
    1120             :       void
    1121             :       swap(map& __x)
    1122             :       _GLIBCXX_NOEXCEPT_IF(__is_nothrow_swappable<_Compare>::value)
    1123             :       { _M_t.swap(__x._M_t); }
    1124             : 
    1125             :       /**
    1126             :        *  Erases all elements in a %map.  Note that this function only
    1127             :        *  erases the elements, and that if the elements themselves are
    1128             :        *  pointers, the pointed-to memory is not touched in any way.
    1129             :        *  Managing the pointer is the user's responsibility.
    1130             :        */
    1131             :       void
    1132        3381 :       clear() _GLIBCXX_NOEXCEPT
    1133     1426703 :       { _M_t.clear(); }
    1134             : 
    1135             :       // observers
    1136             :       /**
    1137             :        *  Returns the key comparison object out of which the %map was
    1138             :        *  constructed.
    1139             :        */
    1140             :       key_compare
    1141   149625577 :       key_comp() const
    1142   149625577 :       { return _M_t.key_comp(); }
    1143             : 
    1144             :       /**
    1145             :        *  Returns a value comparison object, built from the key comparison
    1146             :        *  object out of which the %map was constructed.
    1147             :        */
    1148             :       value_compare
    1149             :       value_comp() const
    1150             :       { return value_compare(_M_t.key_comp()); }
    1151             : 
    1152             :       // [23.3.1.3] map operations
    1153             : 
    1154             :       ///@{
    1155             :       /**
    1156             :        *  @brief Tries to locate an element in a %map.
    1157             :        *  @param  __x  Key of (key, value) %pair to be located.
    1158             :        *  @return  Iterator pointing to sought-after element, or end() if not
    1159             :        *           found.
    1160             :        *
    1161             :        *  This function takes a key and tries to locate the element with which
    1162             :        *  the key matches.  If successful the function returns an iterator
    1163             :        *  pointing to the sought after %pair.  If unsuccessful it returns the
    1164             :        *  past-the-end ( @c end() ) iterator.
    1165             :        */
    1166             : 
    1167             :       iterator
    1168   294326173 :       find(const key_type& __x)
    1169   492570058 :       { return _M_t.find(__x); }
    1170             : 
    1171             : #if __cplusplus > 201103L
    1172             :       template<typename _Kt>
    1173             :         auto
    1174             :         find(const _Kt& __x) -> decltype(_M_t._M_find_tr(__x))
    1175             :         { return _M_t._M_find_tr(__x); }
    1176             : #endif
    1177             :       ///@}
    1178             : 
    1179             :       ///@{
    1180             :       /**
    1181             :        *  @brief Tries to locate an element in a %map.
    1182             :        *  @param  __x  Key of (key, value) %pair to be located.
    1183             :        *  @return  Read-only (constant) iterator pointing to sought-after
    1184             :        *           element, or end() if not found.
    1185             :        *
    1186             :        *  This function takes a key and tries to locate the element with which
    1187             :        *  the key matches.  If successful the function returns a constant
    1188             :        *  iterator pointing to the sought after %pair. If unsuccessful it
    1189             :        *  returns the past-the-end ( @c end() ) iterator.
    1190             :        */
    1191             : 
    1192             :       const_iterator
    1193   118142266 :       find(const key_type& __x) const
    1194   236274947 :       { return _M_t.find(__x); }
    1195             : 
    1196             : #if __cplusplus > 201103L
    1197             :       template<typename _Kt>
    1198             :         auto
    1199             :         find(const _Kt& __x) const -> decltype(_M_t._M_find_tr(__x))
    1200             :         { return _M_t._M_find_tr(__x); }
    1201             : #endif
    1202             :       ///@}
    1203             : 
    1204             :       ///@{
    1205             :       /**
    1206             :        *  @brief  Finds the number of elements with given key.
    1207             :        *  @param  __x  Key of (key, value) pairs to be located.
    1208             :        *  @return  Number of elements with specified key.
    1209             :        *
    1210             :        *  This function only makes sense for multimaps; for map the result will
    1211             :        *  either be 0 (not present) or 1 (present).
    1212             :        */
    1213             :       size_type
    1214   666761705 :       count(const key_type& __x) const
    1215  1333521410 :       { return _M_t.find(__x) == _M_t.end() ? 0 : 1; }
    1216             : 
    1217             : #if __cplusplus > 201103L
    1218             :       template<typename _Kt>
    1219             :         auto
    1220             :         count(const _Kt& __x) const -> decltype(_M_t._M_count_tr(__x))
    1221             :         { return _M_t._M_count_tr(__x); }
    1222             : #endif
    1223             :       ///@}
    1224             : 
    1225             : #if __cplusplus > 201703L
    1226             :       ///@{
    1227             :       /**
    1228             :        *  @brief  Finds whether an element with the given key exists.
    1229             :        *  @param  __x  Key of (key, value) pairs to be located.
    1230             :        *  @return  True if there is an element with the specified key.
    1231             :        */
    1232             :       bool
    1233             :       contains(const key_type& __x) const
    1234             :       { return _M_t.find(__x) != _M_t.end(); }
    1235             : 
    1236             :       template<typename _Kt>
    1237             :         auto
    1238             :         contains(const _Kt& __x) const
    1239             :         -> decltype(_M_t._M_find_tr(__x), void(), true)
    1240             :         { return _M_t._M_find_tr(__x) != _M_t.end(); }
    1241             :       ///@}
    1242             : #endif
    1243             : 
    1244             :       ///@{
    1245             :       /**
    1246             :        *  @brief Finds the beginning of a subsequence matching given key.
    1247             :        *  @param  __x  Key of (key, value) pair to be located.
    1248             :        *  @return  Iterator pointing to first element equal to or greater
    1249             :        *           than key, or end().
    1250             :        *
    1251             :        *  This function returns the first element of a subsequence of elements
    1252             :        *  that matches the given key.  If unsuccessful it returns an iterator
    1253             :        *  pointing to the first element that has a greater value than given key
    1254             :        *  or end() if no such element exists.
    1255             :        */
    1256             :       iterator
    1257   153264318 :       lower_bound(const key_type& __x)
    1258   261718807 :       { return _M_t.lower_bound(__x); }
    1259             : 
    1260             : #if __cplusplus > 201103L
    1261             :       template<typename _Kt>
    1262             :         auto
    1263             :         lower_bound(const _Kt& __x)
    1264             :         -> decltype(iterator(_M_t._M_lower_bound_tr(__x)))
    1265             :         { return iterator(_M_t._M_lower_bound_tr(__x)); }
    1266             : #endif
    1267             :       ///@}
    1268             : 
    1269             :       ///@{
    1270             :       /**
    1271             :        *  @brief Finds the beginning of a subsequence matching given key.
    1272             :        *  @param  __x  Key of (key, value) pair to be located.
    1273             :        *  @return  Read-only (constant) iterator pointing to first element
    1274             :        *           equal to or greater than key, or end().
    1275             :        *
    1276             :        *  This function returns the first element of a subsequence of elements
    1277             :        *  that matches the given key.  If unsuccessful it returns an iterator
    1278             :        *  pointing to the first element that has a greater value than given key
    1279             :        *  or end() if no such element exists.
    1280             :        */
    1281             :       const_iterator
    1282           0 :       lower_bound(const key_type& __x) const
    1283           0 :       { return _M_t.lower_bound(__x); }
    1284             : 
    1285             : #if __cplusplus > 201103L
    1286             :       template<typename _Kt>
    1287             :         auto
    1288             :         lower_bound(const _Kt& __x) const
    1289             :         -> decltype(const_iterator(_M_t._M_lower_bound_tr(__x)))
    1290             :         { return const_iterator(_M_t._M_lower_bound_tr(__x)); }
    1291             : #endif
    1292             :       ///@}
    1293             : 
    1294             :       ///@{
    1295             :       /**
    1296             :        *  @brief Finds the end of a subsequence matching given key.
    1297             :        *  @param  __x  Key of (key, value) pair to be located.
    1298             :        *  @return Iterator pointing to the first element
    1299             :        *          greater than key, or end().
    1300             :        */
    1301             :       iterator
    1302             :       upper_bound(const key_type& __x)
    1303             :       { return _M_t.upper_bound(__x); }
    1304             : 
    1305             : #if __cplusplus > 201103L
    1306             :       template<typename _Kt>
    1307             :         auto
    1308             :         upper_bound(const _Kt& __x)
    1309             :         -> decltype(iterator(_M_t._M_upper_bound_tr(__x)))
    1310             :         { return iterator(_M_t._M_upper_bound_tr(__x)); }
    1311             : #endif
    1312             :       ///@}
    1313             : 
    1314             :       ///@{
    1315             :       /**
    1316             :        *  @brief Finds the end of a subsequence matching given key.
    1317             :        *  @param  __x  Key of (key, value) pair to be located.
    1318             :        *  @return  Read-only (constant) iterator pointing to first iterator
    1319             :        *           greater than key, or end().
    1320             :        */
    1321             :       const_iterator
    1322             :       upper_bound(const key_type& __x) const
    1323             :       { return _M_t.upper_bound(__x); }
    1324             : 
    1325             : #if __cplusplus > 201103L
    1326             :       template<typename _Kt>
    1327             :         auto
    1328             :         upper_bound(const _Kt& __x) const
    1329             :         -> decltype(const_iterator(_M_t._M_upper_bound_tr(__x)))
    1330             :         { return const_iterator(_M_t._M_upper_bound_tr(__x)); }
    1331             : #endif
    1332             :       ///@}
    1333             : 
    1334             :       ///@{
    1335             :       /**
    1336             :        *  @brief Finds a subsequence matching given key.
    1337             :        *  @param  __x  Key of (key, value) pairs to be located.
    1338             :        *  @return  Pair of iterators that possibly points to the subsequence
    1339             :        *           matching given key.
    1340             :        *
    1341             :        *  This function is equivalent to
    1342             :        *  @code
    1343             :        *    std::make_pair(c.lower_bound(val),
    1344             :        *                   c.upper_bound(val))
    1345             :        *  @endcode
    1346             :        *  (but is faster than making the calls separately).
    1347             :        *
    1348             :        *  This function probably only makes sense for multimaps.
    1349             :        */
    1350             :       std::pair<iterator, iterator>
    1351             :       equal_range(const key_type& __x)
    1352             :       { return _M_t.equal_range(__x); }
    1353             : 
    1354             : #if __cplusplus > 201103L
    1355             :       template<typename _Kt>
    1356             :         auto
    1357             :         equal_range(const _Kt& __x)
    1358             :         -> decltype(pair<iterator, iterator>(_M_t._M_equal_range_tr(__x)))
    1359             :         { return pair<iterator, iterator>(_M_t._M_equal_range_tr(__x)); }
    1360             : #endif
    1361             :       ///@}
    1362             : 
    1363             :       ///@{
    1364             :       /**
    1365             :        *  @brief Finds a subsequence matching given key.
    1366             :        *  @param  __x  Key of (key, value) pairs to be located.
    1367             :        *  @return  Pair of read-only (constant) iterators that possibly points
    1368             :        *           to the subsequence matching given key.
    1369             :        *
    1370             :        *  This function is equivalent to
    1371             :        *  @code
    1372             :        *    std::make_pair(c.lower_bound(val),
    1373             :        *                   c.upper_bound(val))
    1374             :        *  @endcode
    1375             :        *  (but is faster than making the calls separately).
    1376             :        *
    1377             :        *  This function probably only makes sense for multimaps.
    1378             :        */
    1379             :       std::pair<const_iterator, const_iterator>
    1380             :       equal_range(const key_type& __x) const
    1381             :       { return _M_t.equal_range(__x); }
    1382             : 
    1383             : #if __cplusplus > 201103L
    1384             :       template<typename _Kt>
    1385             :         auto
    1386             :         equal_range(const _Kt& __x) const
    1387             :         -> decltype(pair<const_iterator, const_iterator>(
    1388             :               _M_t._M_equal_range_tr(__x)))
    1389             :         {
    1390             :           return pair<const_iterator, const_iterator>(
    1391             :               _M_t._M_equal_range_tr(__x));
    1392             :         }
    1393             : #endif
    1394             :       ///@}
    1395             : 
    1396             :       template<typename _K1, typename _T1, typename _C1, typename _A1>
    1397             :         friend bool
    1398             :         operator==(const map<_K1, _T1, _C1, _A1>&,
    1399             :                    const map<_K1, _T1, _C1, _A1>&);
    1400             : 
    1401             :       template<typename _K1, typename _T1, typename _C1, typename _A1>
    1402             :         friend bool
    1403             :         operator<(const map<_K1, _T1, _C1, _A1>&,
    1404             :                   const map<_K1, _T1, _C1, _A1>&);
    1405             :     };
    1406             : 
    1407             : 
    1408             : #if __cpp_deduction_guides >= 201606
    1409             : 
    1410             :   template<typename _InputIterator,
    1411             :            typename _Compare = less<__iter_key_t<_InputIterator>>,
    1412             :            typename _Allocator = allocator<__iter_to_alloc_t<_InputIterator>>,
    1413             :            typename = _RequireInputIter<_InputIterator>,
    1414             :            typename = _RequireNotAllocator<_Compare>,
    1415             :            typename = _RequireAllocator<_Allocator>>
    1416             :     map(_InputIterator, _InputIterator,
    1417             :         _Compare = _Compare(), _Allocator = _Allocator())
    1418             :     -> map<__iter_key_t<_InputIterator>, __iter_val_t<_InputIterator>,
    1419             :            _Compare, _Allocator>;
    1420             : 
    1421             :   template<typename _Key, typename _Tp, typename _Compare = less<_Key>,
    1422             :            typename _Allocator = allocator<pair<const _Key, _Tp>>,
    1423             :            typename = _RequireNotAllocator<_Compare>,
    1424             :            typename = _RequireAllocator<_Allocator>>
    1425             :     map(initializer_list<pair<_Key, _Tp>>,
    1426             :         _Compare = _Compare(), _Allocator = _Allocator())
    1427             :     -> map<_Key, _Tp, _Compare, _Allocator>;
    1428             : 
    1429             :   template <typename _InputIterator, typename _Allocator,
    1430             :             typename = _RequireInputIter<_InputIterator>,
    1431             :             typename = _RequireAllocator<_Allocator>>
    1432             :     map(_InputIterator, _InputIterator, _Allocator)
    1433             :     -> map<__iter_key_t<_InputIterator>, __iter_val_t<_InputIterator>,
    1434             :            less<__iter_key_t<_InputIterator>>, _Allocator>;
    1435             : 
    1436             :   template<typename _Key, typename _Tp, typename _Allocator,
    1437             :            typename = _RequireAllocator<_Allocator>>
    1438             :     map(initializer_list<pair<_Key, _Tp>>, _Allocator)
    1439             :     -> map<_Key, _Tp, less<_Key>, _Allocator>;
    1440             : 
    1441             : #endif
    1442             : 
    1443             :   /**
    1444             :    *  @brief  Map equality comparison.
    1445             :    *  @param  __x  A %map.
    1446             :    *  @param  __y  A %map of the same type as @a x.
    1447             :    *  @return  True iff the size and elements of the maps are equal.
    1448             :    *
    1449             :    *  This is an equivalence relation.  It is linear in the size of the
    1450             :    *  maps.  Maps are considered equivalent if their sizes are equal,
    1451             :    *  and if corresponding elements compare equal.
    1452             :   */
    1453             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1454             :     inline bool
    1455           0 :     operator==(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1456             :                const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1457           0 :     { return __x._M_t == __y._M_t; }
    1458             : 
    1459             :   /**
    1460             :    *  @brief  Map ordering relation.
    1461             :    *  @param  __x  A %map.
    1462             :    *  @param  __y  A %map of the same type as @a x.
    1463             :    *  @return  True iff @a x is lexicographically less than @a y.
    1464             :    *
    1465             :    *  This is a total ordering relation.  It is linear in the size of the
    1466             :    *  maps.  The elements must be comparable with @c <.
    1467             :    *
    1468             :    *  See std::lexicographical_compare() for how the determination is made.
    1469             :   */
    1470             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1471             :     inline bool
    1472           0 :     operator<(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1473             :               const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1474           0 :     { return __x._M_t < __y._M_t; }
    1475             : 
    1476             :   /// Based on operator==
    1477             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1478             :     inline bool
    1479           0 :     operator!=(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1480             :                const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1481           0 :     { return !(__x == __y); }
    1482             : 
    1483             :   /// Based on operator<
    1484             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1485             :     inline bool
    1486             :     operator>(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1487             :               const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1488             :     { return __y < __x; }
    1489             : 
    1490             :   /// Based on operator<
    1491             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1492             :     inline bool
    1493             :     operator<=(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1494             :                const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1495             :     { return !(__y < __x); }
    1496             : 
    1497             :   /// Based on operator<
    1498             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1499             :     inline bool
    1500             :     operator>=(const map<_Key, _Tp, _Compare, _Alloc>& __x,
    1501             :                const map<_Key, _Tp, _Compare, _Alloc>& __y)
    1502             :     { return !(__x < __y); }
    1503             : 
    1504             :   /// See std::map::swap().
    1505             :   template<typename _Key, typename _Tp, typename _Compare, typename _Alloc>
    1506             :     inline void
    1507             :     swap(map<_Key, _Tp, _Compare, _Alloc>& __x,
    1508             :          map<_Key, _Tp, _Compare, _Alloc>& __y)
    1509             :     _GLIBCXX_NOEXCEPT_IF(noexcept(__x.swap(__y)))
    1510             :     { __x.swap(__y); }
    1511             : 
    1512             : _GLIBCXX_END_NAMESPACE_CONTAINER
    1513             : 
    1514             : #if __cplusplus > 201402L
    1515             :   // Allow std::map access to internals of compatible maps.
    1516             :   template<typename _Key, typename _Val, typename _Cmp1, typename _Alloc,
    1517             :            typename _Cmp2>
    1518             :     struct
    1519             :     _Rb_tree_merge_helper<_GLIBCXX_STD_C::map<_Key, _Val, _Cmp1, _Alloc>,
    1520             :                           _Cmp2>
    1521             :     {
    1522             :     private:
    1523             :       friend class _GLIBCXX_STD_C::map<_Key, _Val, _Cmp1, _Alloc>;
    1524             : 
    1525             :       static auto&
    1526             :       _S_get_tree(_GLIBCXX_STD_C::map<_Key, _Val, _Cmp2, _Alloc>& __map)
    1527             :       { return __map._M_t; }
    1528             : 
    1529             :       static auto&
    1530             :       _S_get_tree(_GLIBCXX_STD_C::multimap<_Key, _Val, _Cmp2, _Alloc>& __map)
    1531             :       { return __map._M_t; }
    1532             :     };
    1533             : #endif // C++17
    1534             : 
    1535             : _GLIBCXX_END_NAMESPACE_VERSION
    1536             : } // namespace std
    1537             : 
    1538             : #endif /* _STL_MAP_H */

Generated by: LCOV version 1.14