#[repr(transparent)]struct WithHeader<H>(NonNull<u8>, PhantomData<H>);
Expand description
A pointer to type-erased data, guaranteed to either be:
NonNull::dangling()
, in the case where both the pointee (T
) and metadata (H
) are ZSTs.- A pointer to a valid
T
that has a headerH
directly before the pointed-to location.
Tuple Fields§
§0: NonNull<u8>
§1: PhantomData<H>
Implementations§
Source§impl<H> WithHeader<H>
impl<H> WithHeader<H>
fn new<T>(header: H, value: T) -> WithHeader<H>
Sourcefn try_new<T>(header: H, value: T) -> Result<WithHeader<H>, AllocError>
fn try_new<T>(header: H, value: T) -> Result<WithHeader<H>, AllocError>
Non-panicking version of new
.
Any error is returned as Err(core::alloc::AllocError)
.
fn new_unsize_zst<Dyn, T>(value: T) -> WithHeader<H>
unsafe fn drop<T: ?Sized>(&self, value: *mut T)
fn header(&self) -> *mut H
fn value(&self) -> *mut u8
const fn header_size() -> usize
fn alloc_layout(value_layout: Layout) -> Result<(Layout, usize), LayoutError>
Auto Trait Implementations§
impl<H> Freeze for WithHeader<H>
impl<H> RefUnwindSafe for WithHeader<H>where
H: RefUnwindSafe,
impl<H> !Send for WithHeader<H>
impl<H> !Sync for WithHeader<H>
impl<H> Unpin for WithHeader<H>where
H: Unpin,
impl<H> UnwindSafe for WithHeader<H>where
H: UnwindSafe,
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
Mutably borrows from an owned value. Read more
Source§impl<T> SizedTypeProperties for T
impl<T> SizedTypeProperties for T
Source§#[doc(hidden)] const IS_ZST: bool = _
#[doc(hidden)] const IS_ZST: bool = _
🔬This is a nightly-only experimental API. (
sized_type_properties
)Source§#[doc(hidden)] const LAYOUT: Layout = _
#[doc(hidden)] const LAYOUT: Layout = _
🔬This is a nightly-only experimental API. (
sized_type_properties
)Source§#[doc(hidden)] const MAX_SLICE_LEN: usize = _
#[doc(hidden)] const MAX_SLICE_LEN: usize = _
🔬This is a nightly-only experimental API. (
sized_type_properties
)The largest safe length for a
[Self]
. Read more