Move tests to tests/ directory
This commit is contained in:
-179
@@ -616,182 +616,3 @@ impl<A: Array> AsMut<[A::Item]> for ArrayVec<A> {
|
|||||||
impl<A: Array> fmt::Debug for ArrayVec<A> where A::Item: fmt::Debug {
|
impl<A: Array> fmt::Debug for ArrayVec<A> where A::Item: fmt::Debug {
|
||||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { (**self).fmt(f) }
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { (**self).fmt(f) }
|
||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_simple() {
|
|
||||||
use std::ops::Add;
|
|
||||||
|
|
||||||
let mut vec: ArrayVec<[Vec<i32>; 3]> = ArrayVec::new();
|
|
||||||
|
|
||||||
vec.push(vec![1,2,3,4]);
|
|
||||||
vec.push(vec![3]);
|
|
||||||
vec.push(vec![-1, 90, -2]);
|
|
||||||
|
|
||||||
for elt in &vec {
|
|
||||||
println!("{:?}", elt);
|
|
||||||
}
|
|
||||||
|
|
||||||
println!("{:?}", vec);
|
|
||||||
|
|
||||||
let sum = vec.iter().map(|x| x.iter().fold(0, Add::add)).fold(0, Add::add);
|
|
||||||
assert_eq!(sum, 13 + 87);
|
|
||||||
let sum_len = vec.into_iter().map(|x| x.len()).fold(0, Add::add);
|
|
||||||
assert_eq!(sum_len, 8);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_u16_index() {
|
|
||||||
const N: usize = 4096;
|
|
||||||
let mut vec: ArrayVec<[_; N]> = ArrayVec::new();
|
|
||||||
for _ in 0..N {
|
|
||||||
assert!(vec.push(1u8).is_none());
|
|
||||||
}
|
|
||||||
assert!(vec.push(0).is_some());
|
|
||||||
assert_eq!(vec.len(), N);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_iter() {
|
|
||||||
let mut iter = ArrayVec::from([1, 2, 3]).into_iter();
|
|
||||||
assert_eq!(iter.size_hint(), (3, Some(3)));
|
|
||||||
assert_eq!(iter.next_back(), Some(3));
|
|
||||||
assert_eq!(iter.next(), Some(1));
|
|
||||||
assert_eq!(iter.next_back(), Some(2));
|
|
||||||
assert_eq!(iter.size_hint(), (0, Some(0)));
|
|
||||||
assert_eq!(iter.next_back(), None);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_drop() {
|
|
||||||
use std::cell::Cell;
|
|
||||||
|
|
||||||
let flag = &Cell::new(0);
|
|
||||||
|
|
||||||
struct Bump<'a>(&'a Cell<i32>);
|
|
||||||
|
|
||||||
impl<'a> Drop for Bump<'a> {
|
|
||||||
fn drop(&mut self) {
|
|
||||||
let n = self.0.get();
|
|
||||||
self.0.set(n + 1);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
{
|
|
||||||
let mut array = ArrayVec::<[Bump; 128]>::new();
|
|
||||||
array.push(Bump(flag));
|
|
||||||
array.push(Bump(flag));
|
|
||||||
}
|
|
||||||
assert_eq!(flag.get(), 2);
|
|
||||||
|
|
||||||
// test something with the nullable pointer optimization
|
|
||||||
flag.set(0);
|
|
||||||
|
|
||||||
{
|
|
||||||
let mut array = ArrayVec::<[_; 3]>::new();
|
|
||||||
array.push(vec![Bump(flag)]);
|
|
||||||
array.push(vec![Bump(flag), Bump(flag)]);
|
|
||||||
array.push(vec![]);
|
|
||||||
array.push(vec![Bump(flag)]);
|
|
||||||
assert_eq!(flag.get(), 1);
|
|
||||||
drop(array.pop());
|
|
||||||
assert_eq!(flag.get(), 1);
|
|
||||||
drop(array.pop());
|
|
||||||
assert_eq!(flag.get(), 3);
|
|
||||||
}
|
|
||||||
|
|
||||||
assert_eq!(flag.get(), 4);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_extend() {
|
|
||||||
let mut range = 0..10;
|
|
||||||
|
|
||||||
let mut array: ArrayVec<[_; 5]> = range.by_ref().collect();
|
|
||||||
assert_eq!(&array[..], &[0, 1, 2, 3, 4]);
|
|
||||||
assert_eq!(range.next(), Some(5));
|
|
||||||
|
|
||||||
array.extend(range.by_ref());
|
|
||||||
assert_eq!(range.next(), Some(6));
|
|
||||||
|
|
||||||
let mut array: ArrayVec<[_; 10]> = (0..3).collect();
|
|
||||||
assert_eq!(&array[..], &[0, 1, 2]);
|
|
||||||
array.extend(3..5);
|
|
||||||
assert_eq!(&array[..], &[0, 1, 2, 3, 4]);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_is_send_sync() {
|
|
||||||
let data = ArrayVec::<[Vec<i32>; 5]>::new();
|
|
||||||
&data as &Send;
|
|
||||||
&data as &Sync;
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_compact_size() {
|
|
||||||
// Future rust will kill these drop flags!
|
|
||||||
// 4 elements size + 1 len + 1 enum tag + [1 drop flag] + [1 drop flag nodrop]
|
|
||||||
type ByteArray = ArrayVec<[u8; 4]>;
|
|
||||||
println!("{}", mem::size_of::<ByteArray>());
|
|
||||||
assert!(mem::size_of::<ByteArray>() <= 8);
|
|
||||||
|
|
||||||
// 12 element size + 1 len + 1 drop flag + 2 padding + 1 enum tag + 3 padding
|
|
||||||
type QuadArray = ArrayVec<[u32; 3]>;
|
|
||||||
println!("{}", mem::size_of::<QuadArray>());
|
|
||||||
assert!(mem::size_of::<QuadArray>() <= 24);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_drain() {
|
|
||||||
let mut v = ArrayVec::from([0; 8]);
|
|
||||||
v.pop();
|
|
||||||
v.drain(0..7);
|
|
||||||
assert_eq!(&v[..], &[]);
|
|
||||||
|
|
||||||
v.extend(0..);
|
|
||||||
v.drain(1..4);
|
|
||||||
assert_eq!(&v[..], &[0, 4, 5, 6, 7]);
|
|
||||||
let u: ArrayVec<[_; 3]> = v.drain(1..4).rev().collect();
|
|
||||||
assert_eq!(&u[..], &[6, 5, 4]);
|
|
||||||
assert_eq!(&v[..], &[0, 7]);
|
|
||||||
v.drain(..);
|
|
||||||
assert_eq!(&v[..], &[]);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
#[should_panic]
|
|
||||||
fn test_drain_oob() {
|
|
||||||
let mut v = ArrayVec::from([0; 8]);
|
|
||||||
v.pop();
|
|
||||||
v.drain(0..8);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_insert() {
|
|
||||||
let mut v = ArrayVec::from([]);
|
|
||||||
assert_eq!(v.push(1), Some(1));
|
|
||||||
assert_eq!(v.insert(0, 1), Some(1));
|
|
||||||
|
|
||||||
let mut v = ArrayVec::<[_; 3]>::new();
|
|
||||||
v.insert(0, 0);
|
|
||||||
v.insert(1, 1);
|
|
||||||
v.insert(2, 2);
|
|
||||||
v.insert(3, 3);
|
|
||||||
assert_eq!(&v[..], &[0, 1, 2]);
|
|
||||||
v.insert(1, 9);
|
|
||||||
assert_eq!(&v[..], &[0, 9, 1]);
|
|
||||||
|
|
||||||
let mut v = ArrayVec::from([2]);
|
|
||||||
assert_eq!(v.insert(1, 1), Some(1));
|
|
||||||
assert_eq!(v.insert(2, 1), Some(1));
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_in_option() {
|
|
||||||
// Sanity check that we are sound w.r.t Option & non-nullable layout optimization.
|
|
||||||
let mut v = Some(ArrayVec::<[&i32; 1]>::new());
|
|
||||||
assert!(v.is_some());
|
|
||||||
unsafe {
|
|
||||||
*v.as_mut().unwrap().get_unchecked_mut(0) = mem::zeroed();
|
|
||||||
}
|
|
||||||
assert!(v.is_some());
|
|
||||||
}
|
|
||||||
|
|||||||
+180
@@ -0,0 +1,180 @@
|
|||||||
|
extern crate arrayvec;
|
||||||
|
|
||||||
|
use arrayvec::ArrayVec;
|
||||||
|
use std::mem;
|
||||||
|
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_simple() {
|
||||||
|
use std::ops::Add;
|
||||||
|
|
||||||
|
let mut vec: ArrayVec<[Vec<i32>; 3]> = ArrayVec::new();
|
||||||
|
|
||||||
|
vec.push(vec![1, 2, 3, 4]);
|
||||||
|
vec.push(vec![10]);
|
||||||
|
vec.push(vec![-1, 13, -2]);
|
||||||
|
|
||||||
|
for elt in &vec {
|
||||||
|
assert_eq!(elt.iter().fold(0, Add::add), 10);
|
||||||
|
}
|
||||||
|
|
||||||
|
let sum_len = vec.into_iter().map(|x| x.len()).fold(0, Add::add);
|
||||||
|
assert_eq!(sum_len, 8);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_u16_index() {
|
||||||
|
const N: usize = 4096;
|
||||||
|
let mut vec: ArrayVec<[_; N]> = ArrayVec::new();
|
||||||
|
for _ in 0..N {
|
||||||
|
assert!(vec.push(1u8).is_none());
|
||||||
|
}
|
||||||
|
assert!(vec.push(0).is_some());
|
||||||
|
assert_eq!(vec.len(), N);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_iter() {
|
||||||
|
let mut iter = ArrayVec::from([1, 2, 3]).into_iter();
|
||||||
|
assert_eq!(iter.size_hint(), (3, Some(3)));
|
||||||
|
assert_eq!(iter.next_back(), Some(3));
|
||||||
|
assert_eq!(iter.next(), Some(1));
|
||||||
|
assert_eq!(iter.next_back(), Some(2));
|
||||||
|
assert_eq!(iter.size_hint(), (0, Some(0)));
|
||||||
|
assert_eq!(iter.next_back(), None);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_drop() {
|
||||||
|
use std::cell::Cell;
|
||||||
|
|
||||||
|
let flag = &Cell::new(0);
|
||||||
|
|
||||||
|
struct Bump<'a>(&'a Cell<i32>);
|
||||||
|
|
||||||
|
impl<'a> Drop for Bump<'a> {
|
||||||
|
fn drop(&mut self) {
|
||||||
|
let n = self.0.get();
|
||||||
|
self.0.set(n + 1);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
let mut array = ArrayVec::<[Bump; 128]>::new();
|
||||||
|
array.push(Bump(flag));
|
||||||
|
array.push(Bump(flag));
|
||||||
|
}
|
||||||
|
assert_eq!(flag.get(), 2);
|
||||||
|
|
||||||
|
// test something with the nullable pointer optimization
|
||||||
|
flag.set(0);
|
||||||
|
|
||||||
|
{
|
||||||
|
let mut array = ArrayVec::<[_; 3]>::new();
|
||||||
|
array.push(vec![Bump(flag)]);
|
||||||
|
array.push(vec![Bump(flag), Bump(flag)]);
|
||||||
|
array.push(vec![]);
|
||||||
|
array.push(vec![Bump(flag)]);
|
||||||
|
assert_eq!(flag.get(), 1);
|
||||||
|
drop(array.pop());
|
||||||
|
assert_eq!(flag.get(), 1);
|
||||||
|
drop(array.pop());
|
||||||
|
assert_eq!(flag.get(), 3);
|
||||||
|
}
|
||||||
|
|
||||||
|
assert_eq!(flag.get(), 4);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_extend() {
|
||||||
|
let mut range = 0..10;
|
||||||
|
|
||||||
|
let mut array: ArrayVec<[_; 5]> = range.by_ref().collect();
|
||||||
|
assert_eq!(&array[..], &[0, 1, 2, 3, 4]);
|
||||||
|
assert_eq!(range.next(), Some(5));
|
||||||
|
|
||||||
|
array.extend(range.by_ref());
|
||||||
|
assert_eq!(range.next(), Some(6));
|
||||||
|
|
||||||
|
let mut array: ArrayVec<[_; 10]> = (0..3).collect();
|
||||||
|
assert_eq!(&array[..], &[0, 1, 2]);
|
||||||
|
array.extend(3..5);
|
||||||
|
assert_eq!(&array[..], &[0, 1, 2, 3, 4]);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_is_send_sync() {
|
||||||
|
let data = ArrayVec::<[Vec<i32>; 5]>::new();
|
||||||
|
&data as &Send;
|
||||||
|
&data as &Sync;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_compact_size() {
|
||||||
|
// Future rust will kill these drop flags!
|
||||||
|
// 4 elements size + 1 len + 1 enum tag + [1 drop flag] + [1 drop flag nodrop]
|
||||||
|
type ByteArray = ArrayVec<[u8; 4]>;
|
||||||
|
println!("{}", mem::size_of::<ByteArray>());
|
||||||
|
assert!(mem::size_of::<ByteArray>() <= 8);
|
||||||
|
|
||||||
|
// 12 element size + 1 len + 1 drop flag + 2 padding + 1 enum tag + 3 padding
|
||||||
|
type QuadArray = ArrayVec<[u32; 3]>;
|
||||||
|
println!("{}", mem::size_of::<QuadArray>());
|
||||||
|
assert!(mem::size_of::<QuadArray>() <= 24);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_drain() {
|
||||||
|
let mut v = ArrayVec::from([0; 8]);
|
||||||
|
v.pop();
|
||||||
|
v.drain(0..7);
|
||||||
|
assert_eq!(&v[..], &[]);
|
||||||
|
|
||||||
|
v.extend(0..);
|
||||||
|
v.drain(1..4);
|
||||||
|
assert_eq!(&v[..], &[0, 4, 5, 6, 7]);
|
||||||
|
let u: ArrayVec<[_; 3]> = v.drain(1..4).rev().collect();
|
||||||
|
assert_eq!(&u[..], &[6, 5, 4]);
|
||||||
|
assert_eq!(&v[..], &[0, 7]);
|
||||||
|
v.drain(..);
|
||||||
|
assert_eq!(&v[..], &[]);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[should_panic]
|
||||||
|
fn test_drain_oob() {
|
||||||
|
let mut v = ArrayVec::from([0; 8]);
|
||||||
|
v.pop();
|
||||||
|
v.drain(0..8);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_insert() {
|
||||||
|
let mut v = ArrayVec::from([]);
|
||||||
|
assert_eq!(v.push(1), Some(1));
|
||||||
|
assert_eq!(v.insert(0, 1), Some(1));
|
||||||
|
|
||||||
|
let mut v = ArrayVec::<[_; 3]>::new();
|
||||||
|
v.insert(0, 0);
|
||||||
|
v.insert(1, 1);
|
||||||
|
v.insert(2, 2);
|
||||||
|
v.insert(3, 3);
|
||||||
|
assert_eq!(&v[..], &[0, 1, 2]);
|
||||||
|
v.insert(1, 9);
|
||||||
|
assert_eq!(&v[..], &[0, 9, 1]);
|
||||||
|
|
||||||
|
let mut v = ArrayVec::from([2]);
|
||||||
|
assert_eq!(v.insert(1, 1), Some(1));
|
||||||
|
assert_eq!(v.insert(2, 1), Some(1));
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_in_option() {
|
||||||
|
// Sanity check that we are sound w.r.t Option & non-nullable layout optimization.
|
||||||
|
let mut v = Some(ArrayVec::<[&i32; 1]>::new());
|
||||||
|
assert!(v.is_some());
|
||||||
|
unsafe {
|
||||||
|
*v.as_mut().unwrap().get_unchecked_mut(0) = mem::zeroed();
|
||||||
|
}
|
||||||
|
assert!(v.is_some());
|
||||||
|
}
|
||||||
Reference in New Issue
Block a user