Type Alias NonZeroU8
type NonZeroU8 = NonZero<u8>
A u8 that is known not to equal zero.
This enables some memory layout optimization.
For example, Option<NonZeroU8> is the same size as u8:
assert_eq!;
Layout
NonZeroU8 is guaranteed to have the same layout and bit validity as u8
with the exception that 0 is not a valid instance.
Option<NonZeroU8> is guaranteed to be compatible with u8,
including in FFI.
Thanks to the null pointer optimization,
NonZeroU8 and Option<NonZeroU8>
are guaranteed to have the same size and alignment:
use NonZeroU8;
assert_eq!;
assert_eq!;
Compile-time creation
Since both [Option::unwrap()] and [Option::expect()] are const, it is possible to
define a new
NonZeroU8
at compile time via:
use NonZeroU8;
const TEN: NonZeroU8 = new.expect;