pub unsafe fn get_maybe_uninit_at_offset_mut_unchecked<'a, T, S: Slab + ?Sized>(
    slab: &'a mut S,
    offset: usize
) -> &'a mut MaybeUninit<T>
Expand description

Gets a mutable reference to a MaybeUninit<T> within slab at offset, not checking any requirements.

  • offset is the offset, in bytes, after the start of slab at which a T is placed.

Safety

You must ensure:

  • offset within slab is properly aligned for T
  • offset is within bounds of the slab
  • offset + size_of::<T> is within bounds of the slab

You must have ensured there is a fully-initialized and valid* T at the given offset into slab before calling MaybeUninit::assume_init.

Note that if you write through the returned reference, any padding bytes within the layout of T (which for a repr(Rust) type is arbitrary and unknown) must thereafter be considered uninitialized until you explicitly initialize them again. This means that if you write a T which contains padding into slab, you must not, for example, try to read those bytes as &[u8] afterwards (or as some other type which expects those bytes to be initialized), as you would then be reading uninitialized memory, which is undefined behavior.

* Validity is a complex topic not to be taken lightly. See this rust reference page for more details.