Skip to main content

core/iter/traits/
double_ended.rs

1use crate::array;
2use crate::marker::Destruct;
3use crate::num::NonZero;
4use crate::ops::{ControlFlow, Try};
5
6/// An iterator able to yield elements from both ends.
7///
8/// Something that implements `DoubleEndedIterator` has one extra capability
9/// over something that implements [`Iterator`]: the ability to also take
10/// `Item`s from the back, as well as the front.
11///
12/// It is important to note that both back and forth work on the same range,
13/// and do not cross: iteration is over when they meet in the middle.
14///
15/// In a similar fashion to the [`Iterator`] protocol, once a
16/// `DoubleEndedIterator` returns [`None`] from a [`next_back()`], calling it
17/// again may or may not ever return [`Some`] again. [`next()`] and
18/// [`next_back()`] are interchangeable for this purpose.
19///
20/// [`next_back()`]: DoubleEndedIterator::next_back
21/// [`next()`]: Iterator::next
22///
23/// # Examples
24///
25/// Basic usage:
26///
27/// ```
28/// let numbers = vec![1, 2, 3, 4, 5, 6];
29///
30/// let mut iter = numbers.iter();
31///
32/// assert_eq!(Some(&1), iter.next());
33/// assert_eq!(Some(&6), iter.next_back());
34/// assert_eq!(Some(&5), iter.next_back());
35/// assert_eq!(Some(&2), iter.next());
36/// assert_eq!(Some(&3), iter.next());
37/// assert_eq!(Some(&4), iter.next());
38/// assert_eq!(None, iter.next());
39/// assert_eq!(None, iter.next_back());
40/// ```
41#[stable(feature = "rust1", since = "1.0.0")]
42#[rustc_diagnostic_item = "DoubleEndedIterator"]
43#[rustc_const_unstable(feature = "const_iter", issue = "92476")]
44pub const trait DoubleEndedIterator: [const] Iterator {
45    /// Removes and returns an element from the end of the iterator.
46    ///
47    /// Returns `None` when there are no more elements.
48    ///
49    /// The [trait-level] docs contain more details.
50    ///
51    /// [trait-level]: DoubleEndedIterator
52    ///
53    /// # Examples
54    ///
55    /// Basic usage:
56    ///
57    /// ```
58    /// let numbers = vec![1, 2, 3, 4, 5, 6];
59    ///
60    /// let mut iter = numbers.iter();
61    ///
62    /// assert_eq!(Some(&1), iter.next());
63    /// assert_eq!(Some(&6), iter.next_back());
64    /// assert_eq!(Some(&5), iter.next_back());
65    /// assert_eq!(Some(&2), iter.next());
66    /// assert_eq!(Some(&3), iter.next());
67    /// assert_eq!(Some(&4), iter.next());
68    /// assert_eq!(None, iter.next());
69    /// assert_eq!(None, iter.next_back());
70    /// ```
71    ///
72    /// # Remarks
73    ///
74    /// The elements yielded by `DoubleEndedIterator`'s methods may differ from
75    /// the ones yielded by [`Iterator`]'s methods:
76    ///
77    /// ```
78    /// let vec = vec![(1, 'a'), (1, 'b'), (1, 'c'), (2, 'a'), (2, 'b')];
79    /// let uniq_by_fst_comp = || {
80    ///     let mut seen = std::collections::HashSet::new();
81    ///     vec.iter().copied().filter(move |x| seen.insert(x.0))
82    /// };
83    ///
84    /// assert_eq!(uniq_by_fst_comp().last(), Some((2, 'a')));
85    /// assert_eq!(uniq_by_fst_comp().next_back(), Some((2, 'b')));
86    ///
87    /// assert_eq!(
88    ///     uniq_by_fst_comp().fold(vec![], |mut v, x| {v.push(x); v}),
89    ///     vec![(1, 'a'), (2, 'a')]
90    /// );
91    /// assert_eq!(
92    ///     uniq_by_fst_comp().rfold(vec![], |mut v, x| {v.push(x); v}),
93    ///     vec![(2, 'b'), (1, 'c')]
94    /// );
95    /// ```
96    #[stable(feature = "rust1", since = "1.0.0")]
97    fn next_back(&mut self) -> Option<Self::Item>;
98
99    /// Advances from the back of the iterator and returns an array containing the next
100    /// `N` values in sequence.
101    ///
102    /// If there are not enough elements to fill the array then `Err` is returned
103    /// containing an iterator over the remaining elements.
104    ///
105    /// Note: This is not equivalent to doing `iter.rev().next_chunk()` as this method
106    /// takes elements from the back of the iterator and preserves the order that the
107    /// elements were seen in the original iterator.
108    ///
109    /// # Examples
110    ///
111    /// Basic usage:
112    ///
113    /// ```
114    /// #![feature(iter_next_chunk)]
115    ///
116    /// let mut iter = "lorem".chars();
117    ///
118    /// assert_eq!(iter.next_chunk_back().unwrap(), ['e', 'm']);              // N is inferred as 2
119    /// assert_eq!(iter.next_chunk_back().unwrap(), ['l', 'o', 'r']);         // N is inferred as 3
120    /// assert_eq!(iter.next_chunk_back::<4>().unwrap_err().as_slice(), &[]); // N is explicitly 4
121    /// ```
122    ///
123    /// Split a string and get the last three items in sequence.
124    ///
125    /// ```
126    /// #![feature(iter_next_chunk)]
127    ///
128    /// let quote = "not all those who wander are lost";
129    /// let [first, second, third] = quote.split_whitespace().next_chunk_back().unwrap();
130    /// assert_eq!(first, "wander");
131    /// assert_eq!(second, "are");
132    /// assert_eq!(third, "lost");
133    /// ```
134    #[inline]
135    #[unstable(feature = "iter_next_chunk", issue = "98326")]
136    #[rustc_non_const_trait_method]
137    fn next_chunk_back<const N: usize>(
138        &mut self,
139    ) -> Result<[Self::Item; N], array::IntoIter<Self::Item, N>>
140    where
141        Self: Sized,
142    {
143        crate::array::iter_next_chunk_back(self)
144    }
145
146    /// Advances the iterator from the back by `n` elements.
147    ///
148    /// `advance_back_by` is the reverse version of [`advance_by`]. This method will
149    /// eagerly skip `n` elements starting from the back by calling [`next_back`] up
150    /// to `n` times until [`None`] is encountered.
151    ///
152    /// `advance_back_by(n)` will return `Ok(())` if the iterator successfully advances by
153    /// `n` elements, or a `Err(NonZero<usize>)` with value `k` if [`None`] is encountered, where `k`
154    /// is remaining number of steps that could not be advanced because the iterator ran out.
155    /// If `self` is empty and `n` is non-zero, then this returns `Err(n)`.
156    /// Otherwise, `k` is always less than `n`.
157    ///
158    /// Calling `advance_back_by(0)` can do meaningful work, for example [`Flatten`] can advance its
159    /// outer iterator until it finds an inner iterator that is not empty, which then often
160    /// allows it to return a more accurate `size_hint()` than in its initial state.
161    ///
162    /// [`advance_by`]: Iterator::advance_by
163    /// [`Flatten`]: crate::iter::Flatten
164    /// [`next_back`]: DoubleEndedIterator::next_back
165    ///
166    /// # Examples
167    ///
168    /// Basic usage:
169    ///
170    /// ```
171    /// #![feature(iter_advance_by)]
172    ///
173    /// use std::num::NonZero;
174    ///
175    /// let a = [3, 4, 5, 6];
176    /// let mut iter = a.iter();
177    ///
178    /// assert_eq!(iter.advance_back_by(2), Ok(()));
179    /// assert_eq!(iter.next_back(), Some(&4));
180    /// assert_eq!(iter.advance_back_by(0), Ok(()));
181    /// assert_eq!(iter.advance_back_by(100), Err(NonZero::new(99).unwrap())); // only `&3` was skipped
182    /// ```
183    ///
184    /// [`Ok(())`]: Ok
185    /// [`Err(k)`]: Err
186    #[inline]
187    #[unstable(feature = "iter_advance_by", issue = "77404")]
188    fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>>
189    where
190        Self::Item: [const] Destruct,
191    {
192        for i in 0..n {
193            if self.next_back().is_none() {
194                // SAFETY: `i` is always less than `n`.
195                return Err(unsafe { NonZero::new_unchecked(n - i) });
196            }
197        }
198        Ok(())
199    }
200
201    /// Returns the `n`th element from the end of the iterator.
202    ///
203    /// This is essentially the reversed version of [`Iterator::nth()`].
204    /// Although like most indexing operations, the count starts from zero, so
205    /// `nth_back(0)` returns the first value from the end, `nth_back(1)` the
206    /// second, and so on.
207    ///
208    /// Note that all elements between the end and the returned element will be
209    /// consumed, including the returned element. This also means that calling
210    /// `nth_back(0)` multiple times on the same iterator will return different
211    /// elements.
212    ///
213    /// `nth_back()` will return [`None`] if `n` is greater than or equal to the
214    /// length of the iterator.
215    ///
216    /// # Examples
217    ///
218    /// Basic usage:
219    ///
220    /// ```
221    /// let a = [1, 2, 3];
222    /// assert_eq!(a.iter().nth_back(2), Some(&1));
223    /// ```
224    ///
225    /// Calling `nth_back()` multiple times doesn't rewind the iterator:
226    ///
227    /// ```
228    /// let a = [1, 2, 3];
229    ///
230    /// let mut iter = a.iter();
231    ///
232    /// assert_eq!(iter.nth_back(1), Some(&2));
233    /// assert_eq!(iter.nth_back(1), None);
234    /// ```
235    ///
236    /// Returning `None` if there are less than `n + 1` elements:
237    ///
238    /// ```
239    /// let a = [1, 2, 3];
240    /// assert_eq!(a.iter().nth_back(10), None);
241    /// ```
242    #[inline]
243    #[stable(feature = "iter_nth_back", since = "1.37.0")]
244    fn nth_back(&mut self, n: usize) -> Option<Self::Item>
245    where
246        Self::Item: [const] Destruct,
247    {
248        if self.advance_back_by(n).is_err() {
249            return None;
250        }
251        self.next_back()
252    }
253
254    /// This is the reverse version of [`Iterator::try_fold()`]: it takes
255    /// elements starting from the back of the iterator.
256    ///
257    /// # Examples
258    ///
259    /// Basic usage:
260    ///
261    /// ```
262    /// let a = ["1", "2", "3"];
263    /// let sum = a.iter()
264    ///     .map(|&s| s.parse::<i32>())
265    ///     .try_rfold(0, |acc, x| x.and_then(|y| Ok(acc + y)));
266    /// assert_eq!(sum, Ok(6));
267    /// ```
268    ///
269    /// Short-circuiting:
270    ///
271    /// ```
272    /// let a = ["1", "rust", "3"];
273    /// let mut it = a.iter();
274    /// let sum = it
275    ///     .by_ref()
276    ///     .map(|&s| s.parse::<i32>())
277    ///     .try_rfold(0, |acc, x| x.and_then(|y| Ok(acc + y)));
278    /// assert!(sum.is_err());
279    ///
280    /// // Because it short-circuited, the remaining elements are still
281    /// // available through the iterator.
282    /// assert_eq!(it.next_back(), Some(&"1"));
283    /// ```
284    #[inline]
285    #[stable(feature = "iterator_try_fold", since = "1.27.0")]
286    fn try_rfold<B, F, R>(&mut self, init: B, mut f: F) -> R
287    where
288        Self: Sized,
289        F: [const] FnMut(B, Self::Item) -> R + [const] Destruct,
290        R: [const] Try<Output = B>,
291    {
292        let mut accum = init;
293        while let Some(x) = self.next_back() {
294            accum = f(accum, x)?;
295        }
296        try { accum }
297    }
298
299    /// An iterator method that reduces the iterator's elements to a single,
300    /// final value, starting from the back.
301    ///
302    /// This is the reverse version of [`Iterator::fold()`]: it takes elements
303    /// starting from the back of the iterator.
304    ///
305    /// `rfold()` takes two arguments: an initial value, and a closure with two
306    /// arguments: an 'accumulator', and an element. The closure returns the value that
307    /// the accumulator should have for the next iteration.
308    ///
309    /// The initial value is the value the accumulator will have on the first
310    /// call.
311    ///
312    /// After applying this closure to every element of the iterator, `rfold()`
313    /// returns the accumulator.
314    ///
315    /// This operation is sometimes called 'reduce' or 'inject'.
316    ///
317    /// Folding is useful whenever you have a collection of something, and want
318    /// to produce a single value from it.
319    ///
320    /// Note: `rfold()` combines elements in a *right-associative* fashion. For associative
321    /// operators like `+`, the order the elements are combined in is not important, but for non-associative
322    /// operators like `-` the order will affect the final result.
323    /// For a *left-associative* version of `rfold()`, see [`Iterator::fold()`].
324    ///
325    /// # Examples
326    ///
327    /// Basic usage:
328    ///
329    /// ```
330    /// let a = [1, 2, 3];
331    ///
332    /// // the sum of all of the elements of a
333    /// let sum = a.iter()
334    ///            .rfold(0, |acc, &x| acc + x);
335    ///
336    /// assert_eq!(sum, 6);
337    /// ```
338    ///
339    /// This example demonstrates the right-associative nature of `rfold()`:
340    /// it builds a string, starting with an initial value
341    /// and continuing with each element from the back until the front:
342    ///
343    /// ```
344    /// let numbers = [1, 2, 3, 4, 5];
345    ///
346    /// let zero = "0".to_string();
347    ///
348    /// let result = numbers.iter().rfold(zero, |acc, &x| {
349    ///     format!("({x} + {acc})")
350    /// });
351    ///
352    /// assert_eq!(result, "(1 + (2 + (3 + (4 + (5 + 0)))))");
353    /// ```
354    #[doc(alias = "foldr")]
355    #[inline]
356    #[stable(feature = "iter_rfold", since = "1.27.0")]
357    fn rfold<B, F>(mut self, init: B, mut f: F) -> B
358    where
359        Self: Sized + [const] Destruct,
360        F: [const] FnMut(B, Self::Item) -> B + [const] Destruct,
361    {
362        let mut accum = init;
363        while let Some(x) = self.next_back() {
364            accum = f(accum, x);
365        }
366        accum
367    }
368
369    /// Searches for an element of an iterator from the back that satisfies a predicate.
370    ///
371    /// `rfind()` takes a closure that returns `true` or `false`. It applies
372    /// this closure to each element of the iterator, starting at the end, and if any
373    /// of them return `true`, then `rfind()` returns [`Some(element)`]. If they all return
374    /// `false`, it returns [`None`].
375    ///
376    /// `rfind()` is short-circuiting; in other words, it will stop processing
377    /// as soon as the closure returns `true`.
378    ///
379    /// Because `rfind()` takes a reference, and many iterators iterate over
380    /// references, this leads to a possibly confusing situation where the
381    /// argument is a double reference. You can see this effect in the
382    /// examples below, with `&&x`.
383    ///
384    /// [`Some(element)`]: Some
385    ///
386    /// # Examples
387    ///
388    /// Basic usage:
389    ///
390    /// ```
391    /// let a = [1, 2, 3];
392    ///
393    /// assert_eq!(a.into_iter().rfind(|&x| x == 2), Some(2));
394    /// assert_eq!(a.into_iter().rfind(|&x| x == 5), None);
395    /// ```
396    ///
397    /// Iterating over references:
398    ///
399    /// ```
400    /// let a = [1, 2, 3];
401    ///
402    /// // `iter()` yields references i.e. `&i32` and `rfind()` takes a
403    /// // reference to each element.
404    /// assert_eq!(a.iter().rfind(|&&x| x == 2), Some(&2));
405    /// assert_eq!(a.iter().rfind(|&&x| x == 5), None);
406    /// ```
407    ///
408    /// Stopping at the first `true`:
409    ///
410    /// ```
411    /// let a = [1, 2, 3];
412    ///
413    /// let mut iter = a.iter();
414    ///
415    /// assert_eq!(iter.rfind(|&&x| x == 2), Some(&2));
416    ///
417    /// // we can still use `iter`, as there are more elements.
418    /// assert_eq!(iter.next_back(), Some(&1));
419    /// ```
420    #[inline]
421    #[stable(feature = "iter_rfind", since = "1.27.0")]
422    fn rfind<P>(&mut self, predicate: P) -> Option<Self::Item>
423    where
424        Self: Sized,
425        P: [const] FnMut(&Self::Item) -> bool + [const] Destruct,
426        Self::Item: [const] Destruct,
427    {
428        #[inline]
429        #[rustc_const_unstable(feature = "const_iter", issue = "92476")]
430        const fn check<T>(
431            mut predicate: impl [const] FnMut(&T) -> bool + [const] Destruct,
432        ) -> impl [const] FnMut((), T) -> ControlFlow<T> + [const] Destruct
433        where
434            T: [const] Destruct,
435        {
436            const move |(), x| {
437                if predicate(&x) { ControlFlow::Break(x) } else { ControlFlow::Continue(()) }
438            }
439        }
440
441        self.try_rfold((), check(predicate)).break_value()
442    }
443}
444
445#[stable(feature = "rust1", since = "1.0.0")]
446impl<'a, I: DoubleEndedIterator + ?Sized> DoubleEndedIterator for &'a mut I {
447    fn next_back(&mut self) -> Option<I::Item> {
448        (**self).next_back()
449    }
450    fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
451        (**self).advance_back_by(n)
452    }
453    fn nth_back(&mut self, n: usize) -> Option<I::Item> {
454        (**self).nth_back(n)
455    }
456    fn rfold<B, F>(self, init: B, f: F) -> B
457    where
458        F: FnMut(B, Self::Item) -> B,
459    {
460        self.spec_rfold(init, f)
461    }
462    fn try_rfold<B, F, R>(&mut self, init: B, f: F) -> R
463    where
464        F: FnMut(B, Self::Item) -> R,
465        R: Try<Output = B>,
466    {
467        self.spec_try_rfold(init, f)
468    }
469}
470
471/// Helper trait to specialize `rfold` and `rtry_fold` for `&mut I where I: Sized`
472trait DoubleEndedIteratorRefSpec: DoubleEndedIterator {
473    fn spec_rfold<B, F>(self, init: B, f: F) -> B
474    where
475        F: FnMut(B, Self::Item) -> B;
476
477    fn spec_try_rfold<B, F, R>(&mut self, init: B, f: F) -> R
478    where
479        F: FnMut(B, Self::Item) -> R,
480        R: Try<Output = B>;
481}
482
483impl<I: DoubleEndedIterator + ?Sized> DoubleEndedIteratorRefSpec for &mut I {
484    default fn spec_rfold<B, F>(self, init: B, mut f: F) -> B
485    where
486        F: FnMut(B, Self::Item) -> B,
487    {
488        let mut accum = init;
489        while let Some(x) = self.next_back() {
490            accum = f(accum, x);
491        }
492        accum
493    }
494
495    default fn spec_try_rfold<B, F, R>(&mut self, init: B, mut f: F) -> R
496    where
497        F: FnMut(B, Self::Item) -> R,
498        R: Try<Output = B>,
499    {
500        let mut accum = init;
501        while let Some(x) = self.next_back() {
502            accum = f(accum, x)?;
503        }
504        try { accum }
505    }
506}
507
508impl<I: DoubleEndedIterator> DoubleEndedIteratorRefSpec for &mut I {
509    impl_fold_via_try_fold! { spec_rfold -> spec_try_rfold }
510
511    fn spec_try_rfold<B, F, R>(&mut self, init: B, f: F) -> R
512    where
513        F: FnMut(B, Self::Item) -> R,
514        R: Try<Output = B>,
515    {
516        (**self).try_rfold(init, f)
517    }
518}