| 1 | use core::iter::{FusedIterator, TrustedLen}; | 
| 2 | use core::mem::MaybeUninit; | 
|---|
| 3 | use core::num::NonZero; | 
|---|
| 4 | use core::ops::Try; | 
|---|
| 5 | use core::{array, fmt, ptr}; | 
|---|
| 6 |  | 
|---|
| 7 | use super::VecDeque; | 
|---|
| 8 | use crate::alloc::{Allocator, Global}; | 
|---|
| 9 |  | 
|---|
| 10 | /// An owning iterator over the elements of a `VecDeque`. | 
|---|
| 11 | /// | 
|---|
| 12 | /// This `struct` is created by the [`into_iter`] method on [`VecDeque`] | 
|---|
| 13 | /// (provided by the [`IntoIterator`] trait). See its documentation for more. | 
|---|
| 14 | /// | 
|---|
| 15 | /// [`into_iter`]: VecDeque::into_iter | 
|---|
| 16 | #[ derive(Clone)] | 
|---|
| 17 | #[ stable(feature = "rust1", since = "1.0.0")] | 
|---|
| 18 | pub struct IntoIter< | 
|---|
| 19 | T, | 
|---|
| 20 | #[ unstable(feature = "allocator_api", issue = "32838")] A: Allocator = Global, | 
|---|
| 21 | > { | 
|---|
| 22 | inner: VecDeque<T, A>, | 
|---|
| 23 | } | 
|---|
| 24 |  | 
|---|
| 25 | impl<T, A: Allocator> IntoIter<T, A> { | 
|---|
| 26 | pub(super) fn new(inner: VecDeque<T, A>) -> Self { | 
|---|
| 27 | IntoIter { inner } | 
|---|
| 28 | } | 
|---|
| 29 |  | 
|---|
| 30 | pub(super) fn into_vecdeque(self) -> VecDeque<T, A> { | 
|---|
| 31 | self.inner | 
|---|
| 32 | } | 
|---|
| 33 | } | 
|---|
| 34 |  | 
|---|
| 35 | #[ stable(feature = "collection_debug", since = "1.17.0")] | 
|---|
| 36 | impl<T: fmt::Debug, A: Allocator> fmt::Debug for IntoIter<T, A> { | 
|---|
| 37 | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { | 
|---|
| 38 | f.debug_tuple(name: "IntoIter").field(&self.inner).finish() | 
|---|
| 39 | } | 
|---|
| 40 | } | 
|---|
| 41 |  | 
|---|
| 42 | #[ stable(feature = "rust1", since = "1.0.0")] | 
|---|
| 43 | impl<T, A: Allocator> Iterator for IntoIter<T, A> { | 
|---|
| 44 | type Item = T; | 
|---|
| 45 |  | 
|---|
| 46 | #[ inline] | 
|---|
| 47 | fn next(&mut self) -> Option<T> { | 
|---|
| 48 | self.inner.pop_front() | 
|---|
| 49 | } | 
|---|
| 50 |  | 
|---|
| 51 | #[ inline] | 
|---|
| 52 | fn size_hint(&self) -> (usize, Option<usize>) { | 
|---|
| 53 | let len = self.inner.len(); | 
|---|
| 54 | (len, Some(len)) | 
|---|
| 55 | } | 
|---|
| 56 |  | 
|---|
| 57 | #[ inline] | 
|---|
| 58 | fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> { | 
|---|
| 59 | let len = self.inner.len; | 
|---|
| 60 | let rem = if len < n { | 
|---|
| 61 | self.inner.clear(); | 
|---|
| 62 | n - len | 
|---|
| 63 | } else { | 
|---|
| 64 | self.inner.drain(..n); | 
|---|
| 65 | 0 | 
|---|
| 66 | }; | 
|---|
| 67 | NonZero::new(rem).map_or(Ok(()), Err) | 
|---|
| 68 | } | 
|---|
| 69 |  | 
|---|
| 70 | #[ inline] | 
|---|
| 71 | fn count(self) -> usize { | 
|---|
| 72 | self.inner.len | 
|---|
| 73 | } | 
|---|
| 74 |  | 
|---|
| 75 | fn try_fold<B, F, R>(&mut self, mut init: B, mut f: F) -> R | 
|---|
| 76 | where | 
|---|
| 77 | F: FnMut(B, Self::Item) -> R, | 
|---|
| 78 | R: Try<Output = B>, | 
|---|
| 79 | { | 
|---|
| 80 | struct Guard<'a, T, A: Allocator> { | 
|---|
| 81 | deque: &'a mut VecDeque<T, A>, | 
|---|
| 82 | // `consumed <= deque.len` always holds. | 
|---|
| 83 | consumed: usize, | 
|---|
| 84 | } | 
|---|
| 85 |  | 
|---|
| 86 | impl<'a, T, A: Allocator> Drop for Guard<'a, T, A> { | 
|---|
| 87 | fn drop(&mut self) { | 
|---|
| 88 | self.deque.len -= self.consumed; | 
|---|
| 89 | self.deque.head = self.deque.to_physical_idx(self.consumed); | 
|---|
| 90 | } | 
|---|
| 91 | } | 
|---|
| 92 |  | 
|---|
| 93 | let mut guard = Guard { deque: &mut self.inner, consumed: 0 }; | 
|---|
| 94 |  | 
|---|
| 95 | let (head, tail) = guard.deque.as_slices(); | 
|---|
| 96 |  | 
|---|
| 97 | init = head | 
|---|
| 98 | .iter() | 
|---|
| 99 | .map(|elem| { | 
|---|
| 100 | guard.consumed += 1; | 
|---|
| 101 | // SAFETY: Because we incremented `guard.consumed`, the | 
|---|
| 102 | // deque effectively forgot the element, so we can take | 
|---|
| 103 | // ownership | 
|---|
| 104 | unsafe { ptr::read(elem) } | 
|---|
| 105 | }) | 
|---|
| 106 | .try_fold(init, &mut f)?; | 
|---|
| 107 |  | 
|---|
| 108 | tail.iter() | 
|---|
| 109 | .map(|elem| { | 
|---|
| 110 | guard.consumed += 1; | 
|---|
| 111 | // SAFETY: Same as above. | 
|---|
| 112 | unsafe { ptr::read(elem) } | 
|---|
| 113 | }) | 
|---|
| 114 | .try_fold(init, &mut f) | 
|---|
| 115 | } | 
|---|
| 116 |  | 
|---|
| 117 | #[ inline] | 
|---|
| 118 | fn fold<B, F>(mut self, init: B, mut f: F) -> B | 
|---|
| 119 | where | 
|---|
| 120 | F: FnMut(B, Self::Item) -> B, | 
|---|
| 121 | { | 
|---|
| 122 | match self.try_fold(init, |b, item| Ok::<B, !>(f(b, item))) { | 
|---|
| 123 | Ok(b) => b, | 
|---|
| 124 | } | 
|---|
| 125 | } | 
|---|
| 126 |  | 
|---|
| 127 | #[ inline] | 
|---|
| 128 | fn last(mut self) -> Option<Self::Item> { | 
|---|
| 129 | self.inner.pop_back() | 
|---|
| 130 | } | 
|---|
| 131 |  | 
|---|
| 132 | fn next_chunk<const N: usize>( | 
|---|
| 133 | &mut self, | 
|---|
| 134 | ) -> Result<[Self::Item; N], array::IntoIter<Self::Item, N>> { | 
|---|
| 135 | let mut raw_arr = [const { MaybeUninit::uninit() }; N]; | 
|---|
| 136 | let raw_arr_ptr = raw_arr.as_mut_ptr().cast(); | 
|---|
| 137 | let (head, tail) = self.inner.as_slices(); | 
|---|
| 138 |  | 
|---|
| 139 | if head.len() >= N { | 
|---|
| 140 | // SAFETY: By manually adjusting the head and length of the deque, we effectively | 
|---|
| 141 | // make it forget the first `N` elements, so taking ownership of them is safe. | 
|---|
| 142 | unsafe { ptr::copy_nonoverlapping(head.as_ptr(), raw_arr_ptr, N) }; | 
|---|
| 143 | self.inner.head = self.inner.to_physical_idx(N); | 
|---|
| 144 | self.inner.len -= N; | 
|---|
| 145 | // SAFETY: We initialized the entire array with items from `head` | 
|---|
| 146 | return Ok(unsafe { raw_arr.transpose().assume_init() }); | 
|---|
| 147 | } | 
|---|
| 148 |  | 
|---|
| 149 | // SAFETY: Same argument as above. | 
|---|
| 150 | unsafe { ptr::copy_nonoverlapping(head.as_ptr(), raw_arr_ptr, head.len()) }; | 
|---|
| 151 | let remaining = N - head.len(); | 
|---|
| 152 |  | 
|---|
| 153 | if tail.len() >= remaining { | 
|---|
| 154 | // SAFETY: Same argument as above. | 
|---|
| 155 | unsafe { | 
|---|
| 156 | ptr::copy_nonoverlapping(tail.as_ptr(), raw_arr_ptr.add(head.len()), remaining) | 
|---|
| 157 | }; | 
|---|
| 158 | self.inner.head = self.inner.to_physical_idx(N); | 
|---|
| 159 | self.inner.len -= N; | 
|---|
| 160 | // SAFETY: We initialized the entire array with items from `head` and `tail` | 
|---|
| 161 | Ok(unsafe { raw_arr.transpose().assume_init() }) | 
|---|
| 162 | } else { | 
|---|
| 163 | // SAFETY: Same argument as above. | 
|---|
| 164 | unsafe { | 
|---|
| 165 | ptr::copy_nonoverlapping(tail.as_ptr(), raw_arr_ptr.add(head.len()), tail.len()) | 
|---|
| 166 | }; | 
|---|
| 167 | let init = head.len() + tail.len(); | 
|---|
| 168 | // We completely drained all the deques elements. | 
|---|
| 169 | self.inner.head = 0; | 
|---|
| 170 | self.inner.len = 0; | 
|---|
| 171 | // SAFETY: We copied all elements from both slices to the beginning of the array, so | 
|---|
| 172 | // the given range is initialized. | 
|---|
| 173 | Err(unsafe { array::IntoIter::new_unchecked(raw_arr, 0..init) }) | 
|---|
| 174 | } | 
|---|
| 175 | } | 
|---|
| 176 | } | 
|---|
| 177 |  | 
|---|
| 178 | #[ stable(feature = "rust1", since = "1.0.0")] | 
|---|
| 179 | impl<T, A: Allocator> DoubleEndedIterator for IntoIter<T, A> { | 
|---|
| 180 | #[ inline] | 
|---|
| 181 | fn next_back(&mut self) -> Option<T> { | 
|---|
| 182 | self.inner.pop_back() | 
|---|
| 183 | } | 
|---|
| 184 |  | 
|---|
| 185 | #[ inline] | 
|---|
| 186 | fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>> { | 
|---|
| 187 | let len = self.inner.len; | 
|---|
| 188 | let rem = if len < n { | 
|---|
| 189 | self.inner.clear(); | 
|---|
| 190 | n - len | 
|---|
| 191 | } else { | 
|---|
| 192 | self.inner.truncate(len - n); | 
|---|
| 193 | 0 | 
|---|
| 194 | }; | 
|---|
| 195 | NonZero::new(rem).map_or(Ok(()), Err) | 
|---|
| 196 | } | 
|---|
| 197 |  | 
|---|
| 198 | fn try_rfold<B, F, R>(&mut self, mut init: B, mut f: F) -> R | 
|---|
| 199 | where | 
|---|
| 200 | F: FnMut(B, Self::Item) -> R, | 
|---|
| 201 | R: Try<Output = B>, | 
|---|
| 202 | { | 
|---|
| 203 | struct Guard<'a, T, A: Allocator> { | 
|---|
| 204 | deque: &'a mut VecDeque<T, A>, | 
|---|
| 205 | // `consumed <= deque.len` always holds. | 
|---|
| 206 | consumed: usize, | 
|---|
| 207 | } | 
|---|
| 208 |  | 
|---|
| 209 | impl<'a, T, A: Allocator> Drop for Guard<'a, T, A> { | 
|---|
| 210 | fn drop(&mut self) { | 
|---|
| 211 | self.deque.len -= self.consumed; | 
|---|
| 212 | } | 
|---|
| 213 | } | 
|---|
| 214 |  | 
|---|
| 215 | let mut guard = Guard { deque: &mut self.inner, consumed: 0 }; | 
|---|
| 216 |  | 
|---|
| 217 | let (head, tail) = guard.deque.as_slices(); | 
|---|
| 218 |  | 
|---|
| 219 | init = tail | 
|---|
| 220 | .iter() | 
|---|
| 221 | .map(|elem| { | 
|---|
| 222 | guard.consumed += 1; | 
|---|
| 223 | // SAFETY: See `try_fold`'s safety comment. | 
|---|
| 224 | unsafe { ptr::read(elem) } | 
|---|
| 225 | }) | 
|---|
| 226 | .try_rfold(init, &mut f)?; | 
|---|
| 227 |  | 
|---|
| 228 | head.iter() | 
|---|
| 229 | .map(|elem| { | 
|---|
| 230 | guard.consumed += 1; | 
|---|
| 231 | // SAFETY: Same as above. | 
|---|
| 232 | unsafe { ptr::read(elem) } | 
|---|
| 233 | }) | 
|---|
| 234 | .try_rfold(init, &mut f) | 
|---|
| 235 | } | 
|---|
| 236 |  | 
|---|
| 237 | #[ inline] | 
|---|
| 238 | fn rfold<B, F>(mut self, init: B, mut f: F) -> B | 
|---|
| 239 | where | 
|---|
| 240 | F: FnMut(B, Self::Item) -> B, | 
|---|
| 241 | { | 
|---|
| 242 | match self.try_rfold(init, |b, item| Ok::<B, !>(f(b, item))) { | 
|---|
| 243 | Ok(b) => b, | 
|---|
| 244 | } | 
|---|
| 245 | } | 
|---|
| 246 | } | 
|---|
| 247 |  | 
|---|
| 248 | #[ stable(feature = "rust1", since = "1.0.0")] | 
|---|
| 249 | impl<T, A: Allocator> ExactSizeIterator for IntoIter<T, A> { | 
|---|
| 250 | #[ inline] | 
|---|
| 251 | fn is_empty(&self) -> bool { | 
|---|
| 252 | self.inner.is_empty() | 
|---|
| 253 | } | 
|---|
| 254 | } | 
|---|
| 255 |  | 
|---|
| 256 | #[ stable(feature = "fused", since = "1.26.0")] | 
|---|
| 257 | impl<T, A: Allocator> FusedIterator for IntoIter<T, A> {} | 
|---|
| 258 |  | 
|---|
| 259 | #[ unstable(feature = "trusted_len", issue = "37572")] | 
|---|
| 260 | unsafe impl<T, A: Allocator> TrustedLen for IntoIter<T, A> {} | 
|---|
| 261 |  | 
|---|