Struct ValuePointerType

#[non_exhaustive]
#[repr(C)]
pub struct ValuePointerType<'shape> {
    pub mutable: bool,
    pub wide: bool,
    pub target: fn() -> &'shape Shape<'shape>,
}

Describes the raw/reference pointer

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

mutable: bool

Is the pointer mutable or not.

wide: bool

Describes whether the pointer is wider or not

Note: if the pointer is wide, then the target shape will have ShapeLayout::Unsized, and the vtables of the target shape will expect the pointer to this pointer, rather than the resulting address of unsized data. This is because wide pointer’s metadata information is an undefined implementation detail, at this current moment.

See: https://github.com/rust-lang/rust/issues/81513

target: fn() -> &'shape Shape<'shape>

Shape of the pointer’s pointee

This needs to be indirect (behind a function), in order to allow recursive types without overflowing the const-eval system.

Implementations

impl<'shape> ValuePointerType<'shape>

pub fn target(&self) -> &'shape Shape<'shape>

Returns the shape of the pointer’s pointee.

Trait Implementations

impl<'shape> Clone for ValuePointerType<'shape>

fn clone(&self) -> ValuePointerType<'shape>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'shape> Debug for ValuePointerType<'shape>

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

Formats the value using the given formatter.

impl<'shape> Hash for ValuePointerType<'shape>

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'shape> PartialEq for ValuePointerType<'shape>

fn eq(&self, other: &ValuePointerType<'shape>) -> 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<'shape> Copy for ValuePointerType<'shape>

impl<'shape> Eq for ValuePointerType<'shape>

impl<'shape> StructuralPartialEq for ValuePointerType<'shape>