[][src]Struct arraylib::iter::IterMove

pub struct IterMove<A: Array> { /* fields omitted */ }

Iterator that moves values out of an array.

The implementation is very similar to std::vec::IntoIter, however ArrayIterMove stores elements on stack and uses indexes instead of pointers.

Examples

let arr = [1, 2, 3];
let mut iter = IterMove::new(arr);
assert_eq!(iter.next(), Some(1));
assert_eq!(iter.next(), Some(2));
assert_eq!(iter.next(), Some(3));
assert_eq!(iter.next(), None);

It's also possible to constract iter using ArrayExt::iter_move:

use arraylib::ArrayExt;

let mut expected = 1;
for i in [1, 2, 4, 8, 16, 32, 64, 128].iter_move() {
    assert_eq!(i, expected);
    expected *= 2;
}

This iterator moves values out of an array, so it works with !Copy types:

use arraylib::iter::IterMove;

let array = [String::from("hello"), String::from("Tere")];
let mut iter = IterMove::new(array);

let string: String = iter.next().unwrap();
assert_eq!(string, "hello");

let string: String = iter.next().unwrap();
assert_eq!(string, "Tere");

Implementation details

Internally IterMove represented by Range<usize> and [MaybeUninit<T>; N] (MaybeUninit is needed to take out elements from an array without copying and UB).

The range represents "alive" part of the array, so all elements of inner[alive] are initialized.

Diagram of IterMove<[u32; 8]> after consuming 3 elements with next and 2 with next_back:

                   _____.*------ `alive`
                  /     \
inner: [ ~, ~, ~, 1, 2, 3, ~, ~ ]
         \_____/  \_____/  \__/
         |              |     `---- elements consumed with `next_back`
         |              |           (in uninitialized state)
         |              `---- valid elements in initialized state
         `---- elements consumed with `next` (in uninitialized state)

Methods

impl<A> IterMove<A> where
    A: Array
[src]

pub fn new(array: A) -> Self[src]

Crate new moving iterator from an array

pub fn as_slice(&self) -> &[A::Item][src]

Returns the remaining items of this iterator as a slice.

Examples

let arr = ['a', 'b', 'c'];

let mut iter_move = arr.iter_move();
assert_eq!(iter_move.as_slice(), &['a', 'b', 'c']);

let _ = iter_move.next().unwrap();
assert_eq!(iter_move.as_slice(), &['b', 'c']);

pub fn as_mut_slice(&mut self) -> &mut [A::Item][src]

Returns the remaining items of this iterator as a mutable slice.

Examples

let arr = ['a', 'b', 'c'];

let mut iter_move = arr.iter_move();
let _ = iter_move.next().unwrap();

assert_eq!(iter_move.as_mut_slice(), &mut ['b', 'c']);
iter_move.as_mut_slice()[0] = 'x';

assert_eq!(iter_move.next().unwrap(), 'x');
assert_eq!(iter_move.next().unwrap(), 'c');

Trait Implementations

impl<A> Clone for IterMove<A> where
    A: Array,
    A::Item: Clone
[src]

impl<A> Debug for IterMove<A> where
    A: Array,
    A::Item: Debug
[src]

impl<A> DoubleEndedIterator for IterMove<A> where
    A: Array
[src]

impl<A> Drop for IterMove<A> where
    A: Array
[src]

impl<A> ExactSizeIterator for IterMove<A> where
    A: Array
[src]

impl<A> FusedIterator for IterMove<A> where
    A: Array
[src]

impl<A> Iterator for IterMove<A> where
    A: Array
[src]

type Item = A::Item

The type of the elements being iterated over.

impl<A> TrustedLen for IterMove<A> where
    A: Array
[src]

Auto Trait Implementations

impl<A> Send for IterMove<A> where
    <A as Array>::Maybe: Send

impl<A> Sync for IterMove<A> where
    <A as Array>::Maybe: Sync

impl<A> Unpin for IterMove<A> where
    <A as Array>::Maybe: Unpin

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<I> IntoIterator for I where
    I: Iterator
[src]

type Item = <I as Iterator>::Item

The type of the elements being iterated over.

type IntoIter = I

Which kind of iterator are we turning this into?

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.