Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 58 additions & 9 deletions src/map.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2983,10 +2983,10 @@ where
/// }
/// assert!(map["b"] == 20 && map.len() == 2);
/// ```
pub struct VacantEntryRef<'a, 'b, K, Q: ?Sized, V, S, A: Allocator = Global> {
pub struct VacantEntryRef<'map, 'key, K, Q: ?Sized, V, S, A: Allocator = Global> {
hash: u64,
key: &'b Q,
table: &'a mut HashMap<K, V, S, A>,
key: &'key Q,
table: &'map mut HashMap<K, V, S, A>,
}

impl<K, Q, V, S, A> Debug for VacantEntryRef<'_, '_, K, Q, V, S, A>
Expand Down Expand Up @@ -4332,7 +4332,7 @@ impl<'a, 'b, K, Q: ?Sized, V: Default, S, A: Allocator> EntryRef<'a, 'b, K, Q, V
}
}

impl<'a, 'b, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'a, 'b, K, Q, V, S, A> {
impl<'map, 'key, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'map, 'key, K, Q, V, S, A> {
/// Gets a reference to the key that would be used when inserting a value
/// through the `VacantEntryRef`.
///
Expand All @@ -4346,7 +4346,7 @@ impl<'a, 'b, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'a, 'b, K, Q, V, S
/// assert_eq!(map.entry_ref(key).key(), "poneyland");
/// ```
#[cfg_attr(feature = "inline-more", inline)]
pub fn key(&self) -> &'b Q {
pub fn key(&self) -> &'key Q {
self.key
}

Expand All @@ -4368,10 +4368,10 @@ impl<'a, 'b, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'a, 'b, K, Q, V, S
/// assert_eq!(map["poneyland"], 37);
/// ```
#[cfg_attr(feature = "inline-more", inline)]
pub fn insert(self, value: V) -> &'a mut V
pub fn insert(self, value: V) -> &'map mut V
where
K: Hash,
&'b Q: Into<K>,
&'key Q: Into<K>,
S: BuildHasher,
{
let table = &mut self.table.table;
Expand All @@ -4383,6 +4383,55 @@ impl<'a, 'b, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'a, 'b, K, Q, V, S
&mut entry.1
}

/// Sets the key and value of the entry and returns a mutable reference to
/// the inserted value.
///
/// Unlike [`VacantEntryRef::insert`], this method allows the key to be
/// explicitly specified, which is useful for key types that don't implement
/// `K: From<&Q>`.
///
/// # Panics
///
/// This method panics if `key` is not equivalent to the key used to create
/// the `VacantEntryRef`.
///
/// # Example
///
/// ```
/// use hashbrown::hash_map::EntryRef;
/// use hashbrown::HashMap;
///
/// let mut map = HashMap::<(String, String), char>::new();
/// let k = ("c".to_string(), "C".to_string());
/// let v = match map.entry_ref(&k) {
/// // Insert cannot be used here because tuples do not implement From.
/// // However this works because we can manually clone instead.
/// EntryRef::Vacant(r) => r.insert_with_key(k.clone(), 'c'),
/// // In this branch we avoid the clone.
/// EntryRef::Occupied(r) => r.into_mut(),
/// };
/// assert_eq!(*v, 'c');
/// ```
#[cfg_attr(feature = "inline-more", inline)]
pub fn insert_with_key(self, key: K, value: V) -> &'map mut V
where
K: Hash,
Q: Equivalent<K>,
S: BuildHasher,
{
let table = &mut self.table.table;
assert!(
(self.key).equivalent(&key),
"key used for Entry creation is not equivalent to the one used for insertion"
);
let entry = table.insert_entry(
self.hash,
(key, value),
make_hasher::<_, V, S>(&self.table.hash_builder),
);
&mut entry.1
}

/// Sets the value of the entry with the [`VacantEntryRef`]'s key,
/// and returns an [`OccupiedEntry`].
///
Expand All @@ -4400,10 +4449,10 @@ impl<'a, 'b, K, Q: ?Sized, V, S, A: Allocator> VacantEntryRef<'a, 'b, K, Q, V, S
/// }
/// ```
#[cfg_attr(feature = "inline-more", inline)]
pub fn insert_entry(self, value: V) -> OccupiedEntry<'a, K, V, S, A>
pub fn insert_entry(self, value: V) -> OccupiedEntry<'map, K, V, S, A>
where
K: Hash,
&'b Q: Into<K>,
&'key Q: Into<K>,
S: BuildHasher,
{
let elem = self.table.table.insert(
Expand Down