Skip to content

Commit

Permalink
IndexMap::insert_unique_unchecked
Browse files Browse the repository at this point in the history
Insert a key-value pair into the map without checking if the key
already exists in the map.

This operation is safe if a key does not exist in the map.

However, if a key exists in the map already, the behavior is
unspecified: this operation may panic, or any following operation
with the map may panic or return arbitrary result.

This operation is faster than regular insert, because it does not
perform lookup before insertion.

This operation is useful during initial population of the map.  For
example, when constructing a map from another map, we know that
keys are unique.

Simple benchmark of `insert` vs `insert_unique_unchecked` included:

```
test insert                  ... bench:      14,929 ns/iter (+/- 2,222)
test insert_unique_unchecked ... bench:      11,272 ns/iter (+/- 1,172)
```
  • Loading branch information
stepancheg committed Aug 22, 2021
1 parent 35b36eb commit dd3b2d8
Show file tree
Hide file tree
Showing 4 changed files with 89 additions and 1 deletion.
29 changes: 29 additions & 0 deletions benches/insert_unique_unchecked.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
#![feature(test)]

extern crate test;

use test::Bencher;

use indexmap::IndexMap;

#[bench]
fn insert(b: &mut Bencher) {
b.iter(|| {
let mut m = IndexMap::with_capacity(1000);
for i in 0..1000 {
m.insert(i, i);
}
m
});
}

#[bench]
fn insert_unique_unchecked(b: &mut Bencher) {
b.iter(|| {
let mut m = IndexMap::with_capacity(1000);
for i in 0..1000 {
m.insert_unique_unchecked(i, i);
}
m
});
}
35 changes: 35 additions & 0 deletions src/map.rs
Original file line number Diff line number Diff line change
Expand Up @@ -373,6 +373,31 @@ where
self.core.insert_full(hash, key, value)
}

/// Insert a key-value pair into the map without checking
/// if the key already exists in the map.
///
/// Returns a reference to the key and value just inserted.
///
/// This operation is safe if a key does not exist in the map.
///
/// However, if a key exists in the map already, the behavior is unspecified:
/// this operation may panic, loop forever, or any following operation with the map
/// may panic, loop forever or return arbitrary result.
///
/// That said, this operation (and following operations) are guaranteed to
/// not violate memory safety.
///
/// This operation is faster than regular insert, because it does not perform
/// lookup before insertion.
///
/// This operation is useful during initial population of the map.
/// For example, when constructing a map from another map, we know
/// that keys are unique.
pub fn insert_unique_unchecked(&mut self, key: K, value: V) {
let hash = self.hash(&key);
self.core.push(hash, key, value);
}

/// Get the given key’s corresponding entry in the map for insertion and/or
/// in-place manipulation.
///
Expand Down Expand Up @@ -1834,4 +1859,14 @@ mod tests {
assert!(values.contains(&'b'));
assert!(values.contains(&'c'));
}

#[test]
fn insert_unique_unchecked() {
let mut map = IndexMap::new();
map.insert_unique_unchecked(10, 11);
map.insert_unique_unchecked(20, 21);
assert_eq!(Some(&11), map.get(&10));
assert_eq!(Some(&21), map.get(&20));
assert_eq!(None, map.get(&30));
}
}
2 changes: 1 addition & 1 deletion src/map/core.rs
Original file line number Diff line number Diff line change
Expand Up @@ -209,7 +209,7 @@ impl<K, V> IndexMapCore<K, V> {

/// Append a key-value pair, *without* checking whether it already exists,
/// and return the pair's new index.
fn push(&mut self, hash: HashValue, key: K, value: V) -> usize {
pub(crate) fn push(&mut self, hash: HashValue, key: K, value: V) -> usize {
let i = self.entries.len();
self.indices.insert(hash.get(), i, get_hash(&self.entries));
if i == self.entries.capacity() {
Expand Down
24 changes: 24 additions & 0 deletions src/set.rs
Original file line number Diff line number Diff line change
Expand Up @@ -277,6 +277,30 @@ where
self.map.insert(value, ()).is_none()
}

/// Insert a value the set without checking if the value already exists in the set.
///
/// Returns a reference to the value just inserted.
///
/// This operation is safe if a value does not exist in the set.
///
/// However, if a value exists in the set already, the behavior is unspecified:
/// this operation may panic, loop forever, or any following operation with the set
/// may panic, loop forever or return arbitrary result.
///
/// That said, this operation (and following operations) are guaranteed to
/// not violate memory safety.
///
/// This operation is faster than regular insert, because it does not perform
/// lookup before insertion.
///
/// This operation is useful during initial population of the set.
/// For example, when constructing a set from another set, we know
/// that values are unique.
#[cfg_attr(feature = "inline-more", inline)]
pub fn insert_unique_unchecked(&mut self, value: T) {
self.map.insert_unique_unchecked(value, ())
}

/// Insert the value into the set, and get its index.
///
/// If an equivalent item already exists in the set, it returns
Expand Down

0 comments on commit dd3b2d8

Please sign in to comment.