Struct rustc_target::abi::Layout
source · pub struct Layout<'a>(pub Interned<'a, LayoutS<FieldIdx, VariantIdx>>);
Tuple Fields§
§0: Interned<'a, LayoutS<FieldIdx, VariantIdx>>
Implementations§
source§impl<'a> Layout<'a>
impl<'a> Layout<'a>
pub fn fields(self) -> &'a FieldsShape<FieldIdx>
pub fn variants(self) -> &'a Variants<FieldIdx, VariantIdx>
pub fn abi(self) -> Abi
pub fn largest_niche(self) -> Option<Niche>
pub fn align(self) -> AbiAndPrefAlign
pub fn size(self) -> Size
pub fn max_repr_align(self) -> Option<Align>
pub fn unadjusted_abi_align(self) -> Align
sourcepub fn is_pointer_like(self, data_layout: &TargetDataLayout) -> bool
pub fn is_pointer_like(self, data_layout: &TargetDataLayout) -> bool
Whether the layout is from a type that implements std::marker::PointerLike
.
Currently, that means that the type is pointer-sized, pointer-aligned, and has a initialized (non-union), scalar ABI.
Methods from Deref<Target = &'a LayoutS<FieldIdx, VariantIdx>>§
sourcepub fn is_unsized(&self) -> bool
pub fn is_unsized(&self) -> bool
Returns true
if the layout corresponds to an unsized type.
pub fn is_sized(&self) -> bool
sourcepub fn is_1zst(&self) -> bool
pub fn is_1zst(&self) -> bool
Returns true
if the type is sized and a 1-ZST (meaning it has size 0 and alignment 1).
sourcepub fn is_zst(&self) -> bool
pub fn is_zst(&self) -> bool
Returns true
if the type is a ZST and not unsized.
Note that this does not imply that the type is irrelevant for layout! It can still have
non-trivial alignment constraints. You probably want to use is_1zst
instead.
sourcepub fn eq_abi(&self, other: &LayoutS<FieldIdx, VariantIdx>) -> bool
pub fn eq_abi(&self, other: &LayoutS<FieldIdx, VariantIdx>) -> bool
Checks if these two Layout
are equal enough to be considered “the same for all function
call ABIs”. Note however that real ABIs depend on more details that are not reflected in the
Layout
; the PassMode
need to be compared as well. Also note that we assume
aggregates are passed via PassMode::Indirect
or PassMode::Cast
; more strict
checks would otherwise be required.
Trait Implementations§
source§impl<'a, __CTX> HashStable<__CTX> for Layout<'a>where
__CTX: HashStableContext,
impl<'a, __CTX> HashStable<__CTX> for Layout<'a>where
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'a> Copy for Layout<'a>
impl<'a> Eq for Layout<'a>
impl<'a> StructuralPartialEq for Layout<'a>
Auto Trait Implementations§
impl<'a> Freeze for Layout<'a>
impl<'a> RefUnwindSafe for Layout<'a>
impl<'a> Send for Layout<'a>
impl<'a> Sync for Layout<'a>
impl<'a> Unpin for Layout<'a>
impl<'a> UnwindSafe for Layout<'a>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 8 bytes