]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_data_structures/src/sorted_map/index_map.rs
New upstream version 1.68.2+dfsg1
[rustc.git] / compiler / rustc_data_structures / src / sorted_map / index_map.rs
CommitLineData
74b04a01
XL
1//! A variant of `SortedMap` that preserves insertion order.
2
74b04a01 3use std::hash::{Hash, Hasher};
74b04a01
XL
4
5use crate::stable_hasher::{HashStable, StableHasher};
6use rustc_index::vec::{Idx, IndexVec};
7
3dfed10e
XL
8/// An indexed multi-map that preserves insertion order while permitting both *O*(log *n*) lookup of
9/// an item by key and *O*(1) lookup by index.
74b04a01
XL
10///
11/// This data structure is a hybrid of an [`IndexVec`] and a [`SortedMap`]. Like `IndexVec`,
12/// `SortedIndexMultiMap` assigns a typed index to each item while preserving insertion order.
13/// Like `SortedMap`, `SortedIndexMultiMap` has efficient lookup of items by key. However, this
14/// is accomplished by sorting an array of item indices instead of the items themselves.
15///
16/// Unlike `SortedMap`, this data structure can hold multiple equivalent items at once, so the
17/// `get_by_key` method and its variants return an iterator instead of an `Option`. Equivalent
18/// items will be yielded in insertion order.
19///
20/// Unlike a general-purpose map like `BTreeSet` or `HashSet`, `SortedMap` and
3dfed10e 21/// `SortedIndexMultiMap` require *O*(*n*) time to insert a single item. This is because we may need
74b04a01
XL
22/// to insert into the middle of the sorted array. Users should avoid mutating this data structure
23/// in-place.
24///
fc512014 25/// [`SortedMap`]: super::SortedMap
74b04a01
XL
26#[derive(Clone, Debug)]
27pub struct SortedIndexMultiMap<I: Idx, K, V> {
28 /// The elements of the map in insertion order.
29 items: IndexVec<I, (K, V)>,
30
31 /// Indices of the items in the set, sorted by the item's key.
32 idx_sorted_by_item_key: Vec<I>,
33}
34
35impl<I: Idx, K: Ord, V> SortedIndexMultiMap<I, K, V> {
3c0e092e 36 #[inline]
74b04a01
XL
37 pub fn new() -> Self {
38 SortedIndexMultiMap { items: IndexVec::new(), idx_sorted_by_item_key: Vec::new() }
39 }
40
3c0e092e 41 #[inline]
74b04a01
XL
42 pub fn len(&self) -> usize {
43 self.items.len()
44 }
45
3c0e092e 46 #[inline]
74b04a01
XL
47 pub fn is_empty(&self) -> bool {
48 self.items.is_empty()
49 }
50
51 /// Returns an iterator over the items in the map in insertion order.
3c0e092e 52 #[inline]
74b04a01
XL
53 pub fn into_iter(self) -> impl DoubleEndedIterator<Item = (K, V)> {
54 self.items.into_iter()
55 }
56
57 /// Returns an iterator over the items in the map in insertion order along with their indices.
3c0e092e 58 #[inline]
74b04a01
XL
59 pub fn into_iter_enumerated(self) -> impl DoubleEndedIterator<Item = (I, (K, V))> {
60 self.items.into_iter_enumerated()
61 }
62
63 /// Returns an iterator over the items in the map in insertion order.
3c0e092e 64 #[inline]
74b04a01 65 pub fn iter(&self) -> impl '_ + DoubleEndedIterator<Item = (&K, &V)> {
f25598a0 66 self.items.iter().map(|(k, v)| (k, v))
74b04a01
XL
67 }
68
69 /// Returns an iterator over the items in the map in insertion order along with their indices.
3c0e092e 70 #[inline]
74b04a01 71 pub fn iter_enumerated(&self) -> impl '_ + DoubleEndedIterator<Item = (I, (&K, &V))> {
f25598a0 72 self.items.iter_enumerated().map(|(i, (k, v))| (i, (k, v)))
74b04a01
XL
73 }
74
75 /// Returns the item in the map with the given index.
3c0e092e 76 #[inline]
74b04a01
XL
77 pub fn get(&self, idx: I) -> Option<&(K, V)> {
78 self.items.get(idx)
79 }
80
81 /// Returns an iterator over the items in the map that are equal to `key`.
82 ///
83 /// If there are multiple items that are equivalent to `key`, they will be yielded in
84 /// insertion order.
3c0e092e 85 #[inline]
a2a8927a 86 pub fn get_by_key(&self, key: K) -> impl Iterator<Item = &V> + '_ {
74b04a01
XL
87 self.get_by_key_enumerated(key).map(|(_, v)| v)
88 }
89
90 /// Returns an iterator over the items in the map that are equal to `key` along with their
91 /// indices.
92 ///
93 /// If there are multiple items that are equivalent to `key`, they will be yielded in
94 /// insertion order.
3c0e092e 95 #[inline]
a2a8927a 96 pub fn get_by_key_enumerated(&self, key: K) -> impl Iterator<Item = (I, &V)> + '_ {
136023e0
XL
97 let lower_bound = self.idx_sorted_by_item_key.partition_point(|&i| self.items[i].0 < key);
98 self.idx_sorted_by_item_key[lower_bound..].iter().map_while(move |&i| {
99 let (k, v) = &self.items[i];
100 (k == &key).then_some((i, v))
101 })
74b04a01
XL
102 }
103}
104
105impl<I: Idx, K: Eq, V: Eq> Eq for SortedIndexMultiMap<I, K, V> {}
106impl<I: Idx, K: PartialEq, V: PartialEq> PartialEq for SortedIndexMultiMap<I, K, V> {
107 fn eq(&self, other: &Self) -> bool {
108 // No need to compare the sorted index. If the items are the same, the index will be too.
109 self.items == other.items
110 }
111}
112
113impl<I: Idx, K, V> Hash for SortedIndexMultiMap<I, K, V>
114where
115 K: Hash,
116 V: Hash,
117{
118 fn hash<H: Hasher>(&self, hasher: &mut H) {
119 self.items.hash(hasher)
120 }
121}
487cf647 122
74b04a01
XL
123impl<I: Idx, K, V, C> HashStable<C> for SortedIndexMultiMap<I, K, V>
124where
125 K: HashStable<C>,
126 V: HashStable<C>,
127{
128 fn hash_stable(&self, ctx: &mut C, hasher: &mut StableHasher) {
487cf647
FG
129 let SortedIndexMultiMap {
130 items,
131 // We can ignore this field because it is not observable from the outside.
132 idx_sorted_by_item_key: _,
133 } = self;
134
135 items.hash_stable(ctx, hasher)
74b04a01
XL
136 }
137}
138
139impl<I: Idx, K: Ord, V> FromIterator<(K, V)> for SortedIndexMultiMap<I, K, V> {
140 fn from_iter<J>(iter: J) -> Self
141 where
142 J: IntoIterator<Item = (K, V)>,
143 {
144 let items = IndexVec::from_iter(iter);
145 let mut idx_sorted_by_item_key: Vec<_> = items.indices().collect();
146
147 // `sort_by_key` is stable, so insertion order is preserved for duplicate items.
148 idx_sorted_by_item_key.sort_by_key(|&idx| &items[idx].0);
149
150 SortedIndexMultiMap { items, idx_sorted_by_item_key }
151 }
152}
153
154impl<I: Idx, K, V> std::ops::Index<I> for SortedIndexMultiMap<I, K, V> {
155 type Output = V;
156
157 fn index(&self, idx: I) -> &Self::Output {
158 &self.items[idx].1
159 }
160}