Handle Overflow
This commit is contained in:
parent
d33cc12eed
commit
f08dec114f
2 changed files with 72 additions and 3 deletions
|
|
@ -705,9 +705,34 @@ impl<I> Iterator for StepBy<I> where I: Iterator {
|
|||
}
|
||||
n -= 1;
|
||||
}
|
||||
// n and self.step are indices, thus we need to add 1 before multiplying.
|
||||
// After that we need to subtract 1 from the result to convert it back to an index.
|
||||
self.iter.nth((n + 1) * (self.step + 1) - 1)
|
||||
// n and self.step are indices, we need to add 1 to get the amount of elements
|
||||
// When calling `.nth`, we need to subtract 1 again to convert back to an index
|
||||
// step + 1 can't overflow because `.step_by` sets `self.step` to `step - 1`
|
||||
let mut step = self.step + 1;
|
||||
// n + 1 could overflow
|
||||
// thus, if n is usize::MAX, instead of adding one, we call .nth(step)
|
||||
if n == usize::MAX {
|
||||
self.iter.nth(step - 1);
|
||||
} else {
|
||||
n += 1;
|
||||
}
|
||||
|
||||
// overflow handling
|
||||
while n.checked_mul(step).is_none() {
|
||||
let div_n = usize::MAX / n;
|
||||
let div_step = usize::MAX / step;
|
||||
let nth_n = div_n * n;
|
||||
let nth_step = div_step * step;
|
||||
let nth = if nth_n > nth_step {
|
||||
step -= div_n;
|
||||
nth_n
|
||||
} else {
|
||||
n -= div_step;
|
||||
nth_step
|
||||
};
|
||||
self.iter.nth(nth - 1);
|
||||
}
|
||||
self.iter.nth(n * step - 1)
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -179,6 +179,50 @@ fn test_iterator_step_by_nth() {
|
|||
assert_eq!(it.clone().nth(42), None);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_iterator_step_by_nth_overflow() {
|
||||
#[cfg(target_pointer_width = "8")]
|
||||
type Bigger = u16;
|
||||
#[cfg(target_pointer_width = "16")]
|
||||
type Bigger = u32;
|
||||
#[cfg(target_pointer_width = "32")]
|
||||
type Bigger = u64;
|
||||
#[cfg(target_pointer_width = "64")]
|
||||
type Bigger = u128;
|
||||
|
||||
#[derive(Clone)]
|
||||
struct Test(Bigger);
|
||||
impl<'a> Iterator for &'a mut Test {
|
||||
type Item = i32;
|
||||
fn next(&mut self) -> Option<Self::Item> { Some(21) }
|
||||
fn nth(&mut self, n: usize) -> Option<Self::Item> {
|
||||
self.0 += n as Bigger + 1;
|
||||
Some(42)
|
||||
}
|
||||
}
|
||||
|
||||
let mut it = Test(0);
|
||||
let root = usize::MAX >> (::std::mem::size_of::<usize>() * 8 / 2);
|
||||
let n = root + 20;
|
||||
(&mut it).step_by(n).nth(n);
|
||||
assert_eq!(it.0, n as Bigger * n as Bigger);
|
||||
|
||||
// large step
|
||||
let mut it = Test(0);
|
||||
(&mut it).step_by(usize::MAX).nth(5);
|
||||
assert_eq!(it.0, (usize::MAX as Bigger) * 5);
|
||||
|
||||
// n + 1 overflows
|
||||
let mut it = Test(0);
|
||||
(&mut it).step_by(2).nth(usize::MAX);
|
||||
assert_eq!(it.0, (usize::MAX as Bigger) * 2);
|
||||
|
||||
// n + 1 overflows
|
||||
let mut it = Test(0);
|
||||
(&mut it).step_by(1).nth(usize::MAX);
|
||||
assert_eq!(it.0, (usize::MAX as Bigger) * 1);
|
||||
}
|
||||
|
||||
#[test]
|
||||
#[should_panic]
|
||||
fn test_iterator_step_by_zero() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue