3 use std
::{usize, isize}
;
4 use std
::vec
::{Drain, IntoIter}
;
5 use std
::collections
::TryReserveError
::*;
7 struct DropCounter
<'a
> {
11 impl Drop
for DropCounter
<'_
> {
18 fn test_small_vec_struct() {
19 assert
!(size_of
::<Vec
<u8>>() == size_of
::<usize>() * 3);
23 fn test_double_drop() {
29 let (mut count_x
, mut count_y
) = (0, 0);
35 tv
.x
.push(DropCounter { count: &mut count_x }
);
36 tv
.y
.push(DropCounter { count: &mut count_y }
);
38 // If Vec had a drop flag, here is where it would be zeroed.
39 // Instead, it should rely on its internal state to prevent
40 // doing anything significant when dropped multiple times.
43 // Here tv goes out of scope, tv.y should be dropped, but not tv.x.
46 assert_eq
!(count_x
, 1);
47 assert_eq
!(count_y
, 1);
52 let mut v
= Vec
::new();
53 assert_eq
!(v
.capacity(), 0);
56 assert
!(v
.capacity() >= 2);
62 assert
!(v
.capacity() >= 16);
64 assert
!(v
.capacity() >= 32);
69 assert
!(v
.capacity() >= 33)
73 fn test_zst_capacity() {
74 assert_eq
!(Vec
::<()>::new().capacity(), usize::max_value());
79 let mut v
= Vec
::new();
80 let mut w
= Vec
::new();
99 v
.extend(w
.clone()); // specializes to `append`
100 assert
!(v
.iter().eq(w
.iter().chain(w
.iter())));
103 #[derive(PartialEq, Debug)]
106 let mut a
= Vec
::new();
107 let b
= vec
![Foo
, Foo
];
110 assert_eq
!(a
, &[Foo
, Foo
]);
115 let mut x
= Vec
::new();
116 let y
= vec
![DropCounter { count: &mut count_x }
];
119 assert_eq
!(count_x
, 1);
123 fn test_extend_ref() {
124 let mut v
= vec
![1, 2];
125 v
.extend(&[3, 4, 5]);
127 assert_eq
!(v
.len(), 5);
128 assert_eq
!(v
, [1, 2, 3, 4, 5]);
133 assert_eq
!(v
.len(), 7);
134 assert_eq
!(v
, [1, 2, 3, 4, 5, 6, 7]);
138 fn test_slice_from_mut() {
139 let mut values
= vec
![1, 2, 3, 4, 5];
141 let slice
= &mut values
[2..];
142 assert
!(slice
== [3, 4, 5]);
148 assert
!(values
== [1, 2, 5, 6, 7]);
152 fn test_slice_to_mut() {
153 let mut values
= vec
![1, 2, 3, 4, 5];
155 let slice
= &mut values
[..2];
156 assert
!(slice
== [1, 2]);
162 assert
!(values
== [2, 3, 3, 4, 5]);
166 fn test_split_at_mut() {
167 let mut values
= vec
![1, 2, 3, 4, 5];
169 let (left
, right
) = values
.split_at_mut(2);
171 let left
: &[_
] = left
;
172 assert
!(&left
[..left
.len()] == &[1, 2]);
179 let right
: &[_
] = right
;
180 assert
!(&right
[..right
.len()] == &[3, 4, 5]);
187 assert_eq
!(values
, [2, 3, 5, 6, 7]);
192 let v
: Vec
<i32> = vec
![];
193 let w
= vec
![1, 2, 3];
195 assert_eq
!(v
, v
.clone());
199 // they should be disjoint in memory.
200 assert
!(w
.as_ptr() != z
.as_ptr())
204 fn test_clone_from() {
206 let three
: Vec
<Box
<_
>> = vec
![box 1, box 2, box 3];
207 let two
: Vec
<Box
<_
>> = vec
![box 4, box 5];
209 v
.clone_from(&three
);
210 assert_eq
!(v
, three
);
213 v
.clone_from(&three
);
214 assert_eq
!(v
, three
);
221 v
.clone_from(&three
);
227 let mut vec
= vec
![1, 2, 3, 4];
228 vec
.retain(|&x
| x
% 2 == 0);
229 assert_eq
!(vec
, [2, 4]);
234 fn case(a
: Vec
<i32>, b
: Vec
<i32>) {
239 case(vec
![], vec
![]);
240 case(vec
![1], vec
![1]);
241 case(vec
![1, 1], vec
![1]);
242 case(vec
![1, 2, 3], vec
![1, 2, 3]);
243 case(vec
![1, 1, 2, 3], vec
![1, 2, 3]);
244 case(vec
![1, 2, 2, 3], vec
![1, 2, 3]);
245 case(vec
![1, 2, 3, 3], vec
![1, 2, 3]);
246 case(vec
![1, 1, 2, 2, 2, 3, 3], vec
![1, 2, 3]);
250 fn test_dedup_by_key() {
251 fn case(a
: Vec
<i32>, b
: Vec
<i32>) {
253 v
.dedup_by_key(|i
| *i
/ 10);
256 case(vec
![], vec
![]);
257 case(vec
![10], vec
![10]);
258 case(vec
![10, 11], vec
![10]);
259 case(vec
![10, 20, 30], vec
![10, 20, 30]);
260 case(vec
![10, 11, 20, 30], vec
![10, 20, 30]);
261 case(vec
![10, 20, 21, 30], vec
![10, 20, 30]);
262 case(vec
![10, 20, 30, 31], vec
![10, 20, 30]);
263 case(vec
![10, 11, 20, 21, 22, 30, 31], vec
![10, 20, 30]);
268 let mut vec
= vec
!["foo", "bar", "Bar", "baz", "bar"];
269 vec
.dedup_by(|a
, b
| a
.eq_ignore_ascii_case(b
));
271 assert_eq
!(vec
, ["foo", "bar", "baz", "bar"]);
273 let mut vec
= vec
![("foo", 1), ("foo", 2), ("bar", 3), ("bar", 4), ("bar", 5)];
274 vec
.dedup_by(|a
, b
| a
.0 == b
.0 && { b.1 += a.1; true }
);
276 assert_eq
!(vec
, [("foo", 3), ("bar", 12)]);
280 fn test_dedup_unique() {
281 let mut v0
: Vec
<Box
<_
>> = vec
![box 1, box 1, box 2, box 3];
283 let mut v1
: Vec
<Box
<_
>> = vec
![box 1, box 2, box 2, box 3];
285 let mut v2
: Vec
<Box
<_
>> = vec
![box 1, box 2, box 3, box 3];
287 // If the boxed pointers were leaked or otherwise misused, valgrind
288 // and/or rt should raise errors.
292 fn zero_sized_values() {
293 let mut v
= Vec
::new();
294 assert_eq
!(v
.len(), 0);
296 assert_eq
!(v
.len(), 1);
298 assert_eq
!(v
.len(), 2);
299 assert_eq
!(v
.pop(), Some(()));
300 assert_eq
!(v
.pop(), Some(()));
301 assert_eq
!(v
.pop(), None
);
303 assert_eq
!(v
.iter().count(), 0);
305 assert_eq
!(v
.iter().count(), 1);
307 assert_eq
!(v
.iter().count(), 2);
311 assert_eq
!(v
.iter_mut().count(), 2);
313 assert_eq
!(v
.iter_mut().count(), 3);
315 assert_eq
!(v
.iter_mut().count(), 4);
317 for &mut () in &mut v {}
321 assert_eq
!(v
.iter_mut().count(), 0);
325 fn test_partition() {
326 assert_eq
!(vec
![].into_iter().partition(|x
: &i32| *x
< 3),
328 assert_eq
!(vec
![1, 2, 3].into_iter().partition(|x
| *x
< 4),
329 (vec
![1, 2, 3], vec
![]));
330 assert_eq
!(vec
![1, 2, 3].into_iter().partition(|x
| *x
< 2),
331 (vec
![1], vec
![2, 3]));
332 assert_eq
!(vec
![1, 2, 3].into_iter().partition(|x
| *x
< 0),
333 (vec
![], vec
![1, 2, 3]));
337 fn test_zip_unzip() {
338 let z1
= vec
![(1, 4), (2, 5), (3, 6)];
340 let (left
, right
): (Vec
<_
>, Vec
<_
>) = z1
.iter().cloned().unzip();
342 assert_eq
!((1, 4), (left
[0], right
[0]));
343 assert_eq
!((2, 5), (left
[1], right
[1]));
344 assert_eq
!((3, 6), (left
[2], right
[2]));
348 fn test_vec_truncate_drop() {
349 static mut DROPS
: u32 = 0;
359 let mut v
= vec
![Elem(1), Elem(2), Elem(3), Elem(4), Elem(5)];
360 assert_eq
!(unsafe { DROPS }
, 0);
362 assert_eq
!(unsafe { DROPS }
, 2);
364 assert_eq
!(unsafe { DROPS }
, 5);
369 fn test_vec_truncate_fail() {
371 impl Drop
for BadElem
{
373 let BadElem(ref mut x
) = *self;
375 panic
!("BadElem panic: 0xbadbeef")
380 let mut v
= vec
![BadElem(1), BadElem(2), BadElem(0xbadbeef), BadElem(4)];
386 let vec
= vec
![1, 2, 3];
387 assert
!(vec
[1] == 2);
392 fn test_index_out_of_bounds() {
393 let vec
= vec
![1, 2, 3];
399 fn test_slice_out_of_bounds_1() {
400 let x
= vec
![1, 2, 3, 4, 5];
406 fn test_slice_out_of_bounds_2() {
407 let x
= vec
![1, 2, 3, 4, 5];
413 fn test_slice_out_of_bounds_3() {
414 let x
= vec
![1, 2, 3, 4, 5];
420 fn test_slice_out_of_bounds_4() {
421 let x
= vec
![1, 2, 3, 4, 5];
427 fn test_slice_out_of_bounds_5() {
428 let x
= vec
![1, 2, 3, 4, 5];
434 fn test_swap_remove_empty() {
435 let mut vec
= Vec
::<i32>::new();
440 fn test_move_items() {
441 let vec
= vec
![1, 2, 3];
442 let mut vec2
= vec
![];
446 assert_eq
!(vec2
, [1, 2, 3]);
450 fn test_move_items_reverse() {
451 let vec
= vec
![1, 2, 3];
452 let mut vec2
= vec
![];
453 for i
in vec
.into_iter().rev() {
456 assert_eq
!(vec2
, [3, 2, 1]);
460 fn test_move_items_zero_sized() {
461 let vec
= vec
![(), (), ()];
462 let mut vec2
= vec
![];
466 assert_eq
!(vec2
, [(), (), ()]);
470 fn test_drain_items() {
471 let mut vec
= vec
![1, 2, 3];
472 let mut vec2
= vec
![];
473 for i
in vec
.drain(..) {
477 assert_eq
!(vec2
, [1, 2, 3]);
481 fn test_drain_items_reverse() {
482 let mut vec
= vec
![1, 2, 3];
483 let mut vec2
= vec
![];
484 for i
in vec
.drain(..).rev() {
488 assert_eq
!(vec2
, [3, 2, 1]);
492 fn test_drain_items_zero_sized() {
493 let mut vec
= vec
![(), (), ()];
494 let mut vec2
= vec
![];
495 for i
in vec
.drain(..) {
499 assert_eq
!(vec2
, [(), (), ()]);
504 fn test_drain_out_of_bounds() {
505 let mut v
= vec
![1, 2, 3, 4, 5];
510 fn test_drain_range() {
511 let mut v
= vec
![1, 2, 3, 4, 5];
512 for _
in v
.drain(4..) {
514 assert_eq
!(v
, &[1, 2, 3, 4]);
516 let mut v
: Vec
<_
> = (1..6).map(|x
| x
.to_string()).collect();
517 for _
in v
.drain(1..4) {
519 assert_eq
!(v
, &[1.to_string(), 5.to_string()]);
521 let mut v
: Vec
<_
> = (1..6).map(|x
| x
.to_string()).collect();
522 for _
in v
.drain(1..4).rev() {
524 assert_eq
!(v
, &[1.to_string(), 5.to_string()]);
526 let mut v
: Vec
<_
> = vec
![(); 5];
527 for _
in v
.drain(1..4).rev() {
529 assert_eq
!(v
, &[(), ()]);
533 fn test_drain_inclusive_range() {
534 let mut v
= vec
!['a'
, 'b'
, 'c'
, 'd'
, 'e'
];
535 for _
in v
.drain(1..=3) {
537 assert_eq
!(v
, &['a'
, 'e'
]);
539 let mut v
: Vec
<_
> = (0..=5).map(|x
| x
.to_string()).collect();
540 for _
in v
.drain(1..=5) {
542 assert_eq
!(v
, &["0".to_string()]);
544 let mut v
: Vec
<String
> = (0..=5).map(|x
| x
.to_string()).collect();
545 for _
in v
.drain(0..=5) {
547 assert_eq
!(v
, Vec
::<String
>::new());
549 let mut v
: Vec
<_
> = (0..=5).map(|x
| x
.to_string()).collect();
550 for _
in v
.drain(0..=3) {
552 assert_eq
!(v
, &["4".to_string(), "5".to_string()]);
554 let mut v
: Vec
<_
> = (0..=1).map(|x
| x
.to_string()).collect();
555 for _
in v
.drain(..=0) {
557 assert_eq
!(v
, &["1".to_string()]);
561 fn test_drain_max_vec_size() {
562 let mut v
= Vec
::<()>::with_capacity(usize::max_value());
563 unsafe { v.set_len(usize::max_value()); }
564 for _
in v
.drain(usize::max_value() - 1..) {
566 assert_eq
!(v
.len(), usize::max_value() - 1);
568 let mut v
= Vec
::<()>::with_capacity(usize::max_value());
569 unsafe { v.set_len(usize::max_value()); }
570 for _
in v
.drain(usize::max_value() - 1..=usize::max_value() - 1) {
572 assert_eq
!(v
.len(), usize::max_value() - 1);
577 fn test_drain_inclusive_out_of_bounds() {
578 let mut v
= vec
![1, 2, 3, 4, 5];
584 let mut v
= vec
![1, 2, 3, 4, 5];
585 let a
= [10, 11, 12];
586 v
.splice(2..4, a
.iter().cloned());
587 assert_eq
!(v
, &[1, 2, 10, 11, 12, 5]);
588 v
.splice(1..3, Some(20));
589 assert_eq
!(v
, &[1, 20, 11, 12, 5]);
593 fn test_splice_inclusive_range() {
594 let mut v
= vec
![1, 2, 3, 4, 5];
595 let a
= [10, 11, 12];
596 let t1
: Vec
<_
> = v
.splice(2..=3, a
.iter().cloned()).collect();
597 assert_eq
!(v
, &[1, 2, 10, 11, 12, 5]);
598 assert_eq
!(t1
, &[3, 4]);
599 let t2
: Vec
<_
> = v
.splice(1..=2, Some(20)).collect();
600 assert_eq
!(v
, &[1, 20, 11, 12, 5]);
601 assert_eq
!(t2
, &[2, 10]);
606 fn test_splice_out_of_bounds() {
607 let mut v
= vec
![1, 2, 3, 4, 5];
608 let a
= [10, 11, 12];
609 v
.splice(5..6, a
.iter().cloned());
614 fn test_splice_inclusive_out_of_bounds() {
615 let mut v
= vec
![1, 2, 3, 4, 5];
616 let a
= [10, 11, 12];
617 v
.splice(5..=5, a
.iter().cloned());
621 fn test_splice_items_zero_sized() {
622 let mut vec
= vec
![(), (), ()];
624 let t
: Vec
<_
> = vec
.splice(1..2, vec2
.iter().cloned()).collect();
625 assert_eq
!(vec
, &[(), ()]);
626 assert_eq
!(t
, &[()]);
630 fn test_splice_unbounded() {
631 let mut vec
= vec
![1, 2, 3, 4, 5];
632 let t
: Vec
<_
> = vec
.splice(.., None
).collect();
633 assert_eq
!(vec
, &[]);
634 assert_eq
!(t
, &[1, 2, 3, 4, 5]);
638 fn test_splice_forget() {
639 let mut v
= vec
![1, 2, 3, 4, 5];
640 let a
= [10, 11, 12];
641 std
::mem
::forget(v
.splice(2..4, a
.iter().cloned()));
642 assert_eq
!(v
, &[1, 2]);
646 fn test_into_boxed_slice() {
647 let xs
= vec
![1, 2, 3];
648 let ys
= xs
.into_boxed_slice();
649 assert_eq
!(&*ys
, [1, 2, 3]);
654 let mut vec
= vec
![1, 2, 3];
655 let mut vec2
= vec
![4, 5, 6];
656 vec
.append(&mut vec2
);
657 assert_eq
!(vec
, [1, 2, 3, 4, 5, 6]);
658 assert_eq
!(vec2
, []);
662 fn test_split_off() {
663 let mut vec
= vec
![1, 2, 3, 4, 5, 6];
664 let vec2
= vec
.split_off(4);
665 assert_eq
!(vec
, [1, 2, 3, 4]);
666 assert_eq
!(vec2
, [5, 6]);
670 fn test_into_iter_as_slice() {
671 let vec
= vec
!['a'
, 'b'
, 'c'
];
672 let mut into_iter
= vec
.into_iter();
673 assert_eq
!(into_iter
.as_slice(), &['a'
, 'b'
, 'c'
]);
674 let _
= into_iter
.next().unwrap();
675 assert_eq
!(into_iter
.as_slice(), &['b'
, 'c'
]);
676 let _
= into_iter
.next().unwrap();
677 let _
= into_iter
.next().unwrap();
678 assert_eq
!(into_iter
.as_slice(), &[]);
682 fn test_into_iter_as_mut_slice() {
683 let vec
= vec
!['a'
, 'b'
, 'c'
];
684 let mut into_iter
= vec
.into_iter();
685 assert_eq
!(into_iter
.as_slice(), &['a'
, 'b'
, 'c'
]);
686 into_iter
.as_mut_slice()[0] = 'x'
;
687 into_iter
.as_mut_slice()[1] = 'y'
;
688 assert_eq
!(into_iter
.next().unwrap(), 'x'
);
689 assert_eq
!(into_iter
.as_slice(), &['y'
, 'c'
]);
693 fn test_into_iter_debug() {
694 let vec
= vec
!['a'
, 'b'
, 'c'
];
695 let into_iter
= vec
.into_iter();
696 let debug
= format
!("{:?}", into_iter
);
697 assert_eq
!(debug
, "IntoIter(['a', 'b', 'c'])");
701 fn test_into_iter_count() {
702 assert_eq
!(vec
![1, 2, 3].into_iter().count(), 3);
706 fn test_into_iter_clone() {
707 fn iter_equal
<I
: Iterator
<Item
= i32>>(it
: I
, slice
: &[i32]) {
708 let v
: Vec
<i32> = it
.collect();
709 assert_eq
!(&v
[..], slice
);
711 let mut it
= vec
![1, 2, 3].into_iter();
712 iter_equal(it
.clone(), &[1, 2, 3]);
713 assert_eq
!(it
.next(), Some(1));
714 let mut it
= it
.rev();
715 iter_equal(it
.clone(), &[3, 2]);
716 assert_eq
!(it
.next(), Some(3));
717 iter_equal(it
.clone(), &[2]);
718 assert_eq
!(it
.next(), Some(2));
719 iter_equal(it
.clone(), &[]);
720 assert_eq
!(it
.next(), None
);
725 let borrowed
: &[_
] = &["borrowed", "(slice)"];
726 let owned
= vec
!["owned", "(vec)"];
727 match (Cow
::from(owned
.clone()), Cow
::from(borrowed
)) {
728 (Cow
::Owned(o
), Cow
::Borrowed(b
)) => assert
!(o
== owned
&& b
== borrowed
),
729 _
=> panic
!("invalid `Cow::from`"),
735 let borrowed
: &[_
] = &["borrowed", "(slice)"];
736 let owned
= vec
!["owned", "(vec)"];
737 assert_eq
!(Vec
::from(Cow
::Borrowed(borrowed
)), vec
!["borrowed", "(slice)"]);
738 assert_eq
!(Vec
::from(Cow
::Owned(owned
)), vec
!["owned", "(vec)"]);
742 fn assert_covariance() {
743 fn drain
<'new
>(d
: Drain
<'
static, &'
static str>) -> Drain
<'new
, &'new
str> {
746 fn into_iter
<'new
>(i
: IntoIter
<&'
static str>) -> IntoIter
<&'new
str> {
752 fn from_into_inner() {
753 let vec
= vec
![1, 2, 3];
754 let ptr
= vec
.as_ptr();
755 let vec
= vec
.into_iter().collect
::<Vec
<_
>>();
756 assert_eq
!(vec
, [1, 2, 3]);
757 assert_eq
!(vec
.as_ptr(), ptr
);
759 let ptr
= &vec
[1] as *const _
;
760 let mut it
= vec
.into_iter();
762 let vec
= it
.collect
::<Vec
<_
>>();
763 assert_eq
!(vec
, [2, 3]);
764 assert
!(ptr
!= vec
.as_ptr());
768 fn overaligned_allocations() {
771 let mut v
= vec
![Foo(273)];
774 assert
!(v
[0].0 == 273);
775 assert
!(v
.as_ptr() as usize & 0xff == 0);
777 assert
!(v
[0].0 == 273);
778 assert
!(v
.as_ptr() as usize & 0xff == 0);
783 fn drain_filter_empty() {
784 let mut vec
: Vec
<i32> = vec
![];
787 let mut iter
= vec
.drain_filter(|_
| true);
788 assert_eq
!(iter
.size_hint(), (0, Some(0)));
789 assert_eq
!(iter
.next(), None
);
790 assert_eq
!(iter
.size_hint(), (0, Some(0)));
791 assert_eq
!(iter
.next(), None
);
792 assert_eq
!(iter
.size_hint(), (0, Some(0)));
794 assert_eq
!(vec
.len(), 0);
795 assert_eq
!(vec
, vec
![]);
799 fn drain_filter_zst() {
800 let mut vec
= vec
![(), (), (), (), ()];
801 let initial_len
= vec
.len();
804 let mut iter
= vec
.drain_filter(|_
| true);
805 assert_eq
!(iter
.size_hint(), (0, Some(initial_len
)));
806 while let Some(_
) = iter
.next() {
808 assert_eq
!(iter
.size_hint(), (0, Some(initial_len
- count
)));
810 assert_eq
!(iter
.size_hint(), (0, Some(0)));
811 assert_eq
!(iter
.next(), None
);
812 assert_eq
!(iter
.size_hint(), (0, Some(0)));
815 assert_eq
!(count
, initial_len
);
816 assert_eq
!(vec
.len(), 0);
817 assert_eq
!(vec
, vec
![]);
821 fn drain_filter_false() {
822 let mut vec
= vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
824 let initial_len
= vec
.len();
827 let mut iter
= vec
.drain_filter(|_
| false);
828 assert_eq
!(iter
.size_hint(), (0, Some(initial_len
)));
829 for _
in iter
.by_ref() {
832 assert_eq
!(iter
.size_hint(), (0, Some(0)));
833 assert_eq
!(iter
.next(), None
);
834 assert_eq
!(iter
.size_hint(), (0, Some(0)));
837 assert_eq
!(count
, 0);
838 assert_eq
!(vec
.len(), initial_len
);
839 assert_eq
!(vec
, vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10]);
843 fn drain_filter_true() {
844 let mut vec
= vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
846 let initial_len
= vec
.len();
849 let mut iter
= vec
.drain_filter(|_
| true);
850 assert_eq
!(iter
.size_hint(), (0, Some(initial_len
)));
851 while let Some(_
) = iter
.next() {
853 assert_eq
!(iter
.size_hint(), (0, Some(initial_len
- count
)));
855 assert_eq
!(iter
.size_hint(), (0, Some(0)));
856 assert_eq
!(iter
.next(), None
);
857 assert_eq
!(iter
.size_hint(), (0, Some(0)));
860 assert_eq
!(count
, initial_len
);
861 assert_eq
!(vec
.len(), 0);
862 assert_eq
!(vec
, vec
![]);
866 fn drain_filter_complex() {
868 { // [+xxx++++++xxxxx++++x+x++]
869 let mut vec
= vec
![1,
871 7, 9, 11, 13, 15, 17,
879 let removed
= vec
.drain_filter(|x
| *x
% 2 == 0).collect
::<Vec
<_
>>();
880 assert_eq
!(removed
.len(), 10);
881 assert_eq
!(removed
, vec
![2, 4, 6, 18, 20, 22, 24, 26, 34, 36]);
883 assert_eq
!(vec
.len(), 14);
884 assert_eq
!(vec
, vec
![1, 7, 9, 11, 13, 15, 17, 27, 29, 31, 33, 35, 37, 39]);
887 { // [xxx++++++xxxxx++++x+x++]
888 let mut vec
= vec
![2, 4, 6,
889 7, 9, 11, 13, 15, 17,
897 let removed
= vec
.drain_filter(|x
| *x
% 2 == 0).collect
::<Vec
<_
>>();
898 assert_eq
!(removed
.len(), 10);
899 assert_eq
!(removed
, vec
![2, 4, 6, 18, 20, 22, 24, 26, 34, 36]);
901 assert_eq
!(vec
.len(), 13);
902 assert_eq
!(vec
, vec
![7, 9, 11, 13, 15, 17, 27, 29, 31, 33, 35, 37, 39]);
905 { // [xxx++++++xxxxx++++x+x]
906 let mut vec
= vec
![2, 4, 6,
907 7, 9, 11, 13, 15, 17,
914 let removed
= vec
.drain_filter(|x
| *x
% 2 == 0).collect
::<Vec
<_
>>();
915 assert_eq
!(removed
.len(), 10);
916 assert_eq
!(removed
, vec
![2, 4, 6, 18, 20, 22, 24, 26, 34, 36]);
918 assert_eq
!(vec
.len(), 11);
919 assert_eq
!(vec
, vec
![7, 9, 11, 13, 15, 17, 27, 29, 31, 33, 35]);
922 { // [xxxxxxxxxx+++++++++++]
923 let mut vec
= vec
![2, 4, 6, 8, 10, 12, 14, 16, 18, 20,
924 1, 3, 5, 7, 9, 11, 13, 15, 17, 19];
926 let removed
= vec
.drain_filter(|x
| *x
% 2 == 0).collect
::<Vec
<_
>>();
927 assert_eq
!(removed
.len(), 10);
928 assert_eq
!(removed
, vec
![2, 4, 6, 8, 10, 12, 14, 16, 18, 20]);
930 assert_eq
!(vec
.len(), 10);
931 assert_eq
!(vec
, vec
![1, 3, 5, 7, 9, 11, 13, 15, 17, 19]);
934 { // [+++++++++++xxxxxxxxxx]
935 let mut vec
= vec
![1, 3, 5, 7, 9, 11, 13, 15, 17, 19,
936 2, 4, 6, 8, 10, 12, 14, 16, 18, 20];
938 let removed
= vec
.drain_filter(|x
| *x
% 2 == 0).collect
::<Vec
<_
>>();
939 assert_eq
!(removed
.len(), 10);
940 assert_eq
!(removed
, vec
![2, 4, 6, 8, 10, 12, 14, 16, 18, 20]);
942 assert_eq
!(vec
.len(), 10);
943 assert_eq
!(vec
, vec
![1, 3, 5, 7, 9, 11, 13, 15, 17, 19]);
948 #[cfg(not(miri))] // Miri does not support catching panics
949 fn drain_filter_consumed_panic() {
951 use std
::sync
::Mutex
;
955 drop_counts
: Rc
<Mutex
<Vec
<usize>>>,
958 impl Drop
for Check
{
960 self.drop_counts
.lock().unwrap()[self.index
] += 1;
961 println
!("drop: {}", self.index
);
965 let check_count
= 10;
966 let drop_counts
= Rc
::new(Mutex
::new(vec
![0_usize
; check_count
]));
967 let mut data
: Vec
<Check
> = (0..check_count
)
968 .map(|index
| Check { index, drop_counts: Rc::clone(&drop_counts) }
)
971 let _
= std
::panic
::catch_unwind(move || {
972 let filter
= |c
: &mut Check
| {
974 panic
!("panic at index: {}", c
.index
);
976 // Verify that if the filter could panic again on another element
977 // that it would not cause a double panic and all elements of the
978 // vec would still be dropped exactly once.
980 panic
!("panic at index: {}", c
.index
);
984 let drain
= data
.drain_filter(filter
);
986 // NOTE: The DrainFilter is explictly consumed
987 drain
.for_each(drop
);
990 let drop_counts
= drop_counts
.lock().unwrap();
991 assert_eq
!(check_count
, drop_counts
.len());
993 for (index
, count
) in drop_counts
.iter().cloned().enumerate() {
994 assert_eq
!(1, count
, "unexpected drop count at index: {} (count: {})", index
, count
);
999 #[cfg(not(miri))] // Miri does not support catching panics
1000 fn drain_filter_unconsumed_panic() {
1002 use std
::sync
::Mutex
;
1006 drop_counts
: Rc
<Mutex
<Vec
<usize>>>,
1009 impl Drop
for Check
{
1010 fn drop(&mut self) {
1011 self.drop_counts
.lock().unwrap()[self.index
] += 1;
1012 println
!("drop: {}", self.index
);
1016 let check_count
= 10;
1017 let drop_counts
= Rc
::new(Mutex
::new(vec
![0_usize
; check_count
]));
1018 let mut data
: Vec
<Check
> = (0..check_count
)
1019 .map(|index
| Check { index, drop_counts: Rc::clone(&drop_counts) }
)
1022 let _
= std
::panic
::catch_unwind(move || {
1023 let filter
= |c
: &mut Check
| {
1025 panic
!("panic at index: {}", c
.index
);
1027 // Verify that if the filter could panic again on another element
1028 // that it would not cause a double panic and all elements of the
1029 // vec would still be dropped exactly once.
1031 panic
!("panic at index: {}", c
.index
);
1035 let _drain
= data
.drain_filter(filter
);
1037 // NOTE: The DrainFilter is dropped without being consumed
1040 let drop_counts
= drop_counts
.lock().unwrap();
1041 assert_eq
!(check_count
, drop_counts
.len());
1043 for (index
, count
) in drop_counts
.iter().cloned().enumerate() {
1044 assert_eq
!(1, count
, "unexpected drop count at index: {} (count: {})", index
, count
);
1049 fn drain_filter_unconsumed() {
1050 let mut vec
= vec
![1, 2, 3, 4];
1051 let drain
= vec
.drain_filter(|&mut x
| x
% 2 != 0);
1053 assert_eq
!(vec
, [2, 4]);
1057 fn test_reserve_exact() {
1058 // This is all the same as test_reserve
1060 let mut v
= Vec
::new();
1061 assert_eq
!(v
.capacity(), 0);
1064 assert
!(v
.capacity() >= 2);
1070 assert
!(v
.capacity() >= 16);
1071 v
.reserve_exact(16);
1072 assert
!(v
.capacity() >= 32);
1076 v
.reserve_exact(16);
1077 assert
!(v
.capacity() >= 33)
1081 #[cfg(not(miri))] // Miri does not support signalling OOM
1082 fn test_try_reserve() {
1084 // These are the interesting cases:
1085 // * exactly isize::MAX should never trigger a CapacityOverflow (can be OOM)
1086 // * > isize::MAX should always fail
1087 // * On 16/32-bit should CapacityOverflow
1088 // * On 64-bit should OOM
1089 // * overflow may trigger when adding `len` to `cap` (in number of elements)
1090 // * overflow may trigger when multiplying `new_cap` by size_of::<T> (to get bytes)
1092 const MAX_CAP
: usize = isize::MAX
as usize;
1093 const MAX_USIZE
: usize = usize::MAX
;
1095 // On 16/32-bit, we check that allocations don't exceed isize::MAX,
1096 // on 64-bit, we assume the OS will give an OOM for such a ridiculous size.
1097 // Any platform that succeeds for these requests is technically broken with
1098 // ptr::offset because LLVM is the worst.
1099 let guards_against_isize
= size_of
::<usize>() < 8;
1102 // Note: basic stuff is checked by test_reserve
1103 let mut empty_bytes
: Vec
<u8> = Vec
::new();
1105 // Check isize::MAX doesn't count as an overflow
1106 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve(MAX_CAP
) {
1107 panic
!("isize::MAX shouldn't trigger an overflow!");
1109 // Play it again, frank! (just to be sure)
1110 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve(MAX_CAP
) {
1111 panic
!("isize::MAX shouldn't trigger an overflow!");
1114 if guards_against_isize
{
1115 // Check isize::MAX + 1 does count as overflow
1116 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve(MAX_CAP
+ 1) {
1117 } else { panic!("isize::MAX + 1 should trigger an overflow!") }
1119 // Check usize::MAX does count as overflow
1120 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve(MAX_USIZE
) {
1121 } else { panic!("usize::MAX should trigger an overflow!") }
1123 // Check isize::MAX + 1 is an OOM
1124 if let Err(AllocError { .. }
) = empty_bytes
.try_reserve(MAX_CAP
+ 1) {
1125 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1127 // Check usize::MAX is an OOM
1128 if let Err(AllocError { .. }
) = empty_bytes
.try_reserve(MAX_USIZE
) {
1129 } else { panic!("usize::MAX should trigger an OOM!") }
1135 // Same basic idea, but with non-zero len
1136 let mut ten_bytes
: Vec
<u8> = vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
1138 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve(MAX_CAP
- 10) {
1139 panic
!("isize::MAX shouldn't trigger an overflow!");
1141 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve(MAX_CAP
- 10) {
1142 panic
!("isize::MAX shouldn't trigger an overflow!");
1144 if guards_against_isize
{
1145 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve(MAX_CAP
- 9) {
1146 } else { panic!("isize::MAX + 1 should trigger an overflow!"); }
1148 if let Err(AllocError { .. }
) = ten_bytes
.try_reserve(MAX_CAP
- 9) {
1149 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1151 // Should always overflow in the add-to-len
1152 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve(MAX_USIZE
) {
1153 } else { panic!("usize::MAX should trigger an overflow!") }
1158 // Same basic idea, but with interesting type size
1159 let mut ten_u32s
: Vec
<u32> = vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
1161 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve(MAX_CAP
/4 - 10) {
1162 panic
!("isize::MAX shouldn't trigger an overflow!");
1164 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve(MAX_CAP
/4 - 10) {
1165 panic
!("isize::MAX shouldn't trigger an overflow!");
1167 if guards_against_isize
{
1168 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve(MAX_CAP
/4 - 9) {
1169 } else { panic!("isize::MAX + 1 should trigger an overflow!"); }
1171 if let Err(AllocError { .. }
) = ten_u32s
.try_reserve(MAX_CAP
/4 - 9) {
1172 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1174 // Should fail in the mul-by-size
1175 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve(MAX_USIZE
- 20) {
1177 panic
!("usize::MAX should trigger an overflow!");
1184 #[cfg(not(miri))] // Miri does not support signalling OOM
1185 fn test_try_reserve_exact() {
1187 // This is exactly the same as test_try_reserve with the method changed.
1188 // See that test for comments.
1190 const MAX_CAP
: usize = isize::MAX
as usize;
1191 const MAX_USIZE
: usize = usize::MAX
;
1193 let guards_against_isize
= size_of
::<usize>() < 8;
1196 let mut empty_bytes
: Vec
<u8> = Vec
::new();
1198 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve_exact(MAX_CAP
) {
1199 panic
!("isize::MAX shouldn't trigger an overflow!");
1201 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve_exact(MAX_CAP
) {
1202 panic
!("isize::MAX shouldn't trigger an overflow!");
1205 if guards_against_isize
{
1206 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve_exact(MAX_CAP
+ 1) {
1207 } else { panic!("isize::MAX + 1 should trigger an overflow!") }
1209 if let Err(CapacityOverflow
) = empty_bytes
.try_reserve_exact(MAX_USIZE
) {
1210 } else { panic!("usize::MAX should trigger an overflow!") }
1212 if let Err(AllocError { .. }
) = empty_bytes
.try_reserve_exact(MAX_CAP
+ 1) {
1213 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1215 if let Err(AllocError { .. }
) = empty_bytes
.try_reserve_exact(MAX_USIZE
) {
1216 } else { panic!("usize::MAX should trigger an OOM!") }
1222 let mut ten_bytes
: Vec
<u8> = vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
1224 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve_exact(MAX_CAP
- 10) {
1225 panic
!("isize::MAX shouldn't trigger an overflow!");
1227 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve_exact(MAX_CAP
- 10) {
1228 panic
!("isize::MAX shouldn't trigger an overflow!");
1230 if guards_against_isize
{
1231 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve_exact(MAX_CAP
- 9) {
1232 } else { panic!("isize::MAX + 1 should trigger an overflow!"); }
1234 if let Err(AllocError { .. }
) = ten_bytes
.try_reserve_exact(MAX_CAP
- 9) {
1235 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1237 if let Err(CapacityOverflow
) = ten_bytes
.try_reserve_exact(MAX_USIZE
) {
1238 } else { panic!("usize::MAX should trigger an overflow!") }
1243 let mut ten_u32s
: Vec
<u32> = vec
![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
1245 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve_exact(MAX_CAP
/4 - 10) {
1246 panic
!("isize::MAX shouldn't trigger an overflow!");
1248 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve_exact(MAX_CAP
/4 - 10) {
1249 panic
!("isize::MAX shouldn't trigger an overflow!");
1251 if guards_against_isize
{
1252 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve_exact(MAX_CAP
/4 - 9) {
1253 } else { panic!("isize::MAX + 1 should trigger an overflow!"); }
1255 if let Err(AllocError { .. }
) = ten_u32s
.try_reserve_exact(MAX_CAP
/4 - 9) {
1256 } else { panic!("isize::MAX + 1 should trigger an OOM!") }
1258 if let Err(CapacityOverflow
) = ten_u32s
.try_reserve_exact(MAX_USIZE
- 20) {
1259 } else { panic!("usize::MAX should trigger an overflow!") }
1265 fn test_stable_push_pop() {
1266 // Test that, if we reserved enough space, adding and removing elements does not
1267 // invalidate references into the vector (such as `v0`). This test also
1268 // runs in Miri, which would detect such problems.
1269 let mut v
= Vec
::with_capacity(10);
1272 // laundering the lifetime -- we take care that `v` does not reallocate, so that's okay.
1273 let v0
= unsafe { &*(&v[0] as *const _) }
;
1275 // Now do a bunch of things and occasionally use `v0` again to assert it is still valid.
1279 assert_eq
!(*v0
, 13);
1282 assert_eq
!(*v0
, 13);