Struct VPtr 

pub struct VPtr {
    pub alloc_id: u8,
    pub offset: u32,
    pub size: u32,
}

Fat pointer for verified heap operations.

Contains allocation metadata for bounds checking without borrowing the heap.

Fields

alloc_id: u8

Which allocation this points into.

offset: u32

Current byte offset within the allocation.

size: u32

Total size of the allocation (for bounds checking).

Implementations

impl VPtr

pub const fn new(alloc_id: u8, size: u32) -> Self

Create a new pointer to the start of an allocation.

pub fn offset(self, n: usize) -> Self

Compute a new pointer at an offset from this one.

Panics

Panics if the resulting offset would exceed the allocation size.

pub const fn offset_bytes(self) -> usize

Returns the current offset within the allocation.

pub const fn alloc_id(self) -> u8

Returns the allocation ID.

pub const fn alloc_size(self) -> usize

Returns the total size of the allocation.

pub const fn is_at_start(self) -> bool

Check if this pointer is at the start of its allocation.

pub const fn remaining(self) -> usize

Returns the number of bytes remaining from this offset to end of allocation.

Trait Implementations

impl Clone for VPtr

fn clone(&self) -> VPtr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VPtr

impl Debug for VPtr

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

Formats the value using the given formatter.

impl Eq for VPtr

impl IPtr for VPtr

unsafe fn byte_add(self, n: usize) -> Self

Compute a new pointer at a byte offset from this one.

impl PartialEq for VPtr

fn eq(&self, other: &VPtr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for VPtr