Trait pinned_init::PinInit

pub unsafe trait PinInit<T, E = Infallible>: Sized {
    unsafe fn __pinned_init(self, place: *mut T) -> Result<(), E>;
}

An initializer for T.

Safety

The PinInit::__pinned_init function

• returns Ok(()) iff it initialized every field of place,
• returns Err(err) iff it encountered an error and then cleaned place, this means:
  • place can be deallocated without UB ocurring,
  • place does not need to be dropped,
  • place is not partially initialized.

Required Methods

unsafe fn __pinned_init(self, place: *mut T) -> Result<(), E>

Initializes place.

Safety

place is a valid pointer to uninitialized memory. The caller does not touch place when Err is returned, they are only permitted to deallocate. The place will not move, i.e. it will be pinned.

Implementors

impl<T, F, E> PinInit<T, E> for InitClosure<F, T, E>where
    F: FnOnce(*mut T) -> Result<(), E>,

impl<T, F, E> PinInit<T, E> for PinInitClosure<F, T, E>where
    F: FnOnce(*mut T) -> Result<(), E>,