2019-02-03 01:27:44 -06:00
|
|
|
use std::collections::BTreeSet;
|
|
|
|
use std::iter::FromIterator;
|
2020-02-08 04:52:14 -06:00
|
|
|
use std::panic::{catch_unwind, AssertUnwindSafe};
|
|
|
|
use std::sync::atomic::{AtomicU32, Ordering};
|
2019-02-03 01:27:44 -06:00
|
|
|
|
2016-05-29 05:30:13 -05:00
|
|
|
use super::DeterministicRng;
|
|
|
|
|
2015-03-10 23:58:16 -05:00
|
|
|
#[test]
|
|
|
|
fn test_clone_eq() {
|
2016-10-16 05:18:22 -05:00
|
|
|
let mut m = BTreeSet::new();
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
m.insert(1);
|
|
|
|
m.insert(2);
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2019-08-09 02:23:14 -05:00
|
|
|
assert_eq!(m.clone(), m);
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_hash() {
|
2019-02-02 03:14:40 -06:00
|
|
|
use crate::hash;
|
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
let mut x = BTreeSet::new();
|
|
|
|
let mut y = BTreeSet::new();
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
x.insert(1);
|
|
|
|
x.insert(2);
|
|
|
|
x.insert(3);
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
y.insert(3);
|
|
|
|
y.insert(2);
|
|
|
|
y.insert(1);
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2019-08-09 02:23:14 -05:00
|
|
|
assert_eq!(hash(&x), hash(&y));
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
2020-06-22 13:12:11 -05:00
|
|
|
#[test]
|
|
|
|
fn test_iter_min_max() {
|
|
|
|
let mut a = BTreeSet::new();
|
|
|
|
assert_eq!(a.iter().min(), None);
|
|
|
|
assert_eq!(a.iter().max(), None);
|
|
|
|
assert_eq!(a.range(..).min(), None);
|
|
|
|
assert_eq!(a.range(..).max(), None);
|
|
|
|
assert_eq!(a.difference(&BTreeSet::new()).min(), None);
|
|
|
|
assert_eq!(a.difference(&BTreeSet::new()).max(), None);
|
|
|
|
assert_eq!(a.intersection(&a).min(), None);
|
|
|
|
assert_eq!(a.intersection(&a).max(), None);
|
|
|
|
assert_eq!(a.symmetric_difference(&BTreeSet::new()).min(), None);
|
|
|
|
assert_eq!(a.symmetric_difference(&BTreeSet::new()).max(), None);
|
|
|
|
assert_eq!(a.union(&a).min(), None);
|
|
|
|
assert_eq!(a.union(&a).max(), None);
|
|
|
|
a.insert(1);
|
|
|
|
a.insert(2);
|
|
|
|
assert_eq!(a.iter().min(), Some(&1));
|
|
|
|
assert_eq!(a.iter().max(), Some(&2));
|
|
|
|
assert_eq!(a.range(..).min(), Some(&1));
|
|
|
|
assert_eq!(a.range(..).max(), Some(&2));
|
|
|
|
assert_eq!(a.difference(&BTreeSet::new()).min(), Some(&1));
|
|
|
|
assert_eq!(a.difference(&BTreeSet::new()).max(), Some(&2));
|
|
|
|
assert_eq!(a.intersection(&a).min(), Some(&1));
|
|
|
|
assert_eq!(a.intersection(&a).max(), Some(&2));
|
|
|
|
assert_eq!(a.symmetric_difference(&BTreeSet::new()).min(), Some(&1));
|
|
|
|
assert_eq!(a.symmetric_difference(&BTreeSet::new()).max(), Some(&2));
|
|
|
|
assert_eq!(a.union(&a).min(), Some(&1));
|
|
|
|
assert_eq!(a.union(&a).max(), Some(&2));
|
|
|
|
}
|
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
fn check<F>(a: &[i32], b: &[i32], expected: &[i32], f: F)
|
2019-12-22 16:42:04 -06:00
|
|
|
where
|
|
|
|
F: FnOnce(&BTreeSet<i32>, &BTreeSet<i32>, &mut dyn FnMut(&i32) -> bool) -> bool,
|
2015-03-10 23:58:16 -05:00
|
|
|
{
|
|
|
|
let mut set_a = BTreeSet::new();
|
|
|
|
let mut set_b = BTreeSet::new();
|
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
for x in a {
|
|
|
|
assert!(set_a.insert(*x))
|
|
|
|
}
|
|
|
|
for y in b {
|
|
|
|
assert!(set_b.insert(*y))
|
|
|
|
}
|
2015-03-10 23:58:16 -05:00
|
|
|
|
|
|
|
let mut i = 0;
|
2019-12-22 16:42:04 -06:00
|
|
|
f(&set_a, &set_b, &mut |&x| {
|
|
|
|
if i < expected.len() {
|
|
|
|
assert_eq!(x, expected[i]);
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
true
|
|
|
|
});
|
2015-03-10 23:58:16 -05:00
|
|
|
assert_eq!(i, expected.len());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_intersection() {
|
|
|
|
fn check_intersection(a: &[i32], b: &[i32], expected: &[i32]) {
|
|
|
|
check(a, b, expected, |x, y, f| x.intersection(y).all(f))
|
|
|
|
}
|
|
|
|
|
|
|
|
check_intersection(&[], &[], &[]);
|
|
|
|
check_intersection(&[1, 2, 3], &[], &[]);
|
|
|
|
check_intersection(&[], &[1, 2, 3], &[]);
|
|
|
|
check_intersection(&[2], &[1, 2, 3], &[2]);
|
|
|
|
check_intersection(&[1, 2, 3], &[2], &[2]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_intersection(&[11, 1, 3, 77, 103, 5, -5], &[2, 11, 77, -9, -42, 5, 3], &[3, 5, 11, 77]);
|
2019-08-09 04:43:25 -05:00
|
|
|
|
2019-12-22 16:42:04 -06:00
|
|
|
if cfg!(miri) {
|
|
|
|
// Miri is too slow
|
2019-08-09 04:43:25 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-09-22 10:45:47 -05:00
|
|
|
let large = (0..100).collect::<Vec<_>>();
|
2019-03-13 17:01:12 -05:00
|
|
|
check_intersection(&[], &large, &[]);
|
|
|
|
check_intersection(&large, &[], &[]);
|
|
|
|
check_intersection(&[-1], &large, &[]);
|
|
|
|
check_intersection(&large, &[-1], &[]);
|
|
|
|
check_intersection(&[0], &large, &[0]);
|
|
|
|
check_intersection(&large, &[0], &[0]);
|
2019-09-22 10:45:47 -05:00
|
|
|
check_intersection(&[99], &large, &[99]);
|
|
|
|
check_intersection(&large, &[99], &[99]);
|
|
|
|
check_intersection(&[100], &large, &[]);
|
|
|
|
check_intersection(&large, &[100], &[]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_intersection(&[11, 5000, 1, 3, 77, 8924], &large, &[1, 3, 11, 77]);
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
2019-09-15 23:37:52 -05:00
|
|
|
#[test]
|
|
|
|
fn test_intersection_size_hint() {
|
|
|
|
let x: BTreeSet<i32> = [3, 4].iter().copied().collect();
|
|
|
|
let y: BTreeSet<i32> = [1, 2, 3].iter().copied().collect();
|
|
|
|
let mut iter = x.intersection(&y);
|
2019-09-22 10:45:47 -05:00
|
|
|
assert_eq!(iter.size_hint(), (1, Some(1)));
|
2019-09-15 23:37:52 -05:00
|
|
|
assert_eq!(iter.next(), Some(&3));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(0)));
|
|
|
|
assert_eq!(iter.next(), None);
|
2019-09-22 10:45:47 -05:00
|
|
|
|
|
|
|
iter = y.intersection(&y);
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&1));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(2)));
|
2019-09-15 23:37:52 -05:00
|
|
|
}
|
|
|
|
|
2015-03-10 23:58:16 -05:00
|
|
|
#[test]
|
|
|
|
fn test_difference() {
|
|
|
|
fn check_difference(a: &[i32], b: &[i32], expected: &[i32]) {
|
|
|
|
check(a, b, expected, |x, y, f| x.difference(y).all(f))
|
|
|
|
}
|
|
|
|
|
|
|
|
check_difference(&[], &[], &[]);
|
|
|
|
check_difference(&[1, 12], &[], &[1, 12]);
|
|
|
|
check_difference(&[], &[1, 2, 3, 9], &[]);
|
2016-10-16 05:18:22 -05:00
|
|
|
check_difference(&[1, 3, 5, 9, 11], &[3, 9], &[1, 5, 11]);
|
2019-09-22 10:45:47 -05:00
|
|
|
check_difference(&[1, 3, 5, 9, 11], &[3, 6, 9], &[1, 5, 11]);
|
|
|
|
check_difference(&[1, 3, 5, 9, 11], &[0, 1], &[3, 5, 9, 11]);
|
|
|
|
check_difference(&[1, 3, 5, 9, 11], &[11, 12], &[1, 3, 5, 9]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_difference(
|
|
|
|
&[-5, 11, 22, 33, 40, 42],
|
|
|
|
&[-12, -5, 14, 23, 34, 38, 39, 50],
|
|
|
|
&[11, 22, 33, 40, 42],
|
|
|
|
);
|
|
|
|
|
|
|
|
if cfg!(miri) {
|
|
|
|
// Miri is too slow
|
2019-08-09 04:43:25 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-09-22 10:45:47 -05:00
|
|
|
let large = (0..100).collect::<Vec<_>>();
|
2019-03-13 17:01:12 -05:00
|
|
|
check_difference(&[], &large, &[]);
|
|
|
|
check_difference(&[-1], &large, &[-1]);
|
|
|
|
check_difference(&[0], &large, &[]);
|
2019-09-22 10:45:47 -05:00
|
|
|
check_difference(&[99], &large, &[]);
|
|
|
|
check_difference(&[100], &large, &[100]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_difference(&[11, 5000, 1, 3, 77, 8924], &large, &[5000, 8924]);
|
2019-03-13 17:01:12 -05:00
|
|
|
check_difference(&large, &[], &large);
|
|
|
|
check_difference(&large, &[-1], &large);
|
2019-09-22 10:45:47 -05:00
|
|
|
check_difference(&large, &[100], &large);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_difference_size_hint() {
|
|
|
|
let s246: BTreeSet<i32> = [2, 4, 6].iter().copied().collect();
|
|
|
|
let s23456: BTreeSet<i32> = (2..=6).collect();
|
|
|
|
let mut iter = s246.difference(&s23456);
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(3)));
|
|
|
|
assert_eq!(iter.next(), None);
|
|
|
|
|
|
|
|
let s12345: BTreeSet<i32> = (1..=5).collect();
|
|
|
|
iter = s246.difference(&s12345);
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&6));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(0)));
|
|
|
|
assert_eq!(iter.next(), None);
|
|
|
|
|
|
|
|
let s34567: BTreeSet<i32> = (3..=7).collect();
|
|
|
|
iter = s246.difference(&s34567);
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&2));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(2)));
|
|
|
|
assert_eq!(iter.next(), None);
|
|
|
|
|
|
|
|
let s1: BTreeSet<i32> = (-9..=1).collect();
|
|
|
|
iter = s246.difference(&s1);
|
|
|
|
assert_eq!(iter.size_hint(), (3, Some(3)));
|
|
|
|
|
|
|
|
let s2: BTreeSet<i32> = (-9..=2).collect();
|
|
|
|
iter = s246.difference(&s2);
|
|
|
|
assert_eq!(iter.size_hint(), (2, Some(2)));
|
|
|
|
assert_eq!(iter.next(), Some(&4));
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(1)));
|
|
|
|
|
|
|
|
let s23: BTreeSet<i32> = (2..=3).collect();
|
|
|
|
iter = s246.difference(&s23);
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&4));
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(1)));
|
|
|
|
|
|
|
|
let s4: BTreeSet<i32> = (4..=4).collect();
|
|
|
|
iter = s246.difference(&s4);
|
|
|
|
assert_eq!(iter.size_hint(), (2, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&2));
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(2)));
|
|
|
|
assert_eq!(iter.next(), Some(&6));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(0)));
|
|
|
|
assert_eq!(iter.next(), None);
|
|
|
|
|
|
|
|
let s56: BTreeSet<i32> = (5..=6).collect();
|
|
|
|
iter = s246.difference(&s56);
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(3)));
|
|
|
|
assert_eq!(iter.next(), Some(&2));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(2)));
|
|
|
|
|
|
|
|
let s6: BTreeSet<i32> = (6..=19).collect();
|
|
|
|
iter = s246.difference(&s6);
|
|
|
|
assert_eq!(iter.size_hint(), (2, Some(2)));
|
|
|
|
assert_eq!(iter.next(), Some(&2));
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(1)));
|
|
|
|
|
|
|
|
let s7: BTreeSet<i32> = (7..=19).collect();
|
|
|
|
iter = s246.difference(&s7);
|
|
|
|
assert_eq!(iter.size_hint(), (3, Some(3)));
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_symmetric_difference() {
|
|
|
|
fn check_symmetric_difference(a: &[i32], b: &[i32], expected: &[i32]) {
|
|
|
|
check(a, b, expected, |x, y, f| x.symmetric_difference(y).all(f))
|
|
|
|
}
|
|
|
|
|
|
|
|
check_symmetric_difference(&[], &[], &[]);
|
|
|
|
check_symmetric_difference(&[1, 2, 3], &[2], &[1, 3]);
|
|
|
|
check_symmetric_difference(&[2], &[1, 2, 3], &[1, 3]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_symmetric_difference(&[1, 3, 5, 9, 11], &[-2, 3, 9, 14, 22], &[-2, 1, 5, 11, 14, 22]);
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
2019-10-08 18:07:57 -05:00
|
|
|
#[test]
|
|
|
|
fn test_symmetric_difference_size_hint() {
|
|
|
|
let x: BTreeSet<i32> = [2, 4].iter().copied().collect();
|
|
|
|
let y: BTreeSet<i32> = [1, 2, 3].iter().copied().collect();
|
|
|
|
let mut iter = x.symmetric_difference(&y);
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(5)));
|
|
|
|
assert_eq!(iter.next(), Some(&1));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(4)));
|
|
|
|
assert_eq!(iter.next(), Some(&3));
|
|
|
|
assert_eq!(iter.size_hint(), (0, Some(1)));
|
|
|
|
}
|
|
|
|
|
2015-03-10 23:58:16 -05:00
|
|
|
#[test]
|
|
|
|
fn test_union() {
|
|
|
|
fn check_union(a: &[i32], b: &[i32], expected: &[i32]) {
|
|
|
|
check(a, b, expected, |x, y, f| x.union(y).all(f))
|
|
|
|
}
|
|
|
|
|
|
|
|
check_union(&[], &[], &[]);
|
|
|
|
check_union(&[1, 2, 3], &[2], &[1, 2, 3]);
|
|
|
|
check_union(&[2], &[1, 2, 3], &[1, 2, 3]);
|
2019-12-22 16:42:04 -06:00
|
|
|
check_union(
|
|
|
|
&[1, 3, 5, 9, 11, 16, 19, 24],
|
|
|
|
&[-2, 1, 5, 9, 13, 19],
|
|
|
|
&[-2, 1, 3, 5, 9, 11, 13, 16, 19, 24],
|
|
|
|
);
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
2019-10-08 18:07:57 -05:00
|
|
|
#[test]
|
|
|
|
fn test_union_size_hint() {
|
|
|
|
let x: BTreeSet<i32> = [2, 4].iter().copied().collect();
|
|
|
|
let y: BTreeSet<i32> = [1, 2, 3].iter().copied().collect();
|
|
|
|
let mut iter = x.union(&y);
|
|
|
|
assert_eq!(iter.size_hint(), (3, Some(5)));
|
|
|
|
assert_eq!(iter.next(), Some(&1));
|
|
|
|
assert_eq!(iter.size_hint(), (2, Some(4)));
|
|
|
|
assert_eq!(iter.next(), Some(&2));
|
|
|
|
assert_eq!(iter.size_hint(), (1, Some(2)));
|
|
|
|
}
|
|
|
|
|
2019-03-13 17:01:12 -05:00
|
|
|
#[test]
|
|
|
|
// Only tests the simple function definition with respect to intersection
|
|
|
|
fn test_is_disjoint() {
|
2019-05-17 21:56:35 -05:00
|
|
|
let one = [1].iter().collect::<BTreeSet<_>>();
|
|
|
|
let two = [2].iter().collect::<BTreeSet<_>>();
|
2019-03-13 17:01:12 -05:00
|
|
|
assert!(one.is_disjoint(&two));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2019-10-08 18:07:57 -05:00
|
|
|
// Also implicitly tests the trivial function definition of is_superset
|
2019-03-13 17:01:12 -05:00
|
|
|
fn test_is_subset() {
|
|
|
|
fn is_subset(a: &[i32], b: &[i32]) -> bool {
|
|
|
|
let set_a = a.iter().collect::<BTreeSet<_>>();
|
|
|
|
let set_b = b.iter().collect::<BTreeSet<_>>();
|
|
|
|
set_a.is_subset(&set_b)
|
|
|
|
}
|
|
|
|
|
|
|
|
assert_eq!(is_subset(&[], &[]), true);
|
|
|
|
assert_eq!(is_subset(&[], &[1, 2]), true);
|
|
|
|
assert_eq!(is_subset(&[0], &[1, 2]), false);
|
|
|
|
assert_eq!(is_subset(&[1], &[1, 2]), true);
|
|
|
|
assert_eq!(is_subset(&[2], &[1, 2]), true);
|
|
|
|
assert_eq!(is_subset(&[3], &[1, 2]), false);
|
|
|
|
assert_eq!(is_subset(&[1, 2], &[1]), false);
|
|
|
|
assert_eq!(is_subset(&[1, 2], &[1, 2]), true);
|
|
|
|
assert_eq!(is_subset(&[1, 2], &[2, 3]), false);
|
2019-12-22 16:42:04 -06:00
|
|
|
assert_eq!(
|
|
|
|
is_subset(&[-5, 11, 22, 33, 40, 42], &[-12, -5, 11, 14, 22, 23, 33, 34, 38, 39, 40, 42]),
|
|
|
|
true
|
|
|
|
);
|
|
|
|
assert_eq!(is_subset(&[-5, 11, 22, 33, 40, 42], &[-12, -5, 11, 14, 22, 23, 34, 38]), false);
|
|
|
|
|
|
|
|
if cfg!(miri) {
|
|
|
|
// Miri is too slow
|
2019-08-09 04:43:25 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2019-09-22 10:45:47 -05:00
|
|
|
let large = (0..100).collect::<Vec<_>>();
|
2019-03-13 17:01:12 -05:00
|
|
|
assert_eq!(is_subset(&[], &large), true);
|
|
|
|
assert_eq!(is_subset(&large, &[]), false);
|
|
|
|
assert_eq!(is_subset(&[-1], &large), false);
|
|
|
|
assert_eq!(is_subset(&[0], &large), true);
|
|
|
|
assert_eq!(is_subset(&[1, 2], &large), true);
|
2019-09-22 10:45:47 -05:00
|
|
|
assert_eq!(is_subset(&[99, 100], &large), false);
|
2019-03-13 17:01:12 -05:00
|
|
|
}
|
|
|
|
|
2020-02-08 04:52:14 -06:00
|
|
|
#[test]
|
|
|
|
fn test_drain_filter() {
|
|
|
|
let mut x: BTreeSet<_> = [1].iter().copied().collect();
|
|
|
|
let mut y: BTreeSet<_> = [1].iter().copied().collect();
|
|
|
|
|
|
|
|
x.drain_filter(|_| true);
|
|
|
|
y.drain_filter(|_| false);
|
|
|
|
assert_eq!(x.len(), 0);
|
|
|
|
assert_eq!(y.len(), 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_drain_filter_drop_panic_leak() {
|
|
|
|
static PREDS: AtomicU32 = AtomicU32::new(0);
|
|
|
|
static DROPS: AtomicU32 = AtomicU32::new(0);
|
|
|
|
|
|
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord)]
|
|
|
|
struct D(i32);
|
|
|
|
impl Drop for D {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
if DROPS.fetch_add(1, Ordering::SeqCst) == 1 {
|
|
|
|
panic!("panic in `drop`");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut set = BTreeSet::new();
|
|
|
|
set.insert(D(0));
|
|
|
|
set.insert(D(4));
|
|
|
|
set.insert(D(8));
|
|
|
|
|
|
|
|
catch_unwind(move || {
|
|
|
|
drop(set.drain_filter(|d| {
|
|
|
|
PREDS.fetch_add(1u32 << d.0, Ordering::SeqCst);
|
|
|
|
true
|
|
|
|
}))
|
|
|
|
})
|
|
|
|
.ok();
|
|
|
|
|
|
|
|
assert_eq!(PREDS.load(Ordering::SeqCst), 0x011);
|
|
|
|
assert_eq!(DROPS.load(Ordering::SeqCst), 3);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_drain_filter_pred_panic_leak() {
|
|
|
|
static PREDS: AtomicU32 = AtomicU32::new(0);
|
|
|
|
static DROPS: AtomicU32 = AtomicU32::new(0);
|
|
|
|
|
|
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord)]
|
|
|
|
struct D(i32);
|
|
|
|
impl Drop for D {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
DROPS.fetch_add(1, Ordering::SeqCst);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut set = BTreeSet::new();
|
|
|
|
set.insert(D(0));
|
|
|
|
set.insert(D(4));
|
|
|
|
set.insert(D(8));
|
|
|
|
|
|
|
|
catch_unwind(AssertUnwindSafe(|| {
|
|
|
|
drop(set.drain_filter(|d| {
|
|
|
|
PREDS.fetch_add(1u32 << d.0, Ordering::SeqCst);
|
|
|
|
match d.0 {
|
|
|
|
0 => true,
|
|
|
|
_ => panic!(),
|
|
|
|
}
|
|
|
|
}))
|
|
|
|
}))
|
|
|
|
.ok();
|
|
|
|
|
|
|
|
assert_eq!(PREDS.load(Ordering::SeqCst), 0x011);
|
|
|
|
assert_eq!(DROPS.load(Ordering::SeqCst), 1);
|
|
|
|
assert_eq!(set.len(), 2);
|
|
|
|
assert_eq!(set.first().unwrap().0, 4);
|
|
|
|
assert_eq!(set.last().unwrap().0, 8);
|
|
|
|
}
|
|
|
|
|
2019-12-20 12:07:30 -06:00
|
|
|
#[test]
|
|
|
|
fn test_clear() {
|
|
|
|
let mut x = BTreeSet::new();
|
|
|
|
x.insert(1);
|
|
|
|
|
|
|
|
x.clear();
|
|
|
|
assert!(x.is_empty());
|
|
|
|
}
|
|
|
|
|
2015-03-10 23:58:16 -05:00
|
|
|
#[test]
|
|
|
|
fn test_zip() {
|
|
|
|
let mut x = BTreeSet::new();
|
|
|
|
x.insert(5);
|
|
|
|
x.insert(12);
|
|
|
|
x.insert(11);
|
|
|
|
|
|
|
|
let mut y = BTreeSet::new();
|
|
|
|
y.insert("foo");
|
|
|
|
y.insert("bar");
|
|
|
|
|
|
|
|
let x = x;
|
|
|
|
let y = y;
|
2015-06-10 11:22:20 -05:00
|
|
|
let mut z = x.iter().zip(&y);
|
2015-03-10 23:58:16 -05:00
|
|
|
|
2015-09-20 05:35:08 -05:00
|
|
|
assert_eq!(z.next().unwrap(), (&5, &("bar")));
|
|
|
|
assert_eq!(z.next().unwrap(), (&11, &("foo")));
|
|
|
|
assert!(z.next().is_none());
|
2015-03-10 23:58:16 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_from_iter() {
|
|
|
|
let xs = [1, 2, 3, 4, 5, 6, 7, 8, 9];
|
|
|
|
|
|
|
|
let set: BTreeSet<_> = xs.iter().cloned().collect();
|
|
|
|
|
|
|
|
for x in &xs {
|
|
|
|
assert!(set.contains(x));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_show() {
|
|
|
|
let mut set = BTreeSet::new();
|
|
|
|
let empty = BTreeSet::<i32>::new();
|
|
|
|
|
|
|
|
set.insert(1);
|
|
|
|
set.insert(2);
|
|
|
|
|
|
|
|
let set_str = format!("{:?}", set);
|
|
|
|
|
|
|
|
assert_eq!(set_str, "{1, 2}");
|
|
|
|
assert_eq!(format!("{:?}", empty), "{}");
|
|
|
|
}
|
2015-06-03 05:38:42 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_extend_ref() {
|
|
|
|
let mut a = BTreeSet::new();
|
|
|
|
a.insert(1);
|
|
|
|
|
|
|
|
a.extend(&[2, 3, 4]);
|
|
|
|
|
|
|
|
assert_eq!(a.len(), 4);
|
|
|
|
assert!(a.contains(&1));
|
|
|
|
assert!(a.contains(&2));
|
|
|
|
assert!(a.contains(&3));
|
|
|
|
assert!(a.contains(&4));
|
|
|
|
|
|
|
|
let mut b = BTreeSet::new();
|
|
|
|
b.insert(5);
|
|
|
|
b.insert(6);
|
|
|
|
|
|
|
|
a.extend(&b);
|
|
|
|
|
|
|
|
assert_eq!(a.len(), 6);
|
|
|
|
assert!(a.contains(&1));
|
|
|
|
assert!(a.contains(&2));
|
|
|
|
assert!(a.contains(&3));
|
|
|
|
assert!(a.contains(&4));
|
|
|
|
assert!(a.contains(&5));
|
|
|
|
assert!(a.contains(&6));
|
|
|
|
}
|
2015-08-27 10:10:28 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_recovery() {
|
|
|
|
use std::cmp::Ordering;
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
struct Foo(&'static str, i32);
|
|
|
|
|
|
|
|
impl PartialEq for Foo {
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
self.0 == other.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Eq for Foo {}
|
|
|
|
|
|
|
|
impl PartialOrd for Foo {
|
|
|
|
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
|
|
|
|
self.0.partial_cmp(&other.0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Ord for Foo {
|
|
|
|
fn cmp(&self, other: &Self) -> Ordering {
|
|
|
|
self.0.cmp(&other.0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut s = BTreeSet::new();
|
|
|
|
assert_eq!(s.replace(Foo("a", 1)), None);
|
|
|
|
assert_eq!(s.len(), 1);
|
|
|
|
assert_eq!(s.replace(Foo("a", 2)), Some(Foo("a", 1)));
|
|
|
|
assert_eq!(s.len(), 1);
|
|
|
|
|
|
|
|
{
|
|
|
|
let mut it = s.iter();
|
|
|
|
assert_eq!(it.next(), Some(&Foo("a", 2)));
|
|
|
|
assert_eq!(it.next(), None);
|
|
|
|
}
|
|
|
|
|
|
|
|
assert_eq!(s.get(&Foo("a", 1)), Some(&Foo("a", 2)));
|
|
|
|
assert_eq!(s.take(&Foo("a", 1)), Some(Foo("a", 2)));
|
|
|
|
assert_eq!(s.len(), 0);
|
|
|
|
|
|
|
|
assert_eq!(s.get(&Foo("a", 1)), None);
|
|
|
|
assert_eq!(s.take(&Foo("a", 1)), None);
|
|
|
|
|
|
|
|
assert_eq!(s.iter().next(), None);
|
|
|
|
}
|
2016-01-18 06:36:39 -06:00
|
|
|
|
|
|
|
#[test]
|
2016-01-30 18:19:37 -06:00
|
|
|
#[allow(dead_code)]
|
2016-01-18 06:36:39 -06:00
|
|
|
fn test_variance() {
|
|
|
|
use std::collections::btree_set::{IntoIter, Iter, Range};
|
|
|
|
|
2016-10-16 05:18:22 -05:00
|
|
|
fn set<'new>(v: BTreeSet<&'static str>) -> BTreeSet<&'new str> {
|
|
|
|
v
|
|
|
|
}
|
|
|
|
fn iter<'a, 'new>(v: Iter<'a, &'static str>) -> Iter<'a, &'new str> {
|
|
|
|
v
|
|
|
|
}
|
|
|
|
fn into_iter<'new>(v: IntoIter<&'static str>) -> IntoIter<&'new str> {
|
|
|
|
v
|
|
|
|
}
|
|
|
|
fn range<'a, 'new>(v: Range<'a, &'static str>) -> Range<'a, &'new str> {
|
|
|
|
v
|
|
|
|
}
|
2016-01-18 06:36:39 -06:00
|
|
|
}
|
2016-03-24 09:39:46 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_append() {
|
|
|
|
let mut a = BTreeSet::new();
|
|
|
|
a.insert(1);
|
|
|
|
a.insert(2);
|
|
|
|
a.insert(3);
|
|
|
|
|
|
|
|
let mut b = BTreeSet::new();
|
|
|
|
b.insert(3);
|
|
|
|
b.insert(4);
|
|
|
|
b.insert(5);
|
|
|
|
|
|
|
|
a.append(&mut b);
|
|
|
|
|
|
|
|
assert_eq!(a.len(), 5);
|
|
|
|
assert_eq!(b.len(), 0);
|
|
|
|
|
|
|
|
assert_eq!(a.contains(&1), true);
|
|
|
|
assert_eq!(a.contains(&2), true);
|
|
|
|
assert_eq!(a.contains(&3), true);
|
|
|
|
assert_eq!(a.contains(&4), true);
|
|
|
|
assert_eq!(a.contains(&5), true);
|
|
|
|
}
|
2016-05-29 05:30:13 -05:00
|
|
|
|
2019-10-20 13:06:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_first_last() {
|
|
|
|
let mut a = BTreeSet::new();
|
|
|
|
assert_eq!(a.first(), None);
|
|
|
|
assert_eq!(a.last(), None);
|
|
|
|
a.insert(1);
|
|
|
|
assert_eq!(a.first(), Some(&1));
|
|
|
|
assert_eq!(a.last(), Some(&1));
|
|
|
|
a.insert(2);
|
|
|
|
assert_eq!(a.first(), Some(&1));
|
|
|
|
assert_eq!(a.last(), Some(&2));
|
2020-02-04 15:19:05 -06:00
|
|
|
for i in 3..=12 {
|
|
|
|
a.insert(i);
|
|
|
|
}
|
2019-10-20 13:06:20 -05:00
|
|
|
assert_eq!(a.first(), Some(&1));
|
2020-02-04 15:19:05 -06:00
|
|
|
assert_eq!(a.last(), Some(&12));
|
2019-10-20 13:06:20 -05:00
|
|
|
assert_eq!(a.pop_first(), Some(1));
|
2020-02-04 15:19:05 -06:00
|
|
|
assert_eq!(a.pop_last(), Some(12));
|
2019-10-20 13:06:20 -05:00
|
|
|
assert_eq!(a.pop_first(), Some(2));
|
2020-02-04 15:19:05 -06:00
|
|
|
assert_eq!(a.pop_last(), Some(11));
|
|
|
|
assert_eq!(a.pop_first(), Some(3));
|
|
|
|
assert_eq!(a.pop_last(), Some(10));
|
|
|
|
assert_eq!(a.pop_first(), Some(4));
|
|
|
|
assert_eq!(a.pop_first(), Some(5));
|
|
|
|
assert_eq!(a.pop_first(), Some(6));
|
|
|
|
assert_eq!(a.pop_first(), Some(7));
|
|
|
|
assert_eq!(a.pop_first(), Some(8));
|
|
|
|
assert_eq!(a.clone().pop_last(), Some(9));
|
|
|
|
assert_eq!(a.pop_first(), Some(9));
|
2019-10-20 13:06:20 -05:00
|
|
|
assert_eq!(a.pop_first(), None);
|
2020-02-04 15:19:05 -06:00
|
|
|
assert_eq!(a.pop_last(), None);
|
2019-10-20 13:06:20 -05:00
|
|
|
}
|
|
|
|
|
2016-05-29 05:30:13 -05:00
|
|
|
fn rand_data(len: usize) -> Vec<u32> {
|
|
|
|
let mut rng = DeterministicRng::new();
|
2016-10-16 05:18:22 -05:00
|
|
|
Vec::from_iter((0..len).map(|_| rng.next()))
|
2016-05-29 05:30:13 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_split_off_empty_right() {
|
|
|
|
let mut data = rand_data(173);
|
|
|
|
|
|
|
|
let mut set = BTreeSet::from_iter(data.clone());
|
|
|
|
let right = set.split_off(&(data.iter().max().unwrap() + 1));
|
|
|
|
|
|
|
|
data.sort();
|
|
|
|
assert!(set.into_iter().eq(data));
|
|
|
|
assert!(right.into_iter().eq(None));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_split_off_empty_left() {
|
|
|
|
let mut data = rand_data(314);
|
|
|
|
|
|
|
|
let mut set = BTreeSet::from_iter(data.clone());
|
|
|
|
let right = set.split_off(data.iter().min().unwrap());
|
|
|
|
|
|
|
|
data.sort();
|
|
|
|
assert!(set.into_iter().eq(None));
|
|
|
|
assert!(right.into_iter().eq(data));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_split_off_large_random_sorted() {
|
2020-04-23 13:05:01 -05:00
|
|
|
// Miri is too slow
|
|
|
|
let mut data = if cfg!(miri) { rand_data(529) } else { rand_data(1529) };
|
2016-05-29 05:30:13 -05:00
|
|
|
// special case with maximum height.
|
|
|
|
data.sort();
|
|
|
|
|
|
|
|
let mut set = BTreeSet::from_iter(data.clone());
|
|
|
|
let key = data[data.len() / 2];
|
|
|
|
let right = set.split_off(&key);
|
|
|
|
|
|
|
|
assert!(set.into_iter().eq(data.clone().into_iter().filter(|x| *x < key)));
|
|
|
|
assert!(right.into_iter().eq(data.into_iter().filter(|x| *x >= key)));
|
|
|
|
}
|