Skip to content

Commit 6b0b07d

Browse files
committed
Auto merge of #87387 - the8472:slice-iter-advance_by, r=scottmcm
Implement advance_by, advance_back_by for slice::{Iter, IterMut} Part of #77404. Picking up where #77633 was closed. I have addressed #77633 (comment) by restoring `nth` and `nth_back`. So according to that comment this should already be r=m-ou-se, but it has been sitting for a while.
2 parents b289bb7 + 5485f8a commit 6b0b07d

File tree

2 files changed

+57
-0
lines changed

2 files changed

+57
-0
lines changed

library/core/src/slice/iter/macros.rs

+15
Original file line numberDiff line numberDiff line change
@@ -185,6 +185,13 @@ macro_rules! iterator {
185185
}
186186
}
187187

188+
fn advance_by(&mut self, n: usize) -> Result<(), usize> {
189+
let advance = cmp::min(n, len!(self));
190+
// SAFETY: By construction, `advance` does not exceed `self.len()`.
191+
unsafe { self.post_inc_start(advance as isize) };
192+
if advance == n { Ok(()) } else { Err(advance) }
193+
}
194+
188195
#[inline]
189196
fn last(mut self) -> Option<$elem> {
190197
self.next_back()
@@ -371,6 +378,14 @@ macro_rules! iterator {
371378
Some(next_back_unchecked!(self))
372379
}
373380
}
381+
382+
#[inline]
383+
fn advance_back_by(&mut self, n: usize) -> Result<(), usize> {
384+
let advance = cmp::min(n, len!(self));
385+
// SAFETY: By construction, `advance` does not exceed `self.len()`.
386+
unsafe { self.pre_dec_end(advance as isize) };
387+
if advance == n { Ok(()) } else { Err(advance) }
388+
}
374389
}
375390

376391
#[stable(feature = "fused", since = "1.26.0")]

library/core/tests/slice.rs

+42
Original file line numberDiff line numberDiff line change
@@ -134,6 +134,48 @@ fn test_partition_point() {
134134
assert_eq!(b.partition_point(|&x| x < 8), 5);
135135
}
136136

137+
#[test]
138+
fn test_iterator_advance_by() {
139+
let v = &[0, 1, 2, 3, 4];
140+
141+
for i in 0..=v.len() {
142+
let mut iter = v.iter();
143+
iter.advance_by(i).unwrap();
144+
assert_eq!(iter.as_slice(), &v[i..]);
145+
}
146+
147+
let mut iter = v.iter();
148+
assert_eq!(iter.advance_by(v.len() + 1), Err(v.len()));
149+
assert_eq!(iter.as_slice(), &[]);
150+
151+
let mut iter = v.iter();
152+
iter.advance_by(3).unwrap();
153+
assert_eq!(iter.as_slice(), &v[3..]);
154+
iter.advance_by(2).unwrap();
155+
assert_eq!(iter.as_slice(), &[]);
156+
}
157+
158+
#[test]
159+
fn test_iterator_advance_back_by() {
160+
let v = &[0, 1, 2, 3, 4];
161+
162+
for i in 0..=v.len() {
163+
let mut iter = v.iter();
164+
iter.advance_back_by(i).unwrap();
165+
assert_eq!(iter.as_slice(), &v[..v.len() - i]);
166+
}
167+
168+
let mut iter = v.iter();
169+
assert_eq!(iter.advance_back_by(v.len() + 1), Err(v.len()));
170+
assert_eq!(iter.as_slice(), &[]);
171+
172+
let mut iter = v.iter();
173+
iter.advance_back_by(3).unwrap();
174+
assert_eq!(iter.as_slice(), &v[..v.len() - 3]);
175+
iter.advance_back_by(2).unwrap();
176+
assert_eq!(iter.as_slice(), &[]);
177+
}
178+
137179
#[test]
138180
fn test_iterator_nth() {
139181
let v: &[_] = &[0, 1, 2, 3, 4];

0 commit comments

Comments
 (0)