Struct Hole

Source
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

Creates 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> Freeze for Hole<'a, T>
where T: Freeze,

§

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 T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where 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 T
where 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> SizedTypeProperties for T

Source§

#[doc(hidden)] const IS_ZST: bool = _

🔬This is a nightly-only experimental API. (sized_type_properties)
true if this type requires no storage. false if its size is greater than zero. Read more
Source§

#[doc(hidden)] const LAYOUT: Layout = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)] const MAX_SLICE_LEN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
The largest safe length for a [Self]. Read more
Source§

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

Source§

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 T
where U: TryFrom<T>,

Source§

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.