Struct creusot_contracts::std::rc::UniqueRc
source · pub struct UniqueRc<T, A = Global>{ /* private fields */ }
unique_rc_arc
)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) -> UniqueRc<T>
🔬This is a nightly-only experimental API. (unique_rc_arc
)
pub fn new(value: T) -> UniqueRc<T>
unique_rc_arc
)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> UniqueRc<T, A>where
A: Allocator,
impl<T, A> UniqueRc<T, A>where
A: Allocator,
sourcepub fn new_in(value: T, alloc: A) -> UniqueRc<T, A>
🔬This is a nightly-only experimental API. (unique_rc_arc
)
pub fn new_in(value: T, alloc: A) -> UniqueRc<T, A>
unique_rc_arc
)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, A> UniqueRc<T, A>
impl<T, A> UniqueRc<T, A>
Trait Implementations§
impl<T, U, A> CoerceUnsized<UniqueRc<U, A>> for UniqueRc<T, A>
Auto Trait Implementations§
impl<T, A = Global> !Freeze for UniqueRc<T, A>
impl<T, A = Global> !RefUnwindSafe for UniqueRc<T, A>
impl<T, A = Global> !Send for UniqueRc<T, A>
impl<T, A = Global> !Sync for UniqueRc<T, A>
impl<T, A = Global> !Unpin for UniqueRc<T, A>
impl<T, A = Global> !UnwindSafe for UniqueRc<T, A>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> MakeSized for Twhere
T: ?Sized,
impl<T> MakeSized for Twhere
T: ?Sized,
source§fn make_sized(&self) -> Box<T>
fn make_sized(&self) -> Box<T>
logic ⚠
ensures
*result == *self