Struct ListObj 

pub struct ListObj {
    pub header: Header,
    /* private fields */
}

A list: header, length and a pointer to a backing array.

Reads never lock, even on shared lists. The length and buffer pointer are atomic words, and a reader bounds-checks against the buffer it loaded, so it sees some consistent-enough state and never reads out of bounds. A writer (the owner, or a thread holding a shared list’s lock) that outgrows the buffer copies it into a new one and swaps the pointer; the old buffer is retired to the collector, which frees it only once the world is stopped and no reader can hold it.

Fields

header: Header

Implementations

impl ListObj

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn get(&self, i: usize) -> Option<Value>

The item at i, if in bounds. Safe against concurrent writers; the caller must still have passed the ownership read check.

pub fn get_local(&self, i: usize) -> Option<Value>

As ListObj::get for a list owned by this thread or frozen, where nothing races.

pub fn to_vec(&self) -> Vec<Value>

A snapshot of the items.

pub fn capacity(&self) -> usize

pub unsafe fn set(&self, i: usize, v: Value) -> bool

Safety

See above.

pub unsafe fn push(&self, v: Value, access: Access)

Safety

See above.

pub unsafe fn pop(&self) -> Option<Value>

Safety

See above.

pub unsafe fn replace(&self, items: &[Value], access: Access)

Replaces the contents with items, reusing the buffer when it is large enough.

Safety

See above.

pub unsafe fn modify<R>( &self, access: Access, f: impl FnOnce(&mut Vec<Value>) -> R, ) -> R

Runs f on a copy of the items and writes the result back.

Safety

See above.