Trait 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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>