Struct StableVec 

pub struct StableVec<T: Storable, M: Memory = DefaultMemoryImpl> { /* private fields */ }

StableVec

ICSS-baseline fixed-stride vector in one governed allocation. There are no custom checksums, cached length, read windows or mutation epochs. Malformed stored values trap; IC execution rollback supplies atomicity.

Implementations

impl<T: Storable, M: Memory> StableVec<T, M>

pub fn create(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Create only in empty admitted memory.

Errors

Refuses nonempty memory or initial growth refusal.

pub fn reset(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Explicitly replace this vector image.

Errors

Refuses initial growth; invalid bounds/codecs trap.

pub fn load(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Load the current SVC format without initialization.

Errors

Refuses empty/foreign framing.

Panics

Traps if the persisted element bounds do not match the selected type.

pub fn get(&self, index: u64) -> Option<T>

Read one indexed record; malformed stored bytes trap.

pub fn set(&self, index: u64, item: &T)

Replace one record; invalid codecs, bounds or writes trap.

pub fn push(&self, item: &T)

Append one record, publishing its length last.

pub fn pop(&self) -> Option<T>

Remove the final record; failures trap.

pub fn len(&self) -> u64

Read the current committed length from stable memory.

pub fn is_empty(&self) -> bool

Whether there are no records.

pub fn iter(&self) -> impl DoubleEndedIterator<Item = T> + '_

Bidirectional iteration with one reusable buffer. Direct skips and last() decode only the selected record; they do not validate discarded records.