Struct LifetimeVTable 

pub struct LifetimeVTable<'a, B> { /* private fields */ }

Implementation of VTable for types with zero or one lifetime.

This vtable is powered by the lifetime_type_id module.

Examples

use dungeon_cell::vtable::{LifetimeVTable, VTableOf, VTable};
use dungeon_cell::bound::bounds;

// get for i32
let vtable = LifetimeVTable::<'static, bounds::Normal>::new::<i32>();

assert_eq!(vtable.descriptor().type_name(), "i32");
assert_eq!(vtable.descriptor().size(), 4);
assert_eq!(vtable.descriptor().alignment(), 4);

// get vtable for f64
let vtable = <&'static LifetimeVTable<'static, bounds::Normal> as VTableOf<f64>>::instance();

assert_eq!(vtable.descriptor().type_name(), "f64");
assert_eq!(vtable.descriptor().size(), 8);
assert_eq!(vtable.descriptor().alignment(), 8);

Implementations

impl<'a, B: IsBound> LifetimeVTable<'a, B>

pub const fn new<T>() -> Self

where T: Dynamic<B> + StaticForm<'a>,

Return the const instance of the vtable for T.

T needs to implement StaticForm.

Trait Implementations

impl<'a, B: Clone> Clone for LifetimeVTable<'a, B>

fn clone(&self) -> LifetimeVTable<'a, B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, 'b, T, B: IsBound> ConstVTableOf<T> for &'b LifetimeVTable<'a, B>

where T: Dynamic<B> + StaticForm<'a>,

const INSTANCE: Self

Instance of the vtable for the type T.

impl<'a, T, B: IsBound> ConstVTableOf<T> for LifetimeVTable<'a, B>

where T: Dynamic<B> + StaticForm<'a>,

const INSTANCE: Self

Instance of the vtable for the type T.

impl<'a, B> Debug for LifetimeVTable<'a, B>

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

Formats the value using the given formatter.

impl<'a, B: IsBound> VTable for LifetimeVTable<'a, B>

type Bounds = B

The dynamic trait bounds applied.

type Id = Lifetime<'a>

Type to store the ID information for which type the vtable is for.

fn descriptor(&self) -> &Descriptor<Self::Id>

Get the type descriptor.

fn bound_impl(&self) -> &BoundsImpl<Self::Bounds>

Get the bound implementation.

impl<'a, 'b, T, B: IsBound> VTableOf<T> for &'b LifetimeVTable<'a, B>

where T: Dynamic<B> + StaticForm<'a>,

fn instance() -> Self

Get an instance of the vtable for the type T.

impl<'a, T, B: IsBound> VTableOf<T> for LifetimeVTable<'a, B>

where T: Dynamic<B> + StaticForm<'a>,

fn instance() -> Self

Get an instance of the vtable for the type T.

impl<'a, 'b, B: IsBound, Bnew> VTableSubset<Bnew> for &'a LifetimeVTable<'b, B>

where Bnew: Subset<B> + IsBound,

type Subset = &'a LifetimeVTable<'b, Bnew>

The type of the new vtable.

fn into_subset(self) -> Self::Subset

Convert a vtable.

impl<'a, B: IsBound, Bnew> VTableSubset<Bnew> for LifetimeVTable<'a, B>

where Bnew: Subset<B> + IsBound,

type Subset = LifetimeVTable<'a, Bnew>

The type of the new vtable.

fn into_subset(self) -> Self::Subset

Convert a vtable.