1use crate::fmt;
2use crate::iter::adapters::zip::try_get_unchecked;
3use crate::iter::adapters::{SourceIter, TrustedRandomAccess, TrustedRandomAccessNoCoerce};
4use crate::iter::{FusedIterator, InPlaceIterable, TrustedFused, TrustedLen, UncheckedIterator};
5use crate::num::NonZero;
6use crate::ops::Try;
7
8#[must_use = "iterators are lazy and do nothing unless consumed"]
59#[stable(feature = "rust1", since = "1.0.0")]
60#[derive(Clone)]
61#[ferrocene::prevalidated]
62pub struct Map<I, F> {
63 pub(crate) iter: I,
65 f: F,
66}
67
68impl<I, F> Map<I, F> {
69 #[ferrocene::prevalidated]
70 pub(in crate::iter) fn new(iter: I, f: F) -> Map<I, F> {
71 Map { iter, f }
72 }
73
74 #[ferrocene::prevalidated]
75 pub(crate) fn into_inner(self) -> I {
76 self.iter
77 }
78}
79
80#[stable(feature = "core_impl_debug", since = "1.9.0")]
81impl<I: fmt::Debug, F> fmt::Debug for Map<I, F> {
82 #[ferrocene::prevalidated]
83 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
84 f.debug_struct("Map").field("iter", &self.iter).finish()
85 }
86}
87
88#[ferrocene::prevalidated]
89fn map_fold<T, B, Acc>(
90 mut f: impl FnMut(T) -> B,
91 mut g: impl FnMut(Acc, B) -> Acc,
92) -> impl FnMut(Acc, T) -> Acc {
93 move |acc, elt| g(acc, f(elt))
94}
95
96#[ferrocene::prevalidated]
97fn map_try_fold<'a, T, B, Acc, R>(
98 f: &'a mut impl FnMut(T) -> B,
99 mut g: impl FnMut(Acc, B) -> R + 'a,
100) -> impl FnMut(Acc, T) -> R + 'a {
101 move |acc, elt| g(acc, f(elt))
102}
103
104#[stable(feature = "rust1", since = "1.0.0")]
105impl<B, I: Iterator, F> Iterator for Map<I, F>
106where
107 F: FnMut(I::Item) -> B,
108{
109 type Item = B;
110
111 #[inline]
112 #[ferrocene::prevalidated]
113 fn next(&mut self) -> Option<B> {
114 self.iter.next().map(&mut self.f)
115 }
116
117 #[inline]
118 #[ferrocene::prevalidated]
119 fn size_hint(&self) -> (usize, Option<usize>) {
120 self.iter.size_hint()
121 }
122
123 #[ferrocene::prevalidated]
124 fn try_fold<Acc, G, R>(&mut self, init: Acc, g: G) -> R
125 where
126 Self: Sized,
127 G: FnMut(Acc, Self::Item) -> R,
128 R: Try<Output = Acc>,
129 {
130 self.iter.try_fold(init, map_try_fold(&mut self.f, g))
131 }
132
133 #[ferrocene::prevalidated]
134 fn fold<Acc, G>(self, init: Acc, g: G) -> Acc
135 where
136 G: FnMut(Acc, Self::Item) -> Acc,
137 {
138 self.iter.fold(init, map_fold(self.f, g))
139 }
140
141 #[inline]
142 unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> B
143 where
144 Self: TrustedRandomAccessNoCoerce,
145 {
146 unsafe { (self.f)(try_get_unchecked(&mut self.iter, idx)) }
149 }
150}
151
152#[stable(feature = "rust1", since = "1.0.0")]
153impl<B, I: DoubleEndedIterator, F> DoubleEndedIterator for Map<I, F>
154where
155 F: FnMut(I::Item) -> B,
156{
157 #[inline]
158 #[ferrocene::prevalidated]
159 fn next_back(&mut self) -> Option<B> {
160 self.iter.next_back().map(&mut self.f)
161 }
162
163 #[ferrocene::prevalidated]
164 fn try_rfold<Acc, G, R>(&mut self, init: Acc, g: G) -> R
165 where
166 Self: Sized,
167 G: FnMut(Acc, Self::Item) -> R,
168 R: Try<Output = Acc>,
169 {
170 self.iter.try_rfold(init, map_try_fold(&mut self.f, g))
171 }
172
173 #[ferrocene::prevalidated]
174 fn rfold<Acc, G>(self, init: Acc, g: G) -> Acc
175 where
176 G: FnMut(Acc, Self::Item) -> Acc,
177 {
178 self.iter.rfold(init, map_fold(self.f, g))
179 }
180}
181
182#[stable(feature = "rust1", since = "1.0.0")]
183impl<B, I: ExactSizeIterator, F> ExactSizeIterator for Map<I, F>
184where
185 F: FnMut(I::Item) -> B,
186{
187 fn len(&self) -> usize {
188 self.iter.len()
189 }
190
191 fn is_empty(&self) -> bool {
192 self.iter.is_empty()
193 }
194}
195
196#[stable(feature = "fused", since = "1.26.0")]
197impl<B, I: FusedIterator, F> FusedIterator for Map<I, F> where F: FnMut(I::Item) -> B {}
198
199#[unstable(issue = "none", feature = "trusted_fused")]
200unsafe impl<I: TrustedFused, F> TrustedFused for Map<I, F> {}
201
202#[unstable(feature = "trusted_len", issue = "37572")]
203unsafe impl<B, I, F> TrustedLen for Map<I, F>
204where
205 I: TrustedLen,
206 F: FnMut(I::Item) -> B,
207{
208}
209
210impl<B, I, F> UncheckedIterator for Map<I, F>
211where
212 I: UncheckedIterator,
213 F: FnMut(I::Item) -> B,
214{
215 #[ferrocene::prevalidated]
216 unsafe fn next_unchecked(&mut self) -> B {
217 let item = unsafe { self.iter.next_unchecked() };
220 (self.f)(item)
221 }
222}
223
224#[doc(hidden)]
225#[unstable(feature = "trusted_random_access", issue = "none")]
226unsafe impl<I, F> TrustedRandomAccess for Map<I, F> where I: TrustedRandomAccess {}
227
228#[doc(hidden)]
229#[unstable(feature = "trusted_random_access", issue = "none")]
230unsafe impl<I, F> TrustedRandomAccessNoCoerce for Map<I, F>
231where
232 I: TrustedRandomAccessNoCoerce,
233{
234 const MAY_HAVE_SIDE_EFFECT: bool = true;
235}
236
237#[unstable(issue = "none", feature = "inplace_iteration")]
238unsafe impl<I, F> SourceIter for Map<I, F>
239where
240 I: SourceIter,
241{
242 type Source = I::Source;
243
244 #[inline]
245 unsafe fn as_inner(&mut self) -> &mut I::Source {
246 unsafe { SourceIter::as_inner(&mut self.iter) }
248 }
249}
250
251#[unstable(issue = "none", feature = "inplace_iteration")]
252unsafe impl<I: InPlaceIterable, F> InPlaceIterable for Map<I, F> {
253 const EXPAND_BY: Option<NonZero<usize>> = I::EXPAND_BY;
254 const MERGE_BY: Option<NonZero<usize>> = I::MERGE_BY;
255}