Crate possibly_uninit

Traits and types helping with using uninitialized memory safely.

This crate provides several traits and types that make working with uninitialized memory safer. They avoid memory bugs like accidentally writing uninitialized value into initialized memory, reading uninitialized memory, etc. They also provide strong guarantees for other safe code, which is expressed as unsafe traits.

Since uninitialized values make most sense when it comes to large objects, the main focus is on slices and arrays. For instance, you can initialize Box<[T]> or Box<[T; N]> after it was allocated, avoiding copying. Unfortunately that part isn’t quite perfect right now, but it does seem to work correctly.

The crate is no_std-compatible and alloc-compatible, of course.

Modules

cast

Helpers for casting between smart pointer types.

deref_markers

Traits used for marking safety properties of Deref and DerefMut

slice

This module contains traits and types for working with slices of uninitialized memory

zeroed

Helpers for zeroing out the memory

Structs

Out

Mutable reference wrapper that only allows writing valid values to the memory location.

Traits

BorrowOut

Trait allowing mutably borrowing of MaybeUninit<T> values.

BorrowUninit

Trait allowing borrowing of MaybeUninit<T> values.