Alternate approach; just modify Drain
This commit is contained in:
parent
25f4cb59d3
commit
54684c438f
3 changed files with 59 additions and 52 deletions
|
@ -1,10 +1,12 @@
|
||||||
|
use core::fmt;
|
||||||
use core::iter::FusedIterator;
|
use core::iter::FusedIterator;
|
||||||
|
use core::marker::PhantomData;
|
||||||
|
use core::mem::{self, MaybeUninit};
|
||||||
use core::ptr::{self, NonNull};
|
use core::ptr::{self, NonNull};
|
||||||
use core::{fmt, mem};
|
|
||||||
|
|
||||||
use crate::alloc::{Allocator, Global};
|
use crate::alloc::{Allocator, Global};
|
||||||
|
|
||||||
use super::{count, Iter, VecDeque};
|
use super::{count, wrap_index, VecDeque};
|
||||||
|
|
||||||
/// A draining iterator over the elements of a `VecDeque`.
|
/// A draining iterator over the elements of a `VecDeque`.
|
||||||
///
|
///
|
||||||
|
@ -20,18 +22,24 @@ pub struct Drain<
|
||||||
> {
|
> {
|
||||||
after_tail: usize,
|
after_tail: usize,
|
||||||
after_head: usize,
|
after_head: usize,
|
||||||
iter: Iter<'a, T>,
|
ring: NonNull<[T]>,
|
||||||
|
tail: usize,
|
||||||
|
head: usize,
|
||||||
deque: NonNull<VecDeque<T, A>>,
|
deque: NonNull<VecDeque<T, A>>,
|
||||||
|
_phantom: PhantomData<&'a T>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'a, T, A: Allocator> Drain<'a, T, A> {
|
impl<'a, T, A: Allocator> Drain<'a, T, A> {
|
||||||
pub(super) unsafe fn new(
|
pub(super) unsafe fn new(
|
||||||
after_tail: usize,
|
after_tail: usize,
|
||||||
after_head: usize,
|
after_head: usize,
|
||||||
iter: Iter<'a, T>,
|
ring: &'a [MaybeUninit<T>],
|
||||||
|
tail: usize,
|
||||||
|
head: usize,
|
||||||
deque: NonNull<VecDeque<T, A>>,
|
deque: NonNull<VecDeque<T, A>>,
|
||||||
) -> Self {
|
) -> Self {
|
||||||
Drain { after_tail, after_head, iter, deque }
|
let ring = unsafe { NonNull::new_unchecked(ring as *const [MaybeUninit<T>] as *mut _) };
|
||||||
|
Drain { after_tail, after_head, ring, tail, head, deque, _phantom: PhantomData }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -41,7 +49,9 @@ impl<T: fmt::Debug, A: Allocator> fmt::Debug for Drain<'_, T, A> {
|
||||||
f.debug_tuple("Drain")
|
f.debug_tuple("Drain")
|
||||||
.field(&self.after_tail)
|
.field(&self.after_tail)
|
||||||
.field(&self.after_head)
|
.field(&self.after_head)
|
||||||
.field(&self.iter)
|
.field(&self.ring)
|
||||||
|
.field(&self.tail)
|
||||||
|
.field(&self.head)
|
||||||
.finish()
|
.finish()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -118,12 +128,21 @@ impl<T, A: Allocator> Iterator for Drain<'_, T, A> {
|
||||||
|
|
||||||
#[inline]
|
#[inline]
|
||||||
fn next(&mut self) -> Option<T> {
|
fn next(&mut self) -> Option<T> {
|
||||||
self.iter.next().map(|elt| unsafe { ptr::read(elt) })
|
if self.tail == self.head {
|
||||||
|
return None;
|
||||||
|
}
|
||||||
|
let tail = self.tail;
|
||||||
|
self.tail = wrap_index(self.tail.wrapping_add(1), self.ring.len());
|
||||||
|
// Safety:
|
||||||
|
// - `self.tail` in a ring buffer is always a valid index.
|
||||||
|
// - `self.head` and `self.tail` equality is checked above.
|
||||||
|
unsafe { Some(ptr::read(self.ring.as_ptr().get_unchecked_mut(tail))) }
|
||||||
}
|
}
|
||||||
|
|
||||||
#[inline]
|
#[inline]
|
||||||
fn size_hint(&self) -> (usize, Option<usize>) {
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
||||||
self.iter.size_hint()
|
let len = count(self.tail, self.head, self.ring.len());
|
||||||
|
(len, Some(len))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -131,7 +150,14 @@ impl<T, A: Allocator> Iterator for Drain<'_, T, A> {
|
||||||
impl<T, A: Allocator> DoubleEndedIterator for Drain<'_, T, A> {
|
impl<T, A: Allocator> DoubleEndedIterator for Drain<'_, T, A> {
|
||||||
#[inline]
|
#[inline]
|
||||||
fn next_back(&mut self) -> Option<T> {
|
fn next_back(&mut self) -> Option<T> {
|
||||||
self.iter.next_back().map(|elt| unsafe { ptr::read(elt) })
|
if self.tail == self.head {
|
||||||
|
return None;
|
||||||
|
}
|
||||||
|
self.head = wrap_index(self.head.wrapping_sub(1), self.ring.len());
|
||||||
|
// Safety:
|
||||||
|
// - `self.head` in a ring buffer is always a valid index.
|
||||||
|
// - `self.head` and `self.tail` equality is checked above.
|
||||||
|
unsafe { Some(ptr::read(self.ring.as_ptr().get_unchecked_mut(self.head))) }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -1,9 +1,7 @@
|
||||||
use core::fmt;
|
use core::fmt;
|
||||||
use core::iter::{FusedIterator, TrustedLen, TrustedRandomAccess, TrustedRandomAccessNoCoerce};
|
use core::iter::{FusedIterator, TrustedLen, TrustedRandomAccess, TrustedRandomAccessNoCoerce};
|
||||||
use core::marker::PhantomData;
|
|
||||||
use core::mem::MaybeUninit;
|
use core::mem::MaybeUninit;
|
||||||
use core::ops::Try;
|
use core::ops::Try;
|
||||||
use core::ptr::NonNull;
|
|
||||||
|
|
||||||
use super::{count, wrap_index, RingSlices};
|
use super::{count, wrap_index, RingSlices};
|
||||||
|
|
||||||
|
@ -15,45 +13,30 @@ use super::{count, wrap_index, RingSlices};
|
||||||
/// [`iter`]: super::VecDeque::iter
|
/// [`iter`]: super::VecDeque::iter
|
||||||
#[stable(feature = "rust1", since = "1.0.0")]
|
#[stable(feature = "rust1", since = "1.0.0")]
|
||||||
pub struct Iter<'a, T: 'a> {
|
pub struct Iter<'a, T: 'a> {
|
||||||
ring: NonNull<[T]>,
|
ring: &'a [MaybeUninit<T>],
|
||||||
tail: usize,
|
tail: usize,
|
||||||
head: usize,
|
head: usize,
|
||||||
_marker: PhantomData<&'a T>,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'a, T> Iter<'a, T> {
|
impl<'a, T> Iter<'a, T> {
|
||||||
pub(super) fn new(ring: &'a [MaybeUninit<T>], tail: usize, head: usize) -> Self {
|
pub(super) fn new(ring: &'a [MaybeUninit<T>], tail: usize, head: usize) -> Self {
|
||||||
Iter {
|
Iter { ring, tail, head }
|
||||||
ring: unsafe { NonNull::new_unchecked(ring as *const [MaybeUninit<T>] as *mut _) },
|
|
||||||
tail,
|
|
||||||
head,
|
|
||||||
_marker: PhantomData,
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
unsafe fn ring(&self) -> &'a [MaybeUninit<T>] {
|
|
||||||
unsafe {
|
|
||||||
core::slice::from_raw_parts(
|
|
||||||
self.ring.as_ptr() as *const MaybeUninit<T>,
|
|
||||||
self.ring.len(),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[stable(feature = "rust1", since = "1.0.0")]
|
|
||||||
unsafe impl<T: Sync> Sync for Iter<'_, T> {}
|
|
||||||
#[stable(feature = "rust1", since = "1.0.0")]
|
|
||||||
unsafe impl<T: Sync> Send for Iter<'_, T> {}
|
|
||||||
|
|
||||||
#[stable(feature = "collection_debug", since = "1.17.0")]
|
#[stable(feature = "collection_debug", since = "1.17.0")]
|
||||||
impl<T: fmt::Debug> fmt::Debug for Iter<'_, T> {
|
impl<T: fmt::Debug> fmt::Debug for Iter<'_, T> {
|
||||||
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
let (front, back) = unsafe { RingSlices::ring_slices(self.ring(), self.head, self.tail) };
|
let (front, back) = RingSlices::ring_slices(self.ring, self.head, self.tail);
|
||||||
// Safety:
|
// Safety:
|
||||||
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
||||||
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
||||||
f.debug_tuple("Iter").field(&front).field(&back).finish()
|
unsafe {
|
||||||
|
f.debug_tuple("Iter")
|
||||||
|
.field(&MaybeUninit::slice_assume_init_ref(front))
|
||||||
|
.field(&MaybeUninit::slice_assume_init_ref(back))
|
||||||
|
.finish()
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -61,7 +44,7 @@ impl<T: fmt::Debug> fmt::Debug for Iter<'_, T> {
|
||||||
#[stable(feature = "rust1", since = "1.0.0")]
|
#[stable(feature = "rust1", since = "1.0.0")]
|
||||||
impl<T> Clone for Iter<'_, T> {
|
impl<T> Clone for Iter<'_, T> {
|
||||||
fn clone(&self) -> Self {
|
fn clone(&self) -> Self {
|
||||||
Iter { ring: self.ring, tail: self.tail, head: self.head, _marker: PhantomData }
|
Iter { ring: self.ring, tail: self.tail, head: self.head }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -79,7 +62,7 @@ impl<'a, T> Iterator for Iter<'a, T> {
|
||||||
// Safety:
|
// Safety:
|
||||||
// - `self.tail` in a ring buffer is always a valid index.
|
// - `self.tail` in a ring buffer is always a valid index.
|
||||||
// - `self.head` and `self.tail` equality is checked above.
|
// - `self.head` and `self.tail` equality is checked above.
|
||||||
unsafe { Some(self.ring().get_unchecked(tail).assume_init_ref()) }
|
unsafe { Some(self.ring.get_unchecked(tail).assume_init_ref()) }
|
||||||
}
|
}
|
||||||
|
|
||||||
#[inline]
|
#[inline]
|
||||||
|
@ -92,11 +75,11 @@ impl<'a, T> Iterator for Iter<'a, T> {
|
||||||
where
|
where
|
||||||
F: FnMut(Acc, Self::Item) -> Acc,
|
F: FnMut(Acc, Self::Item) -> Acc,
|
||||||
{
|
{
|
||||||
|
let (front, back) = RingSlices::ring_slices(self.ring, self.head, self.tail);
|
||||||
// Safety:
|
// Safety:
|
||||||
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
||||||
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
||||||
unsafe {
|
unsafe {
|
||||||
let (front, back) = RingSlices::ring_slices(self.ring(), self.head, self.tail);
|
|
||||||
accum = MaybeUninit::slice_assume_init_ref(front).iter().fold(accum, &mut f);
|
accum = MaybeUninit::slice_assume_init_ref(front).iter().fold(accum, &mut f);
|
||||||
MaybeUninit::slice_assume_init_ref(back).iter().fold(accum, &mut f)
|
MaybeUninit::slice_assume_init_ref(back).iter().fold(accum, &mut f)
|
||||||
}
|
}
|
||||||
|
@ -111,13 +94,12 @@ impl<'a, T> Iterator for Iter<'a, T> {
|
||||||
let (mut iter, final_res);
|
let (mut iter, final_res);
|
||||||
if self.tail <= self.head {
|
if self.tail <= self.head {
|
||||||
// Safety: single slice self.ring[self.tail..self.head] is initialized.
|
// Safety: single slice self.ring[self.tail..self.head] is initialized.
|
||||||
iter =
|
iter = unsafe { MaybeUninit::slice_assume_init_ref(&self.ring[self.tail..self.head]) }
|
||||||
unsafe { MaybeUninit::slice_assume_init_ref(&self.ring()[self.tail..self.head]) }
|
.iter();
|
||||||
.iter();
|
|
||||||
final_res = iter.try_fold(init, &mut f);
|
final_res = iter.try_fold(init, &mut f);
|
||||||
} else {
|
} else {
|
||||||
// Safety: two slices: self.ring()[self.tail..], self.ring()[..self.head] both are initialized.
|
// Safety: two slices: self.ring[self.tail..], self.ring[..self.head] both are initialized.
|
||||||
let (front, back) = unsafe { self.ring().split_at(self.tail) };
|
let (front, back) = self.ring.split_at(self.tail);
|
||||||
|
|
||||||
let mut back_iter = unsafe { MaybeUninit::slice_assume_init_ref(back).iter() };
|
let mut back_iter = unsafe { MaybeUninit::slice_assume_init_ref(back).iter() };
|
||||||
let res = back_iter.try_fold(init, &mut f);
|
let res = back_iter.try_fold(init, &mut f);
|
||||||
|
@ -151,7 +133,7 @@ impl<'a, T> Iterator for Iter<'a, T> {
|
||||||
// that is in bounds.
|
// that is in bounds.
|
||||||
unsafe {
|
unsafe {
|
||||||
let idx = wrap_index(self.tail.wrapping_add(idx), self.ring.len());
|
let idx = wrap_index(self.tail.wrapping_add(idx), self.ring.len());
|
||||||
self.ring().get_unchecked(idx).assume_init_ref()
|
self.ring.get_unchecked(idx).assume_init_ref()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -167,18 +149,18 @@ impl<'a, T> DoubleEndedIterator for Iter<'a, T> {
|
||||||
// Safety:
|
// Safety:
|
||||||
// - `self.head` in a ring buffer is always a valid index.
|
// - `self.head` in a ring buffer is always a valid index.
|
||||||
// - `self.head` and `self.tail` equality is checked above.
|
// - `self.head` and `self.tail` equality is checked above.
|
||||||
unsafe { Some(self.ring().get_unchecked(self.head).assume_init_ref()) }
|
unsafe { Some(self.ring.get_unchecked(self.head).assume_init_ref()) }
|
||||||
}
|
}
|
||||||
|
|
||||||
fn rfold<Acc, F>(self, mut accum: Acc, mut f: F) -> Acc
|
fn rfold<Acc, F>(self, mut accum: Acc, mut f: F) -> Acc
|
||||||
where
|
where
|
||||||
F: FnMut(Acc, Self::Item) -> Acc,
|
F: FnMut(Acc, Self::Item) -> Acc,
|
||||||
{
|
{
|
||||||
|
let (front, back) = RingSlices::ring_slices(self.ring, self.head, self.tail);
|
||||||
// Safety:
|
// Safety:
|
||||||
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
// - `self.head` and `self.tail` in a ring buffer are always valid indices.
|
||||||
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
// - `RingSlices::ring_slices` guarantees that the slices split according to `self.head` and `self.tail` are initialized.
|
||||||
unsafe {
|
unsafe {
|
||||||
let (front, back) = RingSlices::ring_slices(self.ring(), self.head, self.tail);
|
|
||||||
accum = MaybeUninit::slice_assume_init_ref(back).iter().rfold(accum, &mut f);
|
accum = MaybeUninit::slice_assume_init_ref(back).iter().rfold(accum, &mut f);
|
||||||
MaybeUninit::slice_assume_init_ref(front).iter().rfold(accum, &mut f)
|
MaybeUninit::slice_assume_init_ref(front).iter().rfold(accum, &mut f)
|
||||||
}
|
}
|
||||||
|
@ -192,14 +174,14 @@ impl<'a, T> DoubleEndedIterator for Iter<'a, T> {
|
||||||
{
|
{
|
||||||
let (mut iter, final_res);
|
let (mut iter, final_res);
|
||||||
if self.tail <= self.head {
|
if self.tail <= self.head {
|
||||||
// Safety: single slice self.ring()[self.tail..self.head] is initialized.
|
// Safety: single slice self.ring[self.tail..self.head] is initialized.
|
||||||
iter = unsafe {
|
iter = unsafe {
|
||||||
MaybeUninit::slice_assume_init_ref(&self.ring()[self.tail..self.head]).iter()
|
MaybeUninit::slice_assume_init_ref(&self.ring[self.tail..self.head]).iter()
|
||||||
};
|
};
|
||||||
final_res = iter.try_rfold(init, &mut f);
|
final_res = iter.try_rfold(init, &mut f);
|
||||||
} else {
|
} else {
|
||||||
// Safety: two slices: self.ring()[self.tail..], self.ring()[..self.head] both are initialized.
|
// Safety: two slices: self.ring[self.tail..], self.ring[..self.head] both are initialized.
|
||||||
let (front, back) = unsafe { self.ring().split_at(self.tail) };
|
let (front, back) = self.ring.split_at(self.tail);
|
||||||
|
|
||||||
let mut front_iter =
|
let mut front_iter =
|
||||||
unsafe { MaybeUninit::slice_assume_init_ref(&front[..self.head]).iter() };
|
unsafe { MaybeUninit::slice_assume_init_ref(&front[..self.head]).iter() };
|
||||||
|
|
|
@ -1334,9 +1334,8 @@ impl<T, A: Allocator> VecDeque<T, A> {
|
||||||
// it. We do not write to `self` nor reborrow to a mutable reference.
|
// it. We do not write to `self` nor reborrow to a mutable reference.
|
||||||
// Hence the raw pointer we created above, for `deque`, remains valid.
|
// Hence the raw pointer we created above, for `deque`, remains valid.
|
||||||
let ring = self.buffer_as_slice();
|
let ring = self.buffer_as_slice();
|
||||||
let iter = Iter::new(ring, drain_tail, drain_head);
|
|
||||||
|
|
||||||
Drain::new(drain_head, head, iter, deque)
|
Drain::new(drain_head, head, ring, drain_tail, drain_head, deque)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue