Struct corundum::sync::Weak

pub struct Weak<T: PSafe + ?Sized, A: MemPool> { /* fields omitted */ }

Weak is a version of Parc that holds a non-owning reference to the managed allocation. The allocation is accessed by calling upgrade on the Weak pointer, which returns an Option<Parc<T>>.

Since a Weak reference does not count towards ownership, it will not prevent the value stored in the allocation from being dropped, and Weak itself makes no guarantees about the value still being present. Thus it may return None when upgraded. Note however that a Weak reference does prevent the allocation itself (the backing store) from being deallocated.

A Weak pointer is useful for keeping a temporary reference to the allocation managed by Parc without preventing its inner value from being dropped. It is also used to prevent circular references between Parc pointers, since mutual owning references would never allow either Parc to be dropped. For example, a tree could have strong Parc pointers from parent nodes to children, and Weak pointers from children back to their parents.

The typical way to obtain a Weak pointer is to call Parc::downgrade.

Implementations

impl<T: PSafe, A: MemPool> Weak<T, A>

pub fn as_raw(&self) -> *const T

pub fn into_raw(self) -> *const T

pub unsafe fn from_raw(ptr: *const T) -> Self

impl<T: PSafe + ?Sized, A: MemPool> Weak<T, A>

pub fn new() -> Weak<T, A>

Creates a new dangling weak pointer

pub fn upgrade(&self, j: &Journal<A>) -> Option<Parc<T, A>>

Attempts to upgrade the Weak pointer to an Parc, delaying dropping of the inner value if successful.

Returns None if the inner value has since been dropped.

Examples

use corundum::alloc::heap::*;
use corundum::sync::Parc;

Heap::transaction(|j| {
    let five = Parc::new(5, j);
    let weak_five = Parc::downgrade(&five, j);
    let strong_five = weak_five.upgrade(j);
    assert!(strong_five.is_some());
     
    // Destroy all strong pointers.
    drop(strong_five);
    drop(five);
     
    assert!(weak_five.upgrade(j).is_none());
}).unwrap()

pub fn strong_count(&self) -> usize

Gets the number of strong (Parc) pointers pointing to this allocation.

If self was created using Weak::new, this will return 0.

pub fn weak_count(&self) -> usize

Gets an approximation of the number of Weak pointers pointing to this allocation.

If self was created using Weak::new, or if there are no remaining strong pointers, this will return 0.

Accuracy

Due to implementation details, the returned value can be off by 1 in either direction when other threads are manipulating any Parcs or Weaks pointing to the same allocation.

pub fn ptr_eq(&self, other: &Self) -> bool

Returns true if the two Weaks point to the same allocation (similar to std::ptr::eq), or if both don’t point to any allocation (because they were created with Weak::new()).

Notes

Since this compares pointers it means that Weak::new() will equal each other, even though they don’t point to any allocation.

Trait Implementations

impl<T: PSafe + ?Sized + Debug, A: MemPool> Debug for Weak<T, A>

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

Formats the value using the given formatter.

impl<T: PSafe + ?Sized, A: MemPool> Default for Weak<T, A>

fn default() -> Self

Returns the “default value” for a type.

impl<T: PSafe + ?Sized, A: MemPool> Drop for Weak<T, A>

fn drop(&mut self)

Executes the destructor for this type.

impl<T: PSafe + ?Sized, A: MemPool> PClone<A> for Weak<T, A>

fn pclone(&self, j: &Journal<A>) -> Weak<T, A>

fn pclone_from(&mut self, source: &Self, journal: &Journal<A>)

Performs copy-assignment from source.

impl<T: ?Sized, A: MemPool> !Send for Weak<T, A>

impl<T: ?Sized, A: MemPool> !Sync for Weak<T, A>

impl<T: ?Sized, A: MemPool> !TxOutSafe for Weak<T, A>

impl<T: ?Sized, A: MemPool> !VSafe for Weak<T, A>