struct Hole<'a, T: 'a> {
    data: &'a mut [T],
    elt: ManuallyDrop<T>,
    pos: usize,
}
Expand description

Hole represents a hole in a slice i.e., an index without valid value (because it was moved from or duplicated). In drop, Hole will restore the slice by filling the hole position with the value that was originally removed.

Fields§

§data: &'a mut [T]§elt: ManuallyDrop<T>§pos: usize

Implementations§

source§

impl<'a, T> Hole<'a, T>

source

unsafe fn new(data: &'a mut [T], pos: usize) -> Self

Create a new Hole at index pos.

Unsafe because pos must be within the data slice.

source

fn pos(&self) -> usize

source

fn element(&self) -> &T

Returns a reference to the element removed.

source

unsafe fn get(&self, index: usize) -> &T

Returns a reference to the element at index.

Unsafe because index must be within the data slice and not equal to pos.

source

unsafe fn move_to(&mut self, index: usize)

Move hole to new location

Unsafe because index must be within the data slice and not equal to pos.

Trait Implementations§

source§

impl<T> Drop for Hole<'_, T>

source§

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

§

impl<'a, T> RefUnwindSafe for Hole<'a, T>where T: RefUnwindSafe,

§

impl<'a, T> Send for Hole<'a, T>where T: Send,

§

impl<'a, T> Sync for Hole<'a, T>where T: Sync,

§

impl<'a, T> Unpin for Hole<'a, T>where T: Unpin,

§

impl<'a, T> !UnwindSafe for Hole<'a, T>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.