Trait zerogc::GcSafe

pub unsafe trait GcSafe: Trace {
    const NEEDS_DROP: bool;
}

Indicates 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.

Associated Constants

const NEEDS_DROP: bool

If this type needs a destructor run

This is usually equivalent to std::mem::needs_drop. However procedurally derived code can sometimes provide a no-op drop implementation (for safety), which would lead to a false positive with std::mem::needs_drop()

Loading content...

Implementations on Foreign Types

impl GcSafe for i8

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for i16

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for i32

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for i64

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for isize

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for u8

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for u16

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for u32

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for u64

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for usize

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for f32

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for f64

No drop/custom behavior -> GcSafe

const NEEDS_DROP: bool

impl GcSafe for ()

const NEEDS_DROP: bool

impl<A: GcSafe> GcSafe for (A,)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe> GcSafe for (A, B)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe> GcSafe for (A, B, C)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe> GcSafe for (A, B, C, D)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe, E: GcSafe> GcSafe for (A, B, C, D, E)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe, E: GcSafe, F: GcSafe> GcSafe for (A, B, C, D, E, F)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe, E: GcSafe, F: GcSafe, G: GcSafe> GcSafe for (A, B, C, D, E, F, G)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe, E: GcSafe, F: GcSafe, G: GcSafe, H: GcSafe> GcSafe for (A, B, C, D, E, F, G, H)

const NEEDS_DROP: bool

impl<A: GcSafe, B: GcSafe, C: GcSafe, D: GcSafe, E: GcSafe, F: GcSafe, G: GcSafe, H: GcSafe, I: GcSafe> GcSafe for (A, B, C, D, E, F, G, H, I)

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 0]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 1]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 2]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 3]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 4]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 5]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 6]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 7]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 8]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 9]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 10]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 11]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 12]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 13]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 14]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 15]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 16]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 17]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 18]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 19]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 20]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 24]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 32]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 48]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 64]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 100]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 128]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 256]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 512]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 1024]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 2048]

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T; 4096]

const NEEDS_DROP: bool

impl<'a, T: GcSafe + TraceImmutable> GcSafe for &'a T

const NEEDS_DROP: bool

impl<'a, T: GcSafe> GcSafe for &'a mut T

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for [T]

const NEEDS_DROP: bool

impl<T> GcSafe for Vec<T> where
    T: GcSafe, 

We trust ourselves to not do anything bad as long as our paramaters don't

const NEEDS_DROP: bool

impl<T> GcSafe for Box<T> where
    T: GcSafe, 

We trust ourselves to not do anything bad as long as our paramaters don't

const NEEDS_DROP: bool

impl<T> GcSafe for Rc<T> where
    T: GcSafe + TraceImmutable, 

We trust ourselves to not do anything bad as long as our paramaters don't

const NEEDS_DROP: bool

impl<T> GcSafe for Arc<T> where
    T: GcSafe + TraceImmutable, 

We trust ourselves to not do anything bad as long as our paramaters don't

const NEEDS_DROP: bool

impl<T> GcSafe for Wrapping<T> where
    T: GcSafe, 

We trust ourselves to not do anything bad as long as our paramaters don't

const NEEDS_DROP: bool

impl<K: GcSafe + TraceImmutable, V: GcSafe> GcSafe for HashMap<K, V>

const NEEDS_DROP: bool

impl<T: GcSafe> GcSafe for Option<T>

const NEEDS_DROP: bool

Loading content...

Implementors

impl<T> GcSafe for AssumeNotTraced<T>

No tracing implies GcSafe

const NEEDS_DROP: bool

impl<T: GcSafe + Copy> GcSafe for GcCell<T>

const NEEDS_DROP: bool

Since T is Copy, we shouldn't need to be dropped

Still delegating just in case

Loading content...