Struct ListTypeOps 

#[repr(C)]
pub struct ListTypeOps {
    pub init_in_place_with_capacity: Option<unsafe fn(PtrUninit, usize) -> PtrMut>,
    pub push: Option<unsafe fn(PtrMut, PtrMut)>,
    pub set_len: Option<unsafe fn(PtrMut, usize)>,
    pub as_mut_ptr_typed: Option<unsafe fn(PtrMut) -> *mut u8>,
    pub iter_vtable: IterVTable<PtrConst>,
}

Per-type list operations that must be monomorphized.

These operations cannot be type-erased because they need to know the concrete element type T at compile time:

• init_in_place_with_capacity: Needs to create Vec<T>::with_capacity
• push: Needs to call Vec<T>::push
• Iterator operations: Need the concrete iterator type

This struct is used alongside a shared ListVTable to separate:

• Shareable operations (in ListVTable): Can be type-erased using runtime shape info (len, get, get_mut, as_ptr, as_mut_ptr)
• Per-T operations (in ListTypeOps): Must be monomorphized

Example

// Shared vtable for ALL Vec<T> instantiations
static VEC_LIST_VTABLE: ListVTable = ListVTable { ... };

// Per-T operations for Vec<String>
static VEC_STRING_TYPE_OPS: ListTypeOps = ListTypeOps { ... };

Fields

init_in_place_with_capacity: Option<unsafe fn(PtrUninit, usize) -> PtrMut>

Initialize a list in place with a given capacity (per-T).

Safety

The list parameter must point to uninitialized memory of sufficient size.

push: Option<unsafe fn(PtrMut, PtrMut)>

Push an item to the list (per-T).

Safety

• list must point to an initialized list
• item must point to an initialized value that will be moved

set_len: Option<unsafe fn(PtrMut, usize)>

Set the length of the list (per-T, for direct-fill operations).

Safety

• list must point to an initialized list
• len must not exceed the list’s capacity
• All elements at indices 0..len must be properly initialized

as_mut_ptr_typed: Option<unsafe fn(PtrMut) -> *mut u8>

Get raw mutable pointer to the data buffer (per-T, for direct-fill).

Safety

• list must point to an initialized list

iter_vtable: IterVTable<PtrConst>

Virtual table for list iterator operations (per-T).

Iterator operations cannot be type-erased because the iterator state (Box<slice::Iter<'_, T>>) is type-specific.

Implementations

impl ListTypeOps

pub const fn new(iter_vtable: IterVTable<PtrConst>) -> ListTypeOps

Create a new ListTypeOps with required iterator vtable.

pub const fn builder() -> ListTypeOpsBuilder

Start building a ListTypeOps.

Trait Implementations

impl Clone for ListTypeOps

fn clone(&self) -> ListTypeOps

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ListTypeOps

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Copy for ListTypeOps