Enum LayoutStrategy 

pub enum LayoutStrategy {
    Sized(Size, Align),
    Slice(Size, Align),
    TraitObject(TraitName),
    Tuple {
        head: TupleHeadLayout,
        tail: GcCow<LayoutStrategy>,
    },
}

Describes how the size and align of the value can be determined.

Variants

Sized(Size, Align)

The type is statically Sized with the given size and align.

Slice(Size, Align)

The type contains zero or more elements of the inner layout. The total size is a multiple of the element size and the align is exactly the element align.

TraitObject(TraitName)

The size of the type must be looked up in the VTable of a wide pointer. Additionally, the vtable must be for the given trait.

Tuple

The type consists of a sized head an unsized tail.

Fields

head: TupleHeadLayout

tail: GcCow<LayoutStrategy>

Implementations

impl LayoutStrategy

pub fn is_sized(self) -> bool

pub fn expect_size(self, msg: &str) -> Size

Returns the size when the type must be statically sized.

pub fn expect_align(self, msg: &str) -> Align

Returns the alignment when the type must be statically sized.

pub fn compute_size_and_align<Provenance>( self, meta: Option<PointerMeta<Provenance>>, vtables: impl FnOnce(ThinPointer<Provenance>) -> VTable, ) -> (Size, Align)

where Provenance: Obj,

Computes the dynamic size and alignment, but the caller must provide compatible metadata.

The size and align of unsized structs depend on each other, thus we must recursively compute them at the same time.

pub fn meta_kind(self) -> PointerMetaKind

Returns the metadata kind which is needed to compute this strategy, i.e machine.check_pointer_metadata(meta, self.meta_kind()).is_ok() implies machine.compute_*(meta) is well-defined.

Trait Implementations

impl Clone for LayoutStrategy

fn clone(&self) -> LayoutStrategy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for LayoutStrategy

impl Debug for LayoutStrategy

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LayoutStrategy

fn deserialize<__D>( __deserializer: __D, ) -> Result<LayoutStrategy, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LayoutStrategy

impl Hash for LayoutStrategy

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for LayoutStrategy

fn cmp(&self, other: &LayoutStrategy) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for LayoutStrategy

fn eq(&self, other: &LayoutStrategy) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for LayoutStrategy

fn partial_cmp(&self, other: &LayoutStrategy) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for LayoutStrategy

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LayoutStrategy