rkyv_test/impls/hashbrown/
hash_set.rs

1use crate::{
2    collections::hash_set::{ArchivedHashSet, HashSetResolver},
3    ser::{ScratchSpace, Serializer},
4    Archive, Deserialize, Fallible, Serialize,
5};
6use core::{
7    borrow::Borrow,
8    hash::{BuildHasher, Hash},
9};
10use hashbrown::HashSet;
11
12impl<K: Archive + Hash + Eq, S> Archive for HashSet<K, S>
13where
14    K::Archived: Hash + Eq,
15{
16    type Archived = ArchivedHashSet<K::Archived>;
17    type Resolver = HashSetResolver;
18
19    #[inline]
20    unsafe fn resolve(&self, pos: usize, resolver: Self::Resolver, out: *mut Self::Archived) {
21        ArchivedHashSet::<K::Archived>::resolve_from_len(self.len(), pos, resolver, out);
22    }
23}
24
25impl<K, S, RS> Serialize<S> for HashSet<K, RS>
26where
27    K::Archived: Hash + Eq,
28    K: Serialize<S> + Hash + Eq,
29    S: ScratchSpace + Serializer + ?Sized,
30{
31    #[inline]
32    fn serialize(&self, serializer: &mut S) -> Result<Self::Resolver, S::Error> {
33        unsafe { ArchivedHashSet::serialize_from_iter(self.iter(), serializer) }
34    }
35}
36
37impl<K, D, S> Deserialize<HashSet<K, S>, D> for ArchivedHashSet<K::Archived>
38where
39    K: Archive + Hash + Eq,
40    K::Archived: Deserialize<K, D> + Hash + Eq,
41    D: Fallible + ?Sized,
42    S: Default + BuildHasher,
43{
44    #[inline]
45    fn deserialize(&self, deserializer: &mut D) -> Result<HashSet<K, S>, D::Error> {
46        let mut result = HashSet::with_hasher(S::default());
47        for k in self.iter() {
48            result.insert(k.deserialize(deserializer)?);
49        }
50        Ok(result)
51    }
52}
53
54impl<K: Hash + Eq + Borrow<AK>, AK: Hash + Eq, S: BuildHasher> PartialEq<HashSet<K, S>>
55    for ArchivedHashSet<AK>
56{
57    #[inline]
58    fn eq(&self, other: &HashSet<K, S>) -> bool {
59        if self.len() != other.len() {
60            false
61        } else {
62            self.iter().all(|key| other.get(key).is_some())
63        }
64    }
65}
66
67impl<K: Hash + Eq + Borrow<AK>, AK: Hash + Eq, S: BuildHasher> PartialEq<ArchivedHashSet<AK>>
68    for HashSet<K, S>
69{
70    #[inline]
71    fn eq(&self, other: &ArchivedHashSet<AK>) -> bool {
72        other.eq(self)
73    }
74}
75
76#[cfg(test)]
77mod tests {
78    use crate::{
79        archived_root,
80        ser::{serializers::AllocSerializer, Serializer},
81        Deserialize, Infallible,
82    };
83    use hashbrown::HashSet;
84
85    #[test]
86    fn index_set() {
87        let mut value = HashSet::new();
88        value.insert(String::from("foo"));
89        value.insert(String::from("bar"));
90        value.insert(String::from("baz"));
91        value.insert(String::from("bat"));
92
93        let mut serializer = AllocSerializer::<4096>::default();
94        serializer.serialize_value(&value).unwrap();
95        let result = serializer.into_serializer().into_inner();
96        let archived = unsafe { archived_root::<HashSet<String>>(result.as_ref()) };
97
98        assert_eq!(value.len(), archived.len());
99        for k in value.iter() {
100            let ak = archived.get(k.as_str()).unwrap();
101            assert_eq!(k, ak);
102        }
103
104        let deserialized: HashSet<String> = archived.deserialize(&mut Infallible).unwrap();
105        assert_eq!(value, deserialized);
106    }
107
108    #[cfg(feature = "validation")]
109    #[test]
110    fn validate_index_set() {
111        use crate::check_archived_root;
112
113        let mut value = HashSet::new();
114        value.insert(String::from("foo"));
115        value.insert(String::from("bar"));
116        value.insert(String::from("baz"));
117        value.insert(String::from("bat"));
118
119        let mut serializer = AllocSerializer::<4096>::default();
120        serializer.serialize_value(&value).unwrap();
121        let result = serializer.into_serializer().into_inner();
122        check_archived_root::<HashSet<String>>(result.as_ref())
123            .expect("failed to validate archived index set");
124    }
125}
rkyv_test/impls/hashbrown/hash_set.rs

rkyv_test/impls/hashbrown/
hash_set.rs
