pub struct ArrayList<T, const N: usize> { /* private fields */ }Expand description
A dynamic ordered sequence stored as fixed-capacity chunks.
§Features
- Chunked storage: each chunk can hold up to
Nelements, reducing allocation overhead compared to a traditional linked list. - Sequence operations: supports front, back, indexed, iterator, and cursor-based access.
- Local editing: mutable cursors can insert and remove near their current position while keeping track of the logical element when possible.
§Type Parameters
T: The type of elements stored in the list.N: The maximum number of elements that each chunk can hold.
N must be at least 4. Smaller chunk sizes are rejected at compile time by
constructors and operations because this data structure is designed around
multi-element chunks and a local half-full occupancy heuristic.
Chunk size is a performance tuning parameter. Small chunks reduce the maximum movement within any one chunk, but they increase chunk count, allocation count, boundary crossings, and indexed lookup metadata. Larger chunks reduce that overhead and can improve cursor-local mutation performance, at the cost of moving more elements within the edited chunk when a middle insertion or removal occurs. Capacities around 32-64 are usually a better starting point for real workloads than the minimum supported size.
§Fragmentation
Middle insertions and removals may leave spare capacity inside chunks. After a middle removal that leaves the edited chunk non-empty, or after a middle insertion that splits a full chunk, the edited chunk is locally refilled up to half capacity from immediate sibling chunks when those siblings contain more than half capacity. Siblings at or below half capacity are left untouched.
This is a local minimum-occupancy heuristic, not a global invariant. The
minimum is N / 2 using integer division, so odd capacities round down.
Front/back pushes and pops keep their direct boundary behavior, so edge
chunks may be less than half full. Use shrink when
explicit front compaction is useful.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i64, 6> = ArrayList::new();
list.push_back(3);
list.push_front(1);
list.insert(1, 2);
assert!(!list.is_empty());
assert_eq!(list.len(), 3);
assert_eq!(list.pop_front(), Some(1));
assert_eq!(list.pop_front(), Some(2));
assert_eq!(list.pop_front(), Some(3));use array_list::ArrayList;
let mut list: ArrayList<i32, 3> = ArrayList::new();
list.push_back(1);Implementations§
Source§impl<T, const N: usize> ArrayList<T, N>
impl<T, const N: usize> ArrayList<T, N>
Sourcepub const fn new() -> Self
pub const fn new() -> Self
Creates a new, empty ArrayList with no elements and no allocated chunks.
§Example
use array_list::ArrayList;
let list: ArrayList<i64, 6> = ArrayList::new();
assert!(list.is_empty());Sourcepub fn push_front(&mut self, value: T)
pub fn push_front(&mut self, value: T)
Adds an element to the front of the ArrayList.
The element is inserted at the beginning of the list, shifting existing elements forward if necessary. If the first chunk is full, a new one will be allocated to accommodate the element.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i64, 6> = ArrayList::new();
list.push_front(10);
list.push_front(20);
assert_eq!(list.len(), 2);
assert_eq!(list.pop_front(), Some(20));
assert_eq!(list.pop_front(), Some(10));Sourcepub fn push_back(&mut self, value: T)
pub fn push_back(&mut self, value: T)
Adds an element to the back of the ArrayList.
The element is inserted at the end of the list. If the last chunk is full, a new one will be allocated to accommodate the element.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i64, 6> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.len(), 2);
assert_eq!(list.pop_back(), Some(20));
assert_eq!(list.pop_back(), Some(10));Sourcepub fn insert(&mut self, index: usize, value: T)
pub fn insert(&mut self, index: usize, value: T)
Inserts an element at index, shifting that element and all later
elements to the right.
If the target chunk is full, insertion splits that chunk locally. When a
middle insertion splits a full chunk, the edited chunk may be refilled up
to half capacity from immediate sibling chunks that contain more than
half capacity.
Inserting at len is equivalent to
push_back.
§Panics
- Panics if the
indexis out of bounds (greater than the list’s current length).
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(30);
list.insert(1, 20);
assert_eq!(list.get(0), Some(&10));
assert_eq!(list.get(1), Some(&20));
assert_eq!(list.get(2), Some(&30));Sourcepub fn append(&mut self, other: &mut Self)
pub fn append(&mut self, other: &mut Self)
Moves all elements from other to the back of this list.
This preserves the logical order of both lists. When the tail chunk of
this list has spare capacity, elements are first drained from the head of
other to fill that boundary chunk; remaining chunks are then moved
wholesale. After this operation, other is empty.
§Example
use array_list::ArrayList;
let mut list1: ArrayList<i32, 4> = ArrayList::new();
list1.push_back(1);
list1.push_back(2);
let mut list2: ArrayList<i32, 4> = ArrayList::new();
list2.push_back(3);
list2.push_back(4);
list1.append(&mut list2);
assert_eq!(list1.len(), 4);
assert_eq!(list1.get(0), Some(&1));
assert_eq!(list1.get(1), Some(&2));
assert_eq!(list1.get(2), Some(&3));
assert_eq!(list1.get(3), Some(&4));Sourcepub fn pop_front(&mut self) -> Option<T>
pub fn pop_front(&mut self) -> Option<T>
Removes and returns the first element of the ArrayList, if any.
If the list is empty, it returns None.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_front(10);
list.push_front(20);
assert_eq!(list.pop_front(), Some(20));
assert_eq!(list.pop_front(), Some(10));
assert_eq!(list.pop_front(), None);Sourcepub fn pop_back(&mut self) -> Option<T>
pub fn pop_back(&mut self) -> Option<T>
Removes and returns the last element of the ArrayList, if any.
If the list is empty, it returns None.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.pop_back(), Some(20));
assert_eq!(list.pop_back(), Some(10));
assert_eq!(list.pop_back(), None);Sourcepub fn remove(&mut self, index: usize) -> Option<T>
pub fn remove(&mut self, index: usize) -> Option<T>
Removes and returns the element at index.
Elements after index keep their relative order. After a middle removal
that leaves the edited chunk non-empty, that chunk may be refilled up to
half capacity from immediate sibling chunks that contain more than half
capacity.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
list.push_back(30);
list.push_back(40);
list.push_back(50);
assert_eq!(list.remove(1), Some(20));
assert_eq!(list.get(1), Some(&30));
assert_eq!(list.len(), 4);
assert_eq!(list.remove(10), None);Sourcepub fn clear(&mut self)
pub fn clear(&mut self)
Removes all elements from the ArrayList, effectively making it empty.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::new();
list.push_back(1);
list.push_back(2);
list.push_back(3);
assert_eq!(list.len(), 3);
list.clear();
assert_eq!(list.len(), 0);
assert!(list.is_empty());
assert_eq!(list.front(), None);
assert_eq!(list.back(), None);Sourcepub fn front(&self) -> Option<&T>
pub fn front(&self) -> Option<&T>
Returns a reference to the first element of the ArrayList, if any.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.front(), Some(&10));
list.pop_front();
assert_eq!(list.front(), Some(&20));
list.pop_front();
assert_eq!(list.front(), None);Sourcepub fn front_mut(&mut self) -> Option<&mut T>
pub fn front_mut(&mut self) -> Option<&mut T>
Returns a mutable reference to the first element of the ArrayList, if any.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.front_mut(), Some(&mut 10));
list.pop_front();
assert_eq!(list.front_mut(), Some(&mut 20));
list.pop_front();
assert_eq!(list.front_mut(), None);Sourcepub fn back(&self) -> Option<&T>
pub fn back(&self) -> Option<&T>
Returns a reference to the last element of the ArrayList, if any.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.back(), Some(&20));
list.pop_back();
assert_eq!(list.back(), Some(&10));
list.pop_back();
assert_eq!(list.back(), None);Sourcepub fn back_mut(&mut self) -> Option<&mut T>
pub fn back_mut(&mut self) -> Option<&mut T>
Returns a mutable reference to the last element of the ArrayList, if any.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.back_mut(), Some(&mut 20));
list.pop_back();
assert_eq!(list.back_mut(), Some(&mut 10));
list.pop_back();
assert_eq!(list.back_mut(), None);Sourcepub fn get(&self, index: usize) -> Option<&T>
pub fn get(&self, index: usize) -> Option<&T>
Returns a reference to the element at index, if any.
Index lookup scans chunk metadata to find the chunk containing index.
Fragmented lists may require scanning more chunks than compact lists.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.get(0), Some(&10));
assert_eq!(list.get(1), Some(&20));
assert_eq!(list.get(2), None); // Out of boundsSourcepub fn get_mut(&mut self, index: usize) -> Option<&mut T>
pub fn get_mut(&mut self, index: usize) -> Option<&mut T>
Returns a mutable reference to the element at index, if any.
Index lookup scans chunk metadata to find the chunk containing index.
Fragmented lists may require scanning more chunks than compact lists.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<i64, 4> = ArrayList::new();
list.push_back(10);
list.push_back(20);
assert_eq!(list.get_mut(0), Some(&mut 10));
assert_eq!(list.get_mut(1), Some(&mut 20));
assert_eq!(list.get_mut(2), None); // Out of boundsSourcepub const fn len(&self) -> usize
pub const fn len(&self) -> usize
Returns the number of elements currently stored in the ArrayList.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i64, 6> = ArrayList::new();
list.push_back(1);
list.push_back(2);
assert_eq!(list.len(), 2);Sourcepub fn capacity(&self) -> usize
pub fn capacity(&self) -> usize
Returns the total number of elements that can fit in the currently allocated chunks.
This is the sum of the capacity of every internal chunk. It is always at
least len, but it may be larger after edits until the list
is compacted with shrink.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::new();
assert_eq!(list.capacity(), 0);
list.push_back(1);
assert!(list.capacity() >= list.len());Sourcepub fn spare_capacity(&self) -> usize
pub fn spare_capacity(&self) -> usize
Returns the number of unused element slots in allocated chunks.
This is capacity minus len. A larger
value means the list has more spare chunk storage, usually after middle
edits, front-heavy insertions, or uneven appends.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::from([1, 2, 3, 4, 5]);
list.remove(1);
assert_eq!(list.spare_capacity(), list.capacity() - list.len());Sourcepub fn shrink(&mut self)
pub fn shrink(&mut self)
Compacts elements toward the front of the list.
This preserves element order and length. It can reduce spare capacity
after removals or uneven insertions by filling earlier chunks from later
chunks and removing chunks that become empty. It does not guarantee that
all allocation capacity held by the internal VecDeque is released.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::from([1, 2, 3]);
list.remove(1);
list.shrink();
assert_eq!(list, [1, 3]);Sourcepub const fn is_empty(&self) -> bool
pub const fn is_empty(&self) -> bool
Checks if the ArrayList is empty.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i64, 6> = ArrayList::new();
assert!(list.is_empty());
list.push_back(1);
assert!(!list.is_empty());Sourcepub fn iter(&self) -> Iter<'_, T, N> ⓘ
pub fn iter(&self) -> Iter<'_, T, N> ⓘ
Provides an iterator over the list’s elements.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<_, 4> = ArrayList::new();
list.push_back(0);
list.push_back(1);
list.push_back(2);
let mut iter = list.iter();
assert_eq!(iter.next(), Some(&0));
assert_eq!(iter.next(), Some(&1));
assert_eq!(iter.next(), Some(&2));
assert_eq!(iter.next(), None);Sourcepub fn iter_mut(&mut self) -> IterMut<'_, T, N> ⓘ
pub fn iter_mut(&mut self) -> IterMut<'_, T, N> ⓘ
Provides a mutable iterator over the list’s elements.
§Examples
use array_list::ArrayList;
let mut list: ArrayList<_, 4> = ArrayList::new();
list.push_back(0);
list.push_back(1);
list.push_back(2);
let mut iter = list.iter_mut();
assert_eq!(iter.next(), Some(&mut 0));
assert_eq!(iter.next(), Some(&mut 1));
assert_eq!(iter.next(), Some(&mut 2));
assert_eq!(iter.next(), None);Sourcepub fn cursor_front(&self) -> Cursor<'_, T, N>
pub fn cursor_front(&self) -> Cursor<'_, T, N>
Provides a read-only cursor at the front element.
The cursor points to the ghost non-element if the list is empty.
§Example
use array_list::ArrayList;
let list: ArrayList<i32, 4> = ArrayList::from([1, 2]);
let cursor = list.cursor_front();
assert_eq!(cursor.index(), Some(0));
assert_eq!(cursor.current(), Some(&1));
let empty: ArrayList<i32, 4> = ArrayList::new();
assert_eq!(empty.cursor_front().index(), None);Sourcepub fn cursor_back(&self) -> Cursor<'_, T, N>
pub fn cursor_back(&self) -> Cursor<'_, T, N>
Provides a read-only cursor at the back element.
The cursor points to the ghost non-element if the list is empty.
§Example
use array_list::ArrayList;
let list: ArrayList<i32, 4> = ArrayList::from([1, 2]);
let cursor = list.cursor_back();
assert_eq!(cursor.index(), Some(1));
assert_eq!(cursor.current(), Some(&2));
let empty: ArrayList<i32, 4> = ArrayList::new();
assert_eq!(empty.cursor_back().index(), None);Sourcepub fn cursor_front_mut(&mut self) -> CursorMut<'_, T, N>
pub fn cursor_front_mut(&mut self) -> CursorMut<'_, T, N>
Provides a mutable cursor at the front element.
The cursor points to the ghost non-element if the list is empty.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::from([1, 2]);
let mut cursor = list.cursor_front_mut();
assert_eq!(cursor.index(), Some(0));
assert_eq!(cursor.current(), Some(&mut 1));
let mut empty: ArrayList<i32, 4> = ArrayList::new();
assert_eq!(empty.cursor_front_mut().index(), None);Sourcepub fn cursor_back_mut(&mut self) -> CursorMut<'_, T, N>
pub fn cursor_back_mut(&mut self) -> CursorMut<'_, T, N>
Provides a mutable cursor at the back element.
The cursor points to the ghost non-element if the list is empty.
§Example
use array_list::ArrayList;
let mut list: ArrayList<i32, 4> = ArrayList::from([1, 2]);
let mut cursor = list.cursor_back_mut();
assert_eq!(cursor.index(), Some(1));
assert_eq!(cursor.current(), Some(&mut 2));
let mut empty: ArrayList<i32, 4> = ArrayList::new();
assert_eq!(empty.cursor_back_mut().index(), None);Trait Implementations§
Source§impl<'a, T, const N: usize> Extend<&'a T> for ArrayList<T, N>where
T: Clone,
impl<'a, T, const N: usize> Extend<&'a T> for ArrayList<T, N>where
T: Clone,
Source§fn extend<I: IntoIterator<Item = &'a T>>(&mut self, iter: I)
fn extend<I: IntoIterator<Item = &'a T>>(&mut self, iter: I)
Source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one)Source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one)Source§impl<T, const N: usize> Extend<T> for ArrayList<T, N>
impl<T, const N: usize> Extend<T> for ArrayList<T, N>
Source§fn extend<I: IntoIterator<Item = T>>(&mut self, iter: I)
fn extend<I: IntoIterator<Item = T>>(&mut self, iter: I)
Source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one)Source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one)