1 /* 2 * Copyright 2020 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #pragma once 18 19 #include <ftl/initializer_list.h> 20 #include <ftl/optional.h> 21 #include <ftl/small_vector.h> 22 23 #include <algorithm> 24 #include <functional> 25 #include <type_traits> 26 #include <utility> 27 28 namespace android::ftl { 29 30 // Associative container with unique, unordered keys. Unlike std::unordered_map, key-value pairs are 31 // stored in contiguous storage for cache efficiency. The map is allocated statically until its size 32 // exceeds N, at which point mappings are relocated to dynamic memory. The try_emplace operation has 33 // a non-standard analogue try_replace that destructively emplaces. The API also defines an in-place 34 // counterpart to insert_or_assign: emplace_or_replace. Lookup is done not via a subscript operator, 35 // but immutable getters that can optionally transform the value. 36 // 37 // SmallMap<K, V, 0> unconditionally allocates on the heap. 38 // 39 // Example usage: 40 // 41 // ftl::SmallMap<int, std::string, 3> map; 42 // assert(map.empty()); 43 // assert(!map.dynamic()); 44 // 45 // map = ftl::init::map<int, std::string>(123, "abc")(-1)(42, 3u, '?'); 46 // assert(map.size() == 3u); 47 // assert(!map.dynamic()); 48 // 49 // assert(map.contains(123)); 50 // assert(map.get(42).transform([](const std::string& s) { return s.size(); }) == 3u); 51 // 52 // const auto opt = map.get(-1); 53 // assert(opt); 54 // 55 // std::string& ref = *opt; 56 // assert(ref.empty()); 57 // ref = "xyz"; 58 // 59 // map.emplace_or_replace(0, "vanilla", 2u, 3u); 60 // assert(map.dynamic()); 61 // 62 // assert(map == SmallMap(ftl::init::map(-1, "xyz"sv)(0, "nil"sv)(42, "???"sv)(123, "abc"sv))); 63 // 64 template <typename K, typename V, std::size_t N, typename KeyEqual = std::equal_to<K>> 65 class SmallMap final { 66 using Map = SmallVector<std::pair<const K, V>, N>; 67 68 template <typename, typename, std::size_t, typename> 69 friend class SmallMap; 70 71 public: 72 using key_type = K; 73 using mapped_type = V; 74 75 using value_type = typename Map::value_type; 76 using size_type = typename Map::size_type; 77 using difference_type = typename Map::difference_type; 78 79 using reference = typename Map::reference; 80 using iterator = typename Map::iterator; 81 82 using const_reference = typename Map::const_reference; 83 using const_iterator = typename Map::const_iterator; 84 85 // Creates an empty map. 86 SmallMap() = default; 87 88 // Constructs at most N key-value pairs in place by forwarding per-pair constructor arguments. 89 // The template arguments K, V, and N are inferred using the deduction guide defined below. 90 // The syntax for listing pairs is as follows: 91 // 92 // ftl::SmallMap map = ftl::init::map<int, std::string>(123, "abc")(-1)(42, 3u, '?'); 93 // static_assert(std::is_same_v<decltype(map), ftl::SmallMap<int, std::string, 3>>); 94 // 95 // The types of the key and value are deduced if the first pair contains exactly two arguments: 96 // 97 // ftl::SmallMap map = ftl::init::map(0, 'a')(1, 'b')(2, 'c'); 98 // static_assert(std::is_same_v<decltype(map), ftl::SmallMap<int, char, 3>>); 99 // 100 template <typename U, std::size_t... Sizes, typename... Types> SmallMap(InitializerList<U,std::index_sequence<Sizes...>,Types...> && list)101 SmallMap(InitializerList<U, std::index_sequence<Sizes...>, Types...>&& list) 102 : map_(std::move(list)) { 103 deduplicate(); 104 } 105 106 // Copies or moves key-value pairs from a convertible map. 107 template <typename Q, typename W, std::size_t M, typename E> SmallMap(SmallMap<Q,W,M,E> other)108 SmallMap(SmallMap<Q, W, M, E> other) : map_(std::move(other.map_)) {} 109 max_size()110 size_type max_size() const { return map_.max_size(); } size()111 size_type size() const { return map_.size(); } empty()112 bool empty() const { return map_.empty(); } 113 114 // Returns whether the map is backed by static or dynamic storage. dynamic()115 bool dynamic() const { return map_.dynamic(); } 116 begin()117 iterator begin() { return map_.begin(); } begin()118 const_iterator begin() const { return cbegin(); } cbegin()119 const_iterator cbegin() const { return map_.cbegin(); } 120 end()121 iterator end() { return map_.end(); } end()122 const_iterator end() const { return cend(); } cend()123 const_iterator cend() const { return map_.cend(); } 124 125 // Returns whether a mapping exists for the given key. contains(const key_type & key)126 bool contains(const key_type& key) const { return get(key).has_value(); } 127 128 // Returns a reference to the value for the given key, or std::nullopt if the key was not found. 129 // 130 // ftl::SmallMap map = ftl::init::map('a', 'A')('b', 'B')('c', 'C'); 131 // 132 // const auto opt = map.get('c'); 133 // assert(opt == 'C'); 134 // 135 // char d = 'd'; 136 // const auto ref = map.get('d').value_or(std::ref(d)); 137 // ref.get() = 'D'; 138 // assert(d == 'D'); 139 // 140 auto get(const key_type& key) const -> Optional<std::reference_wrapper<const mapped_type>> { 141 for (const auto& [k, v] : *this) { 142 if (KeyEqual{}(k, key)) { 143 return std::cref(v); 144 } 145 } 146 return {}; 147 } 148 149 auto get(const key_type& key) -> Optional<std::reference_wrapper<mapped_type>> { 150 for (auto& [k, v] : *this) { 151 if (KeyEqual{}(k, key)) { 152 return std::ref(v); 153 } 154 } 155 return {}; 156 } 157 158 // Returns an iterator to an existing mapping for the given key, or the end() iterator otherwise. find(const key_type & key)159 const_iterator find(const key_type& key) const { return const_cast<SmallMap&>(*this).find(key); } find(const key_type & key)160 iterator find(const key_type& key) { return find(key, begin()); } 161 162 // Inserts a mapping unless it exists. Returns an iterator to the inserted or existing mapping, 163 // and whether the mapping was inserted. 164 // 165 // On emplace, if the map reaches its static or dynamic capacity, then all iterators are 166 // invalidated. Otherwise, only the end() iterator is invalidated. 167 // 168 template <typename... Args> try_emplace(const key_type & key,Args &&...args)169 std::pair<iterator, bool> try_emplace(const key_type& key, Args&&... args) { 170 if (const auto it = find(key); it != end()) { 171 return {it, false}; 172 } 173 174 auto& ref = map_.emplace_back(std::piecewise_construct, std::forward_as_tuple(key), 175 std::forward_as_tuple(std::forward<Args>(args)...)); 176 return {&ref, true}; 177 } 178 179 // Replaces a mapping if it exists, and returns an iterator to it. Returns the end() iterator 180 // otherwise. 181 // 182 // The value is replaced via move constructor, so type V does not need to define copy/move 183 // assignment, e.g. its data members may be const. 184 // 185 // The arguments may directly or indirectly refer to the mapping being replaced. 186 // 187 // Iterators to the replaced mapping point to its replacement, and others remain valid. 188 // 189 template <typename... Args> try_replace(const key_type & key,Args &&...args)190 iterator try_replace(const key_type& key, Args&&... args) { 191 const auto it = find(key); 192 if (it == end()) return it; 193 map_.replace(it, std::piecewise_construct, std::forward_as_tuple(key), 194 std::forward_as_tuple(std::forward<Args>(args)...)); 195 return it; 196 } 197 198 // In-place counterpart of std::unordered_map's insert_or_assign. Returns true on emplace, or 199 // false on replace. 200 // 201 // The value is emplaced and replaced via move constructor, so type V does not need to define 202 // copy/move assignment, e.g. its data members may be const. 203 // 204 // On emplace, if the map reaches its static or dynamic capacity, then all iterators are 205 // invalidated. Otherwise, only the end() iterator is invalidated. On replace, iterators 206 // to the replaced mapping point to its replacement, and others remain valid. 207 // 208 template <typename... Args> emplace_or_replace(const key_type & key,Args &&...args)209 std::pair<iterator, bool> emplace_or_replace(const key_type& key, Args&&... args) { 210 const auto [it, ok] = try_emplace(key, std::forward<Args>(args)...); 211 if (ok) return {it, ok}; 212 map_.replace(it, std::piecewise_construct, std::forward_as_tuple(key), 213 std::forward_as_tuple(std::forward<Args>(args)...)); 214 return {it, ok}; 215 } 216 217 // Removes a mapping if it exists, and returns whether it did. 218 // 219 // The last() and end() iterators, as well as those to the erased mapping, are invalidated. 220 // erase(const key_type & key)221 bool erase(const key_type& key) { return erase(key, begin()); } 222 223 // Removes all mappings. 224 // 225 // All iterators are invalidated. 226 // clear()227 void clear() { map_.clear(); } 228 229 private: find(const key_type & key,iterator first)230 iterator find(const key_type& key, iterator first) { 231 return std::find_if(first, end(), 232 [&key](const auto& pair) { return KeyEqual{}(pair.first, key); }); 233 } 234 erase(const key_type & key,iterator first)235 bool erase(const key_type& key, iterator first) { 236 const auto it = find(key, first); 237 if (it == end()) return false; 238 map_.unstable_erase(it); 239 return true; 240 } 241 deduplicate()242 void deduplicate() { 243 for (auto it = begin(); it != end();) { 244 if (const auto key = it->first; ++it != end()) { 245 while (erase(key, it)); 246 } 247 } 248 } 249 250 Map map_; 251 }; 252 253 // Deduction guide for in-place constructor. 254 template <typename K, typename V, typename E, std::size_t... Sizes, typename... Types> 255 SmallMap(InitializerList<KeyValue<K, V, E>, std::index_sequence<Sizes...>, Types...>&&) 256 -> SmallMap<K, V, sizeof...(Sizes), E>; 257 258 // Returns whether the key-value pairs of two maps are equal. 259 template <typename K, typename V, std::size_t N, typename Q, typename W, std::size_t M, typename E> 260 bool operator==(const SmallMap<K, V, N, E>& lhs, const SmallMap<Q, W, M, E>& rhs) { 261 if (lhs.size() != rhs.size()) return false; 262 263 for (const auto& [k, v] : lhs) { 264 const auto& lv = v; 265 if (!rhs.get(k).transform([&lv](const W& rv) { return lv == rv; }).value_or(false)) { 266 return false; 267 } 268 } 269 270 return true; 271 } 272 273 // TODO: Remove in C++20. 274 template <typename K, typename V, std::size_t N, typename Q, typename W, std::size_t M, typename E> 275 inline bool operator!=(const SmallMap<K, V, N, E>& lhs, const SmallMap<Q, W, M, E>& rhs) { 276 return !(lhs == rhs); 277 } 278 279 } // namespace android::ftl 280