ghost-gc 0.2.1

A safe garbage collected arena.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use crate::{
    gc_box::{Erased, GcBox},
    Collect, Collector,
};

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct GcVTable {
    collect: unsafe fn(GcBox<Erased>, &Collector),
    drop_in_place: unsafe fn(GcBox<Erased>),
}

impl GcVTable {
    pub unsafe fn collect(&self, ptr: GcBox<Erased>, c: &Collector) {
        unsafe { (self.collect)(ptr, c) }
    }

    pub unsafe fn drop_in_place(&self, ptr: GcBox<Erased>) {
        unsafe { (self.drop_in_place)(ptr) }
    }
}

impl GcVTable {
    pub const fn new<T: Collect + ?Sized>() -> &'static GcVTable {
        &const {
            GcVTable {
                collect: |erased: GcBox<Erased>, c| {
                    if T::NEEDS_TRACE {
                        let gc: GcBox<T> = unsafe { erased.restore_type() };
                        unsafe { &*gc.data_ptr() }.trace(c);
                    }
                },
                drop_in_place: |erased: GcBox<Erased>| {
                    let gc: GcBox<T> = unsafe { erased.restore_type() };
                    unsafe { std::ptr::drop_in_place(gc.data_ptr()) };
                },
            }
        }
    }
}