blob: f57a2aafd3c693ea16bfa7616401b2b0ab1567a0 [file] [log] [blame]
Elliott Hughes74847412012-06-20 18:10:21 -07001/*
2 * Copyright (C) 2012 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
David Sehr67bf42e2018-02-26 16:43:04 -080017#ifndef ART_LIBARTBASE_BASE_SAFE_MAP_H_
18#define ART_LIBARTBASE_BASE_SAFE_MAP_H_
Elliott Hughesa0e18062012-04-13 15:59:59 -070019
20#include <map>
Mathieu Chartier0a9dc052013-07-25 11:01:28 -070021#include <memory>
Vladimir Markocac5a7e2016-02-22 10:39:50 +000022#include <type_traits>
Elliott Hughesa0e18062012-04-13 15:59:59 -070023
Andreas Gampe57943812017-12-06 21:39:13 -080024#include <android-base/logging.h>
25
Elliott Hughesa0e18062012-04-13 15:59:59 -070026namespace art {
27
28// Equivalent to std::map, but without operator[] and its bug-prone semantics (in particular,
29// the implicit insertion of a default-constructed value on failed lookups).
Mathieu Chartier0a9dc052013-07-25 11:01:28 -070030template <typename K, typename V, typename Comparator = std::less<K>,
David Sehr67bf42e2018-02-26 16:43:04 -080031 typename Allocator = std::allocator<std::pair<const K, V>>>
Elliott Hughesa0e18062012-04-13 15:59:59 -070032class SafeMap {
33 private:
Mathieu Chartier0a9dc052013-07-25 11:01:28 -070034 typedef SafeMap<K, V, Comparator, Allocator> Self;
Elliott Hughesa0e18062012-04-13 15:59:59 -070035
36 public:
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000037 typedef typename ::std::map<K, V, Comparator, Allocator>::key_compare key_compare;
Vladimir Markobd72fc12014-07-09 16:06:40 +010038 typedef typename ::std::map<K, V, Comparator, Allocator>::value_compare value_compare;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000039 typedef typename ::std::map<K, V, Comparator, Allocator>::allocator_type allocator_type;
40 typedef typename ::std::map<K, V, Comparator, Allocator>::iterator iterator;
41 typedef typename ::std::map<K, V, Comparator, Allocator>::const_iterator const_iterator;
42 typedef typename ::std::map<K, V, Comparator, Allocator>::size_type size_type;
Vladimir Markobd72fc12014-07-09 16:06:40 +010043 typedef typename ::std::map<K, V, Comparator, Allocator>::key_type key_type;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000044 typedef typename ::std::map<K, V, Comparator, Allocator>::value_type value_type;
45
46 SafeMap() = default;
Andreas Gampe758a8012015-04-03 21:28:42 -070047 SafeMap(const SafeMap&) = default;
Mathieu Chartierea650f32017-05-24 12:04:13 -070048 SafeMap(SafeMap&&) = default;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000049 explicit SafeMap(const key_compare& cmp, const allocator_type& allocator = allocator_type())
50 : map_(cmp, allocator) {
51 }
Elliott Hughesa0e18062012-04-13 15:59:59 -070052
Elliott Hughes74847412012-06-20 18:10:21 -070053 Self& operator=(const Self& rhs) {
54 map_ = rhs.map_;
55 return *this;
56 }
Elliott Hughesa0e18062012-04-13 15:59:59 -070057
Vladimir Markob19955d2014-07-29 12:04:10 +010058 allocator_type get_allocator() const { return map_.get_allocator(); }
Vladimir Markobd72fc12014-07-09 16:06:40 +010059 key_compare key_comp() const { return map_.key_comp(); }
60 value_compare value_comp() const { return map_.value_comp(); }
61
Elliott Hughesa0e18062012-04-13 15:59:59 -070062 iterator begin() { return map_.begin(); }
63 const_iterator begin() const { return map_.begin(); }
64 iterator end() { return map_.end(); }
65 const_iterator end() const { return map_.end(); }
66
67 bool empty() const { return map_.empty(); }
68 size_type size() const { return map_.size(); }
69
Vladimir Markobd72fc12014-07-09 16:06:40 +010070 void swap(Self& other) { map_.swap(other.map_); }
Ian Rogers08f753d2012-08-24 14:35:25 -070071 void clear() { map_.clear(); }
Vladimir Markobd72fc12014-07-09 16:06:40 +010072 iterator erase(iterator it) { return map_.erase(it); }
Alex Light1adb04f2019-06-13 16:22:31 -070073 template<typename Kv> size_type erase(const Kv& k) { return map_.erase(k); }
Elliott Hughesa0e18062012-04-13 15:59:59 -070074
Alex Light1adb04f2019-06-13 16:22:31 -070075 template<typename Kv> iterator find(const Kv& k) { return map_.find(k); }
76 template<typename Kv> const_iterator find(const Kv& k) const { return map_.find(k); }
Elliott Hughesa0e18062012-04-13 15:59:59 -070077
Alex Light1adb04f2019-06-13 16:22:31 -070078 template<typename Kv> iterator lower_bound(const Kv& k) { return map_.lower_bound(k); }
79 template<typename Kv> const_iterator lower_bound(const Kv& k) const {
80 return map_.lower_bound(k);
81 }
Vladimir Marko2ac01fc2014-05-22 12:09:08 +010082
Alex Light1adb04f2019-06-13 16:22:31 -070083 template<typename Kv> iterator upper_bound(const Kv& k) { return map_.upper_bound(k); }
84 template<typename Kv> const_iterator upper_bound(const Kv& k) const {
85 return map_.upper_bound(k);
86 }
Mathieu Chartierde4b08f2017-07-10 14:13:41 -070087
Alex Light1adb04f2019-06-13 16:22:31 -070088 template<typename Kv> size_type count(const Kv& k) const { return map_.count(k); }
Elliott Hughesa0e18062012-04-13 15:59:59 -070089
90 // Note that unlike std::map's operator[], this doesn't return a reference to the value.
TDYa127b2eb5c12012-05-24 15:52:10 -070091 V Get(const K& k) const {
92 const_iterator it = map_.find(k);
Elliott Hughesa0e18062012-04-13 15:59:59 -070093 DCHECK(it != map_.end());
94 return it->second;
95 }
96
97 // Used to insert a new mapping.
Vladimir Markobd72fc12014-07-09 16:06:40 +010098 iterator Put(const K& k, const V& v) {
99 std::pair<iterator, bool> result = map_.emplace(k, v);
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700100 DCHECK(result.second); // Check we didn't accidentally overwrite an existing value.
Vladimir Markobd72fc12014-07-09 16:06:40 +0100101 return result.first;
102 }
Vladimir Marko13c74492015-11-24 17:06:32 +0000103 iterator Put(const K& k, V&& v) {
Vladimir Marko78568352015-09-21 12:00:16 +0100104 std::pair<iterator, bool> result = map_.emplace(k, std::move(v));
105 DCHECK(result.second); // Check we didn't accidentally overwrite an existing value.
106 return result.first;
107 }
Vladimir Markobd72fc12014-07-09 16:06:40 +0100108
109 // Used to insert a new mapping at a known position for better performance.
Vladimir Marko944da602016-02-19 12:27:55 +0000110 iterator PutBefore(const_iterator pos, const K& k, const V& v) {
Vladimir Markobd72fc12014-07-09 16:06:40 +0100111 // Check that we're using the correct position and the key is not in the map.
112 DCHECK(pos == map_.end() || map_.key_comp()(k, pos->first));
Vladimir Marko944da602016-02-19 12:27:55 +0000113 DCHECK(pos == map_.begin() || map_.key_comp()((--const_iterator(pos))->first, k));
Vladimir Markobd72fc12014-07-09 16:06:40 +0100114 return map_.emplace_hint(pos, k, v);
Elliott Hughesa0e18062012-04-13 15:59:59 -0700115 }
Vladimir Marko944da602016-02-19 12:27:55 +0000116 iterator PutBefore(const_iterator pos, const K& k, V&& v) {
Vladimir Marko78568352015-09-21 12:00:16 +0100117 // Check that we're using the correct position and the key is not in the map.
118 DCHECK(pos == map_.end() || map_.key_comp()(k, pos->first));
Vladimir Marko944da602016-02-19 12:27:55 +0000119 DCHECK(pos == map_.begin() || map_.key_comp()((--const_iterator(pos))->first, k));
Vladimir Marko78568352015-09-21 12:00:16 +0100120 return map_.emplace_hint(pos, k, std::move(v));
121 }
Elliott Hughesa0e18062012-04-13 15:59:59 -0700122
123 // Used to insert a new mapping or overwrite an existing mapping. Note that if the value type
124 // of this container is a pointer, any overwritten pointer will be lost and if this container
Vladimir Marko78568352015-09-21 12:00:16 +0100125 // was the owner, you have a leak. Returns iterator pointing to the new or overwritten entry.
Jeff Hao4686c522015-09-18 14:44:32 -0700126 iterator Overwrite(const K& k, const V& v) {
buzbeed1643e42012-09-05 14:06:51 -0700127 std::pair<iterator, bool> result = map_.insert(std::make_pair(k, v));
128 if (!result.second) {
129 // Already there - update the value for the existing key
130 result.first->second = v;
131 }
Jeff Hao4686c522015-09-18 14:44:32 -0700132 return result.first;
Elliott Hughesa0e18062012-04-13 15:59:59 -0700133 }
134
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000135 template <typename CreateFn>
Alex Light184f0752018-07-13 11:18:22 -0700136 V& GetOrCreate(const K& k, CreateFn create) {
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000137 static_assert(std::is_same<V, typename std::result_of<CreateFn()>::type>::value,
138 "Argument `create` should return a value of type V.");
139 auto lb = lower_bound(k);
140 if (lb != end() && !key_comp()(k, lb->first)) {
141 return lb->second;
142 }
143 auto it = PutBefore(lb, k, create());
144 return it->second;
145 }
146
Calin Juravle940eb0c2017-01-30 19:30:44 -0800147 iterator FindOrAdd(const K& k, const V& v) {
148 iterator it = find(k);
149 return it == end() ? Put(k, v) : it;
150 }
151
152 iterator FindOrAdd(const K& k) {
153 iterator it = find(k);
154 return it == end() ? Put(k, V()) : it;
155 }
156
Elliott Hughesa0e18062012-04-13 15:59:59 -0700157 bool Equals(const Self& rhs) const {
158 return map_ == rhs.map_;
159 }
160
Mathieu Chartierea650f32017-05-24 12:04:13 -0700161 template <class... Args>
162 std::pair<iterator, bool> emplace(Args&&... args) {
163 return map_.emplace(std::forward<Args>(args)...);
164 }
165
Elliott Hughesa0e18062012-04-13 15:59:59 -0700166 private:
Mathieu Chartier0a9dc052013-07-25 11:01:28 -0700167 ::std::map<K, V, Comparator, Allocator> map_;
Elliott Hughesa0e18062012-04-13 15:59:59 -0700168};
169
Vladimir Markobd72fc12014-07-09 16:06:40 +0100170template <typename K, typename V, typename Comparator, typename Allocator>
171bool operator==(const SafeMap<K, V, Comparator, Allocator>& lhs,
172 const SafeMap<K, V, Comparator, Allocator>& rhs) {
Elliott Hughesa0e18062012-04-13 15:59:59 -0700173 return lhs.Equals(rhs);
174}
175
Vladimir Markobd72fc12014-07-09 16:06:40 +0100176template <typename K, typename V, typename Comparator, typename Allocator>
177bool operator!=(const SafeMap<K, V, Comparator, Allocator>& lhs,
178 const SafeMap<K, V, Comparator, Allocator>& rhs) {
Elliott Hughesa0e18062012-04-13 15:59:59 -0700179 return !(lhs == rhs);
180}
181
182} // namespace art
183
David Sehr67bf42e2018-02-26 16:43:04 -0800184#endif // ART_LIBARTBASE_BASE_SAFE_MAP_H_