Trait core::ops::Boxed
[−]
[src]
pub trait Boxed { type Data; type Place: BoxPlace<Self::Data>; unsafe fn finalize(filled: Self::Place) -> Self; }
Core trait for the box EXPR
`box EXPR` form.
box EXPR
`box EXPR` effectively desugars into:
let mut place = BoxPlace::make_place(); let raw_place = Place::pointer(&mut place); let value = EXPR; unsafe { ::std::ptr::write(raw_place, value); Boxed::finalize(place) }
The type of box EXPR
`box EXPRis supplied from its surrounding context; in the above expansion, the result type
Tis used to determine which implementation of
Boxedto use, and that
in turn dictates determines which implementation of
BoxPlaceto use, namely:
<
Associated Types
type Data
The kind of data that is stored in this kind of box.
type Place: BoxPlace<Self::Data>
The place that will negotiate the storage of the data.
Required Methods
unsafe fn finalize(filled: Self::Place) -> Self
Converts filled place into final owning value, shifting
deallocation/cleanup responsibilities (if any remain), over to
returned instance of Self
`Selfand forgetting
filled`.