Stabilize Entry types
This commit marks as `#[stable]` the `Entry` types for the maps provided by `std`. The main reason these had been left unstable previously was uncertainty about an eventual trait design, but several plausible designs have been proposed that all work fine with the current type definitions.
This commit is contained in:
parent
809a554fca
commit
248b2ecd18
@ -124,26 +124,26 @@ pub struct RangeMut<'a, K: 'a, V: 'a> {
|
||||
}
|
||||
|
||||
/// A view into a single entry in a map, which may either be vacant or occupied.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub enum Entry<'a, K:'a, V:'a> {
|
||||
/// A vacant Entry
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Vacant(VacantEntry<'a, K, V>),
|
||||
|
||||
/// An occupied Entry
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Occupied(OccupiedEntry<'a, K, V>),
|
||||
}
|
||||
|
||||
/// A vacant Entry.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct VacantEntry<'a, K:'a, V:'a> {
|
||||
key: K,
|
||||
stack: stack::SearchStack<'a, K, V, node::handle::Edge, node::handle::Leaf>,
|
||||
}
|
||||
|
||||
/// An occupied Entry.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct OccupiedEntry<'a, K:'a, V:'a> {
|
||||
stack: stack::SearchStack<'a, K, V, node::handle::KV, node::handle::LeafOrInternal>,
|
||||
}
|
||||
@ -1115,9 +1115,9 @@ impl<'a, K, V> DoubleEndedIterator for RangeMut<'a, K, V> {
|
||||
}
|
||||
|
||||
impl<'a, K: Ord, V> Entry<'a, K, V> {
|
||||
#[unstable(feature = "collections",
|
||||
reason = "matches collection reform v2 specification, waiting for dust to settle")]
|
||||
/// Returns a mutable reference to the entry if occupied, or the VacantEntry if vacant
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "will soon be replaced by or_insert")]
|
||||
pub fn get(self) -> Result<&'a mut V, VacantEntry<'a, K, V>> {
|
||||
match self {
|
||||
Occupied(entry) => Ok(entry.into_mut()),
|
||||
|
@ -67,26 +67,28 @@ pub struct VecMap<V> {
|
||||
}
|
||||
|
||||
/// A view into a single entry in a map, which may either be vacant or occupied.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub enum Entry<'a, V:'a> {
|
||||
/// A vacant Entry
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Vacant(VacantEntry<'a, V>),
|
||||
|
||||
/// An occupied Entry
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Occupied(OccupiedEntry<'a, V>),
|
||||
}
|
||||
|
||||
/// A vacant Entry.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct VacantEntry<'a, V:'a> {
|
||||
map: &'a mut VecMap<V>,
|
||||
index: usize,
|
||||
}
|
||||
|
||||
/// An occupied Entry.
|
||||
#[unstable(feature = "collections",
|
||||
reason = "precise API still under development")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct OccupiedEntry<'a, V:'a> {
|
||||
map: &'a mut VecMap<V>,
|
||||
index: usize,
|
||||
@ -651,7 +653,7 @@ impl<V> VecMap<V> {
|
||||
|
||||
impl<'a, V> Entry<'a, V> {
|
||||
#[unstable(feature = "collections",
|
||||
reason = "matches collection reform v2 specification, waiting for dust to settle")]
|
||||
reason = "will soon be replaced by or_insert")]
|
||||
/// Returns a mutable reference to the entry if occupied, or the VacantEntry if vacant
|
||||
pub fn get(self) -> Result<&'a mut V, VacantEntry<'a, V>> {
|
||||
match self {
|
||||
|
@ -40,7 +40,6 @@
|
||||
#![feature(rustc_private)]
|
||||
#![feature(unsafe_destructor)]
|
||||
#![feature(staged_api)]
|
||||
#![feature(std_misc)]
|
||||
#![feature(str_char)]
|
||||
#![cfg_attr(test, feature(test))]
|
||||
|
||||
|
@ -80,7 +80,6 @@ This API is completely unstable and subject to change.
|
||||
#![feature(collections)]
|
||||
#![feature(core)]
|
||||
#![feature(int_uint)]
|
||||
#![feature(std_misc)]
|
||||
#![feature(quote)]
|
||||
#![feature(rustc_diagnostic_macros)]
|
||||
#![feature(rustc_private)]
|
||||
|
@ -1323,15 +1323,13 @@ pub struct Drain<'a, K: 'a, V: 'a> {
|
||||
}
|
||||
|
||||
/// A view into a single occupied location in a HashMap.
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "precise API still being fleshed out")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct OccupiedEntry<'a, K: 'a, V: 'a> {
|
||||
elem: FullBucket<K, V, &'a mut RawTable<K, V>>,
|
||||
}
|
||||
|
||||
/// A view into a single empty location in a HashMap.
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "precise API still being fleshed out")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub struct VacantEntry<'a, K: 'a, V: 'a> {
|
||||
hash: SafeHash,
|
||||
key: K,
|
||||
@ -1339,12 +1337,14 @@ pub struct VacantEntry<'a, K: 'a, V: 'a> {
|
||||
}
|
||||
|
||||
/// A view into a single location in a map, which may be vacant or occupied.
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "precise API still being fleshed out")]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub enum Entry<'a, K: 'a, V: 'a> {
|
||||
/// An occupied Entry.
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Occupied(OccupiedEntry<'a, K, V>),
|
||||
|
||||
/// A vacant Entry.
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
Vacant(VacantEntry<'a, K, V>),
|
||||
}
|
||||
|
||||
@ -1465,10 +1465,10 @@ impl<'a, K, V> ExactSizeIterator for Drain<'a, K, V> {
|
||||
#[inline] fn len(&self) -> usize { self.inner.len() }
|
||||
}
|
||||
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "matches collection reform v2 specification, waiting for dust to settle")]
|
||||
impl<'a, K, V> Entry<'a, K, V> {
|
||||
/// Returns a mutable reference to the entry if occupied, or the VacantEntry if vacant.
|
||||
#[unstable(feature = "std_misc",
|
||||
reason = "will soon be replaced by or_insert")]
|
||||
pub fn get(self) -> Result<&'a mut V, VacantEntry<'a, K, V>> {
|
||||
match self {
|
||||
Occupied(entry) => Ok(entry.into_mut()),
|
||||
|
Loading…
x
Reference in New Issue
Block a user