Struct cranelift_entity::SparseMap

pub struct SparseMap<K, V>
where
    K: EntityRef,
    V: SparseMapValue<K>,
{ /* private fields */ }

A sparse mapping of entity references.

A SparseMap<K, V> map provides:

• Memory usage equivalent to SecondaryMap<K, u32> + Vec<V>, so much smaller than SecondaryMap<K, V> for sparse mappings of larger V types.
• Constant time lookup, slightly slower than SecondaryMap.
• A very fast, constant time clear() operation.
• Fast insert and erase operations.
• Stable iteration that is as fast as a Vec<V>.

Compared to SecondaryMap

When should we use a SparseMap instead of a secondary SecondaryMap? First of all, SparseMap does not provide the functionality of a PrimaryMap which can allocate and assign entity references to objects as they are pushed onto the map. It is only the secondary entity maps that can be replaced with a SparseMap.

• A secondary entity map assigns a default mapping to all keys. It doesn’t distinguish between an unmapped key and one that maps to the default value. SparseMap does not require Default values, and it tracks accurately if a key has been mapped or not.
• Iterating over the contents of an SecondaryMap is linear in the size of the key space, while iterating over a SparseMap is linear in the number of elements in the mapping. This is an advantage precisely when the mapping is sparse.
• SparseMap::clear() is constant time and super-fast. SecondaryMap::clear() is linear in the size of the key space. (Or, rather the required resize() call following the clear() is).
• SparseMap requires the values to implement SparseMapValue<K> which means that they must contain their own key.

Implementations

impl<K, V> SparseMap<K, V>

where K: EntityRef, V: SparseMapValue<K>,

pub fn new() -> Self

Create a new empty mapping.

pub fn len(&self) -> usize

Returns the number of elements in the map.

pub fn is_empty(&self) -> bool

Returns true is the map contains no elements.

pub fn clear(&mut self)

Remove all elements from the mapping.

pub fn get(&self, key: K) -> Option<&V>

Returns a reference to the value corresponding to the key.

pub fn get_mut(&mut self, key: K) -> Option<&mut V>

Returns a mutable reference to the value corresponding to the key.

Note that the returned value must not be mutated in a way that would change its key. This would invalidate the sparse set data structure.

pub fn contains_key(&self, key: K) -> bool

Return true if the map contains a value corresponding to key.

pub fn insert(&mut self, value: V) -> Option<V>

Insert a value into the map.

If the map did not have this key present, None is returned.

If the map did have this key present, the value is updated, and the old value is returned.

It is not necessary to provide a key since the value knows its own key already.

pub fn remove(&mut self, key: K) -> Option<V>

Remove a value from the map and return it.

pub fn pop(&mut self) -> Option<V>

Remove the last value from the map.

pub fn values(&self) -> Iter<'_, V>

Get an iterator over the values in the map.

The iteration order is entirely determined by the preceding sequence of insert and remove operations. In particular, if no elements were removed, this is the insertion order.

pub fn as_slice(&self) -> &[V]

Get the values as a slice.

Trait Implementations

impl<'de, K, V> Deserialize<'de> for SparseMap<K, V>

where K: EntityRef + Deserialize<'de>, V: SparseMapValue<K> + Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a, K, V> IntoIterator for &'a SparseMap<K, V>

where K: EntityRef, V: SparseMapValue<K>,

Iterating over the elements of a set.

type Item = &'a V

The type of the elements being iterated over.

type IntoIter = Iter<'a, V>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<K, V> Serialize for SparseMap<K, V>

where K: EntityRef + Serialize, V: SparseMapValue<K> + Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.