[−][src]Struct rustc_data_structures::owning_ref::OwningHandle
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<Target: ToHandle<Handle = H>>,
H: Deref, [src]
O: StableAddress<Target: ToHandle<Handle = H>>,
H: Deref,
pub fn new(o: O) -> Self[src]
Creates 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<Target: ToHandleMut<HandleMut = H>>,
H: DerefMut, [src]
O: StableAddress<Target: ToHandleMut<HandleMut = H>>,
H: DerefMut,
pub fn new_mut(o: O) -> Self[src]
Creates a new mutable OwningHandle for a type that implements ToHandleMut.
impl<O, H> OwningHandle<O, H> where
O: StableAddress,
H: Deref, [src]
O: StableAddress,
H: Deref,
pub fn new_with_fn<F>(o: O, f: F) -> Self where
F: FnOnce(*const O::Target) -> H, [src]
F: FnOnce(*const O::Target) -> H,
Creates 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.
pub fn try_new<F, E>(o: O, f: F) -> Result<Self, E> where
F: FnOnce(*const O::Target) -> Result<H, E>, [src]
F: FnOnce(*const O::Target) -> Result<H, E>,
Creates 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]
O: StableAddress,
H: Deref,
impl<O, H> DerefMut for OwningHandle<O, H> where
O: StableAddress,
H: DerefMut, [src]
O: StableAddress,
H: DerefMut,
impl<O, H> StableDeref for OwningHandle<O, H> where
O: StableAddress,
H: StableAddress, [src]
O: StableAddress,
H: StableAddress,
Auto Trait Implementations
impl<O, H> Unpin for OwningHandle<O, H> where
H: Unpin,
O: Unpin,
H: Unpin,
O: Unpin,
impl<O, H> Send for OwningHandle<O, H> where
H: Send,
O: Send,
H: Send,
O: Send,
impl<O, H> Sync for OwningHandle<O, H> where
H: Sync,
O: Sync,
H: Sync,
O: Sync,
impl<O, H> RefUnwindSafe for OwningHandle<O, H> where
H: RefUnwindSafe,
O: RefUnwindSafe,
H: RefUnwindSafe,
O: RefUnwindSafe,
impl<O, H> UnwindSafe for OwningHandle<O, H> where
H: UnwindSafe,
O: UnwindSafe,
H: UnwindSafe,
O: UnwindSafe,
Blanket Implementations
impl<T> Erased for T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
ⓘImportant traits for &'_ mut Ifn borrow_mut(&mut self) -> &mut T[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,