2015-04-25 14:01:01 +10:00
|
|
|
|
//! The raw form of a `Map`, allowing untyped access.
|
2015-03-24 13:42:01 +11:00
|
|
|
|
//!
|
2015-04-25 14:01:01 +10:00
|
|
|
|
//! All relevant details are in the `RawMap` struct.
|
2015-03-24 13:42:01 +11:00
|
|
|
|
|
2015-03-27 11:05:12 +11:00
|
|
|
|
use std::any::TypeId;
|
2015-03-24 13:42:01 +11:00
|
|
|
|
use std::borrow::Borrow;
|
|
|
|
|
use std::collections::hash_map::{self, HashMap};
|
2015-04-18 10:44:34 +10:00
|
|
|
|
use std::hash::Hash;
|
2016-03-05 12:58:19 +11:00
|
|
|
|
use std::hash::{Hasher, BuildHasherDefault};
|
2015-03-24 13:42:01 +11:00
|
|
|
|
use std::mem;
|
|
|
|
|
use std::ops::{Index, IndexMut};
|
|
|
|
|
use std::ptr;
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
use any::{Any, UncheckedAnyExt};
|
2015-03-27 11:05:12 +11:00
|
|
|
|
|
2016-03-05 12:58:19 +11:00
|
|
|
|
#[derive(Default)]
|
2015-03-24 13:42:01 +11:00
|
|
|
|
struct TypeIdHasher {
|
|
|
|
|
value: u64,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl Hasher for TypeIdHasher {
|
|
|
|
|
#[inline(always)]
|
|
|
|
|
fn write(&mut self, bytes: &[u8]) {
|
|
|
|
|
// This expects to receive one and exactly one 64-bit value
|
|
|
|
|
debug_assert!(bytes.len() == 8);
|
|
|
|
|
unsafe {
|
2016-03-07 00:11:37 +11:00
|
|
|
|
ptr::copy_nonoverlapping(mem::transmute(&bytes[0]), &mut self.value, 1)
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
|
fn finish(&self) -> u64 { self.value }
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-07 00:11:37 +11:00
|
|
|
|
#[test]
|
|
|
|
|
fn type_id_hasher() {
|
|
|
|
|
fn verify_hashing_with(type_id: TypeId) {
|
|
|
|
|
let mut hasher = TypeIdHasher::default();
|
|
|
|
|
type_id.hash(&mut hasher);
|
|
|
|
|
assert_eq!(hasher.finish(), unsafe { mem::transmute::<TypeId, u64>(type_id) });
|
|
|
|
|
}
|
|
|
|
|
// Pick a variety of types, just to demonstrate it’s all sane. Normal, zero-sized, unsized, &c.
|
|
|
|
|
verify_hashing_with(TypeId::of::<usize>());
|
|
|
|
|
verify_hashing_with(TypeId::of::<()>());
|
|
|
|
|
verify_hashing_with(TypeId::of::<str>());
|
|
|
|
|
verify_hashing_with(TypeId::of::<&str>());
|
|
|
|
|
verify_hashing_with(TypeId::of::<Vec<u8>>());
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// The raw, underlying form of a `Map`.
|
2015-03-24 13:42:01 +11:00
|
|
|
|
///
|
|
|
|
|
/// At its essence, this is a wrapper around `HashMap<TypeId, Box<Any>>`, with the portions that
|
|
|
|
|
/// would be memory-unsafe removed or marked unsafe. Normal people are expected to use the safe
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// `Map` interface instead, but there is the occasional use for this such as iteration over the
|
|
|
|
|
/// contents of an `Map`. However, because you will then be dealing with `Any` trait objects, it
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// doesn’t tend to be so very useful. Still, if you need it, it’s here.
|
|
|
|
|
#[derive(Debug)]
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub struct RawMap<A: ?Sized + UncheckedAnyExt = Any> {
|
2016-03-05 12:58:19 +11:00
|
|
|
|
inner: HashMap<TypeId, Box<A>, BuildHasherDefault<TypeIdHasher>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
// #[derive(Clone)] would want A to implement Clone, but in reality it’s only Box<A> that can.
|
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> Clone for RawMap<A> where Box<A>: Clone {
|
|
|
|
|
fn clone(&self) -> RawMap<A> {
|
|
|
|
|
RawMap {
|
|
|
|
|
inner: self.inner.clone(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> Default for RawMap<A> {
|
|
|
|
|
fn default() -> RawMap<A> {
|
|
|
|
|
RawMap::new()
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-18 10:44:34 +10:00
|
|
|
|
impl_common_methods! {
|
2015-04-25 14:01:01 +10:00
|
|
|
|
field: RawMap.inner;
|
2016-03-05 12:58:19 +11:00
|
|
|
|
new() => HashMap::with_hasher(Default::default());
|
|
|
|
|
with_capacity(capacity) => HashMap::with_capacity_and_hasher(capacity, Default::default());
|
2015-04-18 10:44:34 +10:00
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// RawMap iterator.
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[derive(Clone)]
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub struct Iter<'a, A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::Iter<'a, TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> Iterator for Iter<'a, A> {
|
|
|
|
|
type Item = &'a A;
|
|
|
|
|
#[inline] fn next(&mut self) -> Option<&'a A> { self.inner.next().map(|x| &**x.1) }
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.inner.size_hint() }
|
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> ExactSizeIterator for Iter<'a, A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn len(&self) -> usize { self.inner.len() }
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// RawMap mutable iterator.
|
|
|
|
|
pub struct IterMut<'a, A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::IterMut<'a, TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> Iterator for IterMut<'a, A> {
|
|
|
|
|
type Item = &'a mut A;
|
|
|
|
|
#[inline] fn next(&mut self) -> Option<&'a mut A> { self.inner.next().map(|x| &mut **x.1) }
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.inner.size_hint() }
|
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> ExactSizeIterator for IterMut<'a, A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn len(&self) -> usize { self.inner.len() }
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// RawMap move iterator.
|
|
|
|
|
pub struct IntoIter<A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::IntoIter<TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> Iterator for IntoIter<A> {
|
|
|
|
|
type Item = Box<A>;
|
|
|
|
|
#[inline] fn next(&mut self) -> Option<Box<A>> { self.inner.next().map(|x| x.1) }
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.inner.size_hint() }
|
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> ExactSizeIterator for IntoIter<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn len(&self) -> usize { self.inner.len() }
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// RawMap drain iterator.
|
|
|
|
|
pub struct Drain<'a, A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::Drain<'a, TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> Iterator for Drain<'a, A> {
|
|
|
|
|
type Item = Box<A>;
|
|
|
|
|
#[inline] fn next(&mut self) -> Option<Box<A>> { self.inner.next().map(|x| x.1) }
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.inner.size_hint() }
|
|
|
|
|
}
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> ExactSizeIterator for Drain<'a, A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
#[inline] fn len(&self) -> usize { self.inner.len() }
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> RawMap<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// An iterator visiting all entries in arbitrary order.
|
|
|
|
|
///
|
|
|
|
|
/// Iterator element type is `&Any`.
|
|
|
|
|
#[inline]
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn iter(&self) -> Iter<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
Iter {
|
|
|
|
|
inner: self.inner.iter(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// An iterator visiting all entries in arbitrary order.
|
|
|
|
|
///
|
|
|
|
|
/// Iterator element type is `&mut Any`.
|
|
|
|
|
#[inline]
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn iter_mut(&mut self) -> IterMut<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
IterMut {
|
|
|
|
|
inner: self.inner.iter_mut(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Clears the map, returning all items as an iterator.
|
|
|
|
|
///
|
|
|
|
|
/// Iterator element type is `Box<Any>`.
|
|
|
|
|
///
|
|
|
|
|
/// Keeps the allocated memory for reuse.
|
|
|
|
|
#[inline]
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn drain(&mut self) -> Drain<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
Drain {
|
|
|
|
|
inner: self.inner.drain(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Gets the entry for the given type in the collection for in-place manipulation.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn entry(&mut self, key: TypeId) -> Entry<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
match self.inner.entry(key) {
|
|
|
|
|
hash_map::Entry::Occupied(e) => Entry::Occupied(OccupiedEntry {
|
|
|
|
|
inner: e,
|
|
|
|
|
}),
|
|
|
|
|
hash_map::Entry::Vacant(e) => Entry::Vacant(VacantEntry {
|
|
|
|
|
inner: e,
|
|
|
|
|
}),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Returns a reference to the value corresponding to the key.
|
|
|
|
|
///
|
|
|
|
|
/// The key may be any borrowed form of the map's key type, but `Hash` and `Eq` on the borrowed
|
|
|
|
|
/// form *must* match those for the key type.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn get<Q: ?Sized>(&self, k: &Q) -> Option<&A>
|
2015-03-24 13:42:01 +11:00
|
|
|
|
where TypeId: Borrow<Q>, Q: Hash + Eq {
|
|
|
|
|
self.inner.get(k).map(|x| &**x)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Returns true if the map contains a value for the specified key.
|
|
|
|
|
///
|
|
|
|
|
/// The key may be any borrowed form of the map's key type, but `Hash` and `Eq` on the borrowed
|
|
|
|
|
/// form *must* match those for the key type.
|
|
|
|
|
pub fn contains_key<Q: ?Sized>(&self, k: &Q) -> bool
|
|
|
|
|
where TypeId: Borrow<Q>, Q: Hash + Eq {
|
|
|
|
|
self.inner.contains_key(k)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Returns a mutable reference to the value corresponding to the key.
|
|
|
|
|
///
|
|
|
|
|
/// The key may be any borrowed form of the map's key type, but `Hash` and `Eq` on the borrowed
|
|
|
|
|
/// form *must* match those for the key type.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn get_mut<Q: ?Sized>(&mut self, k: &Q) -> Option<&mut A>
|
2015-03-24 13:42:01 +11:00
|
|
|
|
where TypeId: Borrow<Q>, Q: Hash + Eq {
|
|
|
|
|
self.inner.get_mut(k).map(|x| &mut **x)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Inserts a key-value pair from the map. If the key already had a value present in the map,
|
|
|
|
|
/// that value is returned. Otherwise, None is returned.
|
|
|
|
|
///
|
|
|
|
|
/// It is the caller’s responsibility to ensure that the key corresponds with the type ID of
|
|
|
|
|
/// the value. If they do not, memory safety may be violated.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub unsafe fn insert(&mut self, key: TypeId, value: Box<A>) -> Option<Box<A>> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
self.inner.insert(key, value)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Removes a key from the map, returning the value at the key if the key was previously in the
|
|
|
|
|
/// map.
|
|
|
|
|
///
|
|
|
|
|
/// The key may be any borrowed form of the map's key type, but `Hash` and `Eq` on the borrowed
|
|
|
|
|
/// form *must* match those for the key type.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn remove<Q: ?Sized>(&mut self, k: &Q) -> Option<Box<A>>
|
2015-03-24 13:42:01 +11:00
|
|
|
|
where TypeId: Borrow<Q>, Q: Hash + Eq {
|
|
|
|
|
self.inner.remove(k)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt, Q> Index<Q> for RawMap<A> where TypeId: Borrow<Q>, Q: Eq + Hash {
|
|
|
|
|
type Output = A;
|
2015-03-24 13:42:01 +11:00
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
fn index<'a>(&'a self, index: Q) -> &'a A {
|
2015-03-25 17:59:11 +11:00
|
|
|
|
self.get(&index).expect("no entry found for key")
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt, Q> IndexMut<Q> for RawMap<A> where TypeId: Borrow<Q>, Q: Eq + Hash {
|
|
|
|
|
fn index_mut<'a>(&'a mut self, index: Q) -> &'a mut A {
|
2015-03-25 17:59:11 +11:00
|
|
|
|
self.get_mut(&index).expect("no entry found for key")
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<A: ?Sized + UncheckedAnyExt> IntoIterator for RawMap<A> {
|
|
|
|
|
type Item = Box<A>;
|
|
|
|
|
type IntoIter = IntoIter<A>;
|
2015-03-24 13:42:01 +11:00
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
fn into_iter(self) -> IntoIter<A> {
|
|
|
|
|
IntoIter {
|
|
|
|
|
inner: self.inner.into_iter(),
|
|
|
|
|
}
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// A view into a single occupied location in a `RawMap`.
|
|
|
|
|
pub struct OccupiedEntry<'a, A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::OccupiedEntry<'a, TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// A view into a single empty location in a `RawMap`.
|
|
|
|
|
pub struct VacantEntry<'a, A: ?Sized + UncheckedAnyExt> {
|
|
|
|
|
inner: hash_map::VacantEntry<'a, TypeId, Box<A>>,
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
/// A view into a single location in a `RawMap`, which may be vacant or occupied.
|
|
|
|
|
pub enum Entry<'a, A: ?Sized + UncheckedAnyExt> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// An occupied Entry
|
2015-04-25 14:01:01 +10:00
|
|
|
|
Occupied(OccupiedEntry<'a, A>),
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// A vacant Entry
|
2015-04-25 14:01:01 +10:00
|
|
|
|
Vacant(VacantEntry<'a, A>),
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> Entry<'a, A> {
|
2015-03-25 17:59:11 +11:00
|
|
|
|
/// Ensures a value is in the entry by inserting the default if empty, and returns
|
|
|
|
|
/// a mutable reference to the value in the entry.
|
|
|
|
|
///
|
|
|
|
|
/// It is the caller’s responsibility to ensure that the key of the entry corresponds with
|
|
|
|
|
/// the type ID of `value`. If they do not, memory safety may be violated.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub unsafe fn or_insert(self, default: Box<A>) -> &'a mut A {
|
2015-03-25 17:59:11 +11:00
|
|
|
|
match self {
|
|
|
|
|
Entry::Occupied(inner) => inner.into_mut(),
|
|
|
|
|
Entry::Vacant(inner) => inner.insert(default),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Ensures a value is in the entry by inserting the result of the default function if empty,
|
|
|
|
|
/// and returns a mutable reference to the value in the entry.
|
|
|
|
|
///
|
|
|
|
|
/// It is the caller’s responsibility to ensure that the key of the entry corresponds with
|
|
|
|
|
/// the type ID of `value`. If they do not, memory safety may be violated.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub unsafe fn or_insert_with<F: FnOnce() -> Box<A>>(self, default: F) -> &'a mut A {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
match self {
|
2015-03-25 17:59:11 +11:00
|
|
|
|
Entry::Occupied(inner) => inner.into_mut(),
|
|
|
|
|
Entry::Vacant(inner) => inner.insert(default()),
|
2015-03-24 13:42:01 +11:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> OccupiedEntry<'a, A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// Gets a reference to the value in the entry.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn get(&self) -> &A {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
&**self.inner.get()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Gets a mutable reference to the value in the entry.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn get_mut(&mut self) -> &mut A {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
&mut **self.inner.get_mut()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Converts the OccupiedEntry into a mutable reference to the value in the entry
|
|
|
|
|
/// with a lifetime bound to the collection itself.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn into_mut(self) -> &'a mut A {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
&mut **self.inner.into_mut()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Sets the value of the entry, and returns the entry's old value.
|
|
|
|
|
///
|
|
|
|
|
/// It is the caller’s responsibility to ensure that the key of the entry corresponds with
|
|
|
|
|
/// the type ID of `value`. If they do not, memory safety may be violated.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub unsafe fn insert(&mut self, value: Box<A>) -> Box<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
self.inner.insert(value)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Takes the value out of the entry, and returns it.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub fn remove(self) -> Box<A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
self.inner.remove()
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-25 14:01:01 +10:00
|
|
|
|
impl<'a, A: ?Sized + UncheckedAnyExt> VacantEntry<'a, A> {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
/// Sets the value of the entry with the VacantEntry's key,
|
|
|
|
|
/// and returns a mutable reference to it
|
|
|
|
|
///
|
|
|
|
|
/// It is the caller’s responsibility to ensure that the key of the entry corresponds with
|
|
|
|
|
/// the type ID of `value`. If they do not, memory safety may be violated.
|
2015-04-25 14:01:01 +10:00
|
|
|
|
pub unsafe fn insert(self, value: Box<A>) -> &'a mut A {
|
2015-03-24 13:42:01 +11:00
|
|
|
|
&mut **self.inner.insert(value)
|
|
|
|
|
}
|
|
|
|
|
}
|