Trait kernel::prelude::InPlaceWrite

pub trait InPlaceWrite<T> {
    type Initialized;

    // Required methods
    fn write_init<E>(
        self,
        init: impl Init<T, E>
    ) -> Result<Self::Initialized, E>;
    fn write_pin_init<E>(
        self,
        init: impl PinInit<T, E>
    ) -> Result<Pin<Self::Initialized>, E>;
}

Smart pointer containing uninitialized memory and that can write a value.

Required Associated Types

type Initialized

The type Self turns into when the contents are initialized.

Required Methods

fn write_init<E>(self, init: impl Init<T, E>) -> Result<Self::Initialized, E>

Use the given initializer to write a value into self.

Does not drop the current value and considers it as uninitialized memory.

fn write_pin_init<E>( self, init: impl PinInit<T, E> ) -> Result<Pin<Self::Initialized>, E>

Use the given pin-initializer to write a value into self.

Does not drop the current value and considers it as uninitialized memory.

Object Safety

This trait is not object safe.

Implementors

impl<T> InPlaceWrite<T> for UniqueArc<MaybeUninit<T>>

type Initialized = UniqueArc<T>

impl<T, A> InPlaceWrite<T> for Box<MaybeUninit<T>, A>

where A: Allocator + 'static,

type Initialized = Box<T, A>