use crate::common::*;
use crate::compat::*;
use crate::inner;
use super::traits::*;
use super::weak_key_hash_map as base;
pub use super::WeakHashSet;
universal_hashless_members! {
WeakHashSet ("`WeakHashSet`", a "set")
base::WeakKeyHashMap::with_capacity_and_hasher
{T}
}
impl<T: WeakKey, S: BuildHasher> WeakHashSet<T, S> {
universal_key_independent_members! {"elements"}
pub fn contains<Q>(&self, key: &Q) -> bool
where
Q: ?Sized + Eq + Hash,
T::Key: Borrow<Q>,
{
self.0.contains_key(key)
}
pub fn get<Q>(&self, key: &Q) -> Option<T::Strong>
where
Q: ?Sized + Eq + Hash,
T::Key: Borrow<Q>,
{
self.0.get_key(key)
}
pub fn insert(&mut self, key: T::Strong) -> bool {
self.0.insert(key, ()).is_some()
}
pub fn remove<Q>(&mut self, key: &Q) -> bool
where
Q: ?Sized + Eq + Hash,
T::Key: Borrow<Q>,
{
self.0.remove(key).is_some()
}
pub fn take<Q>(&mut self, key: &Q) -> Option<T::Strong>
where
Q: ?Sized + Eq + Hash,
T::Key: Borrow<Q>,
{
self.0.remove_entry(key).map(|(k, ())| k)
}
pub fn retain<F>(&mut self, mut f: F)
where
F: FnMut(T::Strong) -> bool,
{
self.0.retain(|k, _| f(k));
}
pub fn is_subset<S1>(&self, other: &WeakHashSet<T, S1>) -> bool
where
S1: BuildHasher,
{
self.0.domain_is_subset(&other.0)
}
fn contains_strong(&self, item: &T::Strong) -> bool {
T::with_key(item, |k| self.contains(k))
}
set_op_methods! {WeakHashSet}
set_relationships! {WeakHashSet}
}
pub struct Iter<'a, T: 'a>(base::Keys<'a, T, ()>);
impl<'a, T: WeakElement> Iterator for Iter<'a, T> {
type Item = T::Strong;
fn next(&mut self) -> Option<Self::Item> {
self.0.next()
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.0.size_hint()
}
}
pub struct IntoIter<T>(base::IntoIter<T, ()>);
impl<T: WeakElement> Iterator for IntoIter<T> {
type Item = T::Strong;
fn next(&mut self) -> Option<Self::Item> {
self.0.next().map(|pair| pair.0)
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.0.size_hint()
}
}
pub struct Drain<'a, T: 'a>(base::Drain<'a, T, ()>);
impl<'a, T: WeakElement> Iterator for Drain<'a, T> {
type Item = T::Strong;
fn next(&mut self) -> Option<Self::Item> {
self.0.next().map(|pair| pair.0)
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.0.size_hint()
}
}
impl<T: WeakElement, S> WeakHashSet<T, S> {
pub fn iter(&self) -> Iter<'_, T> {
Iter(self.0.keys())
}
pub fn drain(&mut self) -> Drain<'_, T> {
Drain(self.0.drain())
}
pub fn extract_if<'a, F>(&'a mut self, mut f: F) -> ExtractIf<'a, T, F>
where
F: FnMut(T::Strong) -> bool + 'a,
{
ExtractIf {
inner: self.0 .0.extract_if(move |e| {
if let Some(k) = e.0.val.view() {
f(k)
} else {
true
}
}),
_phantom: PhantomData,
}
}
}
pub struct ExtractIf<'a, T: WeakElement, F> {
inner: inner::ExtractIf<'a, inner::WeakK<T>, inner::Owned<()>>,
_phantom: PhantomData<F>,
}
impl<'a, T: WeakElement, F> Iterator for ExtractIf<'a, T, F> {
type Item = T::Strong;
fn next(&mut self) -> Option<Self::Item> {
self.inner.next().map(|(k, ())| k)
}
fn size_hint(&self) -> (usize, Option<usize>) {
self.inner.size_hint()
}
}
set_op_types! {WeakHashSet where {T: WeakKey}}
set_operators! {WeakHashSet where {T: WeakKey}}
impl<T, S, S1> PartialEq<WeakHashSet<T, S1>> for WeakHashSet<T, S>
where
T: WeakKey,
S: BuildHasher,
S1: BuildHasher,
{
fn eq(&self, other: &WeakHashSet<T, S1>) -> bool {
self.0 == other.0
}
}
impl<T: WeakKey, S: BuildHasher> Eq for WeakHashSet<T, S> where T::Key: Eq {}
impl<T, S> FromIterator<T::Strong> for WeakHashSet<T, S>
where
T: WeakKey,
S: BuildHasher + Default,
{
fn from_iter<I: IntoIterator<Item = T::Strong>>(iter: I) -> Self {
WeakHashSet(base::WeakKeyHashMap::<T, (), S>::from_iter(
iter.into_iter().map(|k| (k, ())),
))
}
}
impl<T: WeakKey, const N: usize> From<[T::Strong; N]> for WeakHashSet<T, RandomState> {
fn from(value: [T::Strong; N]) -> Self {
Self::from_iter(value)
}
}
impl<T: WeakKey, S: BuildHasher> Extend<T::Strong> for WeakHashSet<T, S> {
fn extend<I: IntoIterator<Item = T::Strong>>(&mut self, iter: I) {
self.0.extend(iter.into_iter().map(|k| (k, ())));
}
}
impl<T: WeakElement, S> Debug for WeakHashSet<T, S>
where
T::Strong: Debug,
{
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
f.debug_set().entries(self.iter()).finish()
}
}
impl<T: WeakElement, S> IntoIterator for WeakHashSet<T, S> {
type Item = T::Strong;
type IntoIter = IntoIter<T>;
fn into_iter(self) -> Self::IntoIter {
IntoIter(self.0.into_iter())
}
}
impl<'a, T: WeakElement, S> IntoIterator for &'a WeakHashSet<T, S> {
type Item = T::Strong;
type IntoIter = Iter<'a, T>;
fn into_iter(self) -> Self::IntoIter {
Iter(self.0.keys())
}
}
fn sort_by_size<'a, T: WeakKey, S: BuildHasher>(
a: &'a WeakHashSet<T, S>,
b: &'a WeakHashSet<T, S>,
) -> (&'a WeakHashSet<T, S>, &'a WeakHashSet<T, S>) {
if a.len() < b.len() {
(a, b)
} else {
(b, a)
}
}
#[cfg(test)]
mod test {
use super::*;
use crate::{
compat::rc::{Rc, Weak},
tests::util::VecDebugAsSet,
};
crate::tests::common::empty_constructor_tests! {WeakHashSet<Weak<u8>>}
crate::tests::set_operations::set_operation_tests! {WeakHashSet, 0}
#[test]
fn test_retain_regresion() {
for _ in 0..20 {
let mut set: WeakHashSet<Weak<u8>> = WeakHashSet::default();
let mut preserve_vals = Vec::new();
const N: u8 = 50;
for i in 0..N {
let rc = Rc::new(i);
preserve_vals.push(rc.clone());
set.insert(rc);
}
let rc_n = Rc::new(N);
set.insert(rc_n.clone());
drop(preserve_vals);
let mut retain_called_on = Vec::new();
set.retain(|val| {
retain_called_on.push(val);
false
});
assert_eq!(retain_called_on, vec![rc_n]);
}
}
#[test]
fn test_take() {
let s = [Rc::new(1), Rc::new(2), Rc::new(3)];
let mut set: WeakHashSet<Weak<u32>> = s.clone().into();
assert_eq!(set.iter().count(), 3);
let v = set.take(&2);
assert_eq!(v, Some(Rc::new(2)));
assert_eq!(set.iter().count(), 2);
assert!(Rc::ptr_eq(&v.expect("absent suddenly!"), &s[1]));
let v = set.take(&2);
assert!(v.is_none());
}
#[test]
fn test_debug() {
let s = [Rc::new(1), Rc::new(2)];
let set: WeakHashSet<Weak<u32>> = s.clone().into();
let v: VecDebugAsSet<_> = set.iter().collect();
assert_eq!(format!("{v:?}"), format!("{set:?}"));
}
}