Struct owning_ref::OwningHandle [] [src]

pub struct OwningHandle<O, H> where
    O: StableAddress,
    H: Deref
{ /* fields omitted */ }

OwningHandle is a complement to OwningRef. Where OwningRef allows consumers to pass around an owned object and a dependent reference, OwningHandle contains an owned object and a dependent object.

OwningHandle can encapsulate a RefMut along with its associated RefCell, or an RwLockReadGuard along with its associated RwLock. However, the API is completely generic and there are no restrictions on what types of owning and dependent objects may be used.

OwningHandle is created by passing an owner object (which dereferences to a stable address) along with a callback which receives a pointer to that stable location. The callback may then dereference the pointer and mint a dependent object, with the guarantee that the returned object will not outlive the referent of the pointer.

Since the callback needs to dereference a raw pointer, it requires unsafe code. To avoid forcing this unsafety on most callers, the ToHandle trait is implemented for common data structures. Types that implement ToHandle can be wrapped into an OwningHandle without passing a callback.

Methods

impl<O, H> OwningHandle<O, H> where
    O: StableAddress,
    O::Target: ToHandle<Handle = H>,
    H: Deref
[src]

Create a new OwningHandle for a type that implements ToHandle. For types that don't implement ToHandle, callers may invoke new_with_fn, which accepts a callback to perform the conversion.

impl<O, H> OwningHandle<O, H> where
    O: StableAddress,
    O::Target: ToHandleMut<HandleMut = H>,
    H: DerefMut
[src]

Create a new mutable OwningHandle for a type that implements ToHandleMut.

impl<O, H> OwningHandle<O, H> where
    O: StableAddress,
    H: Deref
[src]

Create a new OwningHandle. The provided callback will be invoked with a pointer to the object owned by o, and the returned value is stored as the object to which this OwningHandle will forward Deref and DerefMut.

Create a new OwningHandle. The provided callback will be invoked with a pointer to the object owned by o, and the returned value is stored as the object to which this OwningHandle will forward Deref and DerefMut.

Trait Implementations

impl<O, H> Deref for OwningHandle<O, H> where
    O: StableAddress,
    H: Deref
[src]

The resulting type after dereferencing

The method called to dereference a value

impl<O, H> StableAddress for OwningHandle<O, H> where
    O: StableAddress,
    H: StableAddress
[src]

impl<O, H> DerefMut for OwningHandle<O, H> where
    O: StableAddress,
    H: DerefMut
[src]

The method called to mutably dereference a value