::uninit

A collection of tools for a safer usage of uninitialized memory.

Latest version Documentation License


Many crates out there try to replicate C "optimization" patterns such as handling uninitialized memory without taking into account that Rust types carry semantics much more subtle than those of C.

For instance, the following code is Undefined Behavior!

```rust use ::core::mem;

let mut array: [u8; 256] = unsafe { mem::uninitialized() }; for (i, x) in array.iter_mut().enumerate() { *x = i as u8; } ```

Indeed, it creates u8s with uninitialized memory, which currently has no defined behavior in the Rust model (see "What The Hardware Does" is not What Your Program Does: Uninitialized Memory, by Ralf Jung), and then creates Rust references to these invalid u8s, which become in turn invalid too.

Do not use [mem::uninitialized]!

In hindsight, offering a [mem::uninitialized] function in the core library of Rust (even if it was marked unsafe), has been of the worst mistakes of the language. Indeed, the function is generic and only bounded by Sized, and it turns out that, except for zero-sized types or the later introduced [MaybeUninit]<T>, all the other calls to this function are unsound (instant UB).

Note that there are other ways to trigger this UB without explicitely using [mem::uninitialized]::<T>(), such as:

Instead, (you can) use [MaybeUninit]

So, the solution to manipulating uninitialized memory is to use backing memory has been initialized / the behavior of an uninitialized MaybeUninit<T> is well-defined, no matter the T.

How to correctly use [MaybeUninit]

It is all about the delayed initialization pattern:

  1. Creation

    A MaybeUninit<T> is created, with, for instance, MaybeUninit::<T>::uninit():

    ```rust use ::core::mem::MaybeUninit;

    let mut x = MaybeUninit::::uninit(); ```

  2. (Delayed) Initialization

    With great care to avoid accidentally creating (even if only for an instant) a &T, &mut T, or even a T while the memory has not been initialized yet (which would be UB), we can write to (and thus initialize) the uninitialized memory through a &mut MaybeUninit<T>:

  3. Type-level upgrade

    Once we know, for sure, that the memory has been initialized, we can upgrade the MaybeUninit<T> type to the fully-fledged T type:

The problem

As you can see, manipulating [MaybeUninit] to initialize its contents is done through restrictive and unergonomic types (&mut MaybeUninit<T> / *mut T).

So most APIs do not offer a way to output / write into uninitialized memory.

This is what ends up leading many people to do the step .3 before the step .2: it is oh so much ergonomic to work with a &mut T than a *mut T, especially when arrays, slices and vectors are involved. Thus people end up doing UB.

One of the worst offenders of this situation is the [Read] trait

```rust use ::std::io;

pub trait Read { fn read (&mut self, buf: &mut [u8]) -> Result; // ... } ```

that is, there is no way to .read() into an unitialized buffer (it would require an api taking either a (*mut u8, usize) pair, or, equivalently and by the way more ergonomically, a &mut [MaybeUninit<u8>]).

Enter ::uninit

So, the objective of this crate is double:

Status

This is currently in alpha / experimental stage, and "only" includes utilities to work with uninitialized bytes or integers.