Struct HashTrieMap 

pub struct HashTrieMap<K, V, P = RcK, H = RandomState>
where
    H: BuildHasher,
    P: SharedPointerKind,
{ /* private fields */ }

A persistent map with structural sharing. This implementation uses a hash array mapped trie.

Complexity

Let n be the number of elements in the map.

Temporal complexity

Operation	Average	Worst case
new()	Θ(1)	Θ(1)
insert()	Θ(1)	Θ(n)
remove()	Θ(1)	Θ(n)
get()	Θ(1)	Θ(n)
contains_key()	Θ(1)	Θ(n)
size()	Θ(1)	Θ(1)
clone()	Θ(1)	Θ(1)
iterator creation	Θ(1)	Θ(1)
iterator step	Θ(1)	Θ(1)
iterator full	Θ(n)	Θ(n)

Implementation details

This implementation uses a hash array mapped trie. Details can be found in Ideal Hash Trees.

See the Node documentation for details.

Implementations

impl<K, V> HashTrieMap<K, V>

where K: Eq + Hash,

pub fn new() -> HashTrieMap<K, V>

pub fn new_with_degree(degree: u8) -> HashTrieMap<K, V>

impl<K, V> HashTrieMap<K, V, ArcTK>

where K: Eq + Hash,

pub fn new_sync() -> HashTrieMap<K, V, ArcTK>

pub fn new_sync_with_degree(degree: u8) -> HashTrieMap<K, V, ArcTK>

impl<K, V, P, H> HashTrieMap<K, V, P, H>

where H: BuildHasher + Clone, K: Eq + Hash, P: SharedPointerKind,

pub fn new_with_hasher_and_ptr_kind( hasher_builder: H, ) -> HashTrieMap<K, V, P, H>

pub fn new_with_hasher_and_degree_and_ptr_kind( hasher_builder: H, degree: u8, ) -> HashTrieMap<K, V, P, H>

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

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

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

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

pub fn insert(&self, key: K, value: V) -> HashTrieMap<K, V, P, H>

pub fn insert_mut(&mut self, key: K, value: V)

pub fn remove<Q>(&self, key: &Q) -> HashTrieMap<K, V, P, H>

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

pub fn remove_mut<Q>(&mut self, key: &Q) -> bool

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

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

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

pub fn ptr_eq<PO, HO>(&self, other: &HashTrieMap<K, V, PO, HO>) -> bool

where PO: SharedPointerKind, HO: BuildHasher,

Test whether the two maps refer to the same content in memory.

This would return true if you’re comparing a map to itself, or if you’re comparing a map to a fresh clone of itself.

pub fn size(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn iter( &self, ) -> Map<IterPtr<'_, K, V, P>, fn(&SharedPointer<Entry<K, V>, P>) -> (&K, &V)>

pub fn keys( &self, ) -> Map<Map<IterPtr<'_, K, V, P>, fn(&SharedPointer<Entry<K, V>, P>) -> (&K, &V)>, fn((&K, &V)) -> &K>

pub fn values( &self, ) -> Map<Map<IterPtr<'_, K, V, P>, fn(&SharedPointer<Entry<K, V>, P>) -> (&K, &V)>, fn((&K, &V)) -> &V>

impl<K, V, P, H> HashTrieMap<K, V, P, H>

where H: BuildHasher + Clone, K: Eq + Hash + Clone, V: Clone, P: SharedPointerKind,

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

where K: Borrow<Q>, Q: Hash + Eq + ?Sized,

Trait Implementations

impl<'a> Add<HashTrieMap<String, Value, ArcTK>> for AttrsRef<'a>

为 AttrsRef 实现自定义的 + 运算符，用于直接添加属性映射 当使用 + 运算符时，会直接使用提供的属性映射更新当前节点的属性

type Output = Result<AttrsRef<'a>, Error>

The resulting type after applying the + operator.

fn add(self, attrs: HashTrieMapSync<String, Value>) -> Self::Output

Performs the + operation.

impl<K, V, P, H> Clone for HashTrieMap<K, V, P, H>

where H: BuildHasher + Clone, K: Eq + Hash, P: SharedPointerKind,

fn clone(&self) -> HashTrieMap<K, V, P, H>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<K, V, P, H> Debug for HashTrieMap<K, V, P, H>

where K: Debug, V: Debug, P: Debug + SharedPointerKind, H: Debug + BuildHasher,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<K, V, P, H> Default for HashTrieMap<K, V, P, H>

where H: BuildHasher + Default + Clone, K: Eq + Hash, P: SharedPointerKind,

fn default() -> HashTrieMap<K, V, P, H>

Returns the “default value” for a type.

impl<'de, K, V, P, H> Deserialize<'de> for HashTrieMap<K, V, P, H>

where K: Eq + Hash + Deserialize<'de>, V: Deserialize<'de>, H: BuildHasher + Clone + Default, P: SharedPointerKind,

fn deserialize<D>( deserializer: D, ) -> Result<HashTrieMap<K, V, P, H>, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<K, V, P, H> Display for HashTrieMap<K, V, P, H>

where H: BuildHasher + Clone, K: Eq + Hash + Display, V: Display, P: SharedPointerKind,

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<K, V, P, H> FromIterator<(K, V)> for HashTrieMap<K, V, P, H>

where K: Eq + Hash, H: BuildHasher + Clone + Default, P: SharedPointerKind,

fn from_iter<I>(into_iter: I) -> HashTrieMap<K, V, P, H>

where I: IntoIterator<Item = (K, V)>,

Creates a value from an iterator.

impl<K, Q, V, P, H> Index<&Q> for HashTrieMap<K, V, P, H>

where H: BuildHasher + Clone, K: Eq + Hash + Borrow<Q>, Q: Hash + Eq + ?Sized, P: SharedPointerKind,

type Output = V

The returned type after indexing.

fn index(&self, key: &Q) -> &V

Performs the indexing (container[index]) operation.

impl<'a, K, V, P, H> IntoIterator for &'a HashTrieMap<K, V, P, H>

where H: BuildHasher + Default + Clone, K: Eq + Hash, P: SharedPointerKind,

type Item = (&'a K, &'a V)

The type of the elements being iterated over.

type IntoIter = Map<IterPtr<'a, K, V, P>, fn(&'a SharedPointer<Entry<K, V>, P>) -> (&'a K, &'a V)>

Which kind of iterator are we turning this into?

fn into_iter( self, ) -> Map<IterPtr<'a, K, V, P>, fn(&'a SharedPointer<Entry<K, V>, P>) -> (&'a K, &'a V)>

Creates an iterator from a value.

impl<K, V, P, PO, H> PartialEq<HashTrieMap<K, V, PO, H>> for HashTrieMap<K, V, P, H>

where K: Eq + Hash, V: PartialEq, H: BuildHasher + Clone, P: SharedPointerKind, PO: SharedPointerKind,

fn eq(&self, other: &HashTrieMap<K, V, PO, H>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<K, V, P, H> Serialize for HashTrieMap<K, V, P, H>

where K: Eq + Hash + Serialize, V: Serialize, H: BuildHasher + Clone + Default, P: SharedPointerKind,

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<K, V, P, H> Eq for HashTrieMap<K, V, P, H>

where K: Eq + Hash, V: Eq, H: BuildHasher + Clone, P: SharedPointerKind,