Struct Cage

pub struct Cage<'life, Z: Zonbi<'life>> { /* private fields */ }

Holds a Zonbi with the 'life lifetime and can be casted into a dyn AnyZonbi.

This is done because it forbids to have a lower-lifetimed mutable reference to the zonbi, preventing a possible use-after-free reference. See this comment for more.

Implementations

impl<'life, Z: Zonbi<'life>> Cage<'life, Z>

pub fn new(val: Z) -> Self

Creates a new Cage for a zonbi.

Examples found in repository

examples/type_map.rs (line 25)

fn with_zonbi<'a>(a: &'a NonCopyI32) {
    let my_struct = MyStruct { val: a };

    let mut type_map: HashMap<ZonbiId, Box<dyn AnyZonbi<'a>>> = HashMap::new();
    let id = ZonbiId::of::<MyStruct>();

    type_map.insert(id, Box::new(Cage::new(my_struct)));

    let r: &MyStruct<'a> = type_map[&id].downcast_ref::<MyStruct<'a>>().unwrap();
    assert_eq!(r.val, &NonCopyI32(42));
    println!("{:?}", r.val);
}

pub fn into_inner(self) -> Z::Casted

Returns the inner zonbi of this cage with a lifetime of 'life

Trait Implementations

impl<'life, Z: Zonbi<'life>> AnyZonbi<'life> for Cage<'life, Z>

fn zonbi_id(&self) -> ZonbiId

Returns the ZonbiId of this erased type.

unsafe fn get_raw(&self) -> *const ()

unsafe fn get_raw_mut(&mut self) -> *mut ()