core/slice/
iter.rs

1//! Definitions of a bunch of iterators for `[T]`.
2
3#[macro_use] // import iterator! and forward_iterator!
4mod macros;
5
6use super::{from_raw_parts, from_raw_parts_mut};
7use crate::hint::assert_unchecked;
8use crate::iter::{
9    FusedIterator, TrustedLen, TrustedRandomAccess, TrustedRandomAccessNoCoerce, UncheckedIterator,
10};
11use crate::marker::PhantomData;
12use crate::mem::{self, SizedTypeProperties};
13use crate::num::NonZero;
14use crate::ptr::{NonNull, without_provenance, without_provenance_mut};
15use crate::{cmp, fmt};
16
17#[stable(feature = "boxed_slice_into_iter", since = "1.80.0")]
18impl<T> !Iterator for [T] {}
19
20#[stable(feature = "rust1", since = "1.0.0")]
21impl<'a, T> IntoIterator for &'a [T] {
22    type Item = &'a T;
23    type IntoIter = Iter<'a, T>;
24
25    fn into_iter(self) -> Iter<'a, T> {
26        self.iter()
27    }
28}
29
30#[stable(feature = "rust1", since = "1.0.0")]
31impl<'a, T> IntoIterator for &'a mut [T] {
32    type Item = &'a mut T;
33    type IntoIter = IterMut<'a, T>;
34
35    fn into_iter(self) -> IterMut<'a, T> {
36        self.iter_mut()
37    }
38}
39
40/// Immutable slice iterator
41///
42/// This struct is created by the [`iter`] method on [slices].
43///
44/// # Examples
45///
46/// Basic usage:
47///
48/// ```
49/// // First, we need a slice to call the `iter` method on:
50/// let slice = &[1, 2, 3];
51///
52/// // Then we call `iter` on the slice to get the `Iter` iterator,
53/// // and iterate over it:
54/// for element in slice.iter() {
55///     println!("{element}");
56/// }
57///
58/// // This for loop actually already works without calling `iter`:
59/// for element in slice {
60///     println!("{element}");
61/// }
62/// ```
63///
64/// [`iter`]: slice::iter
65/// [slices]: slice
66#[stable(feature = "rust1", since = "1.0.0")]
67#[must_use = "iterators are lazy and do nothing unless consumed"]
68#[rustc_diagnostic_item = "SliceIter"]
69pub struct Iter<'a, T: 'a> {
70    /// The pointer to the next element to return, or the past-the-end location
71    /// if the iterator is empty.
72    ///
73    /// This address will be used for all ZST elements, never changed.
74    ptr: NonNull<T>,
75    /// For non-ZSTs, the non-null pointer to the past-the-end element.
76    ///
77    /// For ZSTs, this is `ptr::without_provenance_mut(len)`.
78    end_or_len: *const T,
79    _marker: PhantomData<&'a T>,
80}
81
82#[stable(feature = "core_impl_debug", since = "1.9.0")]
83impl<T: fmt::Debug> fmt::Debug for Iter<'_, T> {
84    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
85        f.debug_tuple("Iter").field(&self.as_slice()).finish()
86    }
87}
88
89#[stable(feature = "rust1", since = "1.0.0")]
90unsafe impl<T: Sync> Sync for Iter<'_, T> {}
91#[stable(feature = "rust1", since = "1.0.0")]
92unsafe impl<T: Sync> Send for Iter<'_, T> {}
93
94impl<'a, T> Iter<'a, T> {
95    #[inline]
96    pub(super) const fn new(slice: &'a [T]) -> Self {
97        let len = slice.len();
98        let ptr: NonNull<T> = NonNull::from_ref(slice).cast();
99        // SAFETY: Similar to `IterMut::new`.
100        unsafe {
101            let end_or_len =
102                if T::IS_ZST { without_provenance(len) } else { ptr.as_ptr().add(len) };
103
104            Self { ptr, end_or_len, _marker: PhantomData }
105        }
106    }
107
108    /// Views the underlying data as a subslice of the original data.
109    ///
110    /// # Examples
111    ///
112    /// Basic usage:
113    ///
114    /// ```
115    /// // First, we need a slice to call the `iter` method on:
116    /// let slice = &[1, 2, 3];
117    ///
118    /// // Then we call `iter` on the slice to get the `Iter` iterator:
119    /// let mut iter = slice.iter();
120    /// // Here `as_slice` still returns the whole slice, so this prints "[1, 2, 3]":
121    /// println!("{:?}", iter.as_slice());
122    ///
123    /// // Now, we call the `next` method to remove the first element from the iterator:
124    /// iter.next();
125    /// // Here the iterator does not contain the first element of the slice any more,
126    /// // so `as_slice` only returns the last two elements of the slice,
127    /// // and so this prints "[2, 3]":
128    /// println!("{:?}", iter.as_slice());
129    ///
130    /// // The underlying slice has not been modified and still contains three elements,
131    /// // so this prints "[1, 2, 3]":
132    /// println!("{:?}", slice);
133    /// ```
134    #[must_use]
135    #[stable(feature = "iter_to_slice", since = "1.4.0")]
136    #[inline]
137    pub fn as_slice(&self) -> &'a [T] {
138        self.make_slice()
139    }
140}
141
142iterator! {struct Iter -> *const T, &'a T, const, {/* no mut */}, as_ref, {
143    fn is_sorted_by<F>(self, mut compare: F) -> bool
144    where
145        Self: Sized,
146        F: FnMut(&Self::Item, &Self::Item) -> bool,
147    {
148        self.as_slice().is_sorted_by(|a, b| compare(&a, &b))
149    }
150}}
151
152#[stable(feature = "rust1", since = "1.0.0")]
153impl<T> Clone for Iter<'_, T> {
154    #[inline]
155    fn clone(&self) -> Self {
156        Iter { ptr: self.ptr, end_or_len: self.end_or_len, _marker: self._marker }
157    }
158}
159
160#[stable(feature = "slice_iter_as_ref", since = "1.13.0")]
161impl<T> AsRef<[T]> for Iter<'_, T> {
162    #[inline]
163    fn as_ref(&self) -> &[T] {
164        self.as_slice()
165    }
166}
167
168/// Mutable slice iterator.
169///
170/// This struct is created by the [`iter_mut`] method on [slices].
171///
172/// # Examples
173///
174/// Basic usage:
175///
176/// ```
177/// // First, we need a slice to call the `iter_mut` method on:
178/// let slice = &mut [1, 2, 3];
179///
180/// // Then we call `iter_mut` on the slice to get the `IterMut` iterator,
181/// // iterate over it and increment each element value:
182/// for element in slice.iter_mut() {
183///     *element += 1;
184/// }
185///
186/// // We now have "[2, 3, 4]":
187/// println!("{slice:?}");
188/// ```
189///
190/// [`iter_mut`]: slice::iter_mut
191/// [slices]: slice
192#[stable(feature = "rust1", since = "1.0.0")]
193#[must_use = "iterators are lazy and do nothing unless consumed"]
194pub struct IterMut<'a, T: 'a> {
195    /// The pointer to the next element to return, or the past-the-end location
196    /// if the iterator is empty.
197    ///
198    /// This address will be used for all ZST elements, never changed.
199    ptr: NonNull<T>,
200    /// For non-ZSTs, the non-null pointer to the past-the-end element.
201    ///
202    /// For ZSTs, this is `ptr::without_provenance_mut(len)`.
203    end_or_len: *mut T,
204    _marker: PhantomData<&'a mut T>,
205}
206
207#[stable(feature = "core_impl_debug", since = "1.9.0")]
208impl<T: fmt::Debug> fmt::Debug for IterMut<'_, T> {
209    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
210        f.debug_tuple("IterMut").field(&self.make_slice()).finish()
211    }
212}
213
214#[stable(feature = "rust1", since = "1.0.0")]
215unsafe impl<T: Sync> Sync for IterMut<'_, T> {}
216#[stable(feature = "rust1", since = "1.0.0")]
217unsafe impl<T: Send> Send for IterMut<'_, T> {}
218
219impl<'a, T> IterMut<'a, T> {
220    #[inline]
221    pub(super) const fn new(slice: &'a mut [T]) -> Self {
222        let len = slice.len();
223        let ptr: NonNull<T> = NonNull::from_mut(slice).cast();
224        // SAFETY: There are several things here:
225        //
226        // `ptr` has been obtained by `slice.as_ptr()` where `slice` is a valid
227        // reference thus it is non-NUL and safe to use and pass to
228        // `NonNull::new_unchecked` .
229        //
230        // Adding `slice.len()` to the starting pointer gives a pointer
231        // at the end of `slice`. `end` will never be dereferenced, only checked
232        // for direct pointer equality with `ptr` to check if the iterator is
233        // done.
234        //
235        // In the case of a ZST, the end pointer is just the length.  It's never
236        // used as a pointer at all, and thus it's fine to have no provenance.
237        //
238        // See the `next_unchecked!` and `is_empty!` macros as well as the
239        // `post_inc_start` method for more information.
240        unsafe {
241            let end_or_len =
242                if T::IS_ZST { without_provenance_mut(len) } else { ptr.as_ptr().add(len) };
243
244            Self { ptr, end_or_len, _marker: PhantomData }
245        }
246    }
247
248    /// Views the underlying data as a subslice of the original data.
249    ///
250    /// To avoid creating `&mut` references that alias, this is forced
251    /// to consume the iterator.
252    ///
253    /// # Examples
254    ///
255    /// Basic usage:
256    ///
257    /// ```
258    /// // First, we need a slice to call the `iter_mut` method on:
259    /// let mut slice = &mut [1, 2, 3];
260    ///
261    /// // Then we call `iter_mut` on the slice to get the `IterMut` struct:
262    /// let mut iter = slice.iter_mut();
263    /// // Now, we call the `next` method to remove the first element of the iterator,
264    /// // unwrap and dereference what we get from `next` and increase its value by 1:
265    /// *iter.next().unwrap() += 1;
266    /// // Here the iterator does not contain the first element of the slice any more,
267    /// // so `into_slice` only returns the last two elements of the slice,
268    /// // and so this prints "[2, 3]":
269    /// println!("{:?}", iter.into_slice());
270    /// // The underlying slice still contains three elements, but its first element
271    /// // was increased by 1, so this prints "[2, 2, 3]":
272    /// println!("{:?}", slice);
273    /// ```
274    #[must_use = "`self` will be dropped if the result is not used"]
275    #[stable(feature = "iter_to_slice", since = "1.4.0")]
276    pub fn into_slice(self) -> &'a mut [T] {
277        // SAFETY: the iterator was created from a mutable slice with pointer
278        // `self.ptr` and length `len!(self)`. This guarantees that all the prerequisites
279        // for `from_raw_parts_mut` are fulfilled.
280        unsafe { from_raw_parts_mut(self.ptr.as_ptr(), len!(self)) }
281    }
282
283    /// Views the underlying data as a subslice of the original data.
284    ///
285    /// # Examples
286    ///
287    /// Basic usage:
288    ///
289    /// ```
290    /// // First, we need a slice to call the `iter_mut` method on:
291    /// let slice = &mut [1, 2, 3];
292    ///
293    /// // Then we call `iter_mut` on the slice to get the `IterMut` iterator:
294    /// let mut iter = slice.iter_mut();
295    /// // Here `as_slice` still returns the whole slice, so this prints "[1, 2, 3]":
296    /// println!("{:?}", iter.as_slice());
297    ///
298    /// // Now, we call the `next` method to remove the first element from the iterator
299    /// // and increment its value:
300    /// *iter.next().unwrap() += 1;
301    /// // Here the iterator does not contain the first element of the slice any more,
302    /// // so `as_slice` only returns the last two elements of the slice,
303    /// // and so this prints "[2, 3]":
304    /// println!("{:?}", iter.as_slice());
305    ///
306    /// // The underlying slice still contains three elements, but its first element
307    /// // was increased by 1, so this prints "[2, 2, 3]":
308    /// println!("{:?}", slice);
309    /// ```
310    #[must_use]
311    #[stable(feature = "slice_iter_mut_as_slice", since = "1.53.0")]
312    #[inline]
313    pub fn as_slice(&self) -> &[T] {
314        self.make_slice()
315    }
316
317    /// Views the underlying data as a mutable subslice of the original data.
318    ///
319    /// # Examples
320    ///
321    /// Basic usage:
322    ///
323    /// ```
324    /// #![feature(slice_iter_mut_as_mut_slice)]
325    ///
326    /// let mut slice: &mut [usize] = &mut [1, 2, 3];
327    ///
328    /// // First, we get the iterator:
329    /// let mut iter = slice.iter_mut();
330    /// // Then, we get a mutable slice from it:
331    /// let mut_slice = iter.as_mut_slice();
332    /// // So if we check what the `as_mut_slice` method returned, we have "[1, 2, 3]":
333    /// assert_eq!(mut_slice, &mut [1, 2, 3]);
334    ///
335    /// // We can use it to mutate the slice:
336    /// mut_slice[0] = 4;
337    /// mut_slice[2] = 5;
338    ///
339    /// // Next, we can move to the second element of the slice, checking that
340    /// // it yields the value we just wrote:
341    /// assert_eq!(iter.next(), Some(&mut 4));
342    /// // Now `as_mut_slice` returns "[2, 5]":
343    /// assert_eq!(iter.as_mut_slice(), &mut [2, 5]);
344    /// ```
345    #[must_use]
346    // FIXME: Uncomment the `AsMut<[T]>` impl when this gets stabilized.
347    #[unstable(feature = "slice_iter_mut_as_mut_slice", issue = "93079")]
348    pub fn as_mut_slice(&mut self) -> &mut [T] {
349        // SAFETY: the iterator was created from a mutable slice with pointer
350        // `self.ptr` and length `len!(self)`. This guarantees that all the prerequisites
351        // for `from_raw_parts_mut` are fulfilled.
352        unsafe { from_raw_parts_mut(self.ptr.as_ptr(), len!(self)) }
353    }
354}
355
356#[stable(feature = "slice_iter_mut_as_slice", since = "1.53.0")]
357impl<T> AsRef<[T]> for IterMut<'_, T> {
358    #[inline]
359    fn as_ref(&self) -> &[T] {
360        self.as_slice()
361    }
362}
363
364// #[stable(feature = "slice_iter_mut_as_mut_slice", since = "FIXME")]
365// impl<T> AsMut<[T]> for IterMut<'_, T> {
366//     fn as_mut(&mut self) -> &mut [T] {
367//         self.as_mut_slice()
368//     }
369// }
370
371iterator! {struct IterMut -> *mut T, &'a mut T, mut, {mut}, as_mut, {}}
372
373/// An internal abstraction over the splitting iterators, so that
374/// splitn, splitn_mut etc can be implemented once.
375#[doc(hidden)]
376pub(super) trait SplitIter: DoubleEndedIterator {
377    /// Marks the underlying iterator as complete, extracting the remaining
378    /// portion of the slice.
379    fn finish(&mut self) -> Option<Self::Item>;
380}
381
382/// An iterator over subslices separated by elements that match a predicate
383/// function.
384///
385/// This struct is created by the [`split`] method on [slices].
386///
387/// # Example
388///
389/// ```
390/// let slice = [10, 40, 33, 20];
391/// let mut iter = slice.split(|num| num % 3 == 0);
392/// assert_eq!(iter.next(), Some(&[10, 40][..]));
393/// assert_eq!(iter.next(), Some(&[20][..]));
394/// assert_eq!(iter.next(), None);
395/// ```
396///
397/// [`split`]: slice::split
398/// [slices]: slice
399#[stable(feature = "rust1", since = "1.0.0")]
400#[must_use = "iterators are lazy and do nothing unless consumed"]
401pub struct Split<'a, T: 'a, P>
402where
403    P: FnMut(&T) -> bool,
404{
405    // Used for `SplitWhitespace` and `SplitAsciiWhitespace` `as_str` methods
406    pub(crate) v: &'a [T],
407    pred: P,
408    // Used for `SplitAsciiWhitespace` `as_str` method
409    pub(crate) finished: bool,
410}
411
412impl<'a, T: 'a, P: FnMut(&T) -> bool> Split<'a, T, P> {
413    #[inline]
414    pub(super) fn new(slice: &'a [T], pred: P) -> Self {
415        Self { v: slice, pred, finished: false }
416    }
417    /// Returns a slice which contains items not yet handled by split.
418    /// # Example
419    ///
420    /// ```
421    /// #![feature(split_as_slice)]
422    /// let slice = [1,2,3,4,5];
423    /// let mut split = slice.split(|v| v % 2 == 0);
424    /// assert!(split.next().is_some());
425    /// assert_eq!(split.as_slice(), &[3,4,5]);
426    /// ```
427    #[unstable(feature = "split_as_slice", issue = "96137")]
428    pub fn as_slice(&self) -> &'a [T] {
429        if self.finished { &[] } else { &self.v }
430    }
431}
432
433#[stable(feature = "core_impl_debug", since = "1.9.0")]
434impl<T: fmt::Debug, P> fmt::Debug for Split<'_, T, P>
435where
436    P: FnMut(&T) -> bool,
437{
438    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
439        f.debug_struct("Split").field("v", &self.v).field("finished", &self.finished).finish()
440    }
441}
442
443// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
444#[stable(feature = "rust1", since = "1.0.0")]
445impl<T, P> Clone for Split<'_, T, P>
446where
447    P: Clone + FnMut(&T) -> bool,
448{
449    fn clone(&self) -> Self {
450        Split { v: self.v, pred: self.pred.clone(), finished: self.finished }
451    }
452}
453
454#[stable(feature = "rust1", since = "1.0.0")]
455impl<'a, T, P> Iterator for Split<'a, T, P>
456where
457    P: FnMut(&T) -> bool,
458{
459    type Item = &'a [T];
460
461    #[inline]
462    fn next(&mut self) -> Option<&'a [T]> {
463        if self.finished {
464            return None;
465        }
466
467        match self.v.iter().position(|x| (self.pred)(x)) {
468            None => self.finish(),
469            Some(idx) => {
470                let (left, right) =
471                    // SAFETY: if v.iter().position returns Some(idx), that
472                    // idx is definitely a valid index for v
473                    unsafe { (self.v.get_unchecked(..idx), self.v.get_unchecked(idx + 1..)) };
474                let ret = Some(left);
475                self.v = right;
476                ret
477            }
478        }
479    }
480
481    #[inline]
482    fn size_hint(&self) -> (usize, Option<usize>) {
483        if self.finished {
484            (0, Some(0))
485        } else {
486            // If the predicate doesn't match anything, we yield one slice.
487            // If it matches every element, we yield `len() + 1` empty slices.
488            (1, Some(self.v.len() + 1))
489        }
490    }
491}
492
493#[stable(feature = "rust1", since = "1.0.0")]
494impl<'a, T, P> DoubleEndedIterator for Split<'a, T, P>
495where
496    P: FnMut(&T) -> bool,
497{
498    #[inline]
499    fn next_back(&mut self) -> Option<&'a [T]> {
500        if self.finished {
501            return None;
502        }
503
504        match self.v.iter().rposition(|x| (self.pred)(x)) {
505            None => self.finish(),
506            Some(idx) => {
507                let (left, right) =
508                    // SAFETY: if v.iter().rposition returns Some(idx), then
509                    // idx is definitely a valid index for v
510                    unsafe { (self.v.get_unchecked(..idx), self.v.get_unchecked(idx + 1..)) };
511                let ret = Some(right);
512                self.v = left;
513                ret
514            }
515        }
516    }
517}
518
519impl<'a, T, P> SplitIter for Split<'a, T, P>
520where
521    P: FnMut(&T) -> bool,
522{
523    #[inline]
524    fn finish(&mut self) -> Option<&'a [T]> {
525        if self.finished {
526            None
527        } else {
528            self.finished = true;
529            Some(self.v)
530        }
531    }
532}
533
534#[stable(feature = "fused", since = "1.26.0")]
535impl<T, P> FusedIterator for Split<'_, T, P> where P: FnMut(&T) -> bool {}
536
537/// An iterator over subslices separated by elements that match a predicate
538/// function. Unlike `Split`, it contains the matched part as a terminator
539/// of the subslice.
540///
541/// This struct is created by the [`split_inclusive`] method on [slices].
542///
543/// # Example
544///
545/// ```
546/// let slice = [10, 40, 33, 20];
547/// let mut iter = slice.split_inclusive(|num| num % 3 == 0);
548/// assert_eq!(iter.next(), Some(&[10, 40, 33][..]));
549/// assert_eq!(iter.next(), Some(&[20][..]));
550/// assert_eq!(iter.next(), None);
551/// ```
552///
553/// [`split_inclusive`]: slice::split_inclusive
554/// [slices]: slice
555#[stable(feature = "split_inclusive", since = "1.51.0")]
556#[must_use = "iterators are lazy and do nothing unless consumed"]
557pub struct SplitInclusive<'a, T: 'a, P>
558where
559    P: FnMut(&T) -> bool,
560{
561    v: &'a [T],
562    pred: P,
563    finished: bool,
564}
565
566impl<'a, T: 'a, P: FnMut(&T) -> bool> SplitInclusive<'a, T, P> {
567    #[inline]
568    pub(super) fn new(slice: &'a [T], pred: P) -> Self {
569        let finished = slice.is_empty();
570        Self { v: slice, pred, finished }
571    }
572}
573
574#[stable(feature = "split_inclusive", since = "1.51.0")]
575impl<T: fmt::Debug, P> fmt::Debug for SplitInclusive<'_, T, P>
576where
577    P: FnMut(&T) -> bool,
578{
579    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
580        f.debug_struct("SplitInclusive")
581            .field("v", &self.v)
582            .field("finished", &self.finished)
583            .finish()
584    }
585}
586
587// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
588#[stable(feature = "split_inclusive", since = "1.51.0")]
589impl<T, P> Clone for SplitInclusive<'_, T, P>
590where
591    P: Clone + FnMut(&T) -> bool,
592{
593    fn clone(&self) -> Self {
594        SplitInclusive { v: self.v, pred: self.pred.clone(), finished: self.finished }
595    }
596}
597
598#[stable(feature = "split_inclusive", since = "1.51.0")]
599impl<'a, T, P> Iterator for SplitInclusive<'a, T, P>
600where
601    P: FnMut(&T) -> bool,
602{
603    type Item = &'a [T];
604
605    #[inline]
606    fn next(&mut self) -> Option<&'a [T]> {
607        if self.finished {
608            return None;
609        }
610
611        let idx =
612            self.v.iter().position(|x| (self.pred)(x)).map(|idx| idx + 1).unwrap_or(self.v.len());
613        if idx == self.v.len() {
614            self.finished = true;
615        }
616        let ret = Some(&self.v[..idx]);
617        self.v = &self.v[idx..];
618        ret
619    }
620
621    #[inline]
622    fn size_hint(&self) -> (usize, Option<usize>) {
623        if self.finished {
624            (0, Some(0))
625        } else {
626            // If the predicate doesn't match anything, we yield one slice.
627            // If it matches every element, we yield `len()` one-element slices,
628            // or a single empty slice.
629            (1, Some(cmp::max(1, self.v.len())))
630        }
631    }
632}
633
634#[stable(feature = "split_inclusive", since = "1.51.0")]
635impl<'a, T, P> DoubleEndedIterator for SplitInclusive<'a, T, P>
636where
637    P: FnMut(&T) -> bool,
638{
639    #[inline]
640    fn next_back(&mut self) -> Option<&'a [T]> {
641        if self.finished {
642            return None;
643        }
644
645        // The last index of self.v is already checked and found to match
646        // by the last iteration, so we start searching a new match
647        // one index to the left.
648        let remainder = if self.v.is_empty() { &[] } else { &self.v[..(self.v.len() - 1)] };
649        let idx = remainder.iter().rposition(|x| (self.pred)(x)).map(|idx| idx + 1).unwrap_or(0);
650        if idx == 0 {
651            self.finished = true;
652        }
653        let ret = Some(&self.v[idx..]);
654        self.v = &self.v[..idx];
655        ret
656    }
657}
658
659#[stable(feature = "split_inclusive", since = "1.51.0")]
660impl<T, P> FusedIterator for SplitInclusive<'_, T, P> where P: FnMut(&T) -> bool {}
661
662/// An iterator over the mutable subslices of the vector which are separated
663/// by elements that match `pred`.
664///
665/// This struct is created by the [`split_mut`] method on [slices].
666///
667/// # Example
668///
669/// ```
670/// let mut v = [10, 40, 30, 20, 60, 50];
671/// let iter = v.split_mut(|num| *num % 3 == 0);
672/// ```
673///
674/// [`split_mut`]: slice::split_mut
675/// [slices]: slice
676#[stable(feature = "rust1", since = "1.0.0")]
677#[must_use = "iterators are lazy and do nothing unless consumed"]
678pub struct SplitMut<'a, T: 'a, P>
679where
680    P: FnMut(&T) -> bool,
681{
682    v: &'a mut [T],
683    pred: P,
684    finished: bool,
685}
686
687impl<'a, T: 'a, P: FnMut(&T) -> bool> SplitMut<'a, T, P> {
688    #[inline]
689    pub(super) fn new(slice: &'a mut [T], pred: P) -> Self {
690        Self { v: slice, pred, finished: false }
691    }
692}
693
694#[stable(feature = "core_impl_debug", since = "1.9.0")]
695impl<T: fmt::Debug, P> fmt::Debug for SplitMut<'_, T, P>
696where
697    P: FnMut(&T) -> bool,
698{
699    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
700        f.debug_struct("SplitMut").field("v", &self.v).field("finished", &self.finished).finish()
701    }
702}
703
704impl<'a, T, P> SplitIter for SplitMut<'a, T, P>
705where
706    P: FnMut(&T) -> bool,
707{
708    #[inline]
709    fn finish(&mut self) -> Option<&'a mut [T]> {
710        if self.finished {
711            None
712        } else {
713            self.finished = true;
714            Some(mem::take(&mut self.v))
715        }
716    }
717}
718
719#[stable(feature = "rust1", since = "1.0.0")]
720impl<'a, T, P> Iterator for SplitMut<'a, T, P>
721where
722    P: FnMut(&T) -> bool,
723{
724    type Item = &'a mut [T];
725
726    #[inline]
727    fn next(&mut self) -> Option<&'a mut [T]> {
728        if self.finished {
729            return None;
730        }
731
732        match self.v.iter().position(|x| (self.pred)(x)) {
733            None => self.finish(),
734            Some(idx) => {
735                let tmp = mem::take(&mut self.v);
736                // idx is the index of the element we are splitting on. We want to set self to the
737                // region after idx, and return the subslice before and not including idx.
738                // So first we split after idx
739                let (head, tail) = tmp.split_at_mut(idx + 1);
740                self.v = tail;
741                // Then return the subslice up to but not including the found element
742                Some(&mut head[..idx])
743            }
744        }
745    }
746
747    #[inline]
748    fn size_hint(&self) -> (usize, Option<usize>) {
749        if self.finished {
750            (0, Some(0))
751        } else {
752            // If the predicate doesn't match anything, we yield one slice.
753            // If it matches every element, we yield `len() + 1` empty slices.
754            (1, Some(self.v.len() + 1))
755        }
756    }
757}
758
759#[stable(feature = "rust1", since = "1.0.0")]
760impl<'a, T, P> DoubleEndedIterator for SplitMut<'a, T, P>
761where
762    P: FnMut(&T) -> bool,
763{
764    #[inline]
765    fn next_back(&mut self) -> Option<&'a mut [T]> {
766        if self.finished {
767            return None;
768        }
769
770        let idx_opt = {
771            // work around borrowck limitations
772            let pred = &mut self.pred;
773            self.v.iter().rposition(|x| (*pred)(x))
774        };
775        match idx_opt {
776            None => self.finish(),
777            Some(idx) => {
778                let tmp = mem::take(&mut self.v);
779                let (head, tail) = tmp.split_at_mut(idx);
780                self.v = head;
781                Some(&mut tail[1..])
782            }
783        }
784    }
785}
786
787#[stable(feature = "fused", since = "1.26.0")]
788impl<T, P> FusedIterator for SplitMut<'_, T, P> where P: FnMut(&T) -> bool {}
789
790/// An iterator over the mutable subslices of the vector which are separated
791/// by elements that match `pred`. Unlike `SplitMut`, it contains the matched
792/// parts in the ends of the subslices.
793///
794/// This struct is created by the [`split_inclusive_mut`] method on [slices].
795///
796/// # Example
797///
798/// ```
799/// let mut v = [10, 40, 30, 20, 60, 50];
800/// let iter = v.split_inclusive_mut(|num| *num % 3 == 0);
801/// ```
802///
803/// [`split_inclusive_mut`]: slice::split_inclusive_mut
804/// [slices]: slice
805#[stable(feature = "split_inclusive", since = "1.51.0")]
806#[must_use = "iterators are lazy and do nothing unless consumed"]
807pub struct SplitInclusiveMut<'a, T: 'a, P>
808where
809    P: FnMut(&T) -> bool,
810{
811    v: &'a mut [T],
812    pred: P,
813    finished: bool,
814}
815
816impl<'a, T: 'a, P: FnMut(&T) -> bool> SplitInclusiveMut<'a, T, P> {
817    #[inline]
818    pub(super) fn new(slice: &'a mut [T], pred: P) -> Self {
819        let finished = slice.is_empty();
820        Self { v: slice, pred, finished }
821    }
822}
823
824#[stable(feature = "split_inclusive", since = "1.51.0")]
825impl<T: fmt::Debug, P> fmt::Debug for SplitInclusiveMut<'_, T, P>
826where
827    P: FnMut(&T) -> bool,
828{
829    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
830        f.debug_struct("SplitInclusiveMut")
831            .field("v", &self.v)
832            .field("finished", &self.finished)
833            .finish()
834    }
835}
836
837#[stable(feature = "split_inclusive", since = "1.51.0")]
838impl<'a, T, P> Iterator for SplitInclusiveMut<'a, T, P>
839where
840    P: FnMut(&T) -> bool,
841{
842    type Item = &'a mut [T];
843
844    #[inline]
845    fn next(&mut self) -> Option<&'a mut [T]> {
846        if self.finished {
847            return None;
848        }
849
850        let idx_opt = {
851            // work around borrowck limitations
852            let pred = &mut self.pred;
853            self.v.iter().position(|x| (*pred)(x))
854        };
855        let idx = idx_opt.map(|idx| idx + 1).unwrap_or(self.v.len());
856        if idx == self.v.len() {
857            self.finished = true;
858        }
859        let tmp = mem::take(&mut self.v);
860        let (head, tail) = tmp.split_at_mut(idx);
861        self.v = tail;
862        Some(head)
863    }
864
865    #[inline]
866    fn size_hint(&self) -> (usize, Option<usize>) {
867        if self.finished {
868            (0, Some(0))
869        } else {
870            // If the predicate doesn't match anything, we yield one slice.
871            // If it matches every element, we yield `len()` one-element slices,
872            // or a single empty slice.
873            (1, Some(cmp::max(1, self.v.len())))
874        }
875    }
876}
877
878#[stable(feature = "split_inclusive", since = "1.51.0")]
879impl<'a, T, P> DoubleEndedIterator for SplitInclusiveMut<'a, T, P>
880where
881    P: FnMut(&T) -> bool,
882{
883    #[inline]
884    fn next_back(&mut self) -> Option<&'a mut [T]> {
885        if self.finished {
886            return None;
887        }
888
889        let idx_opt = if self.v.is_empty() {
890            None
891        } else {
892            // work around borrowck limitations
893            let pred = &mut self.pred;
894
895            // The last index of self.v is already checked and found to match
896            // by the last iteration, so we start searching a new match
897            // one index to the left.
898            let remainder = &self.v[..(self.v.len() - 1)];
899            remainder.iter().rposition(|x| (*pred)(x))
900        };
901        let idx = idx_opt.map(|idx| idx + 1).unwrap_or(0);
902        if idx == 0 {
903            self.finished = true;
904        }
905        let tmp = mem::take(&mut self.v);
906        let (head, tail) = tmp.split_at_mut(idx);
907        self.v = head;
908        Some(tail)
909    }
910}
911
912#[stable(feature = "split_inclusive", since = "1.51.0")]
913impl<T, P> FusedIterator for SplitInclusiveMut<'_, T, P> where P: FnMut(&T) -> bool {}
914
915/// An iterator over subslices separated by elements that match a predicate
916/// function, starting from the end of the slice.
917///
918/// This struct is created by the [`rsplit`] method on [slices].
919///
920/// # Example
921///
922/// ```
923/// let slice = [11, 22, 33, 0, 44, 55];
924/// let mut iter = slice.rsplit(|num| *num == 0);
925/// assert_eq!(iter.next(), Some(&[44, 55][..]));
926/// assert_eq!(iter.next(), Some(&[11, 22, 33][..]));
927/// assert_eq!(iter.next(), None);
928/// ```
929///
930/// [`rsplit`]: slice::rsplit
931/// [slices]: slice
932#[stable(feature = "slice_rsplit", since = "1.27.0")]
933#[must_use = "iterators are lazy and do nothing unless consumed"]
934pub struct RSplit<'a, T: 'a, P>
935where
936    P: FnMut(&T) -> bool,
937{
938    inner: Split<'a, T, P>,
939}
940
941impl<'a, T: 'a, P: FnMut(&T) -> bool> RSplit<'a, T, P> {
942    #[inline]
943    pub(super) fn new(slice: &'a [T], pred: P) -> Self {
944        Self { inner: Split::new(slice, pred) }
945    }
946}
947
948#[stable(feature = "slice_rsplit", since = "1.27.0")]
949impl<T: fmt::Debug, P> fmt::Debug for RSplit<'_, T, P>
950where
951    P: FnMut(&T) -> bool,
952{
953    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
954        f.debug_struct("RSplit")
955            .field("v", &self.inner.v)
956            .field("finished", &self.inner.finished)
957            .finish()
958    }
959}
960
961// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
962#[stable(feature = "slice_rsplit", since = "1.27.0")]
963impl<T, P> Clone for RSplit<'_, T, P>
964where
965    P: Clone + FnMut(&T) -> bool,
966{
967    fn clone(&self) -> Self {
968        RSplit { inner: self.inner.clone() }
969    }
970}
971
972#[stable(feature = "slice_rsplit", since = "1.27.0")]
973impl<'a, T, P> Iterator for RSplit<'a, T, P>
974where
975    P: FnMut(&T) -> bool,
976{
977    type Item = &'a [T];
978
979    #[inline]
980    fn next(&mut self) -> Option<&'a [T]> {
981        self.inner.next_back()
982    }
983
984    #[inline]
985    fn size_hint(&self) -> (usize, Option<usize>) {
986        self.inner.size_hint()
987    }
988}
989
990#[stable(feature = "slice_rsplit", since = "1.27.0")]
991impl<'a, T, P> DoubleEndedIterator for RSplit<'a, T, P>
992where
993    P: FnMut(&T) -> bool,
994{
995    #[inline]
996    fn next_back(&mut self) -> Option<&'a [T]> {
997        self.inner.next()
998    }
999}
1000
1001#[stable(feature = "slice_rsplit", since = "1.27.0")]
1002impl<'a, T, P> SplitIter for RSplit<'a, T, P>
1003where
1004    P: FnMut(&T) -> bool,
1005{
1006    #[inline]
1007    fn finish(&mut self) -> Option<&'a [T]> {
1008        self.inner.finish()
1009    }
1010}
1011
1012#[stable(feature = "slice_rsplit", since = "1.27.0")]
1013impl<T, P> FusedIterator for RSplit<'_, T, P> where P: FnMut(&T) -> bool {}
1014
1015/// An iterator over the subslices of the vector which are separated
1016/// by elements that match `pred`, starting from the end of the slice.
1017///
1018/// This struct is created by the [`rsplit_mut`] method on [slices].
1019///
1020/// # Example
1021///
1022/// ```
1023/// let mut slice = [11, 22, 33, 0, 44, 55];
1024/// let iter = slice.rsplit_mut(|num| *num == 0);
1025/// ```
1026///
1027/// [`rsplit_mut`]: slice::rsplit_mut
1028/// [slices]: slice
1029#[stable(feature = "slice_rsplit", since = "1.27.0")]
1030#[must_use = "iterators are lazy and do nothing unless consumed"]
1031pub struct RSplitMut<'a, T: 'a, P>
1032where
1033    P: FnMut(&T) -> bool,
1034{
1035    inner: SplitMut<'a, T, P>,
1036}
1037
1038impl<'a, T: 'a, P: FnMut(&T) -> bool> RSplitMut<'a, T, P> {
1039    #[inline]
1040    pub(super) fn new(slice: &'a mut [T], pred: P) -> Self {
1041        Self { inner: SplitMut::new(slice, pred) }
1042    }
1043}
1044
1045#[stable(feature = "slice_rsplit", since = "1.27.0")]
1046impl<T: fmt::Debug, P> fmt::Debug for RSplitMut<'_, T, P>
1047where
1048    P: FnMut(&T) -> bool,
1049{
1050    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1051        f.debug_struct("RSplitMut")
1052            .field("v", &self.inner.v)
1053            .field("finished", &self.inner.finished)
1054            .finish()
1055    }
1056}
1057
1058#[stable(feature = "slice_rsplit", since = "1.27.0")]
1059impl<'a, T, P> SplitIter for RSplitMut<'a, T, P>
1060where
1061    P: FnMut(&T) -> bool,
1062{
1063    #[inline]
1064    fn finish(&mut self) -> Option<&'a mut [T]> {
1065        self.inner.finish()
1066    }
1067}
1068
1069#[stable(feature = "slice_rsplit", since = "1.27.0")]
1070impl<'a, T, P> Iterator for RSplitMut<'a, T, P>
1071where
1072    P: FnMut(&T) -> bool,
1073{
1074    type Item = &'a mut [T];
1075
1076    #[inline]
1077    fn next(&mut self) -> Option<&'a mut [T]> {
1078        self.inner.next_back()
1079    }
1080
1081    #[inline]
1082    fn size_hint(&self) -> (usize, Option<usize>) {
1083        self.inner.size_hint()
1084    }
1085}
1086
1087#[stable(feature = "slice_rsplit", since = "1.27.0")]
1088impl<'a, T, P> DoubleEndedIterator for RSplitMut<'a, T, P>
1089where
1090    P: FnMut(&T) -> bool,
1091{
1092    #[inline]
1093    fn next_back(&mut self) -> Option<&'a mut [T]> {
1094        self.inner.next()
1095    }
1096}
1097
1098#[stable(feature = "slice_rsplit", since = "1.27.0")]
1099impl<T, P> FusedIterator for RSplitMut<'_, T, P> where P: FnMut(&T) -> bool {}
1100
1101/// An private iterator over subslices separated by elements that
1102/// match a predicate function, splitting at most a fixed number of
1103/// times.
1104#[derive(Debug)]
1105struct GenericSplitN<I> {
1106    iter: I,
1107    count: usize,
1108}
1109
1110impl<T, I: SplitIter<Item = T>> Iterator for GenericSplitN<I> {
1111    type Item = T;
1112
1113    #[inline]
1114    fn next(&mut self) -> Option<T> {
1115        match self.count {
1116            0 => None,
1117            1 => {
1118                self.count -= 1;
1119                self.iter.finish()
1120            }
1121            _ => {
1122                self.count -= 1;
1123                self.iter.next()
1124            }
1125        }
1126    }
1127
1128    #[inline]
1129    fn size_hint(&self) -> (usize, Option<usize>) {
1130        let (lower, upper_opt) = self.iter.size_hint();
1131        (
1132            cmp::min(self.count, lower),
1133            Some(upper_opt.map_or(self.count, |upper| cmp::min(self.count, upper))),
1134        )
1135    }
1136}
1137
1138/// An iterator over subslices separated by elements that match a predicate
1139/// function, limited to a given number of splits.
1140///
1141/// This struct is created by the [`splitn`] method on [slices].
1142///
1143/// # Example
1144///
1145/// ```
1146/// let slice = [10, 40, 30, 20, 60, 50];
1147/// let mut iter = slice.splitn(2, |num| *num % 3 == 0);
1148/// assert_eq!(iter.next(), Some(&[10, 40][..]));
1149/// assert_eq!(iter.next(), Some(&[20, 60, 50][..]));
1150/// assert_eq!(iter.next(), None);
1151/// ```
1152///
1153/// [`splitn`]: slice::splitn
1154/// [slices]: slice
1155#[stable(feature = "rust1", since = "1.0.0")]
1156#[must_use = "iterators are lazy and do nothing unless consumed"]
1157pub struct SplitN<'a, T: 'a, P>
1158where
1159    P: FnMut(&T) -> bool,
1160{
1161    inner: GenericSplitN<Split<'a, T, P>>,
1162}
1163
1164impl<'a, T: 'a, P: FnMut(&T) -> bool> SplitN<'a, T, P> {
1165    #[inline]
1166    pub(super) fn new(s: Split<'a, T, P>, n: usize) -> Self {
1167        Self { inner: GenericSplitN { iter: s, count: n } }
1168    }
1169}
1170
1171#[stable(feature = "core_impl_debug", since = "1.9.0")]
1172impl<T: fmt::Debug, P> fmt::Debug for SplitN<'_, T, P>
1173where
1174    P: FnMut(&T) -> bool,
1175{
1176    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1177        f.debug_struct("SplitN").field("inner", &self.inner).finish()
1178    }
1179}
1180
1181/// An iterator over subslices separated by elements that match a
1182/// predicate function, limited to a given number of splits, starting
1183/// from the end of the slice.
1184///
1185/// This struct is created by the [`rsplitn`] method on [slices].
1186///
1187/// # Example
1188///
1189/// ```
1190/// let slice = [10, 40, 30, 20, 60, 50];
1191/// let mut iter = slice.rsplitn(2, |num| *num % 3 == 0);
1192/// assert_eq!(iter.next(), Some(&[50][..]));
1193/// assert_eq!(iter.next(), Some(&[10, 40, 30, 20][..]));
1194/// assert_eq!(iter.next(), None);
1195/// ```
1196///
1197/// [`rsplitn`]: slice::rsplitn
1198/// [slices]: slice
1199#[stable(feature = "rust1", since = "1.0.0")]
1200#[must_use = "iterators are lazy and do nothing unless consumed"]
1201pub struct RSplitN<'a, T: 'a, P>
1202where
1203    P: FnMut(&T) -> bool,
1204{
1205    inner: GenericSplitN<RSplit<'a, T, P>>,
1206}
1207
1208impl<'a, T: 'a, P: FnMut(&T) -> bool> RSplitN<'a, T, P> {
1209    #[inline]
1210    pub(super) fn new(s: RSplit<'a, T, P>, n: usize) -> Self {
1211        Self { inner: GenericSplitN { iter: s, count: n } }
1212    }
1213}
1214
1215#[stable(feature = "core_impl_debug", since = "1.9.0")]
1216impl<T: fmt::Debug, P> fmt::Debug for RSplitN<'_, T, P>
1217where
1218    P: FnMut(&T) -> bool,
1219{
1220    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1221        f.debug_struct("RSplitN").field("inner", &self.inner).finish()
1222    }
1223}
1224
1225/// An iterator over subslices separated by elements that match a predicate
1226/// function, limited to a given number of splits.
1227///
1228/// This struct is created by the [`splitn_mut`] method on [slices].
1229///
1230/// # Example
1231///
1232/// ```
1233/// let mut slice = [10, 40, 30, 20, 60, 50];
1234/// let iter = slice.splitn_mut(2, |num| *num % 3 == 0);
1235/// ```
1236///
1237/// [`splitn_mut`]: slice::splitn_mut
1238/// [slices]: slice
1239#[stable(feature = "rust1", since = "1.0.0")]
1240#[must_use = "iterators are lazy and do nothing unless consumed"]
1241pub struct SplitNMut<'a, T: 'a, P>
1242where
1243    P: FnMut(&T) -> bool,
1244{
1245    inner: GenericSplitN<SplitMut<'a, T, P>>,
1246}
1247
1248impl<'a, T: 'a, P: FnMut(&T) -> bool> SplitNMut<'a, T, P> {
1249    #[inline]
1250    pub(super) fn new(s: SplitMut<'a, T, P>, n: usize) -> Self {
1251        Self { inner: GenericSplitN { iter: s, count: n } }
1252    }
1253}
1254
1255#[stable(feature = "core_impl_debug", since = "1.9.0")]
1256impl<T: fmt::Debug, P> fmt::Debug for SplitNMut<'_, T, P>
1257where
1258    P: FnMut(&T) -> bool,
1259{
1260    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1261        f.debug_struct("SplitNMut").field("inner", &self.inner).finish()
1262    }
1263}
1264
1265/// An iterator over subslices separated by elements that match a
1266/// predicate function, limited to a given number of splits, starting
1267/// from the end of the slice.
1268///
1269/// This struct is created by the [`rsplitn_mut`] method on [slices].
1270///
1271/// # Example
1272///
1273/// ```
1274/// let mut slice = [10, 40, 30, 20, 60, 50];
1275/// let iter = slice.rsplitn_mut(2, |num| *num % 3 == 0);
1276/// ```
1277///
1278/// [`rsplitn_mut`]: slice::rsplitn_mut
1279/// [slices]: slice
1280#[stable(feature = "rust1", since = "1.0.0")]
1281#[must_use = "iterators are lazy and do nothing unless consumed"]
1282pub struct RSplitNMut<'a, T: 'a, P>
1283where
1284    P: FnMut(&T) -> bool,
1285{
1286    inner: GenericSplitN<RSplitMut<'a, T, P>>,
1287}
1288
1289impl<'a, T: 'a, P: FnMut(&T) -> bool> RSplitNMut<'a, T, P> {
1290    #[inline]
1291    pub(super) fn new(s: RSplitMut<'a, T, P>, n: usize) -> Self {
1292        Self { inner: GenericSplitN { iter: s, count: n } }
1293    }
1294}
1295
1296#[stable(feature = "core_impl_debug", since = "1.9.0")]
1297impl<T: fmt::Debug, P> fmt::Debug for RSplitNMut<'_, T, P>
1298where
1299    P: FnMut(&T) -> bool,
1300{
1301    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1302        f.debug_struct("RSplitNMut").field("inner", &self.inner).finish()
1303    }
1304}
1305
1306forward_iterator! { SplitN: T, &'a [T] }
1307forward_iterator! { RSplitN: T, &'a [T] }
1308forward_iterator! { SplitNMut: T, &'a mut [T] }
1309forward_iterator! { RSplitNMut: T, &'a mut [T] }
1310
1311/// An iterator over overlapping subslices of length `size`.
1312///
1313/// This struct is created by the [`windows`] method on [slices].
1314///
1315/// # Example
1316///
1317/// ```
1318/// let slice = ['r', 'u', 's', 't'];
1319/// let mut iter = slice.windows(2);
1320/// assert_eq!(iter.next(), Some(&['r', 'u'][..]));
1321/// assert_eq!(iter.next(), Some(&['u', 's'][..]));
1322/// assert_eq!(iter.next(), Some(&['s', 't'][..]));
1323/// assert_eq!(iter.next(), None);
1324/// ```
1325///
1326/// [`windows`]: slice::windows
1327/// [slices]: slice
1328#[derive(Debug)]
1329#[stable(feature = "rust1", since = "1.0.0")]
1330#[must_use = "iterators are lazy and do nothing unless consumed"]
1331pub struct Windows<'a, T: 'a> {
1332    v: &'a [T],
1333    size: NonZero<usize>,
1334}
1335
1336impl<'a, T: 'a> Windows<'a, T> {
1337    #[inline]
1338    pub(super) const fn new(slice: &'a [T], size: NonZero<usize>) -> Self {
1339        Self { v: slice, size }
1340    }
1341}
1342
1343// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
1344#[stable(feature = "rust1", since = "1.0.0")]
1345impl<T> Clone for Windows<'_, T> {
1346    fn clone(&self) -> Self {
1347        Windows { v: self.v, size: self.size }
1348    }
1349}
1350
1351#[stable(feature = "rust1", since = "1.0.0")]
1352impl<'a, T> Iterator for Windows<'a, T> {
1353    type Item = &'a [T];
1354
1355    #[inline]
1356    fn next(&mut self) -> Option<&'a [T]> {
1357        if self.size.get() > self.v.len() {
1358            None
1359        } else {
1360            let ret = Some(&self.v[..self.size.get()]);
1361            self.v = &self.v[1..];
1362            ret
1363        }
1364    }
1365
1366    #[inline]
1367    fn size_hint(&self) -> (usize, Option<usize>) {
1368        if self.size.get() > self.v.len() {
1369            (0, Some(0))
1370        } else {
1371            let size = self.v.len() - self.size.get() + 1;
1372            (size, Some(size))
1373        }
1374    }
1375
1376    #[inline]
1377    fn count(self) -> usize {
1378        self.len()
1379    }
1380
1381    #[inline]
1382    fn nth(&mut self, n: usize) -> Option<Self::Item> {
1383        let size = self.size.get();
1384        if let Some(rest) = self.v.get(n..)
1385            && let Some(nth) = rest.get(..size)
1386        {
1387            self.v = &rest[1..];
1388            Some(nth)
1389        } else {
1390            // setting length to 0 is cheaper than overwriting the pointer when assigning &[]
1391            self.v = &self.v[..0]; // cheaper than &[]
1392            None
1393        }
1394    }
1395
1396    #[inline]
1397    fn last(self) -> Option<Self::Item> {
1398        if self.size.get() > self.v.len() {
1399            None
1400        } else {
1401            let start = self.v.len() - self.size.get();
1402            Some(&self.v[start..])
1403        }
1404    }
1405
1406    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
1407        // SAFETY: since the caller guarantees that `i` is in bounds,
1408        // which means that `i` cannot overflow an `isize`, and the
1409        // slice created by `from_raw_parts` is a subslice of `self.v`
1410        // thus is guaranteed to be valid for the lifetime `'a` of `self.v`.
1411        unsafe { from_raw_parts(self.v.as_ptr().add(idx), self.size.get()) }
1412    }
1413}
1414
1415#[stable(feature = "rust1", since = "1.0.0")]
1416impl<'a, T> DoubleEndedIterator for Windows<'a, T> {
1417    #[inline]
1418    fn next_back(&mut self) -> Option<&'a [T]> {
1419        if self.size.get() > self.v.len() {
1420            None
1421        } else {
1422            let ret = Some(&self.v[self.v.len() - self.size.get()..]);
1423            self.v = &self.v[..self.v.len() - 1];
1424            ret
1425        }
1426    }
1427
1428    #[inline]
1429    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
1430        let (end, overflow) = self.v.len().overflowing_sub(n);
1431        if end < self.size.get() || overflow {
1432            self.v = &self.v[..0]; // cheaper than &[]
1433            None
1434        } else {
1435            let ret = &self.v[end - self.size.get()..end];
1436            self.v = &self.v[..end - 1];
1437            Some(ret)
1438        }
1439    }
1440}
1441
1442#[stable(feature = "rust1", since = "1.0.0")]
1443impl<T> ExactSizeIterator for Windows<'_, T> {}
1444
1445#[unstable(feature = "trusted_len", issue = "37572")]
1446unsafe impl<T> TrustedLen for Windows<'_, T> {}
1447
1448#[stable(feature = "fused", since = "1.26.0")]
1449impl<T> FusedIterator for Windows<'_, T> {}
1450
1451#[doc(hidden)]
1452#[unstable(feature = "trusted_random_access", issue = "none")]
1453unsafe impl<'a, T> TrustedRandomAccess for Windows<'a, T> {}
1454
1455#[doc(hidden)]
1456#[unstable(feature = "trusted_random_access", issue = "none")]
1457unsafe impl<'a, T> TrustedRandomAccessNoCoerce for Windows<'a, T> {
1458    const MAY_HAVE_SIDE_EFFECT: bool = false;
1459}
1460
1461/// An iterator over a slice in (non-overlapping) chunks (`chunk_size` elements at a
1462/// time), starting at the beginning of the slice.
1463///
1464/// When the slice len is not evenly divided by the chunk size, the last slice
1465/// of the iteration will be the remainder.
1466///
1467/// This struct is created by the [`chunks`] method on [slices].
1468///
1469/// # Example
1470///
1471/// ```
1472/// let slice = ['l', 'o', 'r', 'e', 'm'];
1473/// let mut iter = slice.chunks(2);
1474/// assert_eq!(iter.next(), Some(&['l', 'o'][..]));
1475/// assert_eq!(iter.next(), Some(&['r', 'e'][..]));
1476/// assert_eq!(iter.next(), Some(&['m'][..]));
1477/// assert_eq!(iter.next(), None);
1478/// ```
1479///
1480/// [`chunks`]: slice::chunks
1481/// [slices]: slice
1482#[derive(Debug)]
1483#[stable(feature = "rust1", since = "1.0.0")]
1484#[must_use = "iterators are lazy and do nothing unless consumed"]
1485pub struct Chunks<'a, T: 'a> {
1486    v: &'a [T],
1487    chunk_size: usize,
1488}
1489
1490impl<'a, T: 'a> Chunks<'a, T> {
1491    #[inline]
1492    pub(super) const fn new(slice: &'a [T], size: usize) -> Self {
1493        Self { v: slice, chunk_size: size }
1494    }
1495}
1496
1497// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
1498#[stable(feature = "rust1", since = "1.0.0")]
1499impl<T> Clone for Chunks<'_, T> {
1500    fn clone(&self) -> Self {
1501        Chunks { v: self.v, chunk_size: self.chunk_size }
1502    }
1503}
1504
1505#[stable(feature = "rust1", since = "1.0.0")]
1506impl<'a, T> Iterator for Chunks<'a, T> {
1507    type Item = &'a [T];
1508
1509    #[inline]
1510    fn next(&mut self) -> Option<&'a [T]> {
1511        if self.v.is_empty() {
1512            None
1513        } else {
1514            let chunksz = cmp::min(self.v.len(), self.chunk_size);
1515            let (fst, snd) = self.v.split_at(chunksz);
1516            self.v = snd;
1517            Some(fst)
1518        }
1519    }
1520
1521    #[inline]
1522    fn size_hint(&self) -> (usize, Option<usize>) {
1523        if self.v.is_empty() {
1524            (0, Some(0))
1525        } else {
1526            let n = self.v.len() / self.chunk_size;
1527            let rem = self.v.len() % self.chunk_size;
1528            let n = if rem > 0 { n + 1 } else { n };
1529            (n, Some(n))
1530        }
1531    }
1532
1533    #[inline]
1534    fn count(self) -> usize {
1535        self.len()
1536    }
1537
1538    #[inline]
1539    fn nth(&mut self, n: usize) -> Option<Self::Item> {
1540        let (start, overflow) = n.overflowing_mul(self.chunk_size);
1541        // min(len) makes a wrong start harmless, but enables optimizing this to brachless code
1542        let chunk_start = &self.v[start.min(self.v.len())..];
1543        let (nth, remainder) = chunk_start.split_at(self.chunk_size.min(chunk_start.len()));
1544        if !overflow && start < self.v.len() {
1545            self.v = remainder;
1546            Some(nth)
1547        } else {
1548            self.v = &self.v[..0]; // cheaper than &[]
1549            None
1550        }
1551    }
1552
1553    #[inline]
1554    fn last(self) -> Option<Self::Item> {
1555        if self.v.is_empty() {
1556            None
1557        } else {
1558            let start = (self.v.len() - 1) / self.chunk_size * self.chunk_size;
1559            Some(&self.v[start..])
1560        }
1561    }
1562
1563    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
1564        let start = idx * self.chunk_size;
1565        // SAFETY: the caller guarantees that `i` is in bounds,
1566        // which means that `start` must be in bounds of the
1567        // underlying `self.v` slice, and we made sure that `len`
1568        // is also in bounds of `self.v`. Thus, `start` cannot overflow
1569        // an `isize`, and the slice constructed by `from_raw_parts`
1570        // is a subslice of `self.v` which is guaranteed to be valid
1571        // for the lifetime `'a` of `self.v`.
1572        unsafe {
1573            let len = cmp::min(self.v.len().unchecked_sub(start), self.chunk_size);
1574            from_raw_parts(self.v.as_ptr().add(start), len)
1575        }
1576    }
1577}
1578
1579#[stable(feature = "rust1", since = "1.0.0")]
1580impl<'a, T> DoubleEndedIterator for Chunks<'a, T> {
1581    #[inline]
1582    fn next_back(&mut self) -> Option<&'a [T]> {
1583        if self.v.is_empty() {
1584            None
1585        } else {
1586            let remainder = self.v.len() % self.chunk_size;
1587            let chunksz = if remainder != 0 { remainder } else { self.chunk_size };
1588            // SAFETY: split_at_unchecked requires the argument be less than or
1589            // equal to the length. This is guaranteed, but subtle: `chunksz`
1590            // will always either be `self.v.len() % self.chunk_size`, which
1591            // will always evaluate to strictly less than `self.v.len()` (or
1592            // panic, in the case that `self.chunk_size` is zero), or it can be
1593            // `self.chunk_size`, in the case that the length is exactly
1594            // divisible by the chunk size.
1595            //
1596            // While it seems like using `self.chunk_size` in this case could
1597            // lead to a value greater than `self.v.len()`, it cannot: if
1598            // `self.chunk_size` were greater than `self.v.len()`, then
1599            // `self.v.len() % self.chunk_size` would return nonzero (note that
1600            // in this branch of the `if`, we already know that `self.v` is
1601            // non-empty).
1602            let (fst, snd) = unsafe { self.v.split_at_unchecked(self.v.len() - chunksz) };
1603            self.v = fst;
1604            Some(snd)
1605        }
1606    }
1607
1608    #[inline]
1609    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
1610        let len = self.len();
1611        if n >= len {
1612            self.v = &self.v[..0]; // cheaper than &[]
1613            None
1614        } else {
1615            let start = (len - 1 - n) * self.chunk_size;
1616            let end = match start.checked_add(self.chunk_size) {
1617                Some(res) => cmp::min(self.v.len(), res),
1618                None => self.v.len(),
1619            };
1620            let nth_back = &self.v[start..end];
1621            self.v = &self.v[..start];
1622            Some(nth_back)
1623        }
1624    }
1625}
1626
1627#[stable(feature = "rust1", since = "1.0.0")]
1628impl<T> ExactSizeIterator for Chunks<'_, T> {}
1629
1630#[unstable(feature = "trusted_len", issue = "37572")]
1631unsafe impl<T> TrustedLen for Chunks<'_, T> {}
1632
1633#[stable(feature = "fused", since = "1.26.0")]
1634impl<T> FusedIterator for Chunks<'_, T> {}
1635
1636#[doc(hidden)]
1637#[unstable(feature = "trusted_random_access", issue = "none")]
1638unsafe impl<'a, T> TrustedRandomAccess for Chunks<'a, T> {}
1639
1640#[doc(hidden)]
1641#[unstable(feature = "trusted_random_access", issue = "none")]
1642unsafe impl<'a, T> TrustedRandomAccessNoCoerce for Chunks<'a, T> {
1643    const MAY_HAVE_SIDE_EFFECT: bool = false;
1644}
1645
1646/// An iterator over a slice in (non-overlapping) mutable chunks (`chunk_size`
1647/// elements at a time), starting at the beginning of the slice.
1648///
1649/// When the slice len is not evenly divided by the chunk size, the last slice
1650/// of the iteration will be the remainder.
1651///
1652/// This struct is created by the [`chunks_mut`] method on [slices].
1653///
1654/// # Example
1655///
1656/// ```
1657/// let mut slice = ['l', 'o', 'r', 'e', 'm'];
1658/// let iter = slice.chunks_mut(2);
1659/// ```
1660///
1661/// [`chunks_mut`]: slice::chunks_mut
1662/// [slices]: slice
1663#[derive(Debug)]
1664#[stable(feature = "rust1", since = "1.0.0")]
1665#[must_use = "iterators are lazy and do nothing unless consumed"]
1666pub struct ChunksMut<'a, T: 'a> {
1667    /// # Safety
1668    /// This slice pointer must point at a valid region of `T` with at least length `v.len()`. Normally,
1669    /// those requirements would mean that we could instead use a `&mut [T]` here, but we cannot
1670    /// because `__iterator_get_unchecked` needs to return `&mut [T]`, which guarantees certain aliasing
1671    /// properties that we cannot uphold if we hold on to the full original `&mut [T]`. Wrapping a raw
1672    /// slice instead lets us hand out non-overlapping `&mut [T]` subslices of the slice we wrap.
1673    v: *mut [T],
1674    chunk_size: usize,
1675    _marker: PhantomData<&'a mut T>,
1676}
1677
1678impl<'a, T: 'a> ChunksMut<'a, T> {
1679    #[inline]
1680    pub(super) const fn new(slice: &'a mut [T], size: usize) -> Self {
1681        Self { v: slice, chunk_size: size, _marker: PhantomData }
1682    }
1683}
1684
1685#[stable(feature = "rust1", since = "1.0.0")]
1686impl<'a, T> Iterator for ChunksMut<'a, T> {
1687    type Item = &'a mut [T];
1688
1689    #[inline]
1690    fn next(&mut self) -> Option<&'a mut [T]> {
1691        if self.v.is_empty() {
1692            None
1693        } else {
1694            let sz = cmp::min(self.v.len(), self.chunk_size);
1695            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
1696            let (head, tail) = unsafe { self.v.split_at_mut(sz) };
1697            self.v = tail;
1698            // SAFETY: Nothing else points to or will point to the contents of this slice.
1699            Some(unsafe { &mut *head })
1700        }
1701    }
1702
1703    #[inline]
1704    fn size_hint(&self) -> (usize, Option<usize>) {
1705        if self.v.is_empty() {
1706            (0, Some(0))
1707        } else {
1708            let n = self.v.len() / self.chunk_size;
1709            let rem = self.v.len() % self.chunk_size;
1710            let n = if rem > 0 { n + 1 } else { n };
1711            (n, Some(n))
1712        }
1713    }
1714
1715    #[inline]
1716    fn count(self) -> usize {
1717        self.len()
1718    }
1719
1720    #[inline]
1721    fn nth(&mut self, n: usize) -> Option<&'a mut [T]> {
1722        let (start, overflow) = n.overflowing_mul(self.chunk_size);
1723        if start >= self.v.len() || overflow {
1724            self.v = &mut [];
1725            None
1726        } else {
1727            let end = match start.checked_add(self.chunk_size) {
1728                Some(sum) => cmp::min(self.v.len(), sum),
1729                None => self.v.len(),
1730            };
1731            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
1732            let (head, tail) = unsafe { self.v.split_at_mut(end) };
1733            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
1734            let (_, nth) = unsafe { head.split_at_mut(start) };
1735            self.v = tail;
1736            // SAFETY: Nothing else points to or will point to the contents of this slice.
1737            Some(unsafe { &mut *nth })
1738        }
1739    }
1740
1741    #[inline]
1742    fn last(self) -> Option<Self::Item> {
1743        if self.v.is_empty() {
1744            None
1745        } else {
1746            let start = (self.v.len() - 1) / self.chunk_size * self.chunk_size;
1747            // SAFETY: Nothing else points to or will point to the contents of this slice.
1748            Some(unsafe { &mut *self.v.get_unchecked_mut(start..) })
1749        }
1750    }
1751
1752    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
1753        let start = idx * self.chunk_size;
1754        // SAFETY: see comments for `Chunks::__iterator_get_unchecked` and `self.v`.
1755        //
1756        // Also note that the caller also guarantees that we're never called
1757        // with the same index again, and that no other methods that will
1758        // access this subslice are called, so it is valid for the returned
1759        // slice to be mutable.
1760        unsafe {
1761            let len = cmp::min(self.v.len().unchecked_sub(start), self.chunk_size);
1762            from_raw_parts_mut(self.v.as_mut_ptr().add(start), len)
1763        }
1764    }
1765}
1766
1767#[stable(feature = "rust1", since = "1.0.0")]
1768impl<'a, T> DoubleEndedIterator for ChunksMut<'a, T> {
1769    #[inline]
1770    fn next_back(&mut self) -> Option<&'a mut [T]> {
1771        if self.v.is_empty() {
1772            None
1773        } else {
1774            let remainder = self.v.len() % self.chunk_size;
1775            let sz = if remainder != 0 { remainder } else { self.chunk_size };
1776            let len = self.v.len();
1777            // SAFETY: Similar to `Chunks::next_back`
1778            let (head, tail) = unsafe { self.v.split_at_mut_unchecked(len - sz) };
1779            self.v = head;
1780            // SAFETY: Nothing else points to or will point to the contents of this slice.
1781            Some(unsafe { &mut *tail })
1782        }
1783    }
1784
1785    #[inline]
1786    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
1787        let len = self.len();
1788        if n >= len {
1789            self.v = &mut [];
1790            None
1791        } else {
1792            let start = (len - 1 - n) * self.chunk_size;
1793            let end = match start.checked_add(self.chunk_size) {
1794                Some(res) => cmp::min(self.v.len(), res),
1795                None => self.v.len(),
1796            };
1797            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
1798            let (temp, _tail) = unsafe { self.v.split_at_mut(end) };
1799            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
1800            let (head, nth_back) = unsafe { temp.split_at_mut(start) };
1801            self.v = head;
1802            // SAFETY: Nothing else points to or will point to the contents of this slice.
1803            Some(unsafe { &mut *nth_back })
1804        }
1805    }
1806}
1807
1808#[stable(feature = "rust1", since = "1.0.0")]
1809impl<T> ExactSizeIterator for ChunksMut<'_, T> {}
1810
1811#[unstable(feature = "trusted_len", issue = "37572")]
1812unsafe impl<T> TrustedLen for ChunksMut<'_, T> {}
1813
1814#[stable(feature = "fused", since = "1.26.0")]
1815impl<T> FusedIterator for ChunksMut<'_, T> {}
1816
1817#[doc(hidden)]
1818#[unstable(feature = "trusted_random_access", issue = "none")]
1819unsafe impl<'a, T> TrustedRandomAccess for ChunksMut<'a, T> {}
1820
1821#[doc(hidden)]
1822#[unstable(feature = "trusted_random_access", issue = "none")]
1823unsafe impl<'a, T> TrustedRandomAccessNoCoerce for ChunksMut<'a, T> {
1824    const MAY_HAVE_SIDE_EFFECT: bool = false;
1825}
1826
1827#[stable(feature = "rust1", since = "1.0.0")]
1828unsafe impl<T> Send for ChunksMut<'_, T> where T: Send {}
1829
1830#[stable(feature = "rust1", since = "1.0.0")]
1831unsafe impl<T> Sync for ChunksMut<'_, T> where T: Sync {}
1832
1833/// An iterator over a slice in (non-overlapping) chunks (`chunk_size` elements at a
1834/// time), starting at the beginning of the slice.
1835///
1836/// When the slice len is not evenly divided by the chunk size, the last
1837/// up to `chunk_size-1` elements will be omitted but can be retrieved from
1838/// the [`remainder`] function from the iterator.
1839///
1840/// This struct is created by the [`chunks_exact`] method on [slices].
1841///
1842/// # Example
1843///
1844/// ```
1845/// let slice = ['l', 'o', 'r', 'e', 'm'];
1846/// let mut iter = slice.chunks_exact(2);
1847/// assert_eq!(iter.next(), Some(&['l', 'o'][..]));
1848/// assert_eq!(iter.next(), Some(&['r', 'e'][..]));
1849/// assert_eq!(iter.next(), None);
1850/// ```
1851///
1852/// [`chunks_exact`]: slice::chunks_exact
1853/// [`remainder`]: ChunksExact::remainder
1854/// [slices]: slice
1855#[derive(Debug)]
1856#[stable(feature = "chunks_exact", since = "1.31.0")]
1857#[must_use = "iterators are lazy and do nothing unless consumed"]
1858pub struct ChunksExact<'a, T: 'a> {
1859    v: &'a [T],
1860    rem: &'a [T],
1861    chunk_size: usize,
1862}
1863
1864impl<'a, T> ChunksExact<'a, T> {
1865    #[inline]
1866    pub(super) const fn new(slice: &'a [T], chunk_size: usize) -> Self {
1867        let rem = slice.len() % chunk_size;
1868        let fst_len = slice.len() - rem;
1869        // SAFETY: 0 <= fst_len <= slice.len() by construction above
1870        let (fst, snd) = unsafe { slice.split_at_unchecked(fst_len) };
1871        Self { v: fst, rem: snd, chunk_size }
1872    }
1873
1874    /// Returns the remainder of the original slice that is not going to be
1875    /// returned by the iterator. The returned slice has at most `chunk_size-1`
1876    /// elements.
1877    ///
1878    /// # Example
1879    ///
1880    /// ```
1881    /// let slice = ['l', 'o', 'r', 'e', 'm'];
1882    /// let mut iter = slice.chunks_exact(2);
1883    /// assert_eq!(iter.remainder(), &['m'][..]);
1884    /// assert_eq!(iter.next(), Some(&['l', 'o'][..]));
1885    /// assert_eq!(iter.remainder(), &['m'][..]);
1886    /// assert_eq!(iter.next(), Some(&['r', 'e'][..]));
1887    /// assert_eq!(iter.remainder(), &['m'][..]);
1888    /// assert_eq!(iter.next(), None);
1889    /// assert_eq!(iter.remainder(), &['m'][..]);
1890    /// ```
1891    #[must_use]
1892    #[stable(feature = "chunks_exact", since = "1.31.0")]
1893    pub fn remainder(&self) -> &'a [T] {
1894        self.rem
1895    }
1896}
1897
1898// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
1899#[stable(feature = "chunks_exact", since = "1.31.0")]
1900impl<T> Clone for ChunksExact<'_, T> {
1901    fn clone(&self) -> Self {
1902        ChunksExact { v: self.v, rem: self.rem, chunk_size: self.chunk_size }
1903    }
1904}
1905
1906#[stable(feature = "chunks_exact", since = "1.31.0")]
1907impl<'a, T> Iterator for ChunksExact<'a, T> {
1908    type Item = &'a [T];
1909
1910    #[inline]
1911    fn next(&mut self) -> Option<&'a [T]> {
1912        if self.v.len() < self.chunk_size {
1913            None
1914        } else {
1915            let (fst, snd) = self.v.split_at(self.chunk_size);
1916            self.v = snd;
1917            Some(fst)
1918        }
1919    }
1920
1921    #[inline]
1922    fn size_hint(&self) -> (usize, Option<usize>) {
1923        let n = self.v.len() / self.chunk_size;
1924        (n, Some(n))
1925    }
1926
1927    #[inline]
1928    fn count(self) -> usize {
1929        self.len()
1930    }
1931
1932    #[inline]
1933    fn nth(&mut self, n: usize) -> Option<Self::Item> {
1934        let (start, overflow) = n.overflowing_mul(self.chunk_size);
1935        if start >= self.v.len() || overflow {
1936            self.v = &self.v[..0]; // cheaper than &[]
1937            None
1938        } else {
1939            let (_, snd) = self.v.split_at(start);
1940            self.v = snd;
1941            self.next()
1942        }
1943    }
1944
1945    #[inline]
1946    fn last(mut self) -> Option<Self::Item> {
1947        self.next_back()
1948    }
1949
1950    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
1951        let start = idx * self.chunk_size;
1952        // SAFETY: mostly identical to `Chunks::__iterator_get_unchecked`.
1953        unsafe { from_raw_parts(self.v.as_ptr().add(start), self.chunk_size) }
1954    }
1955}
1956
1957#[stable(feature = "chunks_exact", since = "1.31.0")]
1958impl<'a, T> DoubleEndedIterator for ChunksExact<'a, T> {
1959    #[inline]
1960    fn next_back(&mut self) -> Option<&'a [T]> {
1961        if self.v.len() < self.chunk_size {
1962            None
1963        } else {
1964            let (fst, snd) = self.v.split_at(self.v.len() - self.chunk_size);
1965            self.v = fst;
1966            Some(snd)
1967        }
1968    }
1969
1970    #[inline]
1971    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
1972        let len = self.len();
1973        if n >= len {
1974            self.v = &self.v[..0]; // cheaper than &[]
1975            None
1976        } else {
1977            let start = (len - 1 - n) * self.chunk_size;
1978            let end = start + self.chunk_size;
1979            let nth_back = &self.v[start..end];
1980            self.v = &self.v[..start];
1981            Some(nth_back)
1982        }
1983    }
1984}
1985
1986#[stable(feature = "chunks_exact", since = "1.31.0")]
1987impl<T> ExactSizeIterator for ChunksExact<'_, T> {
1988    fn is_empty(&self) -> bool {
1989        self.v.is_empty()
1990    }
1991}
1992
1993#[unstable(feature = "trusted_len", issue = "37572")]
1994unsafe impl<T> TrustedLen for ChunksExact<'_, T> {}
1995
1996#[stable(feature = "chunks_exact", since = "1.31.0")]
1997impl<T> FusedIterator for ChunksExact<'_, T> {}
1998
1999#[doc(hidden)]
2000#[unstable(feature = "trusted_random_access", issue = "none")]
2001unsafe impl<'a, T> TrustedRandomAccess for ChunksExact<'a, T> {}
2002
2003#[doc(hidden)]
2004#[unstable(feature = "trusted_random_access", issue = "none")]
2005unsafe impl<'a, T> TrustedRandomAccessNoCoerce for ChunksExact<'a, T> {
2006    const MAY_HAVE_SIDE_EFFECT: bool = false;
2007}
2008
2009/// An iterator over a slice in (non-overlapping) mutable chunks (`chunk_size`
2010/// elements at a time), starting at the beginning of the slice.
2011///
2012/// When the slice len is not evenly divided by the chunk size, the last up to
2013/// `chunk_size-1` elements will be omitted but can be retrieved from the
2014/// [`into_remainder`] function from the iterator.
2015///
2016/// This struct is created by the [`chunks_exact_mut`] method on [slices].
2017///
2018/// # Example
2019///
2020/// ```
2021/// let mut slice = ['l', 'o', 'r', 'e', 'm'];
2022/// let iter = slice.chunks_exact_mut(2);
2023/// ```
2024///
2025/// [`chunks_exact_mut`]: slice::chunks_exact_mut
2026/// [`into_remainder`]: ChunksExactMut::into_remainder
2027/// [slices]: slice
2028#[derive(Debug)]
2029#[stable(feature = "chunks_exact", since = "1.31.0")]
2030#[must_use = "iterators are lazy and do nothing unless consumed"]
2031pub struct ChunksExactMut<'a, T: 'a> {
2032    /// # Safety
2033    /// This slice pointer must point at a valid region of `T` with at least length `v.len()`. Normally,
2034    /// those requirements would mean that we could instead use a `&mut [T]` here, but we cannot
2035    /// because `__iterator_get_unchecked` needs to return `&mut [T]`, which guarantees certain aliasing
2036    /// properties that we cannot uphold if we hold on to the full original `&mut [T]`. Wrapping a raw
2037    /// slice instead lets us hand out non-overlapping `&mut [T]` subslices of the slice we wrap.
2038    v: *mut [T],
2039    rem: &'a mut [T], // The iterator never yields from here, so this can be unique
2040    chunk_size: usize,
2041    _marker: PhantomData<&'a mut T>,
2042}
2043
2044impl<'a, T> ChunksExactMut<'a, T> {
2045    #[inline]
2046    pub(super) const fn new(slice: &'a mut [T], chunk_size: usize) -> Self {
2047        let rem = slice.len() % chunk_size;
2048        let fst_len = slice.len() - rem;
2049        // SAFETY: 0 <= fst_len <= slice.len() by construction above
2050        let (fst, snd) = unsafe { slice.split_at_mut_unchecked(fst_len) };
2051        Self { v: fst, rem: snd, chunk_size, _marker: PhantomData }
2052    }
2053
2054    /// Returns the remainder of the original slice that is not going to be
2055    /// returned by the iterator. The returned slice has at most `chunk_size-1`
2056    /// elements.
2057    #[must_use = "`self` will be dropped if the result is not used"]
2058    #[stable(feature = "chunks_exact", since = "1.31.0")]
2059    pub fn into_remainder(self) -> &'a mut [T] {
2060        self.rem
2061    }
2062}
2063
2064#[stable(feature = "chunks_exact", since = "1.31.0")]
2065impl<'a, T> Iterator for ChunksExactMut<'a, T> {
2066    type Item = &'a mut [T];
2067
2068    #[inline]
2069    fn next(&mut self) -> Option<&'a mut [T]> {
2070        if self.v.len() < self.chunk_size {
2071            None
2072        } else {
2073            // SAFETY: self.chunk_size is inbounds because we compared above against self.v.len()
2074            let (head, tail) = unsafe { self.v.split_at_mut(self.chunk_size) };
2075            self.v = tail;
2076            // SAFETY: Nothing else points to or will point to the contents of this slice.
2077            Some(unsafe { &mut *head })
2078        }
2079    }
2080
2081    #[inline]
2082    fn size_hint(&self) -> (usize, Option<usize>) {
2083        let n = self.v.len() / self.chunk_size;
2084        (n, Some(n))
2085    }
2086
2087    #[inline]
2088    fn count(self) -> usize {
2089        self.len()
2090    }
2091
2092    #[inline]
2093    fn nth(&mut self, n: usize) -> Option<&'a mut [T]> {
2094        let (start, overflow) = n.overflowing_mul(self.chunk_size);
2095        if start >= self.v.len() || overflow {
2096            self.v = &mut [];
2097            None
2098        } else {
2099            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2100            let (_, snd) = unsafe { self.v.split_at_mut(start) };
2101            self.v = snd;
2102            self.next()
2103        }
2104    }
2105
2106    #[inline]
2107    fn last(mut self) -> Option<Self::Item> {
2108        self.next_back()
2109    }
2110
2111    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
2112        let start = idx * self.chunk_size;
2113        // SAFETY: see comments for `Chunks::__iterator_get_unchecked` and `self.v`.
2114        unsafe { from_raw_parts_mut(self.v.as_mut_ptr().add(start), self.chunk_size) }
2115    }
2116}
2117
2118#[stable(feature = "chunks_exact", since = "1.31.0")]
2119impl<'a, T> DoubleEndedIterator for ChunksExactMut<'a, T> {
2120    #[inline]
2121    fn next_back(&mut self) -> Option<&'a mut [T]> {
2122        if self.v.len() < self.chunk_size {
2123            None
2124        } else {
2125            // SAFETY: This subtraction is inbounds because of the check above
2126            let (head, tail) = unsafe { self.v.split_at_mut(self.v.len() - self.chunk_size) };
2127            self.v = head;
2128            // SAFETY: Nothing else points to or will point to the contents of this slice.
2129            Some(unsafe { &mut *tail })
2130        }
2131    }
2132
2133    #[inline]
2134    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
2135        let len = self.len();
2136        if n >= len {
2137            self.v = &mut [];
2138            None
2139        } else {
2140            let start = (len - 1 - n) * self.chunk_size;
2141            let end = start + self.chunk_size;
2142            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2143            let (temp, _tail) = unsafe { mem::replace(&mut self.v, &mut []).split_at_mut(end) };
2144            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2145            let (head, nth_back) = unsafe { temp.split_at_mut(start) };
2146            self.v = head;
2147            // SAFETY: Nothing else points to or will point to the contents of this slice.
2148            Some(unsafe { &mut *nth_back })
2149        }
2150    }
2151}
2152
2153#[stable(feature = "chunks_exact", since = "1.31.0")]
2154impl<T> ExactSizeIterator for ChunksExactMut<'_, T> {
2155    fn is_empty(&self) -> bool {
2156        self.v.is_empty()
2157    }
2158}
2159
2160#[unstable(feature = "trusted_len", issue = "37572")]
2161unsafe impl<T> TrustedLen for ChunksExactMut<'_, T> {}
2162
2163#[stable(feature = "chunks_exact", since = "1.31.0")]
2164impl<T> FusedIterator for ChunksExactMut<'_, T> {}
2165
2166#[doc(hidden)]
2167#[unstable(feature = "trusted_random_access", issue = "none")]
2168unsafe impl<'a, T> TrustedRandomAccess for ChunksExactMut<'a, T> {}
2169
2170#[doc(hidden)]
2171#[unstable(feature = "trusted_random_access", issue = "none")]
2172unsafe impl<'a, T> TrustedRandomAccessNoCoerce for ChunksExactMut<'a, T> {
2173    const MAY_HAVE_SIDE_EFFECT: bool = false;
2174}
2175
2176#[stable(feature = "chunks_exact", since = "1.31.0")]
2177unsafe impl<T> Send for ChunksExactMut<'_, T> where T: Send {}
2178
2179#[stable(feature = "chunks_exact", since = "1.31.0")]
2180unsafe impl<T> Sync for ChunksExactMut<'_, T> where T: Sync {}
2181
2182/// A windowed iterator over a slice in overlapping chunks (`N` elements at a
2183/// time), starting at the beginning of the slice
2184///
2185/// This struct is created by the [`array_windows`] method on [slices].
2186///
2187/// # Example
2188///
2189/// ```
2190/// #![feature(array_windows)]
2191///
2192/// let slice = [0, 1, 2, 3];
2193/// let mut iter = slice.array_windows::<2>();
2194/// assert_eq!(iter.next(), Some(&[0, 1]));
2195/// assert_eq!(iter.next(), Some(&[1, 2]));
2196/// assert_eq!(iter.next(), Some(&[2, 3]));
2197/// assert_eq!(iter.next(), None);
2198/// ```
2199///
2200/// [`array_windows`]: slice::array_windows
2201/// [slices]: slice
2202#[derive(Debug, Clone, Copy)]
2203#[unstable(feature = "array_windows", issue = "75027")]
2204#[must_use = "iterators are lazy and do nothing unless consumed"]
2205pub struct ArrayWindows<'a, T: 'a, const N: usize> {
2206    slice_head: *const T,
2207    num: usize,
2208    marker: PhantomData<&'a [T; N]>,
2209}
2210
2211impl<'a, T: 'a, const N: usize> ArrayWindows<'a, T, N> {
2212    #[inline]
2213    pub(super) const fn new(slice: &'a [T]) -> Self {
2214        let num_windows = slice.len().saturating_sub(N - 1);
2215        Self { slice_head: slice.as_ptr(), num: num_windows, marker: PhantomData }
2216    }
2217}
2218
2219#[unstable(feature = "array_windows", issue = "75027")]
2220impl<'a, T, const N: usize> Iterator for ArrayWindows<'a, T, N> {
2221    type Item = &'a [T; N];
2222
2223    #[inline]
2224    fn next(&mut self) -> Option<Self::Item> {
2225        if self.num == 0 {
2226            return None;
2227        }
2228        // SAFETY:
2229        // This is safe because it's indexing into a slice guaranteed to be length > N.
2230        let ret = unsafe { &*self.slice_head.cast::<[T; N]>() };
2231        // SAFETY: Guaranteed that there are at least 1 item remaining otherwise
2232        // earlier branch would've been hit
2233        self.slice_head = unsafe { self.slice_head.add(1) };
2234
2235        self.num -= 1;
2236        Some(ret)
2237    }
2238
2239    #[inline]
2240    fn size_hint(&self) -> (usize, Option<usize>) {
2241        (self.num, Some(self.num))
2242    }
2243
2244    #[inline]
2245    fn count(self) -> usize {
2246        self.num
2247    }
2248
2249    #[inline]
2250    fn nth(&mut self, n: usize) -> Option<Self::Item> {
2251        if self.num <= n {
2252            self.num = 0;
2253            return None;
2254        }
2255        // SAFETY:
2256        // This is safe because it's indexing into a slice guaranteed to be length > N.
2257        let ret = unsafe { &*self.slice_head.add(n).cast::<[T; N]>() };
2258        // SAFETY: Guaranteed that there are at least n items remaining
2259        self.slice_head = unsafe { self.slice_head.add(n + 1) };
2260
2261        self.num -= n + 1;
2262        Some(ret)
2263    }
2264
2265    #[inline]
2266    fn last(mut self) -> Option<Self::Item> {
2267        self.nth(self.num.checked_sub(1)?)
2268    }
2269}
2270
2271#[unstable(feature = "array_windows", issue = "75027")]
2272impl<'a, T, const N: usize> DoubleEndedIterator for ArrayWindows<'a, T, N> {
2273    #[inline]
2274    fn next_back(&mut self) -> Option<&'a [T; N]> {
2275        if self.num == 0 {
2276            return None;
2277        }
2278        // SAFETY: Guaranteed that there are n items remaining, n-1 for 0-indexing.
2279        let ret = unsafe { &*self.slice_head.add(self.num - 1).cast::<[T; N]>() };
2280        self.num -= 1;
2281        Some(ret)
2282    }
2283
2284    #[inline]
2285    fn nth_back(&mut self, n: usize) -> Option<&'a [T; N]> {
2286        if self.num <= n {
2287            self.num = 0;
2288            return None;
2289        }
2290        // SAFETY: Guaranteed that there are n items remaining, n-1 for 0-indexing.
2291        let ret = unsafe { &*self.slice_head.add(self.num - (n + 1)).cast::<[T; N]>() };
2292        self.num -= n + 1;
2293        Some(ret)
2294    }
2295}
2296
2297#[unstable(feature = "array_windows", issue = "75027")]
2298impl<T, const N: usize> ExactSizeIterator for ArrayWindows<'_, T, N> {
2299    fn is_empty(&self) -> bool {
2300        self.num == 0
2301    }
2302}
2303
2304/// An iterator over a slice in (non-overlapping) chunks (`chunk_size` elements at a
2305/// time), starting at the end of the slice.
2306///
2307/// When the slice len is not evenly divided by the chunk size, the last slice
2308/// of the iteration will be the remainder.
2309///
2310/// This struct is created by the [`rchunks`] method on [slices].
2311///
2312/// # Example
2313///
2314/// ```
2315/// let slice = ['l', 'o', 'r', 'e', 'm'];
2316/// let mut iter = slice.rchunks(2);
2317/// assert_eq!(iter.next(), Some(&['e', 'm'][..]));
2318/// assert_eq!(iter.next(), Some(&['o', 'r'][..]));
2319/// assert_eq!(iter.next(), Some(&['l'][..]));
2320/// assert_eq!(iter.next(), None);
2321/// ```
2322///
2323/// [`rchunks`]: slice::rchunks
2324/// [slices]: slice
2325#[derive(Debug)]
2326#[stable(feature = "rchunks", since = "1.31.0")]
2327#[must_use = "iterators are lazy and do nothing unless consumed"]
2328pub struct RChunks<'a, T: 'a> {
2329    v: &'a [T],
2330    chunk_size: usize,
2331}
2332
2333impl<'a, T: 'a> RChunks<'a, T> {
2334    #[inline]
2335    pub(super) const fn new(slice: &'a [T], size: usize) -> Self {
2336        Self { v: slice, chunk_size: size }
2337    }
2338}
2339
2340// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
2341#[stable(feature = "rchunks", since = "1.31.0")]
2342impl<T> Clone for RChunks<'_, T> {
2343    fn clone(&self) -> Self {
2344        RChunks { v: self.v, chunk_size: self.chunk_size }
2345    }
2346}
2347
2348#[stable(feature = "rchunks", since = "1.31.0")]
2349impl<'a, T> Iterator for RChunks<'a, T> {
2350    type Item = &'a [T];
2351
2352    #[inline]
2353    fn next(&mut self) -> Option<&'a [T]> {
2354        if self.v.is_empty() {
2355            None
2356        } else {
2357            let len = self.v.len();
2358            let chunksz = cmp::min(len, self.chunk_size);
2359            // SAFETY: split_at_unchecked just requires the argument be less
2360            // than the length. This could only happen if the expression `len -
2361            // chunksz` overflows. This could only happen if `chunksz > len`,
2362            // which is impossible as we initialize it as the `min` of `len` and
2363            // `self.chunk_size`.
2364            let (fst, snd) = unsafe { self.v.split_at_unchecked(len - chunksz) };
2365            self.v = fst;
2366            Some(snd)
2367        }
2368    }
2369
2370    #[inline]
2371    fn size_hint(&self) -> (usize, Option<usize>) {
2372        if self.v.is_empty() {
2373            (0, Some(0))
2374        } else {
2375            let n = self.v.len() / self.chunk_size;
2376            let rem = self.v.len() % self.chunk_size;
2377            let n = if rem > 0 { n + 1 } else { n };
2378            (n, Some(n))
2379        }
2380    }
2381
2382    #[inline]
2383    fn count(self) -> usize {
2384        self.len()
2385    }
2386
2387    #[inline]
2388    fn nth(&mut self, n: usize) -> Option<Self::Item> {
2389        let (end, overflow) = n.overflowing_mul(self.chunk_size);
2390        if end >= self.v.len() || overflow {
2391            self.v = &self.v[..0]; // cheaper than &[]
2392            None
2393        } else {
2394            // Can't underflow because of the check above
2395            let end = self.v.len() - end;
2396            let start = match end.checked_sub(self.chunk_size) {
2397                Some(sum) => sum,
2398                None => 0,
2399            };
2400            let nth = &self.v[start..end];
2401            self.v = &self.v[0..start];
2402            Some(nth)
2403        }
2404    }
2405
2406    #[inline]
2407    fn last(self) -> Option<Self::Item> {
2408        if self.v.is_empty() {
2409            None
2410        } else {
2411            let rem = self.v.len() % self.chunk_size;
2412            let end = if rem == 0 { self.chunk_size } else { rem };
2413            Some(&self.v[0..end])
2414        }
2415    }
2416
2417    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
2418        let end = self.v.len() - idx * self.chunk_size;
2419        let start = match end.checked_sub(self.chunk_size) {
2420            None => 0,
2421            Some(start) => start,
2422        };
2423        // SAFETY: mostly identical to `Chunks::__iterator_get_unchecked`.
2424        unsafe { from_raw_parts(self.v.as_ptr().add(start), end - start) }
2425    }
2426}
2427
2428#[stable(feature = "rchunks", since = "1.31.0")]
2429impl<'a, T> DoubleEndedIterator for RChunks<'a, T> {
2430    #[inline]
2431    fn next_back(&mut self) -> Option<&'a [T]> {
2432        if self.v.is_empty() {
2433            None
2434        } else {
2435            let remainder = self.v.len() % self.chunk_size;
2436            let chunksz = if remainder != 0 { remainder } else { self.chunk_size };
2437            // SAFETY: similar to Chunks::next_back
2438            let (fst, snd) = unsafe { self.v.split_at_unchecked(chunksz) };
2439            self.v = snd;
2440            Some(fst)
2441        }
2442    }
2443
2444    #[inline]
2445    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
2446        let len = self.len();
2447        if n >= len {
2448            self.v = &self.v[..0]; // cheaper than &[]
2449            None
2450        } else {
2451            // can't underflow because `n < len`
2452            let offset_from_end = (len - 1 - n) * self.chunk_size;
2453            let end = self.v.len() - offset_from_end;
2454            let start = end.saturating_sub(self.chunk_size);
2455            let nth_back = &self.v[start..end];
2456            self.v = &self.v[end..];
2457            Some(nth_back)
2458        }
2459    }
2460}
2461
2462#[stable(feature = "rchunks", since = "1.31.0")]
2463impl<T> ExactSizeIterator for RChunks<'_, T> {}
2464
2465#[unstable(feature = "trusted_len", issue = "37572")]
2466unsafe impl<T> TrustedLen for RChunks<'_, T> {}
2467
2468#[stable(feature = "rchunks", since = "1.31.0")]
2469impl<T> FusedIterator for RChunks<'_, T> {}
2470
2471#[doc(hidden)]
2472#[unstable(feature = "trusted_random_access", issue = "none")]
2473unsafe impl<'a, T> TrustedRandomAccess for RChunks<'a, T> {}
2474
2475#[doc(hidden)]
2476#[unstable(feature = "trusted_random_access", issue = "none")]
2477unsafe impl<'a, T> TrustedRandomAccessNoCoerce for RChunks<'a, T> {
2478    const MAY_HAVE_SIDE_EFFECT: bool = false;
2479}
2480
2481/// An iterator over a slice in (non-overlapping) mutable chunks (`chunk_size`
2482/// elements at a time), starting at the end of the slice.
2483///
2484/// When the slice len is not evenly divided by the chunk size, the last slice
2485/// of the iteration will be the remainder.
2486///
2487/// This struct is created by the [`rchunks_mut`] method on [slices].
2488///
2489/// # Example
2490///
2491/// ```
2492/// let mut slice = ['l', 'o', 'r', 'e', 'm'];
2493/// let iter = slice.rchunks_mut(2);
2494/// ```
2495///
2496/// [`rchunks_mut`]: slice::rchunks_mut
2497/// [slices]: slice
2498#[derive(Debug)]
2499#[stable(feature = "rchunks", since = "1.31.0")]
2500#[must_use = "iterators are lazy and do nothing unless consumed"]
2501pub struct RChunksMut<'a, T: 'a> {
2502    /// # Safety
2503    /// This slice pointer must point at a valid region of `T` with at least length `v.len()`. Normally,
2504    /// those requirements would mean that we could instead use a `&mut [T]` here, but we cannot
2505    /// because `__iterator_get_unchecked` needs to return `&mut [T]`, which guarantees certain aliasing
2506    /// properties that we cannot uphold if we hold on to the full original `&mut [T]`. Wrapping a raw
2507    /// slice instead lets us hand out non-overlapping `&mut [T]` subslices of the slice we wrap.
2508    v: *mut [T],
2509    chunk_size: usize,
2510    _marker: PhantomData<&'a mut T>,
2511}
2512
2513impl<'a, T: 'a> RChunksMut<'a, T> {
2514    #[inline]
2515    pub(super) const fn new(slice: &'a mut [T], size: usize) -> Self {
2516        Self { v: slice, chunk_size: size, _marker: PhantomData }
2517    }
2518}
2519
2520#[stable(feature = "rchunks", since = "1.31.0")]
2521impl<'a, T> Iterator for RChunksMut<'a, T> {
2522    type Item = &'a mut [T];
2523
2524    #[inline]
2525    fn next(&mut self) -> Option<&'a mut [T]> {
2526        if self.v.is_empty() {
2527            None
2528        } else {
2529            let sz = cmp::min(self.v.len(), self.chunk_size);
2530            let len = self.v.len();
2531            // SAFETY: split_at_mut_unchecked just requires the argument be less
2532            // than the length. This could only happen if the expression
2533            // `len - sz` overflows. This could only happen if `sz >
2534            // len`, which is impossible as we initialize it as the `min` of
2535            // `self.v.len()` (e.g. `len`) and `self.chunk_size`.
2536            let (head, tail) = unsafe { self.v.split_at_mut_unchecked(len - sz) };
2537            self.v = head;
2538            // SAFETY: Nothing else points to or will point to the contents of this slice.
2539            Some(unsafe { &mut *tail })
2540        }
2541    }
2542
2543    #[inline]
2544    fn size_hint(&self) -> (usize, Option<usize>) {
2545        if self.v.is_empty() {
2546            (0, Some(0))
2547        } else {
2548            let n = self.v.len() / self.chunk_size;
2549            let rem = self.v.len() % self.chunk_size;
2550            let n = if rem > 0 { n + 1 } else { n };
2551            (n, Some(n))
2552        }
2553    }
2554
2555    #[inline]
2556    fn count(self) -> usize {
2557        self.len()
2558    }
2559
2560    #[inline]
2561    fn nth(&mut self, n: usize) -> Option<&'a mut [T]> {
2562        let (end, overflow) = n.overflowing_mul(self.chunk_size);
2563        if end >= self.v.len() || overflow {
2564            self.v = &mut [];
2565            None
2566        } else {
2567            // Can't underflow because of the check above
2568            let end = self.v.len() - end;
2569            let start = match end.checked_sub(self.chunk_size) {
2570                Some(sum) => sum,
2571                None => 0,
2572            };
2573            // SAFETY: This type ensures that self.v is a valid pointer with a correct len.
2574            // Therefore the bounds check in split_at_mut guarantees the split point is inbounds.
2575            let (head, tail) = unsafe { self.v.split_at_mut(start) };
2576            // SAFETY: This type ensures that self.v is a valid pointer with a correct len.
2577            // Therefore the bounds check in split_at_mut guarantees the split point is inbounds.
2578            let (nth, _) = unsafe { tail.split_at_mut(end - start) };
2579            self.v = head;
2580            // SAFETY: Nothing else points to or will point to the contents of this slice.
2581            Some(unsafe { &mut *nth })
2582        }
2583    }
2584
2585    #[inline]
2586    fn last(self) -> Option<Self::Item> {
2587        if self.v.is_empty() {
2588            None
2589        } else {
2590            let rem = self.v.len() % self.chunk_size;
2591            let end = if rem == 0 { self.chunk_size } else { rem };
2592            // SAFETY: Nothing else points to or will point to the contents of this slice.
2593            Some(unsafe { &mut *self.v.get_unchecked_mut(0..end) })
2594        }
2595    }
2596
2597    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
2598        let end = self.v.len() - idx * self.chunk_size;
2599        let start = match end.checked_sub(self.chunk_size) {
2600            None => 0,
2601            Some(start) => start,
2602        };
2603        // SAFETY: see comments for `RChunks::__iterator_get_unchecked` and
2604        // `ChunksMut::__iterator_get_unchecked`, `self.v`.
2605        unsafe { from_raw_parts_mut(self.v.as_mut_ptr().add(start), end - start) }
2606    }
2607}
2608
2609#[stable(feature = "rchunks", since = "1.31.0")]
2610impl<'a, T> DoubleEndedIterator for RChunksMut<'a, T> {
2611    #[inline]
2612    fn next_back(&mut self) -> Option<&'a mut [T]> {
2613        if self.v.is_empty() {
2614            None
2615        } else {
2616            let remainder = self.v.len() % self.chunk_size;
2617            let sz = if remainder != 0 { remainder } else { self.chunk_size };
2618            // SAFETY: Similar to `Chunks::next_back`
2619            let (head, tail) = unsafe { self.v.split_at_mut_unchecked(sz) };
2620            self.v = tail;
2621            // SAFETY: Nothing else points to or will point to the contents of this slice.
2622            Some(unsafe { &mut *head })
2623        }
2624    }
2625
2626    #[inline]
2627    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
2628        let len = self.len();
2629        if n >= len {
2630            self.v = &mut [];
2631            None
2632        } else {
2633            // can't underflow because `n < len`
2634            let offset_from_end = (len - 1 - n) * self.chunk_size;
2635            let end = self.v.len() - offset_from_end;
2636            let start = end.saturating_sub(self.chunk_size);
2637            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2638            let (tmp, tail) = unsafe { self.v.split_at_mut(end) };
2639            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2640            let (_, nth_back) = unsafe { tmp.split_at_mut(start) };
2641            self.v = tail;
2642            // SAFETY: Nothing else points to or will point to the contents of this slice.
2643            Some(unsafe { &mut *nth_back })
2644        }
2645    }
2646}
2647
2648#[stable(feature = "rchunks", since = "1.31.0")]
2649impl<T> ExactSizeIterator for RChunksMut<'_, T> {}
2650
2651#[unstable(feature = "trusted_len", issue = "37572")]
2652unsafe impl<T> TrustedLen for RChunksMut<'_, T> {}
2653
2654#[stable(feature = "rchunks", since = "1.31.0")]
2655impl<T> FusedIterator for RChunksMut<'_, T> {}
2656
2657#[doc(hidden)]
2658#[unstable(feature = "trusted_random_access", issue = "none")]
2659unsafe impl<'a, T> TrustedRandomAccess for RChunksMut<'a, T> {}
2660
2661#[doc(hidden)]
2662#[unstable(feature = "trusted_random_access", issue = "none")]
2663unsafe impl<'a, T> TrustedRandomAccessNoCoerce for RChunksMut<'a, T> {
2664    const MAY_HAVE_SIDE_EFFECT: bool = false;
2665}
2666
2667#[stable(feature = "rchunks", since = "1.31.0")]
2668unsafe impl<T> Send for RChunksMut<'_, T> where T: Send {}
2669
2670#[stable(feature = "rchunks", since = "1.31.0")]
2671unsafe impl<T> Sync for RChunksMut<'_, T> where T: Sync {}
2672
2673/// An iterator over a slice in (non-overlapping) chunks (`chunk_size` elements at a
2674/// time), starting at the end of the slice.
2675///
2676/// When the slice len is not evenly divided by the chunk size, the last
2677/// up to `chunk_size-1` elements will be omitted but can be retrieved from
2678/// the [`remainder`] function from the iterator.
2679///
2680/// This struct is created by the [`rchunks_exact`] method on [slices].
2681///
2682/// # Example
2683///
2684/// ```
2685/// let slice = ['l', 'o', 'r', 'e', 'm'];
2686/// let mut iter = slice.rchunks_exact(2);
2687/// assert_eq!(iter.next(), Some(&['e', 'm'][..]));
2688/// assert_eq!(iter.next(), Some(&['o', 'r'][..]));
2689/// assert_eq!(iter.next(), None);
2690/// ```
2691///
2692/// [`rchunks_exact`]: slice::rchunks_exact
2693/// [`remainder`]: RChunksExact::remainder
2694/// [slices]: slice
2695#[derive(Debug)]
2696#[stable(feature = "rchunks", since = "1.31.0")]
2697#[must_use = "iterators are lazy and do nothing unless consumed"]
2698pub struct RChunksExact<'a, T: 'a> {
2699    v: &'a [T],
2700    rem: &'a [T],
2701    chunk_size: usize,
2702}
2703
2704impl<'a, T> RChunksExact<'a, T> {
2705    #[inline]
2706    pub(super) const fn new(slice: &'a [T], chunk_size: usize) -> Self {
2707        let rem = slice.len() % chunk_size;
2708        // SAFETY: 0 <= rem <= slice.len() by construction above
2709        let (fst, snd) = unsafe { slice.split_at_unchecked(rem) };
2710        Self { v: snd, rem: fst, chunk_size }
2711    }
2712
2713    /// Returns the remainder of the original slice that is not going to be
2714    /// returned by the iterator. The returned slice has at most `chunk_size-1`
2715    /// elements.
2716    ///
2717    /// # Example
2718    ///
2719    /// ```
2720    /// let slice = ['l', 'o', 'r', 'e', 'm'];
2721    /// let mut iter = slice.rchunks_exact(2);
2722    /// assert_eq!(iter.remainder(), &['l'][..]);
2723    /// assert_eq!(iter.next(), Some(&['e', 'm'][..]));
2724    /// assert_eq!(iter.remainder(), &['l'][..]);
2725    /// assert_eq!(iter.next(), Some(&['o', 'r'][..]));
2726    /// assert_eq!(iter.remainder(), &['l'][..]);
2727    /// assert_eq!(iter.next(), None);
2728    /// assert_eq!(iter.remainder(), &['l'][..]);
2729    /// ```
2730    #[must_use]
2731    #[stable(feature = "rchunks", since = "1.31.0")]
2732    #[rustc_const_unstable(feature = "const_slice_make_iter", issue = "137737")]
2733    pub const fn remainder(&self) -> &'a [T] {
2734        self.rem
2735    }
2736}
2737
2738// FIXME(#26925) Remove in favor of `#[derive(Clone)]`
2739#[stable(feature = "rchunks", since = "1.31.0")]
2740impl<'a, T> Clone for RChunksExact<'a, T> {
2741    fn clone(&self) -> RChunksExact<'a, T> {
2742        RChunksExact { v: self.v, rem: self.rem, chunk_size: self.chunk_size }
2743    }
2744}
2745
2746#[stable(feature = "rchunks", since = "1.31.0")]
2747impl<'a, T> Iterator for RChunksExact<'a, T> {
2748    type Item = &'a [T];
2749
2750    #[inline]
2751    fn next(&mut self) -> Option<&'a [T]> {
2752        if self.v.len() < self.chunk_size {
2753            None
2754        } else {
2755            let (fst, snd) = self.v.split_at(self.v.len() - self.chunk_size);
2756            self.v = fst;
2757            Some(snd)
2758        }
2759    }
2760
2761    #[inline]
2762    fn size_hint(&self) -> (usize, Option<usize>) {
2763        let n = self.v.len() / self.chunk_size;
2764        (n, Some(n))
2765    }
2766
2767    #[inline]
2768    fn count(self) -> usize {
2769        self.len()
2770    }
2771
2772    #[inline]
2773    fn nth(&mut self, n: usize) -> Option<Self::Item> {
2774        let (end, overflow) = n.overflowing_mul(self.chunk_size);
2775        if end >= self.v.len() || overflow {
2776            self.v = &self.v[..0]; // cheaper than &[]
2777            None
2778        } else {
2779            let (fst, _) = self.v.split_at(self.v.len() - end);
2780            self.v = fst;
2781            self.next()
2782        }
2783    }
2784
2785    #[inline]
2786    fn last(mut self) -> Option<Self::Item> {
2787        self.next_back()
2788    }
2789
2790    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
2791        let end = self.v.len() - idx * self.chunk_size;
2792        let start = end - self.chunk_size;
2793        // SAFETY: mostly identical to `Chunks::__iterator_get_unchecked`.
2794        unsafe { from_raw_parts(self.v.as_ptr().add(start), self.chunk_size) }
2795    }
2796}
2797
2798#[stable(feature = "rchunks", since = "1.31.0")]
2799impl<'a, T> DoubleEndedIterator for RChunksExact<'a, T> {
2800    #[inline]
2801    fn next_back(&mut self) -> Option<&'a [T]> {
2802        if self.v.len() < self.chunk_size {
2803            None
2804        } else {
2805            let (fst, snd) = self.v.split_at(self.chunk_size);
2806            self.v = snd;
2807            Some(fst)
2808        }
2809    }
2810
2811    #[inline]
2812    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
2813        let len = self.len();
2814        if n >= len {
2815            self.v = &self.v[..0]; // cheaper than &[]
2816            None
2817        } else {
2818            // now that we know that `n` corresponds to a chunk,
2819            // none of these operations can underflow/overflow
2820            let offset = (len - n) * self.chunk_size;
2821            let start = self.v.len() - offset;
2822            let end = start + self.chunk_size;
2823            let nth_back = &self.v[start..end];
2824            self.v = &self.v[end..];
2825            Some(nth_back)
2826        }
2827    }
2828}
2829
2830#[stable(feature = "rchunks", since = "1.31.0")]
2831impl<'a, T> ExactSizeIterator for RChunksExact<'a, T> {
2832    fn is_empty(&self) -> bool {
2833        self.v.is_empty()
2834    }
2835}
2836
2837#[unstable(feature = "trusted_len", issue = "37572")]
2838unsafe impl<T> TrustedLen for RChunksExact<'_, T> {}
2839
2840#[stable(feature = "rchunks", since = "1.31.0")]
2841impl<T> FusedIterator for RChunksExact<'_, T> {}
2842
2843#[doc(hidden)]
2844#[unstable(feature = "trusted_random_access", issue = "none")]
2845unsafe impl<'a, T> TrustedRandomAccess for RChunksExact<'a, T> {}
2846
2847#[doc(hidden)]
2848#[unstable(feature = "trusted_random_access", issue = "none")]
2849unsafe impl<'a, T> TrustedRandomAccessNoCoerce for RChunksExact<'a, T> {
2850    const MAY_HAVE_SIDE_EFFECT: bool = false;
2851}
2852
2853/// An iterator over a slice in (non-overlapping) mutable chunks (`chunk_size`
2854/// elements at a time), starting at the end of the slice.
2855///
2856/// When the slice len is not evenly divided by the chunk size, the last up to
2857/// `chunk_size-1` elements will be omitted but can be retrieved from the
2858/// [`into_remainder`] function from the iterator.
2859///
2860/// This struct is created by the [`rchunks_exact_mut`] method on [slices].
2861///
2862/// # Example
2863///
2864/// ```
2865/// let mut slice = ['l', 'o', 'r', 'e', 'm'];
2866/// let iter = slice.rchunks_exact_mut(2);
2867/// ```
2868///
2869/// [`rchunks_exact_mut`]: slice::rchunks_exact_mut
2870/// [`into_remainder`]: RChunksExactMut::into_remainder
2871/// [slices]: slice
2872#[derive(Debug)]
2873#[stable(feature = "rchunks", since = "1.31.0")]
2874#[must_use = "iterators are lazy and do nothing unless consumed"]
2875pub struct RChunksExactMut<'a, T: 'a> {
2876    /// # Safety
2877    /// This slice pointer must point at a valid region of `T` with at least length `v.len()`. Normally,
2878    /// those requirements would mean that we could instead use a `&mut [T]` here, but we cannot
2879    /// because `__iterator_get_unchecked` needs to return `&mut [T]`, which guarantees certain aliasing
2880    /// properties that we cannot uphold if we hold on to the full original `&mut [T]`. Wrapping a raw
2881    /// slice instead lets us hand out non-overlapping `&mut [T]` subslices of the slice we wrap.
2882    v: *mut [T],
2883    rem: &'a mut [T],
2884    chunk_size: usize,
2885}
2886
2887impl<'a, T> RChunksExactMut<'a, T> {
2888    #[inline]
2889    pub(super) const fn new(slice: &'a mut [T], chunk_size: usize) -> Self {
2890        let rem = slice.len() % chunk_size;
2891        // SAFETY: 0 <= rem <= slice.len() by construction above
2892        let (fst, snd) = unsafe { slice.split_at_mut_unchecked(rem) };
2893        Self { v: snd, rem: fst, chunk_size }
2894    }
2895
2896    /// Returns the remainder of the original slice that is not going to be
2897    /// returned by the iterator. The returned slice has at most `chunk_size-1`
2898    /// elements.
2899    #[must_use = "`self` will be dropped if the result is not used"]
2900    #[stable(feature = "rchunks", since = "1.31.0")]
2901    #[rustc_const_unstable(feature = "const_slice_make_iter", issue = "137737")]
2902    pub const fn into_remainder(self) -> &'a mut [T] {
2903        self.rem
2904    }
2905}
2906
2907#[stable(feature = "rchunks", since = "1.31.0")]
2908impl<'a, T> Iterator for RChunksExactMut<'a, T> {
2909    type Item = &'a mut [T];
2910
2911    #[inline]
2912    fn next(&mut self) -> Option<&'a mut [T]> {
2913        if self.v.len() < self.chunk_size {
2914            None
2915        } else {
2916            let len = self.v.len();
2917            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2918            let (head, tail) = unsafe { self.v.split_at_mut(len - self.chunk_size) };
2919            self.v = head;
2920            // SAFETY: Nothing else points to or will point to the contents of this slice.
2921            Some(unsafe { &mut *tail })
2922        }
2923    }
2924
2925    #[inline]
2926    fn size_hint(&self) -> (usize, Option<usize>) {
2927        let n = self.v.len() / self.chunk_size;
2928        (n, Some(n))
2929    }
2930
2931    #[inline]
2932    fn count(self) -> usize {
2933        self.len()
2934    }
2935
2936    #[inline]
2937    fn nth(&mut self, n: usize) -> Option<&'a mut [T]> {
2938        let (end, overflow) = n.overflowing_mul(self.chunk_size);
2939        if end >= self.v.len() || overflow {
2940            self.v = &mut [];
2941            None
2942        } else {
2943            let len = self.v.len();
2944            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2945            let (fst, _) = unsafe { self.v.split_at_mut(len - end) };
2946            self.v = fst;
2947            self.next()
2948        }
2949    }
2950
2951    #[inline]
2952    fn last(mut self) -> Option<Self::Item> {
2953        self.next_back()
2954    }
2955
2956    unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
2957        let end = self.v.len() - idx * self.chunk_size;
2958        let start = end - self.chunk_size;
2959        // SAFETY: see comments for `RChunksMut::__iterator_get_unchecked` and `self.v`.
2960        unsafe { from_raw_parts_mut(self.v.as_mut_ptr().add(start), self.chunk_size) }
2961    }
2962}
2963
2964#[stable(feature = "rchunks", since = "1.31.0")]
2965impl<'a, T> DoubleEndedIterator for RChunksExactMut<'a, T> {
2966    #[inline]
2967    fn next_back(&mut self) -> Option<&'a mut [T]> {
2968        if self.v.len() < self.chunk_size {
2969            None
2970        } else {
2971            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2972            let (head, tail) = unsafe { self.v.split_at_mut(self.chunk_size) };
2973            self.v = tail;
2974            // SAFETY: Nothing else points to or will point to the contents of this slice.
2975            Some(unsafe { &mut *head })
2976        }
2977    }
2978
2979    #[inline]
2980    fn nth_back(&mut self, n: usize) -> Option<Self::Item> {
2981        let len = self.len();
2982        if n >= len {
2983            self.v = &mut [];
2984            None
2985        } else {
2986            // now that we know that `n` corresponds to a chunk,
2987            // none of these operations can underflow/overflow
2988            let offset = (len - n) * self.chunk_size;
2989            let start = self.v.len() - offset;
2990            let end = start + self.chunk_size;
2991            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2992            let (tmp, tail) = unsafe { self.v.split_at_mut(end) };
2993            // SAFETY: The self.v contract ensures that any split_at_mut is valid.
2994            let (_, nth_back) = unsafe { tmp.split_at_mut(start) };
2995            self.v = tail;
2996            // SAFETY: Nothing else points to or will point to the contents of this slice.
2997            Some(unsafe { &mut *nth_back })
2998        }
2999    }
3000}
3001
3002#[stable(feature = "rchunks", since = "1.31.0")]
3003impl<T> ExactSizeIterator for RChunksExactMut<'_, T> {
3004    fn is_empty(&self) -> bool {
3005        self.v.is_empty()
3006    }
3007}
3008
3009#[unstable(feature = "trusted_len", issue = "37572")]
3010unsafe impl<T> TrustedLen for RChunksExactMut<'_, T> {}
3011
3012#[stable(feature = "rchunks", since = "1.31.0")]
3013impl<T> FusedIterator for RChunksExactMut<'_, T> {}
3014
3015#[doc(hidden)]
3016#[unstable(feature = "trusted_random_access", issue = "none")]
3017unsafe impl<'a, T> TrustedRandomAccess for RChunksExactMut<'a, T> {}
3018
3019#[doc(hidden)]
3020#[unstable(feature = "trusted_random_access", issue = "none")]
3021unsafe impl<'a, T> TrustedRandomAccessNoCoerce for RChunksExactMut<'a, T> {
3022    const MAY_HAVE_SIDE_EFFECT: bool = false;
3023}
3024
3025#[stable(feature = "rchunks", since = "1.31.0")]
3026unsafe impl<T> Send for RChunksExactMut<'_, T> where T: Send {}
3027
3028#[stable(feature = "rchunks", since = "1.31.0")]
3029unsafe impl<T> Sync for RChunksExactMut<'_, T> where T: Sync {}
3030
3031#[doc(hidden)]
3032#[unstable(feature = "trusted_random_access", issue = "none")]
3033unsafe impl<'a, T> TrustedRandomAccess for Iter<'a, T> {}
3034
3035#[doc(hidden)]
3036#[unstable(feature = "trusted_random_access", issue = "none")]
3037unsafe impl<'a, T> TrustedRandomAccessNoCoerce for Iter<'a, T> {
3038    const MAY_HAVE_SIDE_EFFECT: bool = false;
3039}
3040
3041#[doc(hidden)]
3042#[unstable(feature = "trusted_random_access", issue = "none")]
3043unsafe impl<'a, T> TrustedRandomAccess for IterMut<'a, T> {}
3044
3045#[doc(hidden)]
3046#[unstable(feature = "trusted_random_access", issue = "none")]
3047unsafe impl<'a, T> TrustedRandomAccessNoCoerce for IterMut<'a, T> {
3048    const MAY_HAVE_SIDE_EFFECT: bool = false;
3049}
3050
3051/// An iterator over slice in (non-overlapping) chunks separated by a predicate.
3052///
3053/// This struct is created by the [`chunk_by`] method on [slices].
3054///
3055/// [`chunk_by`]: slice::chunk_by
3056/// [slices]: slice
3057#[stable(feature = "slice_group_by", since = "1.77.0")]
3058#[must_use = "iterators are lazy and do nothing unless consumed"]
3059pub struct ChunkBy<'a, T: 'a, P> {
3060    slice: &'a [T],
3061    predicate: P,
3062}
3063
3064#[stable(feature = "slice_group_by", since = "1.77.0")]
3065impl<'a, T: 'a, P> ChunkBy<'a, T, P> {
3066    pub(super) const fn new(slice: &'a [T], predicate: P) -> Self {
3067        ChunkBy { slice, predicate }
3068    }
3069}
3070
3071#[stable(feature = "slice_group_by", since = "1.77.0")]
3072impl<'a, T: 'a, P> Iterator for ChunkBy<'a, T, P>
3073where
3074    P: FnMut(&T, &T) -> bool,
3075{
3076    type Item = &'a [T];
3077
3078    #[inline]
3079    fn next(&mut self) -> Option<Self::Item> {
3080        if self.slice.is_empty() {
3081            None
3082        } else {
3083            let mut len = 1;
3084            let mut iter = self.slice.windows(2);
3085            while let Some([l, r]) = iter.next() {
3086                if (self.predicate)(l, r) { len += 1 } else { break }
3087            }
3088            let (head, tail) = self.slice.split_at(len);
3089            self.slice = tail;
3090            Some(head)
3091        }
3092    }
3093
3094    #[inline]
3095    fn size_hint(&self) -> (usize, Option<usize>) {
3096        if self.slice.is_empty() { (0, Some(0)) } else { (1, Some(self.slice.len())) }
3097    }
3098
3099    #[inline]
3100    fn last(mut self) -> Option<Self::Item> {
3101        self.next_back()
3102    }
3103}
3104
3105#[stable(feature = "slice_group_by", since = "1.77.0")]
3106impl<'a, T: 'a, P> DoubleEndedIterator for ChunkBy<'a, T, P>
3107where
3108    P: FnMut(&T, &T) -> bool,
3109{
3110    #[inline]
3111    fn next_back(&mut self) -> Option<Self::Item> {
3112        if self.slice.is_empty() {
3113            None
3114        } else {
3115            let mut len = 1;
3116            let mut iter = self.slice.windows(2);
3117            while let Some([l, r]) = iter.next_back() {
3118                if (self.predicate)(l, r) { len += 1 } else { break }
3119            }
3120            let (head, tail) = self.slice.split_at(self.slice.len() - len);
3121            self.slice = head;
3122            Some(tail)
3123        }
3124    }
3125}
3126
3127#[stable(feature = "slice_group_by", since = "1.77.0")]
3128impl<'a, T: 'a, P> FusedIterator for ChunkBy<'a, T, P> where P: FnMut(&T, &T) -> bool {}
3129
3130#[stable(feature = "slice_group_by_clone", since = "1.89.0")]
3131impl<'a, T: 'a, P: Clone> Clone for ChunkBy<'a, T, P> {
3132    fn clone(&self) -> Self {
3133        Self { slice: self.slice, predicate: self.predicate.clone() }
3134    }
3135}
3136
3137#[stable(feature = "slice_group_by", since = "1.77.0")]
3138impl<'a, T: 'a + fmt::Debug, P> fmt::Debug for ChunkBy<'a, T, P> {
3139    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
3140        f.debug_struct("ChunkBy").field("slice", &self.slice).finish()
3141    }
3142}
3143
3144/// An iterator over slice in (non-overlapping) mutable chunks separated
3145/// by a predicate.
3146///
3147/// This struct is created by the [`chunk_by_mut`] method on [slices].
3148///
3149/// [`chunk_by_mut`]: slice::chunk_by_mut
3150/// [slices]: slice
3151#[stable(feature = "slice_group_by", since = "1.77.0")]
3152#[must_use = "iterators are lazy and do nothing unless consumed"]
3153pub struct ChunkByMut<'a, T: 'a, P> {
3154    slice: &'a mut [T],
3155    predicate: P,
3156}
3157
3158#[stable(feature = "slice_group_by", since = "1.77.0")]
3159impl<'a, T: 'a, P> ChunkByMut<'a, T, P> {
3160    pub(super) const fn new(slice: &'a mut [T], predicate: P) -> Self {
3161        ChunkByMut { slice, predicate }
3162    }
3163}
3164
3165#[stable(feature = "slice_group_by", since = "1.77.0")]
3166impl<'a, T: 'a, P> Iterator for ChunkByMut<'a, T, P>
3167where
3168    P: FnMut(&T, &T) -> bool,
3169{
3170    type Item = &'a mut [T];
3171
3172    #[inline]
3173    fn next(&mut self) -> Option<Self::Item> {
3174        if self.slice.is_empty() {
3175            None
3176        } else {
3177            let mut len = 1;
3178            let mut iter = self.slice.windows(2);
3179            while let Some([l, r]) = iter.next() {
3180                if (self.predicate)(l, r) { len += 1 } else { break }
3181            }
3182            let slice = mem::take(&mut self.slice);
3183            let (head, tail) = slice.split_at_mut(len);
3184            self.slice = tail;
3185            Some(head)
3186        }
3187    }
3188
3189    #[inline]
3190    fn size_hint(&self) -> (usize, Option<usize>) {
3191        if self.slice.is_empty() { (0, Some(0)) } else { (1, Some(self.slice.len())) }
3192    }
3193
3194    #[inline]
3195    fn last(mut self) -> Option<Self::Item> {
3196        self.next_back()
3197    }
3198}
3199
3200#[stable(feature = "slice_group_by", since = "1.77.0")]
3201impl<'a, T: 'a, P> DoubleEndedIterator for ChunkByMut<'a, T, P>
3202where
3203    P: FnMut(&T, &T) -> bool,
3204{
3205    #[inline]
3206    fn next_back(&mut self) -> Option<Self::Item> {
3207        if self.slice.is_empty() {
3208            None
3209        } else {
3210            let mut len = 1;
3211            let mut iter = self.slice.windows(2);
3212            while let Some([l, r]) = iter.next_back() {
3213                if (self.predicate)(l, r) { len += 1 } else { break }
3214            }
3215            let slice = mem::take(&mut self.slice);
3216            let (head, tail) = slice.split_at_mut(slice.len() - len);
3217            self.slice = head;
3218            Some(tail)
3219        }
3220    }
3221}
3222
3223#[stable(feature = "slice_group_by", since = "1.77.0")]
3224impl<'a, T: 'a, P> FusedIterator for ChunkByMut<'a, T, P> where P: FnMut(&T, &T) -> bool {}
3225
3226#[stable(feature = "slice_group_by", since = "1.77.0")]
3227impl<'a, T: 'a + fmt::Debug, P> fmt::Debug for ChunkByMut<'a, T, P> {
3228    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
3229        f.debug_struct("ChunkByMut").field("slice", &self.slice).finish()
3230    }
3231}