pub struct UniqueRc<T: ?Sized, A: Allocator = Global> { /* private fields */ }
unique_rc_arc
#112566)Expand description
A uniquely owned Rc
.
This represents an Rc
that is known to be uniquely owned – that is, have exactly one strong
reference. Multiple weak pointers can be created, but attempts to upgrade those to strong
references will fail unless the UniqueRc
they point to has been converted into a regular Rc
.
Because they are uniquely owned, the contents of a UniqueRc
can be freely mutated. A common
use case is to have an object be mutable during its initialization phase but then have it become
immutable and converted to a normal Rc
.
This can be used as a flexible way to create cyclic data structures, as in the example below.
#![feature(unique_rc_arc)]
use std::rc::{Rc, Weak, UniqueRc};
struct Gadget {
#[allow(dead_code)]
me: Weak<Gadget>,
}
fn create_gadget() -> Option<Rc<Gadget>> {
let mut rc = UniqueRc::new(Gadget {
me: Weak::new(),
});
rc.me = UniqueRc::downgrade(&rc);
Some(UniqueRc::into_rc(rc))
}
create_gadget().unwrap();
An advantage of using UniqueRc
over Rc::new_cyclic
to build cyclic data structures is that
Rc::new_cyclic
’s data_fn
parameter cannot be async or return a Result
. As shown in the
previous example, UniqueRc
allows for more flexibility in the construction of cyclic data,
including fallible or async constructors.
Implementations§
Source§impl<T> UniqueRc<T>
impl<T> UniqueRc<T>
Sourcepub fn new(value: T) -> Self
🔬This is a nightly-only experimental API. (unique_rc_arc
#112566)
pub fn new(value: T) -> Self
unique_rc_arc
#112566)Creates a new UniqueRc
.
Weak references to this UniqueRc
can be created with UniqueRc::downgrade
. Upgrading
these weak references will fail before the UniqueRc
has been converted into an Rc
.
After converting the UniqueRc
into an Rc
, any weak references created beforehand will
point to the new Rc
.
Source§impl<T, A: Allocator> UniqueRc<T, A>
impl<T, A: Allocator> UniqueRc<T, A>
Sourcepub fn new_in(value: T, alloc: A) -> Self
🔬This is a nightly-only experimental API. (unique_rc_arc
#112566)
pub fn new_in(value: T, alloc: A) -> Self
unique_rc_arc
#112566)Creates a new UniqueRc
in the provided allocator.
Weak references to this UniqueRc
can be created with UniqueRc::downgrade
. Upgrading
these weak references will fail before the UniqueRc
has been converted into an Rc
.
After converting the UniqueRc
into an Rc
, any weak references created beforehand will
point to the new Rc
.
Source§impl<T: ?Sized, A: Allocator> UniqueRc<T, A>
impl<T: ?Sized, A: Allocator> UniqueRc<T, A>
Trait Implementations§
Source§impl<T: ?Sized, A: Allocator> BorrowMut<T> for UniqueRc<T, A>
impl<T: ?Sized, A: Allocator> BorrowMut<T> for UniqueRc<T, A>
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T: ?Sized + Ord, A: Allocator> Ord for UniqueRc<T, A>
impl<T: ?Sized + Ord, A: Allocator> Ord for UniqueRc<T, A>
Source§fn cmp(&self, other: &UniqueRc<T, A>) -> Ordering
fn cmp(&self, other: &UniqueRc<T, A>) -> Ordering
Comparison for two UniqueRc
s.
The two are compared by calling cmp()
on their inner values.
§Examples
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl<T: ?Sized + PartialEq, A: Allocator> PartialEq for UniqueRc<T, A>
impl<T: ?Sized + PartialEq, A: Allocator> PartialEq for UniqueRc<T, A>
Source§impl<T: ?Sized + PartialOrd, A: Allocator> PartialOrd for UniqueRc<T, A>
impl<T: ?Sized + PartialOrd, A: Allocator> PartialOrd for UniqueRc<T, A>
Source§fn partial_cmp(&self, other: &UniqueRc<T, A>) -> Option<Ordering>
fn partial_cmp(&self, other: &UniqueRc<T, A>) -> Option<Ordering>
Partial comparison for two UniqueRc
s.
The two are compared by calling partial_cmp()
on their inner values.
§Examples
Source§fn lt(&self, other: &UniqueRc<T, A>) -> bool
fn lt(&self, other: &UniqueRc<T, A>) -> bool
Less-than comparison for two UniqueRc
s.
The two are compared by calling <
on their inner values.
§Examples
Source§fn le(&self, other: &UniqueRc<T, A>) -> bool
fn le(&self, other: &UniqueRc<T, A>) -> bool
‘Less than or equal to’ comparison for two UniqueRc
s.
The two are compared by calling <=
on their inner values.