pub struct OptionRangedU64<const MIN: u64, const MAX: u64>(/* private fields */);
Expand description
A RangedU64
that is optional. Equivalent to Option<RangedU64>
with niche value optimization.
If MIN
is u64::MIN
and MAX
is u64::MAX
then compilation will fail. This is because there is no way to represent the niche value.
This type is useful when you need to store an optional ranged value in a struct, but
do not want the overhead of an Option
type. This reduces the size of the struct
overall, and is particularly useful when you have a large number of optional fields.
Note that most operations must still be performed on the Option
type, which is
obtained with OptionRangedU64::get
.
Implementations§
source§impl<const MIN: u64, const MAX: u64> OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> OptionRangedU64<MIN, MAX>
sourcepub const fn Some(value: RangedU64<MIN, MAX>) -> Self
pub const fn Some(value: RangedU64<MIN, MAX>) -> Self
Creates an optional ranged value that is present.
sourcepub const fn get(self) -> Option<RangedU64<MIN, MAX>>
pub const fn get(self) -> Option<RangedU64<MIN, MAX>>
Returns the value as the standard library’s Option
type.
sourcepub const unsafe fn some_unchecked(value: u64) -> Self
pub const unsafe fn some_unchecked(value: u64) -> Self
Creates an optional ranged integer without checking the value.
§Safety
The value must be within the range MIN..=MAX
. As the value used for niche
value optimization is unspecified, the provided value must not be the niche
value.
Trait Implementations§
source§impl<const MIN: u64, const MAX: u64> Clone for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Clone for OptionRangedU64<MIN, MAX>
source§fn clone(&self) -> OptionRangedU64<MIN, MAX>
fn clone(&self) -> OptionRangedU64<MIN, MAX>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<const MIN: u64, const MAX: u64> From<Option<RangedU64<MIN, MAX>>> for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> From<Option<RangedU64<MIN, MAX>>> for OptionRangedU64<MIN, MAX>
source§impl<const MIN: u64, const MAX: u64> From<OptionRangedU64<MIN, MAX>> for Option<RangedU64<MIN, MAX>>
impl<const MIN: u64, const MAX: u64> From<OptionRangedU64<MIN, MAX>> for Option<RangedU64<MIN, MAX>>
source§fn from(value: OptionRangedU64<MIN, MAX>) -> Self
fn from(value: OptionRangedU64<MIN, MAX>) -> Self
source§impl<const MIN: u64, const MAX: u64> Ord for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Ord for OptionRangedU64<MIN, MAX>
source§impl<const MIN_A: u64, const MAX_A: u64, const MIN_B: u64, const MAX_B: u64> PartialEq<OptionRangedU64<MIN_B, MAX_B>> for OptionRangedU64<MIN_A, MAX_A>
impl<const MIN_A: u64, const MAX_A: u64, const MIN_B: u64, const MAX_B: u64> PartialEq<OptionRangedU64<MIN_B, MAX_B>> for OptionRangedU64<MIN_A, MAX_A>
source§fn eq(&self, other: &OptionRangedU64<MIN_B, MAX_B>) -> bool
fn eq(&self, other: &OptionRangedU64<MIN_B, MAX_B>) -> bool
self
and other
values to be equal, and is used by ==
.source§impl<const MIN_A: u64, const MAX_A: u64, const MIN_B: u64, const MAX_B: u64> PartialOrd<OptionRangedU64<MIN_B, MAX_B>> for OptionRangedU64<MIN_A, MAX_A>
impl<const MIN_A: u64, const MAX_A: u64, const MIN_B: u64, const MAX_B: u64> PartialOrd<OptionRangedU64<MIN_B, MAX_B>> for OptionRangedU64<MIN_A, MAX_A>
impl<const MIN: u64, const MAX: u64> Copy for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Eq for OptionRangedU64<MIN, MAX>
Auto Trait Implementations§
impl<const MIN: u64, const MAX: u64> Freeze for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> RefUnwindSafe for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Send for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Sync for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> Unpin for OptionRangedU64<MIN, MAX>
impl<const MIN: u64, const MAX: u64> UnwindSafe for OptionRangedU64<MIN, MAX>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)