pub struct Weak<T> where T: ?Sized, { /* fields omitted */ }
Weak
is a version of Arc
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
<
Arc
<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 upgrade
d. 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 Arc
without preventing its inner value from being dropped. It is also used to prevent circular references between Arc
pointers, since mutual owning references would never allow either Arc
to be dropped. For example, a tree could have strong Arc
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 Arc::downgrade
.
impl<T> Weak<T>
[src]
pub fn new() -> Weak<T>
[src]1.10.0
Constructs a new Weak<T>
, without allocating any memory. Calling upgrade
on the return value always gives None
.
use std::sync::Weak; let empty: Weak<i64> = Weak::new(); assert!(empty.upgrade().is_none());
pub fn as_ptr(&self) -> *const T
[src]1.45.0
Returns a raw pointer to the object T
pointed to by this Weak<T>
.
The pointer is valid only if there are some strong references. The pointer may be dangling, unaligned or even null
otherwise.
use std::sync::Arc; use std::ptr; let strong = Arc::new("hello".to_owned()); let weak = Arc::downgrade(&strong); // Both point to the same object assert!(ptr::eq(&*strong, weak.as_ptr())); // The strong here keeps it alive, so we can still access the object. assert_eq!("hello", unsafe { &*weak.as_ptr() }); drop(strong); // But not any more. We can do weak.as_ptr(), but accessing the pointer would lead to // undefined behaviour. // assert_eq!("hello", unsafe { &*weak.as_ptr() });
pub fn into_raw(self) -> *const T
[src]1.45.0
Consumes the Weak<T>
and turns it into a raw pointer.
This converts the weak pointer into a raw pointer, while still preserving the ownership of one weak reference (the weak count is not modified by this operation). It can be turned back into the Weak<T>
with from_raw
.
The same restrictions of accessing the target of the pointer as with as_ptr
apply.
use std::sync::{Arc, Weak}; let strong = Arc::new("hello".to_owned()); let weak = Arc::downgrade(&strong); let raw = weak.into_raw(); assert_eq!(1, Arc::weak_count(&strong)); assert_eq!("hello", unsafe { &*raw }); drop(unsafe { Weak::from_raw(raw) }); assert_eq!(0, Arc::weak_count(&strong));
pub unsafe fn from_raw(ptr: *const T) -> Weak<T>
[src]1.45.0
Converts a raw pointer previously created by into_raw
back into Weak<T>
.
This can be used to safely get a strong reference (by calling upgrade
later) or to deallocate the weak count by dropping the Weak<T>
.
It takes ownership of one weak reference (with the exception of pointers created by new
, as these don't own anything; the method still works on them).
The pointer must have originated from the into_raw
and must still own its potential weak reference.
It is allowed for the strong count to be 0 at the time of calling this. Nevertheless, this takes ownership of one weak reference currently represented as a raw pointer (the weak count is not modified by this operation) and therefore it must be paired with a previous call to into_raw
.
use std::sync::{Arc, Weak}; let strong = Arc::new("hello".to_owned()); let raw_1 = Arc::downgrade(&strong).into_raw(); let raw_2 = Arc::downgrade(&strong).into_raw(); assert_eq!(2, Arc::weak_count(&strong)); assert_eq!("hello", &*unsafe { Weak::from_raw(raw_1) }.upgrade().unwrap()); assert_eq!(1, Arc::weak_count(&strong)); drop(strong); // Decrement the last weak count. assert!(unsafe { Weak::from_raw(raw_2) }.upgrade().is_none());
impl<T> Weak<T> where
T: ?Sized,
[src]
pub fn upgrade(&self) -> Option<Arc<T>>
[src]
Attempts to upgrade the Weak
pointer to an Arc
, delaying dropping of the inner value if successful.
Returns None
if the inner value has since been dropped.
use std::sync::Arc; let five = Arc::new(5); let weak_five = Arc::downgrade(&five); let strong_five: Option<Arc<_>> = weak_five.upgrade(); assert!(strong_five.is_some()); // Destroy all strong pointers. drop(strong_five); drop(five); assert!(weak_five.upgrade().is_none());
pub fn strong_count(&self) -> usize
[src]1.41.0
Gets the number of strong (Arc
) pointers pointing to this allocation.
If self
was created using Weak::new
, this will return 0.
pub fn weak_count(&self) -> usize
[src]1.41.0
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.
Due to implementation details, the returned value can be off by 1 in either direction when other threads are manipulating any Arc
s or Weak
s pointing to the same allocation.
pub fn ptr_eq(&self, other: &Weak<T>) -> bool
[src]1.39.0
Returns true
if the two Weak
s point to the same allocation (similar to ptr::eq
), or if both don't point to any allocation (because they were created with Weak::new()
).
Since this compares pointers it means that Weak::new()
will equal each other, even though they don't point to any allocation.
use std::sync::Arc; let first_rc = Arc::new(5); let first = Arc::downgrade(&first_rc); let second = Arc::downgrade(&first_rc); assert!(first.ptr_eq(&second)); let third_rc = Arc::new(5); let third = Arc::downgrade(&third_rc); assert!(!first.ptr_eq(&third));
Comparing Weak::new
.
use std::sync::{Arc, Weak}; let first = Weak::new(); let second = Weak::new(); assert!(first.ptr_eq(&second)); let third_rc = Arc::new(()); let third = Arc::downgrade(&third_rc); assert!(!first.ptr_eq(&third));
impl<T> Clone for Weak<T> where
T: ?Sized,
[src]
fn clone(&self) -> Weak<T>
[src]
Makes a clone of the Weak
pointer that points to the same allocation.
use std::sync::{Arc, Weak}; let weak_five = Arc::downgrade(&Arc::new(5)); let _ = Weak::clone(&weak_five);
fn clone_from(&mut self, source: &Self)
[src]1.0.0
impl<T, U> CoerceUnsized<Weak<U>> for Weak<T> where
T: Unsize<U> + ?Sized,
U: ?Sized,
[src]
impl<T> Debug for Weak<T> where
T: Debug + ?Sized,
[src]
impl<T> Default for Weak<T>
[src]1.10.0
impl<T, U> DispatchFromDyn<Weak<U>> for Weak<T> where
T: Unsize<U> + ?Sized,
U: ?Sized,
[src]
impl<T> Drop for Weak<T> where
T: ?Sized,
[src]
fn drop(&mut self)
[src]
Drops the Weak
pointer.
use std::sync::{Arc, Weak}; struct Foo; impl Drop for Foo { fn drop(&mut self) { println!("dropped!"); } } let foo = Arc::new(Foo); let weak_foo = Arc::downgrade(&foo); let other_weak_foo = Weak::clone(&weak_foo); drop(weak_foo); // Doesn't print anything drop(foo); // Prints "dropped!" assert!(other_weak_foo.upgrade().is_none());
impl<T> Send for Weak<T> where
T: Send + Sync + ?Sized,
[src]
impl<T> Sync for Weak<T> where
T: Send + Sync + ?Sized,
[src]
impl<T: ?Sized> RefUnwindSafe for Weak<T> where
T: RefUnwindSafe,
impl<T: ?Sized> Unpin for Weak<T>
impl<T: ?Sized> UnwindSafe for Weak<T> where
T: RefUnwindSafe,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
fn borrow(&self) -> &TⓘNotable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized,
type Output = <F as Future>::Output;
impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized,
type Item = <I as Iterator>::Item;
impl<R: Read + ?Sized, '_> Read for &'_ mut R
impl<W: Write + ?Sized, '_> Write for &'_ mut W
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized,
type Output = <F as Future>::Output;
impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized,
type Item = <I as Iterator>::Item;
impl<R: Read + ?Sized, '_> Read for &'_ mut R
impl<W: Write + ?Sized, '_> Write for &'_ mut W
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
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]
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/std/sync/struct.Weak.html