|
| 1 | +use core::{ |
| 2 | + fmt, |
| 3 | + iter::FusedIterator, |
| 4 | + mem::{self, size_of}, |
| 5 | + ptr::{self, NonNull}, |
| 6 | + slice, |
| 7 | +}; |
| 8 | + |
| 9 | +use super::VecView; |
| 10 | + |
| 11 | +/// A draining iterator for [`Vec`](super::Vec). |
| 12 | +/// |
| 13 | +/// This `struct` is created by [`Vec::drain`](super::Vec::drain). |
| 14 | +/// See its documentation for more. |
| 15 | +/// |
| 16 | +/// # Example |
| 17 | +/// |
| 18 | +/// ``` |
| 19 | +/// use heapless::{vec, Vec}; |
| 20 | +/// |
| 21 | +/// let mut v = Vec::<_, 4>::from_array([0, 1, 2]); |
| 22 | +/// let iter: vec::Drain<'_, _> = v.drain(..); |
| 23 | +/// ``` |
| 24 | +pub struct Drain<'a, T: 'a> { |
| 25 | + /// Index of tail to preserve |
| 26 | + pub(super) tail_start: usize, |
| 27 | + /// Length of tail |
| 28 | + pub(super) tail_len: usize, |
| 29 | + /// Current remaining range to remove |
| 30 | + pub(super) iter: slice::Iter<'a, T>, |
| 31 | + pub(super) vec: NonNull<VecView<T>>, |
| 32 | +} |
| 33 | + |
| 34 | +impl<T: fmt::Debug> fmt::Debug for Drain<'_, T> { |
| 35 | + fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
| 36 | + f.debug_tuple("Drain").field(&self.iter.as_slice()).finish() |
| 37 | + } |
| 38 | +} |
| 39 | + |
| 40 | +impl<'a, T> Drain<'a, T> { |
| 41 | + /// Returns the remaining items of this iterator as a slice. |
| 42 | + /// |
| 43 | + /// # Examples |
| 44 | + /// |
| 45 | + /// ``` |
| 46 | + /// use heapless::{vec, Vec}; |
| 47 | + /// |
| 48 | + /// let mut vec = Vec::<_, 3>::from_array(['a', 'b', 'c']); |
| 49 | + /// let mut drain = vec.drain(..); |
| 50 | + /// assert_eq!(drain.as_slice(), &['a', 'b', 'c']); |
| 51 | + /// let _ = drain.next().unwrap(); |
| 52 | + /// assert_eq!(drain.as_slice(), &['b', 'c']); |
| 53 | + /// ``` |
| 54 | + #[must_use] |
| 55 | + pub fn as_slice(&self) -> &[T] { |
| 56 | + self.iter.as_slice() |
| 57 | + } |
| 58 | +} |
| 59 | + |
| 60 | +impl<'a, T> AsRef<[T]> for Drain<'a, T> { |
| 61 | + fn as_ref(&self) -> &[T] { |
| 62 | + self.as_slice() |
| 63 | + } |
| 64 | +} |
| 65 | + |
| 66 | +unsafe impl<T: Sync> Sync for Drain<'_, T> {} |
| 67 | +unsafe impl<T: Send> Send for Drain<'_, T> {} |
| 68 | + |
| 69 | +impl<T> Iterator for Drain<'_, T> { |
| 70 | + type Item = T; |
| 71 | + |
| 72 | + #[inline] |
| 73 | + fn next(&mut self) -> Option<T> { |
| 74 | + self.iter |
| 75 | + .next() |
| 76 | + .map(|elt| unsafe { ptr::read(elt as *const _) }) |
| 77 | + } |
| 78 | + |
| 79 | + fn size_hint(&self) -> (usize, Option<usize>) { |
| 80 | + self.iter.size_hint() |
| 81 | + } |
| 82 | +} |
| 83 | + |
| 84 | +impl<T> DoubleEndedIterator for Drain<'_, T> { |
| 85 | + #[inline] |
| 86 | + fn next_back(&mut self) -> Option<T> { |
| 87 | + self.iter |
| 88 | + .next_back() |
| 89 | + .map(|elt| unsafe { ptr::read(elt as *const _) }) |
| 90 | + } |
| 91 | +} |
| 92 | + |
| 93 | +impl<T> Drop for Drain<'_, T> { |
| 94 | + fn drop(&mut self) { |
| 95 | + /// Moves back the un-`Drain`ed elements to restore the original `Vec`. |
| 96 | + struct DropGuard<'r, 'a, T>(&'r mut Drain<'a, T>); |
| 97 | + |
| 98 | + impl<'r, 'a, T> Drop for DropGuard<'r, 'a, T> { |
| 99 | + fn drop(&mut self) { |
| 100 | + if self.0.tail_len > 0 { |
| 101 | + unsafe { |
| 102 | + let source_vec = self.0.vec.as_mut(); |
| 103 | + // memmove back untouched tail, update to new length |
| 104 | + let start = source_vec.len(); |
| 105 | + let tail = self.0.tail_start; |
| 106 | + if tail != start { |
| 107 | + let dst = source_vec.as_mut_ptr().add(start); |
| 108 | + let src = source_vec.as_ptr().add(tail); |
| 109 | + ptr::copy(src, dst, self.0.tail_len); |
| 110 | + } |
| 111 | + source_vec.set_len(start + self.0.tail_len); |
| 112 | + } |
| 113 | + } |
| 114 | + } |
| 115 | + } |
| 116 | + |
| 117 | + let iter = mem::take(&mut self.iter); |
| 118 | + let drop_len = iter.len(); |
| 119 | + |
| 120 | + let mut vec = self.vec; |
| 121 | + |
| 122 | + if size_of::<T>() == 0 { |
| 123 | + // ZSTs have no identity, so we don't need to move them around, we only need to drop the correct amount. |
| 124 | + // this can be achieved by manipulating the `Vec` length instead of moving values out from `iter`. |
| 125 | + unsafe { |
| 126 | + let vec = vec.as_mut(); |
| 127 | + let old_len = vec.len(); |
| 128 | + vec.set_len(old_len + drop_len + self.tail_len); |
| 129 | + vec.truncate(old_len + self.tail_len); |
| 130 | + } |
| 131 | + |
| 132 | + return; |
| 133 | + } |
| 134 | + |
| 135 | + // ensure elements are moved back into their appropriate places, even when drop_in_place panics |
| 136 | + let _guard = DropGuard(self); |
| 137 | + |
| 138 | + if drop_len == 0 { |
| 139 | + return; |
| 140 | + } |
| 141 | + |
| 142 | + // as_slice() must only be called when iter.len() is > 0 because |
| 143 | + // it also gets touched by vec::Splice which may turn it into a dangling pointer |
| 144 | + // which would make it and the vec pointer point to different allocations which would |
| 145 | + // lead to invalid pointer arithmetic below. |
| 146 | + let drop_ptr = iter.as_slice().as_ptr(); |
| 147 | + |
| 148 | + unsafe { |
| 149 | + // drop_ptr comes from a slice::Iter which only gives us a &[T] but for drop_in_place |
| 150 | + // a pointer with mutable provenance is necessary. Therefore we must reconstruct |
| 151 | + // it from the original vec but also avoid creating a &mut to the front since that could |
| 152 | + // invalidate raw pointers to it which some unsafe code might rely on. |
| 153 | + let vec_ptr = vec.as_mut().as_mut_ptr(); |
| 154 | + // FIXME: Replace with `sub_ptr` once stable. |
| 155 | + let drop_offset = (drop_ptr as usize - vec_ptr as usize) / size_of::<T>(); |
| 156 | + let to_drop = ptr::slice_from_raw_parts_mut(vec_ptr.add(drop_offset), drop_len); |
| 157 | + ptr::drop_in_place(to_drop); |
| 158 | + } |
| 159 | + } |
| 160 | +} |
| 161 | + |
| 162 | +impl<T> ExactSizeIterator for Drain<'_, T> {} |
| 163 | + |
| 164 | +impl<T> FusedIterator for Drain<'_, T> {} |
| 165 | + |
| 166 | +#[cfg(test)] |
| 167 | +mod tests { |
| 168 | + use super::super::Vec; |
| 169 | + |
| 170 | + #[test] |
| 171 | + fn drain_front() { |
| 172 | + let mut vec = Vec::<_, 8>::from_array([1, 2, 3, 4]); |
| 173 | + let mut it = vec.drain(..1); |
| 174 | + assert_eq!(it.next(), Some(1)); |
| 175 | + drop(it); |
| 176 | + assert_eq!(vec, &[2, 3, 4]); |
| 177 | + } |
| 178 | + |
| 179 | + #[test] |
| 180 | + fn drain_middle() { |
| 181 | + let mut vec = Vec::<_, 8>::from_array([1, 2, 3, 4]); |
| 182 | + let mut it = vec.drain(1..3); |
| 183 | + assert_eq!(it.next(), Some(2)); |
| 184 | + assert_eq!(it.next(), Some(3)); |
| 185 | + drop(it); |
| 186 | + assert_eq!(vec, &[1, 4]); |
| 187 | + } |
| 188 | + |
| 189 | + #[test] |
| 190 | + fn drain_end() { |
| 191 | + let mut vec = Vec::<_, 8>::from_array([1, 2, 3, 4]); |
| 192 | + let mut it = vec.drain(3..); |
| 193 | + assert_eq!(it.next(), Some(4)); |
| 194 | + drop(it); |
| 195 | + assert_eq!(vec, &[1, 2, 3]); |
| 196 | + } |
| 197 | + |
| 198 | + #[test] |
| 199 | + fn drain_drop_rest() { |
| 200 | + droppable!(); |
| 201 | + |
| 202 | + let mut vec = Vec::<_, 8>::from_array([ |
| 203 | + Droppable::new(), |
| 204 | + Droppable::new(), |
| 205 | + Droppable::new(), |
| 206 | + Droppable::new(), |
| 207 | + ]); |
| 208 | + assert_eq!(Droppable::count(), 4); |
| 209 | + |
| 210 | + let mut iter = vec.drain(2..); |
| 211 | + assert_eq!(iter.next().unwrap().0, 3); |
| 212 | + drop(iter); |
| 213 | + assert_eq!(Droppable::count(), 2); |
| 214 | + |
| 215 | + assert_eq!(vec.len(), 2); |
| 216 | + assert_eq!(vec.remove(0).0, 1); |
| 217 | + assert_eq!(Droppable::count(), 1); |
| 218 | + |
| 219 | + drop(vec); |
| 220 | + assert_eq!(Droppable::count(), 0); |
| 221 | + } |
| 222 | +} |
0 commit comments