Convert some iter macros to normal functions
With all the MIR optimization changes that have happened since these were written, let's see if they still actually matter.
This commit is contained in:
parent
29a56a3b1c
commit
cd47a0ed08
@ -70,21 +70,19 @@ struct $name:ident -> $ptr:ty,
|
|||||||
$into_ref:ident,
|
$into_ref:ident,
|
||||||
{$($extra:tt)*}
|
{$($extra:tt)*}
|
||||||
) => {
|
) => {
|
||||||
// Returns the first element and moves the start of the iterator forwards by 1.
|
|
||||||
// Greatly improves performance compared to an inlined function. The iterator
|
|
||||||
// must not be empty.
|
|
||||||
macro_rules! next_unchecked {
|
|
||||||
($self: ident) => { $self.post_inc_start(1).$into_ref() }
|
|
||||||
}
|
|
||||||
|
|
||||||
// Returns the last element and moves the end of the iterator backwards by 1.
|
|
||||||
// Greatly improves performance compared to an inlined function. The iterator
|
|
||||||
// must not be empty.
|
|
||||||
macro_rules! next_back_unchecked {
|
|
||||||
($self: ident) => { $self.pre_dec_end(1).$into_ref() }
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'a, T> $name<'a, T> {
|
impl<'a, T> $name<'a, T> {
|
||||||
|
/// Returns the last element and moves the end of the iterator backwards by 1.
|
||||||
|
///
|
||||||
|
/// # Safety
|
||||||
|
///
|
||||||
|
/// The iterator must not be empty
|
||||||
|
#[inline]
|
||||||
|
unsafe fn next_back_unchecked(&mut self) -> $elem {
|
||||||
|
// SAFETY: the caller promised it's not empty, so
|
||||||
|
// the offsetting is in-bounds and there's an element to return.
|
||||||
|
unsafe { self.pre_dec_end(1).$into_ref() }
|
||||||
|
}
|
||||||
|
|
||||||
// Helper function for creating a slice from the iterator.
|
// Helper function for creating a slice from the iterator.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
fn make_slice(&self) -> &'a [T] {
|
fn make_slice(&self) -> &'a [T] {
|
||||||
@ -156,13 +154,13 @@ impl<'a, T> Iterator for $name<'a, T> {
|
|||||||
fn next(&mut self) -> Option<$elem> {
|
fn next(&mut self) -> Option<$elem> {
|
||||||
// could be implemented with slices, but this avoids bounds checks
|
// could be implemented with slices, but this avoids bounds checks
|
||||||
|
|
||||||
// SAFETY: The call to `next_unchecked!` is
|
// SAFETY: The call to `next_unchecked` is
|
||||||
// safe since we check if the iterator is empty first.
|
// safe since we check if the iterator is empty first.
|
||||||
unsafe {
|
unsafe {
|
||||||
if is_empty!(self) {
|
if is_empty!(self) {
|
||||||
None
|
None
|
||||||
} else {
|
} else {
|
||||||
Some(next_unchecked!(self))
|
Some(self.next_unchecked())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -191,7 +189,7 @@ fn nth(&mut self, n: usize) -> Option<$elem> {
|
|||||||
// SAFETY: We are in bounds. `post_inc_start` does the right thing even for ZSTs.
|
// SAFETY: We are in bounds. `post_inc_start` does the right thing even for ZSTs.
|
||||||
unsafe {
|
unsafe {
|
||||||
self.post_inc_start(n);
|
self.post_inc_start(n);
|
||||||
Some(next_unchecked!(self))
|
Some(self.next_unchecked())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -392,13 +390,13 @@ impl<'a, T> DoubleEndedIterator for $name<'a, T> {
|
|||||||
fn next_back(&mut self) -> Option<$elem> {
|
fn next_back(&mut self) -> Option<$elem> {
|
||||||
// could be implemented with slices, but this avoids bounds checks
|
// could be implemented with slices, but this avoids bounds checks
|
||||||
|
|
||||||
// SAFETY: The call to `next_back_unchecked!`
|
// SAFETY: The call to `next_back_unchecked`
|
||||||
// is safe since we check if the iterator is empty first.
|
// is safe since we check if the iterator is empty first.
|
||||||
unsafe {
|
unsafe {
|
||||||
if is_empty!(self) {
|
if is_empty!(self) {
|
||||||
None
|
None
|
||||||
} else {
|
} else {
|
||||||
Some(next_back_unchecked!(self))
|
Some(self.next_back_unchecked())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -416,7 +414,7 @@ fn nth_back(&mut self, n: usize) -> Option<$elem> {
|
|||||||
// SAFETY: We are in bounds. `pre_dec_end` does the right thing even for ZSTs.
|
// SAFETY: We are in bounds. `pre_dec_end` does the right thing even for ZSTs.
|
||||||
unsafe {
|
unsafe {
|
||||||
self.pre_dec_end(n);
|
self.pre_dec_end(n);
|
||||||
Some(next_back_unchecked!(self))
|
Some(self.next_back_unchecked())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -436,10 +434,11 @@ impl<T> FusedIterator for $name<'_, T> {}
|
|||||||
unsafe impl<T> TrustedLen for $name<'_, T> {}
|
unsafe impl<T> TrustedLen for $name<'_, T> {}
|
||||||
|
|
||||||
impl<'a, T> UncheckedIterator for $name<'a, T> {
|
impl<'a, T> UncheckedIterator for $name<'a, T> {
|
||||||
|
#[inline]
|
||||||
unsafe fn next_unchecked(&mut self) -> $elem {
|
unsafe fn next_unchecked(&mut self) -> $elem {
|
||||||
// SAFETY: The caller promised there's at least one more item.
|
// SAFETY: The caller promised there's at least one more item.
|
||||||
unsafe {
|
unsafe {
|
||||||
next_unchecked!(self)
|
self.post_inc_start(1).$into_ref()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user