pub struct Layout { /* private fields */ }
Expand description
Layout of a block of memory.
An instance of Layout
describes a particular layout of memory.
You build a Layout
up as an input to give to an allocator.
All layouts have an associated size and a power-of-two alignment.
(Note that layouts are not required to have non-zero size,
even though GlobalAlloc
requires that all memory requests
be non-zero in size. A caller must either ensure that conditions
like this are met, use specific allocators with looser
requirements, or use the more lenient Allocator
interface.)
Implementations§
source§impl Layout
impl Layout
const: 1.50.0 · sourcepub const fn from_size_align(
size: usize,
align: usize
) -> Result<Layout, LayoutError>
Available on crate feature mem
only.
pub const fn from_size_align( size: usize, align: usize ) -> Result<Layout, LayoutError>
mem
only.Constructs a Layout
from a given size
and align
,
or returns LayoutError
if any of the following conditions
are not met:
-
align
must not be zero, -
align
must be a power of two, -
size
, when rounded up to the nearest multiple ofalign
, must not overflow isize (i.e., the rounded value must be less than or equal toisize::MAX
).
const: 1.36.0 · sourcepub const unsafe fn from_size_align_unchecked(
size: usize,
align: usize
) -> Layout
Available on crate feature mem
only.
pub const unsafe fn from_size_align_unchecked( size: usize, align: usize ) -> Layout
mem
only.Creates a layout, bypassing all checks.
Safety
This function is unsafe as it does not verify the preconditions from
Layout::from_size_align
.
const: 1.50.0 · sourcepub const fn size(&self) -> usize
Available on crate feature mem
only.
pub const fn size(&self) -> usize
mem
only.The minimum size in bytes for a memory block of this layout.
const: 1.50.0 · sourcepub const fn align(&self) -> usize
Available on crate feature mem
only.
pub const fn align(&self) -> usize
mem
only.The minimum byte alignment for a memory block of this layout.
The returned alignment is guaranteed to be a power of two.
const: 1.42.0 · sourcepub const fn new<T>() -> Layout
Available on crate feature mem
only.
pub const fn new<T>() -> Layout
mem
only.Constructs a Layout
suitable for holding a value of type T
.
const: unstable · sourcepub fn for_value<T>(t: &T) -> Layoutwhere
T: ?Sized,
Available on crate feature mem
only.
pub fn for_value<T>(t: &T) -> Layoutwhere
T: ?Sized,
mem
only.Produces layout describing a record that could be used to
allocate backing structure for T
(which could be a trait
or other unsized type like a slice).
const: unstable · sourcepub unsafe fn for_value_raw<T>(t: *const T) -> Layoutwhere
T: ?Sized,
🔬This is a nightly-only experimental API. (layout_for_ptr
)Available on crate feature mem
only.
pub unsafe fn for_value_raw<T>(t: *const T) -> Layoutwhere
T: ?Sized,
layout_for_ptr
)mem
only.Produces layout describing a record that could be used to
allocate backing structure for T
(which could be a trait
or other unsized type like a slice).
Safety
This function is only safe to call if the following conditions hold:
- If
T
isSized
, this function is always safe to call. - If the unsized tail of
T
is:- a slice, then the length of the slice tail must be an initialized
integer, and the size of the entire value
(dynamic tail length + statically sized prefix) must fit in
isize
. - a trait object, then the vtable part of the pointer must point
to a valid vtable for the type
T
acquired by an unsizing coercion, and the size of the entire value (dynamic tail length + statically sized prefix) must fit inisize
. - an (unstable) extern type, then this function is always safe to
call, but may panic or otherwise return the wrong value, as the
extern type’s layout is not known. This is the same behavior as
Layout::for_value
on a reference to an extern type tail. - otherwise, it is conservatively not allowed to call this function.
- a slice, then the length of the slice tail must be an initialized
integer, and the size of the entire value
(dynamic tail length + statically sized prefix) must fit in
const: unstable · sourcepub fn dangling(&self) -> NonNull<u8>
🔬This is a nightly-only experimental API. (alloc_layout_extra
)Available on crate feature mem
only.
pub fn dangling(&self) -> NonNull<u8>
alloc_layout_extra
)mem
only.Creates a NonNull
that is dangling, but well-aligned for this Layout.
Note that the pointer value may potentially represent a valid pointer, which means this must not be used as a “not yet initialized” sentinel value. Types that lazily allocate must track initialization by some other means.
1.44.0 · sourcepub fn align_to(&self, align: usize) -> Result<Layout, LayoutError>
Available on crate feature mem
only.
pub fn align_to(&self, align: usize) -> Result<Layout, LayoutError>
mem
only.Creates a layout describing the record that can hold a value
of the same layout as self
, but that also is aligned to
alignment align
(measured in bytes).
If self
already meets the prescribed alignment, then returns
self
.
Note that this method does not add any padding to the overall
size, regardless of whether the returned layout has a different
alignment. In other words, if K
has size 16, K.align_to(32)
will still have size 16.
Returns an error if the combination of self.size()
and the given
align
violates the conditions listed in Layout::from_size_align
.
const: unstable · sourcepub fn padding_needed_for(&self, align: usize) -> usize
🔬This is a nightly-only experimental API. (alloc_layout_extra
)Available on crate feature mem
only.
pub fn padding_needed_for(&self, align: usize) -> usize
alloc_layout_extra
)mem
only.Returns the amount of padding we must insert after self
to ensure that the following address will satisfy align
(measured in bytes).
e.g., if self.size()
is 9, then self.padding_needed_for(4)
returns 3, because that is the minimum number of bytes of
padding required to get a 4-aligned address (assuming that the
corresponding memory block starts at a 4-aligned address).
The return value of this function has no meaning if align
is
not a power-of-two.
Note that the utility of the returned value requires align
to be less than or equal to the alignment of the starting
address for the whole allocated block of memory. One way to
satisfy this constraint is to ensure align <= self.align()
.
1.44.0 (const: unstable) · sourcepub fn pad_to_align(&self) -> Layout
Available on crate feature mem
only.
pub fn pad_to_align(&self) -> Layout
mem
only.Creates a layout by rounding the size of this layout up to a multiple of the layout’s alignment.
This is equivalent to adding the result of padding_needed_for
to the layout’s current size.
sourcepub fn repeat(&self, n: usize) -> Result<(Layout, usize), LayoutError>
🔬This is a nightly-only experimental API. (alloc_layout_extra
)Available on crate feature mem
only.
pub fn repeat(&self, n: usize) -> Result<(Layout, usize), LayoutError>
alloc_layout_extra
)mem
only.Creates a layout describing the record for n
instances of
self
, with a suitable amount of padding between each to
ensure that each instance is given its requested size and
alignment. On success, returns (k, offs)
where k
is the
layout of the array and offs
is the distance between the start
of each element in the array.
On arithmetic overflow, returns LayoutError
.
1.44.0 · sourcepub fn extend(&self, next: Layout) -> Result<(Layout, usize), LayoutError>
Available on crate feature mem
only.
pub fn extend(&self, next: Layout) -> Result<(Layout, usize), LayoutError>
mem
only.Creates a layout describing the record for self
followed by
next
, including any necessary padding to ensure that next
will be properly aligned, but no trailing padding.
In order to match C representation layout repr(C)
, you should
call pad_to_align
after extending the layout with all fields.
(There is no way to match the default Rust representation
layout repr(Rust)
, as it is unspecified.)
Note that the alignment of the resulting layout will be the maximum of
those of self
and next
, in order to ensure alignment of both parts.
Returns Ok((k, offset))
, where k
is layout of the concatenated
record and offset
is the relative location, in bytes, of the
start of the next
embedded within the concatenated record
(assuming that the record itself starts at offset 0).
On arithmetic overflow, returns LayoutError
.
Examples
To calculate the layout of a #[repr(C)]
structure and the offsets of
the fields from its fields’ layouts:
pub fn repr_c(fields: &[Layout]) -> Result<(Layout, Vec<usize>), LayoutError> {
let mut offsets = Vec::new();
let mut layout = Layout::from_size_align(0, 1)?;
for &field in fields {
let (new_layout, offset) = layout.extend(field)?;
layout = new_layout;
offsets.push(offset);
}
// Remember to finalize with `pad_to_align`!
Ok((layout.pad_to_align(), offsets))
}
sourcepub fn repeat_packed(&self, n: usize) -> Result<Layout, LayoutError>
🔬This is a nightly-only experimental API. (alloc_layout_extra
)Available on crate feature mem
only.
pub fn repeat_packed(&self, n: usize) -> Result<Layout, LayoutError>
alloc_layout_extra
)mem
only.Creates a layout describing the record for n
instances of
self
, with no padding between each instance.
Note that, unlike repeat
, repeat_packed
does not guarantee
that the repeated instances of self
will be properly
aligned, even if a given instance of self
is properly
aligned. In other words, if the layout returned by
repeat_packed
is used to allocate an array, it is not
guaranteed that all elements in the array will be properly
aligned.
On arithmetic overflow, returns LayoutError
.
sourcepub fn extend_packed(&self, next: Layout) -> Result<Layout, LayoutError>
🔬This is a nightly-only experimental API. (alloc_layout_extra
)Available on crate feature mem
only.
pub fn extend_packed(&self, next: Layout) -> Result<Layout, LayoutError>
alloc_layout_extra
)mem
only.Creates a layout describing the record for self
followed by
next
with no additional padding between the two. Since no
padding is inserted, the alignment of next
is irrelevant,
and is not incorporated at all into the resulting layout.
On arithmetic overflow, returns LayoutError
.
Trait Implementations§
source§impl PartialEq for Layout
impl PartialEq for Layout
impl Copy for Layout
impl Eq for Layout
impl StructuralEq for Layout
impl StructuralPartialEq for Layout
Auto Trait Implementations§
impl RefUnwindSafe for Layout
impl Send for Layout
impl Sync for Layout
impl Unpin for Layout
impl UnwindSafe for Layout
Blanket Implementations§
source§impl<T> Also for T
impl<T> Also for T
source§impl<T> AnyExt for Twhere
T: Any,
impl<T> AnyExt for Twhere
T: Any,
source§fn type_name(&self) -> &'static str
fn type_name(&self) -> &'static str
any
only.self
. Read moresource§fn as_any_ref(&self) -> &dyn Anywhere
Self: Sized,
fn as_any_ref(&self) -> &dyn Anywhere
Self: Sized,
any
only.source§fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
any
only.source§impl<T, Res> Apply<Res> for Twhere
T: ?Sized,
impl<T, Res> Apply<Res> for Twhere
T: ?Sized,
source§fn apply<F: FnOnce(Self) -> Res>(self, f: F) -> Reswhere
Self: Sized,
fn apply<F: FnOnce(Self) -> Res>(self, f: F) -> Reswhere
Self: Sized,
result
only.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
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
source§impl<T> Mem for Twhere
T: ?Sized,
impl<T> Mem for Twhere
T: ?Sized,
source§const NEEDS_DROP: bool = _
const NEEDS_DROP: bool = _
mem
only.source§fn mem_needs_drop(&self) -> bool
fn mem_needs_drop(&self) -> bool
mem
only.true
if dropping values of this type matters.source§fn mem_drop(self)where
Self: Sized,
fn mem_drop(self)where
Self: Sized,
mem
only.self
by running its destructor.source§fn mem_forget(self)where
Self: Sized,
fn mem_forget(self)where
Self: Sized,
mem
only.self
without running its destructor.source§fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
mem
only.self
with other, returning the previous value of self
.source§fn mem_take(&mut self) -> Selfwhere
Self: Default,
fn mem_take(&mut self) -> Selfwhere
Self: Default,
mem
only.self
with its default value, returning the previous value of self
.source§fn mem_swap(&mut self, other: &mut Self)where
Self: Sized,
fn mem_swap(&mut self, other: &mut Self)where
Self: Sized,
mem
only.self
and other
without deinitializing either one.source§fn mem_as_bytes(&self) -> &[u8] ⓘ
fn mem_as_bytes(&self) -> &[u8] ⓘ
mem
and unsafe_mem
only.source§impl<T> Size for T
impl<T> Size for T
source§const BYTE_ALIGN: usize = _
const BYTE_ALIGN: usize = _
mem
only.source§const BYTE_SIZE: usize = _
const BYTE_SIZE: usize = _
mem
only.source§const PTR_SIZE: usize = 8usize
const PTR_SIZE: usize = 8usize
mem
only.source§fn byte_align(&self) -> usize
fn byte_align(&self) -> usize
mem
only.