core/slice/iter/macros.rs
1//! Macros used by iterators of slice.
2
3/// Convenience & performance macro for consuming the `end_or_len` field, by
4/// giving a `(&mut) usize` or `(&mut) NonNull<T>` depending whether `T` is
5/// or is not a ZST respectively.
6///
7/// Internally, this reads the `end` through a pointer-to-`NonNull` so that
8/// it'll get the appropriate non-null metadata in the backend without needing
9/// to call `assume` manually.
10macro_rules! if_zst {
11 (mut $this:ident, $len:ident => $zst_body:expr, $end:ident => $other_body:expr,) => {{
12 #![allow(unused_unsafe)] // we're sometimes used within an unsafe block
13
14 if T::IS_ZST {
15 // SAFETY: for ZSTs, the pointer is storing a provenance-free length,
16 // so consuming and updating it as a `usize` is fine.
17 let $len = unsafe { &mut *(&raw mut $this.end_or_len).cast::<usize>() };
18 $zst_body
19 } else {
20 // SAFETY: for non-ZSTs, the type invariant ensures it cannot be null
21 let $end = unsafe { &mut *(&raw mut $this.end_or_len).cast::<NonNull<T>>() };
22 $other_body
23 }
24 }};
25 ($this:ident, $len:ident => $zst_body:expr, $end:ident => $other_body:expr,) => {{
26 #![allow(unused_unsafe)] // we're sometimes used within an unsafe block
27
28 if T::IS_ZST {
29 let $len = $this.end_or_len.addr();
30 $zst_body
31 } else {
32 // SAFETY: for non-ZSTs, the type invariant ensures it cannot be null
33 let $end = unsafe { mem::transmute::<*const T, NonNull<T>>($this.end_or_len) };
34 $other_body
35 }
36 }};
37}
38
39// Inlining is_empty and len makes a huge performance difference
40macro_rules! is_empty {
41 ($self: ident) => {
42 if_zst!($self,
43 len => len == 0,
44 end => $self.ptr == end,
45 )
46 };
47}
48
49macro_rules! len {
50 ($self: ident) => {{
51 if_zst!($self,
52 len => len,
53 end => {
54 // To get rid of some bounds checks (see `position`), we use ptr_sub instead of
55 // offset_from (Tested by `codegen/slice-position-bounds-check`.)
56 // SAFETY: by the type invariant pointers are aligned and `start <= end`
57 unsafe { end.offset_from_unsigned($self.ptr) }
58 },
59 )
60 }};
61}
62
63// The shared definition of the `Iter` and `IterMut` iterators
64macro_rules! iterator {
65 (
66 struct $name:ident -> $ptr:ty,
67 $elem:ty,
68 $raw_mut:tt,
69 {$( $mut_:tt )?},
70 $into_ref:ident,
71 {$($extra:tt)*}
72 ) => {
73 impl<'a, T> $name<'a, T> {
74 /// Returns the last element and moves the end of the iterator backwards by 1.
75 ///
76 /// # Safety
77 ///
78 /// The iterator must not be empty
79 #[inline]
80 unsafe fn next_back_unchecked(&mut self) -> $elem {
81 // SAFETY: the caller promised it's not empty, so
82 // the offsetting is in-bounds and there's an element to return.
83 unsafe { self.pre_dec_end(1).$into_ref() }
84 }
85
86 // Helper function for creating a slice from the iterator.
87 #[inline(always)]
88 fn make_slice(&self) -> &'a [T] {
89 // SAFETY: the iterator was created from a slice with pointer
90 // `self.ptr` and length `len!(self)`. This guarantees that all
91 // the prerequisites for `from_raw_parts` are fulfilled.
92 unsafe { from_raw_parts(self.ptr.as_ptr(), len!(self)) }
93 }
94
95 // Helper function for moving the start of the iterator forwards by `offset` elements,
96 // returning the old start.
97 // Unsafe because the offset must not exceed `self.len()`.
98 #[inline(always)]
99 unsafe fn post_inc_start(&mut self, offset: usize) -> NonNull<T> {
100 let old = self.ptr;
101
102 // SAFETY: the caller guarantees that `offset` doesn't exceed `self.len()`,
103 // so this new pointer is inside `self` and thus guaranteed to be non-null.
104 unsafe {
105 if_zst!(mut self,
106 // Using the intrinsic directly avoids emitting a UbCheck
107 len => *len = crate::intrinsics::unchecked_sub(*len, offset),
108 _end => self.ptr = self.ptr.add(offset),
109 );
110 }
111 old
112 }
113
114 // Helper function for moving the end of the iterator backwards by `offset` elements,
115 // returning the new end.
116 // Unsafe because the offset must not exceed `self.len()`.
117 #[inline(always)]
118 unsafe fn pre_dec_end(&mut self, offset: usize) -> NonNull<T> {
119 if_zst!(mut self,
120 // SAFETY: By our precondition, `offset` can be at most the
121 // current length, so the subtraction can never overflow.
122 len => unsafe {
123 // Using the intrinsic directly avoids emitting a UbCheck
124 *len = crate::intrinsics::unchecked_sub(*len, offset);
125 self.ptr
126 },
127 // SAFETY: the caller guarantees that `offset` doesn't exceed `self.len()`,
128 // which is guaranteed to not overflow an `isize`. Also, the resulting pointer
129 // is in bounds of `slice`, which fulfills the other requirements for `offset`.
130 end => unsafe {
131 *end = end.sub(offset);
132 *end
133 },
134 )
135 }
136 }
137
138 #[stable(feature = "rust1", since = "1.0.0")]
139 impl<T> ExactSizeIterator for $name<'_, T> {
140 #[inline(always)]
141 fn len(&self) -> usize {
142 len!(self)
143 }
144
145 #[inline(always)]
146 fn is_empty(&self) -> bool {
147 is_empty!(self)
148 }
149 }
150
151 #[stable(feature = "rust1", since = "1.0.0")]
152 impl<'a, T> Iterator for $name<'a, T> {
153 type Item = $elem;
154
155 #[inline]
156 fn next(&mut self) -> Option<$elem> {
157 // intentionally not using the helpers because this is
158 // one of the most mono'd things in the library.
159
160 let ptr = self.ptr;
161 let end_or_len = self.end_or_len;
162 // SAFETY: See inner comments. (For some reason having multiple
163 // block breaks inlining this -- if you can fix that please do!)
164 unsafe {
165 if T::IS_ZST {
166 let len = end_or_len.addr();
167 if len == 0 {
168 return None;
169 }
170 // SAFETY: just checked that it's not zero, so subtracting one
171 // cannot wrap. (Ideally this would be `checked_sub`, which
172 // does the same thing internally, but as of 2025-02 that
173 // doesn't optimize quite as small in MIR.)
174 self.end_or_len = without_provenance_mut(len.unchecked_sub(1));
175 } else {
176 // SAFETY: by type invariant, the `end_or_len` field is always
177 // non-null for a non-ZST pointee. (This transmute ensures we
178 // get `!nonnull` metadata on the load of the field.)
179 if ptr == crate::intrinsics::transmute::<$ptr, NonNull<T>>(end_or_len) {
180 return None;
181 }
182 // SAFETY: since it's not empty, per the check above, moving
183 // forward one keeps us inside the slice, and this is valid.
184 self.ptr = ptr.add(1);
185 }
186 // SAFETY: Now that we know it wasn't empty and we've moved past
187 // the first one (to avoid giving a duplicate `&mut` next time),
188 // we can give out a reference to it.
189 Some({ptr}.$into_ref())
190 }
191 }
192
193 #[inline]
194 fn size_hint(&self) -> (usize, Option<usize>) {
195 let exact = len!(self);
196 (exact, Some(exact))
197 }
198
199 #[inline]
200 fn count(self) -> usize {
201 len!(self)
202 }
203
204 #[inline]
205 fn nth(&mut self, n: usize) -> Option<$elem> {
206 if n >= len!(self) {
207 // This iterator is now empty.
208 if_zst!(mut self,
209 len => *len = 0,
210 end => self.ptr = *end,
211 );
212 return None;
213 }
214 // SAFETY: We are in bounds. `post_inc_start` does the right thing even for ZSTs.
215 unsafe {
216 self.post_inc_start(n);
217 Some(self.next_unchecked())
218 }
219 }
220
221 #[inline]
222 fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
223 let advance = cmp::min(len!(self), n);
224 // SAFETY: By construction, `advance` does not exceed `self.len()`.
225 unsafe { self.post_inc_start(advance) };
226 NonZero::new(n - advance).map_or(Ok(()), Err)
227 }
228
229 #[inline]
230 fn last(mut self) -> Option<$elem> {
231 self.next_back()
232 }
233
234 #[inline]
235 fn fold<B, F>(self, init: B, mut f: F) -> B
236 where
237 F: FnMut(B, Self::Item) -> B,
238 {
239 // this implementation consists of the following optimizations compared to the
240 // default implementation:
241 // - do-while loop, as is llvm's preferred loop shape,
242 // see https://releases.llvm.org/16.0.0/docs/LoopTerminology.html#more-canonical-loops
243 // - bumps an index instead of a pointer since the latter case inhibits
244 // some optimizations, see #111603
245 // - avoids Option wrapping/matching
246 if is_empty!(self) {
247 return init;
248 }
249 let mut acc = init;
250 let mut i = 0;
251 let len = len!(self);
252 loop {
253 // SAFETY: the loop iterates `i in 0..len`, which always is in bounds of
254 // the slice allocation
255 acc = f(acc, unsafe { & $( $mut_ )? *self.ptr.add(i).as_ptr() });
256 // SAFETY: `i` can't overflow since it'll only reach usize::MAX if the
257 // slice had that length, in which case we'll break out of the loop
258 // after the increment
259 i = unsafe { i.unchecked_add(1) };
260 if i == len {
261 break;
262 }
263 }
264 acc
265 }
266
267 // We override the default implementation, which uses `try_fold`,
268 // because this simple implementation generates less LLVM IR and is
269 // faster to compile.
270 #[inline]
271 fn for_each<F>(mut self, mut f: F)
272 where
273 Self: Sized,
274 F: FnMut(Self::Item),
275 {
276 while let Some(x) = self.next() {
277 f(x);
278 }
279 }
280
281 // We override the default implementation, which uses `try_fold`,
282 // because this simple implementation generates less LLVM IR and is
283 // faster to compile.
284 #[inline]
285 fn all<F>(&mut self, mut f: F) -> bool
286 where
287 Self: Sized,
288 F: FnMut(Self::Item) -> bool,
289 {
290 while let Some(x) = self.next() {
291 if !f(x) {
292 return false;
293 }
294 }
295 true
296 }
297
298 // We override the default implementation, which uses `try_fold`,
299 // because this simple implementation generates less LLVM IR and is
300 // faster to compile.
301 #[inline]
302 fn any<F>(&mut self, mut f: F) -> bool
303 where
304 Self: Sized,
305 F: FnMut(Self::Item) -> bool,
306 {
307 while let Some(x) = self.next() {
308 if f(x) {
309 return true;
310 }
311 }
312 false
313 }
314
315 // We override the default implementation, which uses `try_fold`,
316 // because this simple implementation generates less LLVM IR and is
317 // faster to compile.
318 #[inline]
319 fn find<P>(&mut self, mut predicate: P) -> Option<Self::Item>
320 where
321 Self: Sized,
322 P: FnMut(&Self::Item) -> bool,
323 {
324 while let Some(x) = self.next() {
325 if predicate(&x) {
326 return Some(x);
327 }
328 }
329 None
330 }
331
332 // We override the default implementation, which uses `try_fold`,
333 // because this simple implementation generates less LLVM IR and is
334 // faster to compile.
335 #[inline]
336 fn find_map<B, F>(&mut self, mut f: F) -> Option<B>
337 where
338 Self: Sized,
339 F: FnMut(Self::Item) -> Option<B>,
340 {
341 while let Some(x) = self.next() {
342 if let Some(y) = f(x) {
343 return Some(y);
344 }
345 }
346 None
347 }
348
349 // We override the default implementation, which uses `try_fold`,
350 // because this simple implementation generates less LLVM IR and is
351 // faster to compile. Also, the `assume` avoids a bounds check.
352 #[inline]
353 #[rustc_inherit_overflow_checks]
354 fn position<P>(&mut self, mut predicate: P) -> Option<usize> where
355 Self: Sized,
356 P: FnMut(Self::Item) -> bool,
357 {
358 let n = len!(self);
359 let mut i = 0;
360 while let Some(x) = self.next() {
361 if predicate(x) {
362 // SAFETY: we are guaranteed to be in bounds by the loop invariant:
363 // when `i >= n`, `self.next()` returns `None` and the loop breaks.
364 unsafe { assert_unchecked(i < n) };
365 return Some(i);
366 }
367 i += 1;
368 }
369 None
370 }
371
372 // We override the default implementation, which uses `try_fold`,
373 // because this simple implementation generates less LLVM IR and is
374 // faster to compile. Also, the `assume` avoids a bounds check.
375 #[inline]
376 fn rposition<P>(&mut self, mut predicate: P) -> Option<usize> where
377 P: FnMut(Self::Item) -> bool,
378 Self: Sized + ExactSizeIterator + DoubleEndedIterator
379 {
380 let n = len!(self);
381 let mut i = n;
382 while let Some(x) = self.next_back() {
383 i -= 1;
384 if predicate(x) {
385 // SAFETY: `i` must be lower than `n` since it starts at `n`
386 // and is only decreasing.
387 unsafe { assert_unchecked(i < n) };
388 return Some(i);
389 }
390 }
391 None
392 }
393
394 #[inline]
395 unsafe fn __iterator_get_unchecked(&mut self, idx: usize) -> Self::Item {
396 // SAFETY: the caller must guarantee that `i` is in bounds of
397 // the underlying slice, so `i` cannot overflow an `isize`, and
398 // the returned references is guaranteed to refer to an element
399 // of the slice and thus guaranteed to be valid.
400 //
401 // Also note that the caller also guarantees that we're never
402 // called with the same index again, and that no other methods
403 // that will access this subslice are called, so it is valid
404 // for the returned reference to be mutable in the case of
405 // `IterMut`
406 unsafe { & $( $mut_ )? * self.ptr.as_ptr().add(idx) }
407 }
408
409 $($extra)*
410 }
411
412 #[stable(feature = "rust1", since = "1.0.0")]
413 impl<'a, T> DoubleEndedIterator for $name<'a, T> {
414 #[inline]
415 fn next_back(&mut self) -> Option<$elem> {
416 // could be implemented with slices, but this avoids bounds checks
417
418 // SAFETY: The call to `next_back_unchecked`
419 // is safe since we check if the iterator is empty first.
420 unsafe {
421 if is_empty!(self) {
422 None
423 } else {
424 Some(self.next_back_unchecked())
425 }
426 }
427 }
428
429 #[inline]
430 fn nth_back(&mut self, n: usize) -> Option<$elem> {
431 if n >= len!(self) {
432 // This iterator is now empty.
433 if_zst!(mut self,
434 len => *len = 0,
435 end => *end = self.ptr,
436 );
437 return None;
438 }
439 // SAFETY: We are in bounds. `pre_dec_end` does the right thing even for ZSTs.
440 unsafe {
441 self.pre_dec_end(n);
442 Some(self.next_back_unchecked())
443 }
444 }
445
446 #[inline]
447 fn advance_back_by(&mut self, n: usize) -> Result<(), NonZero<usize>> {
448 let advance = cmp::min(len!(self), n);
449 // SAFETY: By construction, `advance` does not exceed `self.len()`.
450 unsafe { self.pre_dec_end(advance) };
451 NonZero::new(n - advance).map_or(Ok(()), Err)
452 }
453 }
454
455 #[stable(feature = "fused", since = "1.26.0")]
456 impl<T> FusedIterator for $name<'_, T> {}
457
458 #[unstable(feature = "trusted_len", issue = "37572")]
459 unsafe impl<T> TrustedLen for $name<'_, T> {}
460
461 impl<'a, T> UncheckedIterator for $name<'a, T> {
462 #[inline]
463 unsafe fn next_unchecked(&mut self) -> $elem {
464 // SAFETY: The caller promised there's at least one more item.
465 unsafe {
466 self.post_inc_start(1).$into_ref()
467 }
468 }
469 }
470
471 #[stable(feature = "default_iters", since = "1.70.0")]
472 impl<T> Default for $name<'_, T> {
473 /// Creates an empty slice iterator.
474 ///
475 /// ```
476 #[doc = concat!("# use core::slice::", stringify!($name), ";")]
477 #[doc = concat!("let iter: ", stringify!($name<'_, u8>), " = Default::default();")]
478 /// assert_eq!(iter.len(), 0);
479 /// ```
480 fn default() -> Self {
481 (& $( $mut_ )? []).into_iter()
482 }
483 }
484 }
485}
486
487macro_rules! forward_iterator {
488 ($name:ident: $elem:ident, $iter_of:ty) => {
489 #[stable(feature = "rust1", since = "1.0.0")]
490 impl<'a, $elem, P> Iterator for $name<'a, $elem, P>
491 where
492 P: FnMut(&T) -> bool,
493 {
494 type Item = $iter_of;
495
496 #[inline]
497 fn next(&mut self) -> Option<$iter_of> {
498 self.inner.next()
499 }
500
501 #[inline]
502 fn size_hint(&self) -> (usize, Option<usize>) {
503 self.inner.size_hint()
504 }
505 }
506
507 #[stable(feature = "fused", since = "1.26.0")]
508 impl<'a, $elem, P> FusedIterator for $name<'a, $elem, P> where P: FnMut(&T) -> bool {}
509 };
510}