xref: /aosp_15_r20/external/cronet/base/containers/flat_map.h (revision 6777b5387eb2ff775bb5750e3f5d96f37fb7352b)
1*6777b538SAndroid Build Coastguard Worker // Copyright 2017 The Chromium Authors
2*6777b538SAndroid Build Coastguard Worker // Use of this source code is governed by a BSD-style license that can be
3*6777b538SAndroid Build Coastguard Worker // found in the LICENSE file.
4*6777b538SAndroid Build Coastguard Worker 
5*6777b538SAndroid Build Coastguard Worker #ifndef BASE_CONTAINERS_FLAT_MAP_H_
6*6777b538SAndroid Build Coastguard Worker #define BASE_CONTAINERS_FLAT_MAP_H_
7*6777b538SAndroid Build Coastguard Worker 
8*6777b538SAndroid Build Coastguard Worker #include <functional>
9*6777b538SAndroid Build Coastguard Worker #include <tuple>
10*6777b538SAndroid Build Coastguard Worker #include <type_traits>
11*6777b538SAndroid Build Coastguard Worker #include <utility>
12*6777b538SAndroid Build Coastguard Worker #include <vector>
13*6777b538SAndroid Build Coastguard Worker 
14*6777b538SAndroid Build Coastguard Worker #include "base/check.h"
15*6777b538SAndroid Build Coastguard Worker #include "base/containers/flat_tree.h"
16*6777b538SAndroid Build Coastguard Worker #include "base/template_util.h"
17*6777b538SAndroid Build Coastguard Worker 
18*6777b538SAndroid Build Coastguard Worker namespace base {
19*6777b538SAndroid Build Coastguard Worker 
20*6777b538SAndroid Build Coastguard Worker namespace internal {
21*6777b538SAndroid Build Coastguard Worker 
22*6777b538SAndroid Build Coastguard Worker // An implementation of the flat_tree GetKeyFromValue template parameter that
23*6777b538SAndroid Build Coastguard Worker // extracts the key as the first element of a pair.
24*6777b538SAndroid Build Coastguard Worker struct GetFirst {
25*6777b538SAndroid Build Coastguard Worker   template <class Key, class Mapped>
operatorGetFirst26*6777b538SAndroid Build Coastguard Worker   constexpr const Key& operator()(const std::pair<Key, Mapped>& p) const {
27*6777b538SAndroid Build Coastguard Worker     return p.first;
28*6777b538SAndroid Build Coastguard Worker   }
29*6777b538SAndroid Build Coastguard Worker };
30*6777b538SAndroid Build Coastguard Worker 
31*6777b538SAndroid Build Coastguard Worker }  // namespace internal
32*6777b538SAndroid Build Coastguard Worker 
33*6777b538SAndroid Build Coastguard Worker // flat_map is a container with a std::map-like interface that stores its
34*6777b538SAndroid Build Coastguard Worker // contents in a sorted container, by default a vector.
35*6777b538SAndroid Build Coastguard Worker //
36*6777b538SAndroid Build Coastguard Worker // Its implementation mostly tracks the corresponding standardization proposal
37*6777b538SAndroid Build Coastguard Worker // https://wg21.link/P0429, except that the storage of keys and values is not
38*6777b538SAndroid Build Coastguard Worker // split.
39*6777b538SAndroid Build Coastguard Worker //
40*6777b538SAndroid Build Coastguard Worker // Please see //base/containers/README.md for an overview of which container
41*6777b538SAndroid Build Coastguard Worker // to select.
42*6777b538SAndroid Build Coastguard Worker //
43*6777b538SAndroid Build Coastguard Worker // PROS
44*6777b538SAndroid Build Coastguard Worker //
45*6777b538SAndroid Build Coastguard Worker //  - Good memory locality.
46*6777b538SAndroid Build Coastguard Worker //  - Low overhead, especially for smaller maps.
47*6777b538SAndroid Build Coastguard Worker //  - Performance is good for more workloads than you might expect (see
48*6777b538SAndroid Build Coastguard Worker //    overview link above).
49*6777b538SAndroid Build Coastguard Worker //  - Supports C++14 map interface.
50*6777b538SAndroid Build Coastguard Worker //
51*6777b538SAndroid Build Coastguard Worker // CONS
52*6777b538SAndroid Build Coastguard Worker //
53*6777b538SAndroid Build Coastguard Worker //  - Inserts and removals are O(n).
54*6777b538SAndroid Build Coastguard Worker //
55*6777b538SAndroid Build Coastguard Worker // IMPORTANT NOTES
56*6777b538SAndroid Build Coastguard Worker //
57*6777b538SAndroid Build Coastguard Worker //  - Iterators are invalidated across mutations. This means that the following
58*6777b538SAndroid Build Coastguard Worker //    line of code has undefined behavior since adding a new element could
59*6777b538SAndroid Build Coastguard Worker //    resize the container, invalidating all iterators:
60*6777b538SAndroid Build Coastguard Worker //      container["new element"] = it.second;
61*6777b538SAndroid Build Coastguard Worker //  - If possible, construct a flat_map in one operation by inserting into
62*6777b538SAndroid Build Coastguard Worker //    a container and moving that container into the flat_map constructor.
63*6777b538SAndroid Build Coastguard Worker //
64*6777b538SAndroid Build Coastguard Worker // QUICK REFERENCE
65*6777b538SAndroid Build Coastguard Worker //
66*6777b538SAndroid Build Coastguard Worker // Most of the core functionality is inherited from flat_tree. Please see
67*6777b538SAndroid Build Coastguard Worker // flat_tree.h for more details for most of these functions. As a quick
68*6777b538SAndroid Build Coastguard Worker // reference, the functions available are:
69*6777b538SAndroid Build Coastguard Worker //
70*6777b538SAndroid Build Coastguard Worker // Constructors (inputs need not be sorted):
71*6777b538SAndroid Build Coastguard Worker //   flat_map(const flat_map&);
72*6777b538SAndroid Build Coastguard Worker //   flat_map(flat_map&&);
73*6777b538SAndroid Build Coastguard Worker //   flat_map(InputIterator first, InputIterator last,
74*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare());
75*6777b538SAndroid Build Coastguard Worker //   flat_map(const container_type& items,
76*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare());
77*6777b538SAndroid Build Coastguard Worker //   flat_map(container_type&& items,
78*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare()); // Re-use storage.
79*6777b538SAndroid Build Coastguard Worker //   flat_map(std::initializer_list<value_type> ilist,
80*6777b538SAndroid Build Coastguard Worker //            const Compare& comp = Compare());
81*6777b538SAndroid Build Coastguard Worker //
82*6777b538SAndroid Build Coastguard Worker // Constructors (inputs need to be sorted):
83*6777b538SAndroid Build Coastguard Worker //   flat_map(sorted_unique_t,
84*6777b538SAndroid Build Coastguard Worker //            InputIterator first, InputIterator last,
85*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare());
86*6777b538SAndroid Build Coastguard Worker //   flat_map(sorted_unique_t,
87*6777b538SAndroid Build Coastguard Worker //            const container_type& items,
88*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare());
89*6777b538SAndroid Build Coastguard Worker //   flat_map(sorted_unique_t,
90*6777b538SAndroid Build Coastguard Worker //            container_type&& items,
91*6777b538SAndroid Build Coastguard Worker //            const Compare& compare = Compare());  // Re-use storage.
92*6777b538SAndroid Build Coastguard Worker //   flat_map(sorted_unique_t,
93*6777b538SAndroid Build Coastguard Worker //            std::initializer_list<value_type> ilist,
94*6777b538SAndroid Build Coastguard Worker //            const Compare& comp = Compare());
95*6777b538SAndroid Build Coastguard Worker //
96*6777b538SAndroid Build Coastguard Worker // Assignment functions:
97*6777b538SAndroid Build Coastguard Worker //   flat_map& operator=(const flat_map&);
98*6777b538SAndroid Build Coastguard Worker //   flat_map& operator=(flat_map&&);
99*6777b538SAndroid Build Coastguard Worker //   flat_map& operator=(initializer_list<value_type>);
100*6777b538SAndroid Build Coastguard Worker //
101*6777b538SAndroid Build Coastguard Worker // Memory management functions:
102*6777b538SAndroid Build Coastguard Worker //   void   reserve(size_t);
103*6777b538SAndroid Build Coastguard Worker //   size_t capacity() const;
104*6777b538SAndroid Build Coastguard Worker //   void   shrink_to_fit();
105*6777b538SAndroid Build Coastguard Worker //
106*6777b538SAndroid Build Coastguard Worker // Size management functions:
107*6777b538SAndroid Build Coastguard Worker //   void   clear();
108*6777b538SAndroid Build Coastguard Worker //   size_t size() const;
109*6777b538SAndroid Build Coastguard Worker //   size_t max_size() const;
110*6777b538SAndroid Build Coastguard Worker //   bool   empty() const;
111*6777b538SAndroid Build Coastguard Worker //
112*6777b538SAndroid Build Coastguard Worker // Iterator functions:
113*6777b538SAndroid Build Coastguard Worker //   iterator               begin();
114*6777b538SAndroid Build Coastguard Worker //   const_iterator         begin() const;
115*6777b538SAndroid Build Coastguard Worker //   const_iterator         cbegin() const;
116*6777b538SAndroid Build Coastguard Worker //   iterator               end();
117*6777b538SAndroid Build Coastguard Worker //   const_iterator         end() const;
118*6777b538SAndroid Build Coastguard Worker //   const_iterator         cend() const;
119*6777b538SAndroid Build Coastguard Worker //   reverse_iterator       rbegin();
120*6777b538SAndroid Build Coastguard Worker //   const reverse_iterator rbegin() const;
121*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator crbegin() const;
122*6777b538SAndroid Build Coastguard Worker //   reverse_iterator       rend();
123*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator rend() const;
124*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator crend() const;
125*6777b538SAndroid Build Coastguard Worker //
126*6777b538SAndroid Build Coastguard Worker // Insert and accessor functions:
127*6777b538SAndroid Build Coastguard Worker //   mapped_type&         operator[](const key_type&);
128*6777b538SAndroid Build Coastguard Worker //   mapped_type&         operator[](key_type&&);
129*6777b538SAndroid Build Coastguard Worker //   mapped_type&         at(const K&);
130*6777b538SAndroid Build Coastguard Worker //   const mapped_type&   at(const K&) const;
131*6777b538SAndroid Build Coastguard Worker //   pair<iterator, bool> insert(const value_type&);
132*6777b538SAndroid Build Coastguard Worker //   pair<iterator, bool> insert(value_type&&);
133*6777b538SAndroid Build Coastguard Worker //   iterator             insert(const_iterator hint, const value_type&);
134*6777b538SAndroid Build Coastguard Worker //   iterator             insert(const_iterator hint, value_type&&);
135*6777b538SAndroid Build Coastguard Worker //   void                 insert(InputIterator first, InputIterator last);
136*6777b538SAndroid Build Coastguard Worker //   pair<iterator, bool> insert_or_assign(K&&, M&&);
137*6777b538SAndroid Build Coastguard Worker //   iterator             insert_or_assign(const_iterator hint, K&&, M&&);
138*6777b538SAndroid Build Coastguard Worker //   pair<iterator, bool> emplace(Args&&...);
139*6777b538SAndroid Build Coastguard Worker //   iterator             emplace_hint(const_iterator, Args&&...);
140*6777b538SAndroid Build Coastguard Worker //   pair<iterator, bool> try_emplace(K&&, Args&&...);
141*6777b538SAndroid Build Coastguard Worker //   iterator             try_emplace(const_iterator hint, K&&, Args&&...);
142*6777b538SAndroid Build Coastguard Worker 
143*6777b538SAndroid Build Coastguard Worker // Underlying type functions:
144*6777b538SAndroid Build Coastguard Worker //   container_type       extract() &&;
145*6777b538SAndroid Build Coastguard Worker //   void                 replace(container_type&&);
146*6777b538SAndroid Build Coastguard Worker //
147*6777b538SAndroid Build Coastguard Worker // Erase functions:
148*6777b538SAndroid Build Coastguard Worker //   iterator erase(iterator);
149*6777b538SAndroid Build Coastguard Worker //   iterator erase(const_iterator);
150*6777b538SAndroid Build Coastguard Worker //   iterator erase(const_iterator first, const_iterator& last);
151*6777b538SAndroid Build Coastguard Worker //   template <class K> size_t erase(const K& key);
152*6777b538SAndroid Build Coastguard Worker //
153*6777b538SAndroid Build Coastguard Worker // Comparators (see std::map documentation).
154*6777b538SAndroid Build Coastguard Worker //   key_compare   key_comp() const;
155*6777b538SAndroid Build Coastguard Worker //   value_compare value_comp() const;
156*6777b538SAndroid Build Coastguard Worker //
157*6777b538SAndroid Build Coastguard Worker // Search functions:
158*6777b538SAndroid Build Coastguard Worker //   template <typename K> size_t                   count(const K&) const;
159*6777b538SAndroid Build Coastguard Worker //   template <typename K> iterator                 find(const K&);
160*6777b538SAndroid Build Coastguard Worker //   template <typename K> const_iterator           find(const K&) const;
161*6777b538SAndroid Build Coastguard Worker //   template <typename K> bool                     contains(const K&) const;
162*6777b538SAndroid Build Coastguard Worker //   template <typename K> pair<iterator, iterator> equal_range(const K&);
163*6777b538SAndroid Build Coastguard Worker //   template <typename K> iterator                 lower_bound(const K&);
164*6777b538SAndroid Build Coastguard Worker //   template <typename K> const_iterator           lower_bound(const K&) const;
165*6777b538SAndroid Build Coastguard Worker //   template <typename K> iterator                 upper_bound(const K&);
166*6777b538SAndroid Build Coastguard Worker //   template <typename K> const_iterator           upper_bound(const K&) const;
167*6777b538SAndroid Build Coastguard Worker //
168*6777b538SAndroid Build Coastguard Worker // General functions:
169*6777b538SAndroid Build Coastguard Worker //   void swap(flat_map&);
170*6777b538SAndroid Build Coastguard Worker //
171*6777b538SAndroid Build Coastguard Worker // Non-member operators:
172*6777b538SAndroid Build Coastguard Worker //   bool operator==(const flat_map&, const flat_map);
173*6777b538SAndroid Build Coastguard Worker //   bool operator!=(const flat_map&, const flat_map);
174*6777b538SAndroid Build Coastguard Worker //   bool operator<(const flat_map&, const flat_map);
175*6777b538SAndroid Build Coastguard Worker //   bool operator>(const flat_map&, const flat_map);
176*6777b538SAndroid Build Coastguard Worker //   bool operator>=(const flat_map&, const flat_map);
177*6777b538SAndroid Build Coastguard Worker //   bool operator<=(const flat_map&, const flat_map);
178*6777b538SAndroid Build Coastguard Worker //
179*6777b538SAndroid Build Coastguard Worker template <class Key,
180*6777b538SAndroid Build Coastguard Worker           class Mapped,
181*6777b538SAndroid Build Coastguard Worker           class Compare = std::less<>,
182*6777b538SAndroid Build Coastguard Worker           class Container = std::vector<std::pair<Key, Mapped>>>
183*6777b538SAndroid Build Coastguard Worker class flat_map : public ::base::internal::
184*6777b538SAndroid Build Coastguard Worker                      flat_tree<Key, internal::GetFirst, Compare, Container> {
185*6777b538SAndroid Build Coastguard Worker  private:
186*6777b538SAndroid Build Coastguard Worker   using tree = typename ::base::internal::
187*6777b538SAndroid Build Coastguard Worker       flat_tree<Key, internal::GetFirst, Compare, Container>;
188*6777b538SAndroid Build Coastguard Worker 
189*6777b538SAndroid Build Coastguard Worker  public:
190*6777b538SAndroid Build Coastguard Worker   using key_type = typename tree::key_type;
191*6777b538SAndroid Build Coastguard Worker   using mapped_type = Mapped;
192*6777b538SAndroid Build Coastguard Worker   using value_type = typename tree::value_type;
193*6777b538SAndroid Build Coastguard Worker   using reference = typename Container::reference;
194*6777b538SAndroid Build Coastguard Worker   using const_reference = typename Container::const_reference;
195*6777b538SAndroid Build Coastguard Worker   using size_type = typename Container::size_type;
196*6777b538SAndroid Build Coastguard Worker   using difference_type = typename Container::difference_type;
197*6777b538SAndroid Build Coastguard Worker   using iterator = typename tree::iterator;
198*6777b538SAndroid Build Coastguard Worker   using const_iterator = typename tree::const_iterator;
199*6777b538SAndroid Build Coastguard Worker   using reverse_iterator = typename tree::reverse_iterator;
200*6777b538SAndroid Build Coastguard Worker   using const_reverse_iterator = typename tree::const_reverse_iterator;
201*6777b538SAndroid Build Coastguard Worker   using container_type = typename tree::container_type;
202*6777b538SAndroid Build Coastguard Worker 
203*6777b538SAndroid Build Coastguard Worker   // --------------------------------------------------------------------------
204*6777b538SAndroid Build Coastguard Worker   // Lifetime and assignments.
205*6777b538SAndroid Build Coastguard Worker   //
206*6777b538SAndroid Build Coastguard Worker   // Note: we explicitly bring operator= in because otherwise
207*6777b538SAndroid Build Coastguard Worker   //   flat_map<...> x;
208*6777b538SAndroid Build Coastguard Worker   //   x = {...};
209*6777b538SAndroid Build Coastguard Worker   // Would first create a flat_map and then move assign it. This most likely
210*6777b538SAndroid Build Coastguard Worker   // would be optimized away but still affects our debug builds.
211*6777b538SAndroid Build Coastguard Worker 
212*6777b538SAndroid Build Coastguard Worker   using tree::tree;
213*6777b538SAndroid Build Coastguard Worker   using tree::operator=;
214*6777b538SAndroid Build Coastguard Worker 
215*6777b538SAndroid Build Coastguard Worker   // Out-of-bound calls to at() will CHECK.
216*6777b538SAndroid Build Coastguard Worker   template <class K>
217*6777b538SAndroid Build Coastguard Worker   mapped_type& at(const K& key);
218*6777b538SAndroid Build Coastguard Worker   template <class K>
219*6777b538SAndroid Build Coastguard Worker   const mapped_type& at(const K& key) const;
220*6777b538SAndroid Build Coastguard Worker 
221*6777b538SAndroid Build Coastguard Worker   // --------------------------------------------------------------------------
222*6777b538SAndroid Build Coastguard Worker   // Map-specific insert operations.
223*6777b538SAndroid Build Coastguard Worker   //
224*6777b538SAndroid Build Coastguard Worker   // Normal insert() functions are inherited from flat_tree.
225*6777b538SAndroid Build Coastguard Worker   //
226*6777b538SAndroid Build Coastguard Worker   // Assume that every operation invalidates iterators and references.
227*6777b538SAndroid Build Coastguard Worker   // Insertion of one element can take O(size).
228*6777b538SAndroid Build Coastguard Worker 
229*6777b538SAndroid Build Coastguard Worker   mapped_type& operator[](const key_type& key);
230*6777b538SAndroid Build Coastguard Worker   mapped_type& operator[](key_type&& key);
231*6777b538SAndroid Build Coastguard Worker 
232*6777b538SAndroid Build Coastguard Worker   template <class K, class M>
233*6777b538SAndroid Build Coastguard Worker   std::pair<iterator, bool> insert_or_assign(K&& key, M&& obj);
234*6777b538SAndroid Build Coastguard Worker   template <class K, class M>
235*6777b538SAndroid Build Coastguard Worker   iterator insert_or_assign(const_iterator hint, K&& key, M&& obj);
236*6777b538SAndroid Build Coastguard Worker 
237*6777b538SAndroid Build Coastguard Worker   template <class K, class... Args>
238*6777b538SAndroid Build Coastguard Worker   std::enable_if_t<std::is_constructible_v<key_type, K&&>,
239*6777b538SAndroid Build Coastguard Worker                    std::pair<iterator, bool>>
240*6777b538SAndroid Build Coastguard Worker   try_emplace(K&& key, Args&&... args);
241*6777b538SAndroid Build Coastguard Worker 
242*6777b538SAndroid Build Coastguard Worker   template <class K, class... Args>
243*6777b538SAndroid Build Coastguard Worker   std::enable_if_t<std::is_constructible_v<key_type, K&&>, iterator>
244*6777b538SAndroid Build Coastguard Worker   try_emplace(const_iterator hint, K&& key, Args&&... args);
245*6777b538SAndroid Build Coastguard Worker 
246*6777b538SAndroid Build Coastguard Worker   // --------------------------------------------------------------------------
247*6777b538SAndroid Build Coastguard Worker   // General operations.
248*6777b538SAndroid Build Coastguard Worker   //
249*6777b538SAndroid Build Coastguard Worker   // Assume that swap invalidates iterators and references.
250*6777b538SAndroid Build Coastguard Worker 
251*6777b538SAndroid Build Coastguard Worker   void swap(flat_map& other) noexcept;
252*6777b538SAndroid Build Coastguard Worker 
swap(flat_map & lhs,flat_map & rhs)253*6777b538SAndroid Build Coastguard Worker   friend void swap(flat_map& lhs, flat_map& rhs) noexcept { lhs.swap(rhs); }
254*6777b538SAndroid Build Coastguard Worker };
255*6777b538SAndroid Build Coastguard Worker 
256*6777b538SAndroid Build Coastguard Worker // ----------------------------------------------------------------------------
257*6777b538SAndroid Build Coastguard Worker // Lookups.
258*6777b538SAndroid Build Coastguard Worker 
259*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
260*6777b538SAndroid Build Coastguard Worker template <class K>
261*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::at(const K& key)
262*6777b538SAndroid Build Coastguard Worker     -> mapped_type& {
263*6777b538SAndroid Build Coastguard Worker   iterator found = tree::find(key);
264*6777b538SAndroid Build Coastguard Worker   CHECK(found != tree::end());
265*6777b538SAndroid Build Coastguard Worker   return found->second;
266*6777b538SAndroid Build Coastguard Worker }
267*6777b538SAndroid Build Coastguard Worker 
268*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
269*6777b538SAndroid Build Coastguard Worker template <class K>
270*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::at(const K& key) const
271*6777b538SAndroid Build Coastguard Worker     -> const mapped_type& {
272*6777b538SAndroid Build Coastguard Worker   const_iterator found = tree::find(key);
273*6777b538SAndroid Build Coastguard Worker   CHECK(found != tree::cend());
274*6777b538SAndroid Build Coastguard Worker   return found->second;
275*6777b538SAndroid Build Coastguard Worker }
276*6777b538SAndroid Build Coastguard Worker 
277*6777b538SAndroid Build Coastguard Worker // ----------------------------------------------------------------------------
278*6777b538SAndroid Build Coastguard Worker // Insert operations.
279*6777b538SAndroid Build Coastguard Worker 
280*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
281*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::operator[](const key_type& key)
282*6777b538SAndroid Build Coastguard Worker     -> mapped_type& {
283*6777b538SAndroid Build Coastguard Worker   iterator found = tree::lower_bound(key);
284*6777b538SAndroid Build Coastguard Worker   if (found == tree::end() || tree::key_comp()(key, found->first))
285*6777b538SAndroid Build Coastguard Worker     found = tree::unsafe_emplace(found, key, mapped_type());
286*6777b538SAndroid Build Coastguard Worker   return found->second;
287*6777b538SAndroid Build Coastguard Worker }
288*6777b538SAndroid Build Coastguard Worker 
289*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
290*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::operator[](key_type&& key)
291*6777b538SAndroid Build Coastguard Worker     -> mapped_type& {
292*6777b538SAndroid Build Coastguard Worker   iterator found = tree::lower_bound(key);
293*6777b538SAndroid Build Coastguard Worker   if (found == tree::end() || tree::key_comp()(key, found->first))
294*6777b538SAndroid Build Coastguard Worker     found = tree::unsafe_emplace(found, std::move(key), mapped_type());
295*6777b538SAndroid Build Coastguard Worker   return found->second;
296*6777b538SAndroid Build Coastguard Worker }
297*6777b538SAndroid Build Coastguard Worker 
298*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
299*6777b538SAndroid Build Coastguard Worker template <class K, class M>
300*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::insert_or_assign(K&& key,
301*6777b538SAndroid Build Coastguard Worker                                                                  M&& obj)
302*6777b538SAndroid Build Coastguard Worker     -> std::pair<iterator, bool> {
303*6777b538SAndroid Build Coastguard Worker   auto result =
304*6777b538SAndroid Build Coastguard Worker       tree::emplace_key_args(key, std::forward<K>(key), std::forward<M>(obj));
305*6777b538SAndroid Build Coastguard Worker   if (!result.second)
306*6777b538SAndroid Build Coastguard Worker     result.first->second = std::forward<M>(obj);
307*6777b538SAndroid Build Coastguard Worker   return result;
308*6777b538SAndroid Build Coastguard Worker }
309*6777b538SAndroid Build Coastguard Worker 
310*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
311*6777b538SAndroid Build Coastguard Worker template <class K, class M>
312*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::insert_or_assign(
313*6777b538SAndroid Build Coastguard Worker     const_iterator hint,
314*6777b538SAndroid Build Coastguard Worker     K&& key,
315*6777b538SAndroid Build Coastguard Worker     M&& obj) -> iterator {
316*6777b538SAndroid Build Coastguard Worker   auto result = tree::emplace_hint_key_args(hint, key, std::forward<K>(key),
317*6777b538SAndroid Build Coastguard Worker                                             std::forward<M>(obj));
318*6777b538SAndroid Build Coastguard Worker   if (!result.second)
319*6777b538SAndroid Build Coastguard Worker     result.first->second = std::forward<M>(obj);
320*6777b538SAndroid Build Coastguard Worker   return result.first;
321*6777b538SAndroid Build Coastguard Worker }
322*6777b538SAndroid Build Coastguard Worker 
323*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
324*6777b538SAndroid Build Coastguard Worker template <class K, class... Args>
325*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::try_emplace(K&& key,
326*6777b538SAndroid Build Coastguard Worker                                                             Args&&... args)
327*6777b538SAndroid Build Coastguard Worker     -> std::enable_if_t<std::is_constructible_v<key_type, K&&>,
328*6777b538SAndroid Build Coastguard Worker                         std::pair<iterator, bool>> {
329*6777b538SAndroid Build Coastguard Worker   return tree::emplace_key_args(
330*6777b538SAndroid Build Coastguard Worker       key, std::piecewise_construct,
331*6777b538SAndroid Build Coastguard Worker       std::forward_as_tuple(std::forward<K>(key)),
332*6777b538SAndroid Build Coastguard Worker       std::forward_as_tuple(std::forward<Args>(args)...));
333*6777b538SAndroid Build Coastguard Worker }
334*6777b538SAndroid Build Coastguard Worker 
335*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
336*6777b538SAndroid Build Coastguard Worker template <class K, class... Args>
337*6777b538SAndroid Build Coastguard Worker auto flat_map<Key, Mapped, Compare, Container>::try_emplace(const_iterator hint,
338*6777b538SAndroid Build Coastguard Worker                                                             K&& key,
339*6777b538SAndroid Build Coastguard Worker                                                             Args&&... args)
340*6777b538SAndroid Build Coastguard Worker     -> std::enable_if_t<std::is_constructible_v<key_type, K&&>, iterator> {
341*6777b538SAndroid Build Coastguard Worker   return tree::emplace_hint_key_args(
342*6777b538SAndroid Build Coastguard Worker              hint, key, std::piecewise_construct,
343*6777b538SAndroid Build Coastguard Worker              std::forward_as_tuple(std::forward<K>(key)),
344*6777b538SAndroid Build Coastguard Worker              std::forward_as_tuple(std::forward<Args>(args)...))
345*6777b538SAndroid Build Coastguard Worker       .first;
346*6777b538SAndroid Build Coastguard Worker }
347*6777b538SAndroid Build Coastguard Worker 
348*6777b538SAndroid Build Coastguard Worker // ----------------------------------------------------------------------------
349*6777b538SAndroid Build Coastguard Worker // General operations.
350*6777b538SAndroid Build Coastguard Worker 
351*6777b538SAndroid Build Coastguard Worker template <class Key, class Mapped, class Compare, class Container>
swap(flat_map & other)352*6777b538SAndroid Build Coastguard Worker void flat_map<Key, Mapped, Compare, Container>::swap(flat_map& other) noexcept {
353*6777b538SAndroid Build Coastguard Worker   tree::swap(other);
354*6777b538SAndroid Build Coastguard Worker }
355*6777b538SAndroid Build Coastguard Worker 
356*6777b538SAndroid Build Coastguard Worker // ----------------------------------------------------------------------------
357*6777b538SAndroid Build Coastguard Worker // Utility functions.
358*6777b538SAndroid Build Coastguard Worker 
359*6777b538SAndroid Build Coastguard Worker // Utility function to simplify constructing a flat_set from a fixed list of
360*6777b538SAndroid Build Coastguard Worker // keys and values. The key/value pairs are obtained by applying |proj| to the
361*6777b538SAndroid Build Coastguard Worker // |unprojected_elements|. The map's keys are sorted by |comp|.
362*6777b538SAndroid Build Coastguard Worker //
363*6777b538SAndroid Build Coastguard Worker // Example usage (creates a set {{16, "4"}, {9, "3"}, {4, "2"}, {1, "1"}}):
364*6777b538SAndroid Build Coastguard Worker //   auto map = base::MakeFlatMap<int, std::string>(
365*6777b538SAndroid Build Coastguard Worker //       std::vector<int>{1, 2, 3, 4},
366*6777b538SAndroid Build Coastguard Worker //       [](int i, int j) { return i > j; },
367*6777b538SAndroid Build Coastguard Worker //       [](int i) { return std::make_pair(i * i, base::NumberToString(i)); });
368*6777b538SAndroid Build Coastguard Worker template <class Key,
369*6777b538SAndroid Build Coastguard Worker           class Mapped,
370*6777b538SAndroid Build Coastguard Worker           class KeyCompare = std::less<>,
371*6777b538SAndroid Build Coastguard Worker           class Container = std::vector<std::pair<Key, Mapped>>,
372*6777b538SAndroid Build Coastguard Worker           class InputContainer,
373*6777b538SAndroid Build Coastguard Worker           class Projection = std::identity>
374*6777b538SAndroid Build Coastguard Worker constexpr flat_map<Key, Mapped, KeyCompare, Container> MakeFlatMap(
375*6777b538SAndroid Build Coastguard Worker     const InputContainer& unprojected_elements,
376*6777b538SAndroid Build Coastguard Worker     const KeyCompare& comp = KeyCompare(),
377*6777b538SAndroid Build Coastguard Worker     const Projection& proj = Projection()) {
378*6777b538SAndroid Build Coastguard Worker   Container elements;
379*6777b538SAndroid Build Coastguard Worker   internal::ReserveIfSupported(elements, unprojected_elements);
380*6777b538SAndroid Build Coastguard Worker   base::ranges::transform(unprojected_elements, std::back_inserter(elements),
381*6777b538SAndroid Build Coastguard Worker                           proj);
382*6777b538SAndroid Build Coastguard Worker   return flat_map<Key, Mapped, KeyCompare, Container>(std::move(elements),
383*6777b538SAndroid Build Coastguard Worker                                                       comp);
384*6777b538SAndroid Build Coastguard Worker }
385*6777b538SAndroid Build Coastguard Worker 
386*6777b538SAndroid Build Coastguard Worker // Deduction guide to construct a flat_map from a Container of std::pair<Key,
387*6777b538SAndroid Build Coastguard Worker // Mapped> elements. The container does not have to be sorted or contain only
388*6777b538SAndroid Build Coastguard Worker // unique keys; construction will automatically discard duplicate keys, keeping
389*6777b538SAndroid Build Coastguard Worker // only the first.
390*6777b538SAndroid Build Coastguard Worker template <
391*6777b538SAndroid Build Coastguard Worker     class Container,
392*6777b538SAndroid Build Coastguard Worker     class Compare = std::less<>,
393*6777b538SAndroid Build Coastguard Worker     class Key = typename std::decay_t<Container>::value_type::first_type,
394*6777b538SAndroid Build Coastguard Worker     class Mapped = typename std::decay_t<Container>::value_type::second_type>
395*6777b538SAndroid Build Coastguard Worker flat_map(Container&&, Compare comp = {})
396*6777b538SAndroid Build Coastguard Worker     -> flat_map<Key, Mapped, Compare, std::decay_t<Container>>;
397*6777b538SAndroid Build Coastguard Worker 
398*6777b538SAndroid Build Coastguard Worker }  // namespace base
399*6777b538SAndroid Build Coastguard Worker 
400*6777b538SAndroid Build Coastguard Worker #endif  // BASE_CONTAINERS_FLAT_MAP_H_
401