Trait zerogc::GcSafe [−][src]
pub unsafe trait GcSafe: Trace { }
Expand description
A marker type, indicating that a type can be safely allocated by a garbage collector.
Safety
Custom destructors must never reference garbage collected pointers. The garbage collector may have already freed the other objects before calling this type’s drop function.
Unlike java finalizers, this allows us to deallocate objects normally and avoids a second pass over the objects to check for resurrected objects.
Implementations on Foreign Types
impl<G, H, I> GcSafe for (G, H, I) where
G: GcSafe,
H: GcSafe,
I: GcSafe,
G: Trace,
H: Trace,
I: Trace, impl<F, G, H, I> GcSafe for (F, G, H, I) where
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
F: Trace,
G: Trace,
H: Trace,
I: Trace, impl<E, F, G, H, I> GcSafe for (E, F, G, H, I) where
E: GcSafe,
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
E: Trace,
F: Trace,
G: Trace,
H: Trace,
I: Trace, impl<D, E, F, G, H, I> GcSafe for (D, E, F, G, H, I) where
D: GcSafe,
E: GcSafe,
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
D: Trace,
E: Trace,
F: Trace,
G: Trace,
H: Trace,
I: Trace, impl<C, D, E, F, G, H, I> GcSafe for (C, D, E, F, G, H, I) where
C: GcSafe,
D: GcSafe,
E: GcSafe,
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
C: Trace,
D: Trace,
E: Trace,
F: Trace,
G: Trace,
H: Trace,
I: Trace, impl<B, C, D, E, F, G, H, I> GcSafe for (B, C, D, E, F, G, H, I) where
B: GcSafe,
C: GcSafe,
D: GcSafe,
E: GcSafe,
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
B: Trace,
C: Trace,
D: Trace,
E: Trace,
F: Trace,
G: Trace,
H: Trace,
I: Trace, impl<A, B, C, D, E, F, G, H, I> GcSafe for (A, B, C, D, E, F, G, H, I) where
A: GcSafe,
B: GcSafe,
C: GcSafe,
D: GcSafe,
E: GcSafe,
F: GcSafe,
G: GcSafe,
H: GcSafe,
I: GcSafe,
A: Trace,
B: Trace,
C: Trace,
D: Trace,
E: Trace,
F: Trace,
G: Trace,
H: Trace,
I: Trace, Implementors
impl<'gc, T: GcSafe, Ctx: GcSimpleAlloc> GcSafe for GcVec<'gc, T, Ctx> where
T: GcSafe,
Ctx: GcSafe,
T: GcSafe + Trace, impl<'gc, T: GcSafe, Id: CollectorId> GcSafe for GcArray<'gc, T, Id> where
T: GcSafe,
Id: GcSafe,
T: Trace,
Id: Trace,