pub struct StateId<T>(/* private fields */)
where
T: StateValue;Expand description
Unique identifier of a value in a state map.
The type T is the value type.
static_id! {
static ref FOO_ID: StateId<bool>;
}
let mut owned_state = OwnedStateMap::<()>::default();
let foo = owned_state.borrow_mut().set(*FOO_ID, true);§Memory
The internal number is a NonZeroU64, that means that
Option<StateId>
and
StateId
are the same size as u64.
§As Hash
The generated internal number has good statistical distribution and can be used as its own hash,
although it is not cryptographically safe, as it is simply a sequential counter scrambled using splitmix64.
§Static
The unique ID cannot be generated at compile time, but you can use the static_id! macro to declare
a lazy static that instantiates the ID.
§Exhaustion Handling
If more IDs are generated them u64::MAX an error is logged, the internal counter is reset and ids are reused.
Implementations§
Source§impl<T> StateId<T>where
T: StateValue,
impl<T> StateId<T>where
T: StateValue,
Sourcepub fn new_unique() -> StateId<T>
pub fn new_unique() -> StateId<T>
Generates a new unique ID.
Sourcepub fn sequential(self) -> u64
pub fn sequential(self) -> u64
Un-scramble the underlying value to get the original sequential count number.
If two IDs, id0 and id1 where generated by the same thread then id0.sequential() < id1.sequential().
Sourcepub fn from_raw(raw: u64) -> StateId<T>
pub fn from_raw(raw: u64) -> StateId<T>
Creates an ID from a raw value.
The value must not be zero, panics if it is, the value must have been provided by get otherwise
the ID will not be unique.
Sourcepub fn from_sequential(num: u64) -> StateId<T>
pub fn from_sequential(num: u64) -> StateId<T>
Creates an ID from a sequential number.
§Safety
The value must not be zero, panics if it is, the value must have been provided by sequential otherwise
the ID will not be unique.
Trait Implementations§
Source§impl<T> Clone for StateId<T>where
T: StateValue,
impl<T> Clone for StateId<T>where
T: StateValue,
Source§impl<T> Debug for StateId<T>where
T: StateValue,
impl<T> Debug for StateId<T>where
T: StateValue,
Source§impl<T> Hash for StateId<T>where
T: StateValue,
impl<T> Hash for StateId<T>where
T: StateValue,
Source§impl<T> PartialEq for StateId<T>where
T: StateValue,
impl<T> PartialEq for StateId<T>where
T: StateValue,
Source§impl<T> UniqueId for StateId<T>where
T: StateValue,
impl<T> UniqueId for StateId<T>where
T: StateValue,
Source§fn new_unique() -> StateId<T>
fn new_unique() -> StateId<T>
impl<T> Copy for StateId<T>where
T: StateValue,
impl<T> Eq for StateId<T>where
T: StateValue,
impl<T> NoUninit for StateId<T>where
T: StateValue,
impl<T> PodInOption for StateId<T>where
T: StateValue,
impl<T> ZeroableInOption for StateId<T>where
T: StateValue,
Auto Trait Implementations§
impl<T> Freeze for StateId<T>
impl<T> RefUnwindSafe for StateId<T>where
T: RefUnwindSafe,
impl<T> Send for StateId<T>
impl<T> Sync for StateId<T>
impl<T> Unpin for StateId<T>where
T: Unpin,
impl<T> UnwindSafe for StateId<T>where
T: UnwindSafe,
Blanket Implementations§
§impl<T> AnyEq for T
impl<T> AnyEq for T
Source§impl<T> AnyVarValue for T
impl<T> AnyVarValue for T
Source§fn clone_boxed(&self) -> BoxAnyVarValue
fn clone_boxed(&self) -> BoxAnyVarValue
Source§fn eq_any(&self, other: &(dyn AnyVarValue + 'static)) -> bool
fn eq_any(&self, other: &(dyn AnyVarValue + 'static)) -> bool
self and other are equal.Source§fn try_swap(&mut self, other: &mut (dyn AnyVarValue + 'static)) -> bool
fn try_swap(&mut self, other: &mut (dyn AnyVarValue + 'static)) -> bool
other if both are of the same type.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,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Source§impl<T> FsChangeNote for T
impl<T> FsChangeNote for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more