pub struct StableVec<T> { /* private fields */ }Expand description
A Vec<T>-like collection that maintains stable indices for its elements.
Unlike with a standard Vec<T>, removing elements from a StableVec<T> is O(1),
and it does not move other elements or invalidate their indices.
This is achieved by internally storing each element as an Option<T>,
and reusing freed slots for new elements.
§Overiew of Important Methods
pushadds a new element and returns its stable index (O(1)).removeremoves an element at a given index and returns it (O(1)).try_removeattempts to remove an element at a given index, returningNoneif it doesn’t exist (O(1)).getandget_mutprovide access to elements by index (O(1)).clearremoves all elements without deallocating memory (O(1)).
Implementations§
Source§impl<T> StableVec<T>
impl<T> StableVec<T>
Sourcepub fn with_capacity(capacity: usize) -> Self
pub fn with_capacity(capacity: usize) -> Self
Creates a new StableVec with the given initial capacity.
This is useful for preallocating space to avoid reallocations.
Sourcepub fn push(&mut self, element: T) -> usize
pub fn push(&mut self, element: T) -> usize
Pushes a new element to the first available slot, returning its index.
This may reuse a previously freed slot.
§Time Complexity
O(1)
Sourcepub fn next_push_index(&self) -> usize
pub fn next_push_index(&self) -> usize
Returns the next index that will be used for a push.
This index may reuse a previously freed slot.
§Time Complexity
O(1)
Sourcepub fn try_remove(&mut self, index: usize) -> Option<T>
pub fn try_remove(&mut self, index: usize) -> Option<T>
Sourcepub unsafe fn get_unchecked(&self, index: usize) -> &T
pub unsafe fn get_unchecked(&self, index: usize) -> &T
Sourcepub unsafe fn get_unchecked_mut(&mut self, index: usize) -> &mut T
pub unsafe fn get_unchecked_mut(&mut self, index: usize) -> &mut T
Sourcepub fn get_disjoint_mut2(
&mut self,
index1: usize,
index2: usize,
) -> Option<[&mut T; 2]>
pub fn get_disjoint_mut2( &mut self, index1: usize, index2: usize, ) -> Option<[&mut T; 2]>
Returns mutable references to two disjoint elements at the given indices, if they exist.
If the indices are the same, or if either index is out of bounds or has no element,
None is returned.
§Time Complexity
O(1)
Sourcepub unsafe fn get_disjoint_mut_unchecked(
&mut self,
index1: usize,
index2: usize,
) -> [&mut T; 2]
pub unsafe fn get_disjoint_mut_unchecked( &mut self, index1: usize, index2: usize, ) -> [&mut T; 2]
Returns mutable references to two disjoint elements at the given indices without bounds checking.
If the indices are the same, or if either index has no element, the behavior is undefined.
§Time Complexity
O(1)
§Safety
The caller must ensure that the indices are disjoint and that there are elements at both indices.
Trait Implementations§
Auto Trait Implementations§
impl<T> Freeze for StableVec<T>
impl<T> RefUnwindSafe for StableVec<T>where
T: RefUnwindSafe,
impl<T> Send for StableVec<T>where
T: Send,
impl<T> Sync for StableVec<T>where
T: Sync,
impl<T> Unpin for StableVec<T>where
T: Unpin,
impl<T> UnwindSafe for StableVec<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T, U> AsBindGroupShaderType<U> for T
impl<T, U> AsBindGroupShaderType<U> for T
Source§fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
T ShaderType for self. When used in AsBindGroup
derives, it is safe to assume that all images in self exist.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§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§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>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§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>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§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.Source§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.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> FromWorld for Twhere
T: Default,
impl<T> FromWorld for Twhere
T: Default,
Source§fn from_world(_world: &mut World) -> T
fn from_world(_world: &mut World) -> T
Creates Self using default().
Source§impl<T, W> HasTypeWitness<W> for Twhere
W: MakeTypeWitness<Arg = T>,
T: ?Sized,
impl<T, W> HasTypeWitness<W> for Twhere
W: MakeTypeWitness<Arg = T>,
T: ?Sized,
Source§impl<T> Identity for Twhere
T: ?Sized,
impl<T> Identity for Twhere
T: ?Sized,
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 moreSource§impl<T> IntoResult<T> for T
impl<T> IntoResult<T> for T
Source§fn into_result(self) -> Result<T, RunSystemError>
fn into_result(self) -> Result<T, RunSystemError>
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.