Skip to content

Commit f95c812

Browse files
committed
Implement append and split_off for BitSet (RFC 509)
1 parent 05d5fca commit f95c812

File tree

3 files changed

+145
-0
lines changed

3 files changed

+145
-0
lines changed

src/libcollections/bit.rs

+83
Original file line numberDiff line numberDiff line change
@@ -1792,6 +1792,89 @@ impl BitSet {
17921792
self.other_op(other, |w1, w2| w1 ^ w2);
17931793
}
17941794

1795+
/// Moves all elements from `other` into `Self`, leaving `other` empty.
1796+
///
1797+
/// # Examples
1798+
///
1799+
/// ```
1800+
/// # #![feature(collections, bit_set_append_split_off)]
1801+
/// use std::collections::{BitVec, BitSet};
1802+
///
1803+
/// let mut a = BitSet::new();
1804+
/// a.insert(2);
1805+
/// a.insert(6);
1806+
///
1807+
/// let mut b = BitSet::new();
1808+
/// b.insert(1);
1809+
/// b.insert(3);
1810+
/// b.insert(6);
1811+
///
1812+
/// a.append(&mut b);
1813+
///
1814+
/// assert_eq!(a.len(), 4);
1815+
/// assert_eq!(b.len(), 0);
1816+
/// assert_eq!(a, BitSet::from_bit_vec(BitVec::from_bytes(&[0b01110010])));
1817+
/// ```
1818+
#[unstable(feature = "bit_set_append_split_off",
1819+
reason = "recently added as part of collections reform 2")]
1820+
pub fn append(&mut self, other: &mut Self) {
1821+
self.union_with(other);
1822+
other.clear();
1823+
}
1824+
1825+
/// Splits the `BitSet` into two at the given key including the key.
1826+
/// Retains the first part in-place while returning the second part.
1827+
///
1828+
/// # Examples
1829+
///
1830+
/// ```
1831+
/// # #![feature(collections, bit_set_append_split_off)]
1832+
/// use std::collections::{BitSet, BitVec};
1833+
/// let mut a = BitSet::new();
1834+
/// a.insert(2);
1835+
/// a.insert(6);
1836+
/// a.insert(1);
1837+
/// a.insert(3);
1838+
///
1839+
/// let b = a.split_off(3);
1840+
///
1841+
/// assert_eq!(a.len(), 2);
1842+
/// assert_eq!(b.len(), 2);
1843+
/// assert_eq!(a, BitSet::from_bit_vec(BitVec::from_bytes(&[0b01100000])));
1844+
/// assert_eq!(b, BitSet::from_bit_vec(BitVec::from_bytes(&[0b00010010])));
1845+
/// ```
1846+
#[unstable(feature = "bit_set_append_split_off",
1847+
reason = "recently added as part of collections reform 2")]
1848+
pub fn split_off(&mut self, at: usize) -> Self {
1849+
let mut other = BitSet::new();
1850+
1851+
if at == 0 {
1852+
swap(self, &mut other);
1853+
return other;
1854+
} else if at >= self.bit_vec.len() {
1855+
return other;
1856+
}
1857+
1858+
// Calculate block and bit at which to split
1859+
let w = at / u32::BITS;
1860+
let b = at % u32::BITS;
1861+
1862+
// Pad `other` with `w` zero blocks,
1863+
// append `self`'s blocks in the range from `w` to the end to `other`
1864+
other.bit_vec.storage.extend(repeat(0u32).take(w)
1865+
.chain(self.bit_vec.storage[w..].iter().cloned()));
1866+
other.bit_vec.nbits = self.bit_vec.nbits;
1867+
1868+
if b > 0 {
1869+
other.bit_vec.storage[w] &= !0 << b;
1870+
}
1871+
1872+
// Sets `bit_vec.len()` and fixes the last block as well
1873+
self.bit_vec.truncate(at);
1874+
1875+
other
1876+
}
1877+
17951878
/// Returns the number of set bits in this set.
17961879
#[inline]
17971880
#[stable(feature = "rust1", since = "1.0.0")]

src/libcollectionstest/bit/set.rs

+61
Original file line numberDiff line numberDiff line change
@@ -387,6 +387,67 @@ fn test_bit_vec_clone() {
387387
assert!(b.contains(&1000));
388388
}
389389

390+
#[test]
391+
fn test_bit_set_append() {
392+
let mut a = BitSet::new();
393+
a.insert(2);
394+
a.insert(6);
395+
396+
let mut b = BitSet::new();
397+
b.insert(1);
398+
b.insert(3);
399+
b.insert(6);
400+
401+
a.append(&mut b);
402+
403+
assert_eq!(a.len(), 4);
404+
assert_eq!(b.len(), 0);
405+
assert!(b.capacity() >= 6);
406+
407+
assert_eq!(a, BitSet::from_bit_vec(BitVec::from_bytes(&[0b01110010])));
408+
}
409+
410+
#[test]
411+
fn test_bit_set_split_off() {
412+
// Split at 0
413+
let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
414+
0b00110011, 0b01101011, 0b10101101]));
415+
416+
let b = a.split_off(0);
417+
418+
assert_eq!(a.len(), 0);
419+
assert_eq!(b.len(), 21);
420+
421+
assert_eq!(b, BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
422+
0b00110011, 0b01101011, 0b10101101])));
423+
424+
// Split behind last element
425+
let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
426+
0b00110011, 0b01101011, 0b10101101]));
427+
428+
let b = a.split_off(50);
429+
430+
assert_eq!(a.len(), 21);
431+
assert_eq!(b.len(), 0);
432+
433+
assert_eq!(a, BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
434+
0b00110011, 0b01101011, 0b10101101])));
435+
436+
// Split at arbitrary element
437+
let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
438+
0b00110011, 0b01101011, 0b10101101]));
439+
440+
let b = a.split_off(34);
441+
442+
assert_eq!(a.len(), 12);
443+
assert_eq!(b.len(), 9);
444+
445+
assert_eq!(a, BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000, 0b00010010, 0b10010010,
446+
0b00110011, 0b01000000])));
447+
assert_eq!(b, BitSet::from_bit_vec(BitVec::from_bytes(&[0, 0, 0, 0,
448+
0b00101011, 0b10101101])));
449+
}
450+
390451
mod bench {
391452
use std::collections::{BitSet, BitVec};
392453
use std::__rand::{Rng, thread_rng, ThreadRng};

src/libcollectionstest/lib.rs

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
// option. This file may not be copied, modified, or distributed
99
// except according to those terms.
1010

11+
#![feature(bit_set_append_split_off)]
1112
#![feature(bit_vec_append_split_off)]
1213
#![feature(box_syntax)]
1314
#![feature(collections)]

0 commit comments

Comments
 (0)