Struct VTableDirect 

pub struct VTableDirect {
    pub display: Option<unsafe fn(*const (), &mut Formatter<'_>) -> Result>,
    pub debug: Option<unsafe fn(*const (), &mut Formatter<'_>) -> Result>,
    pub hash: Option<unsafe fn(*const (), &mut HashProxy<'_>)>,
    pub invariants: Option<unsafe fn(*const ()) -> Result<(), String>>,
    pub parse: Option<unsafe fn(&str, *mut ()) -> Result<(), ParseError>>,
    pub parse_bytes: Option<unsafe fn(&[u8], *mut ()) -> Result<(), ParseError>>,
    pub try_from: Option<unsafe fn(*mut (), &'static Shape, PtrConst) -> Result<(), String>>,
    pub try_into_inner: Option<unsafe fn(*mut ()) -> Result<PtrMut, String>>,
    pub try_borrow_inner: Option<unsafe fn(*const ()) -> Result<PtrMut, String>>,
    pub partial_eq: Option<unsafe fn(*const (), *const ()) -> bool>,
    pub partial_cmp: Option<unsafe fn(*const (), *const ()) -> Option<Ordering>>,
    pub cmp: Option<unsafe fn(*const (), *const ()) -> Ordering>,
}

VTable for concrete types with compile-time known traits.

Uses thin pointers (*const (), *mut ()) as receivers. Used for scalars, String, user-defined structs/enums, etc.

Per-type operations

Note that drop_in_place, default_in_place, and clone_into are NOT in this struct. These operations must be monomorphized per-type and live in TypeOps on the crate::Shape. This allows vtables to be shared across generic instantiations (e.g., one vtable for all Vec<T>).

Safety

All function pointers are unsafe fn because they operate on raw pointers. Callers must ensure:

• The pointer points to a valid instance of the expected type
• The pointer has the correct alignment for the type
• For mutable operations, the caller has exclusive access to the data
• The lifetime of the data extends for the duration of the operation

Fields

display: Option<unsafe fn(*const (), &mut Formatter<'_>) -> Result>

Display function - formats value using Display trait.

debug: Option<unsafe fn(*const (), &mut Formatter<'_>) -> Result>

Debug function - formats value using Debug trait.

hash: Option<unsafe fn(*const (), &mut HashProxy<'_>)>

Hash function - hashes value using Hash trait via HashProxy.

invariants: Option<unsafe fn(*const ()) -> Result<(), String>>

Invariants function - checks type invariants.

parse: Option<unsafe fn(&str, *mut ()) -> Result<(), ParseError>>

Parse function - parses value from string into destination.

parse_bytes: Option<unsafe fn(&[u8], *mut ()) -> Result<(), ParseError>>

Parse bytes function - parses value from byte slice into destination. Used for binary formats where types have a more efficient representation.

try_from: Option<unsafe fn(*mut (), &'static Shape, PtrConst) -> Result<(), String>>

Try from function - converts from another value type. Arguments: (dst, src_shape, src_ptr)

try_into_inner: Option<unsafe fn(*mut ()) -> Result<PtrMut, String>>

Try into inner function - extracts inner value (consuming).

try_borrow_inner: Option<unsafe fn(*const ()) -> Result<PtrMut, String>>

Try borrow inner function - borrows inner value.

partial_eq: Option<unsafe fn(*const (), *const ()) -> bool>

PartialEq function - tests equality with another value.

partial_cmp: Option<unsafe fn(*const (), *const ()) -> Option<Ordering>>

PartialOrd function - compares with another value.

cmp: Option<unsafe fn(*const (), *const ()) -> Ordering>

Ord function - total ordering comparison.

Implementations

impl VTableDirect

pub const fn empty() -> Self

Create an empty VTableDirect with all fields set to None.

pub const fn builder() -> Self

Start building a new VTableDirect (untyped).

impl VTableDirect

pub const fn builder_for<T>() -> TypedVTableDirectBuilder<T>

Create a typed builder for type T.

The builder ensures all function pointers are for the same type T.

Trait Implementations

impl Clone for VTableDirect

fn clone(&self) -> VTableDirect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for VTableDirect

fn default() -> Self

Returns the “default value” for a type.

impl From<&'static VTableDirect> for VTableErased

fn from(vt: &'static VTableDirect) -> Self

Converts to this type from the input type.

impl Copy for VTableDirect