Crate possibly_uninit[−][src]
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 |
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 |
BorrowUninit | Trait allowing borrowing of |