triomphe

Struct UniqueArc

source
pub struct UniqueArc<T: ?Sized>(/* private fields */);
Expand description

An Arc that is known to be uniquely owned

When Arcs are constructed, they are known to be uniquely owned. In such a case it is safe to mutate the contents of the Arc. Normally, one would just handle this by mutating the data on the stack before allocating the Arc, however it’s possible the data is large or unsized and you need to heap-allocate it earlier in such a way that it can be freely converted into a regular Arc once you’re done.

UniqueArc exists for this purpose, when constructed it performs the same allocations necessary for an Arc, however it allows mutable access. Once the mutation is finished, you can call .shareable() and get a regular Arc out of it.

let data = [1, 2, 3, 4, 5];
let mut x = UniqueArc::new(data);
x[4] = 7; // mutate!
let y = x.shareable(); // y is an Arc<T>

Implementations§

source§

impl<T> UniqueArc<T>

source

pub fn new(data: T) -> Self

Construct a new UniqueArc

source

pub fn new_uninit() -> UniqueArc<MaybeUninit<T>>

Construct an uninitialized arc

source

pub fn into_inner(this: Self) -> T

Gets the inner value of the unique arc

source§

impl<T: ?Sized> UniqueArc<T>

source

pub fn shareable(self) -> Arc<T>

Convert to a shareable Arc<T> once we’re done mutating it

source§

impl<T> UniqueArc<MaybeUninit<T>>

source

pub fn write(&mut self, val: T) -> &mut T

Calls MaybeUninit::write on the contained value.

source

pub fn as_mut_ptr(&mut self) -> *mut MaybeUninit<T>

Obtain a mutable pointer to the stored MaybeUninit<T>.

source

pub unsafe fn assume_init(this: Self) -> UniqueArc<T>

Convert to an initialized Arc.

§Safety

This function is equivalent to MaybeUninit::assume_init and has the same safety requirements. You are responsible for ensuring that the T has actually been initialized before calling this method.

source§

impl<T> UniqueArc<[MaybeUninit<T>]>

source

pub fn new_uninit_slice(len: usize) -> Self

Create an Arc contains an array [MaybeUninit<T>] of len.

source

pub unsafe fn assume_init_slice(Self: Self) -> UniqueArc<[T]>

§Safety

Must initialize all fields before calling this function.

Trait Implementations§

source§

impl<T: ?Sized> Deref for UniqueArc<T>

source§

type Target = T

The resulting type after dereferencing.
source§

fn deref(&self) -> &T

Dereferences the value.
source§

impl<T: ?Sized> DerefMut for UniqueArc<T>

source§

fn deref_mut(&mut self) -> &mut T

Mutably dereferences the value.
source§

impl<A> FromIterator<A> for UniqueArc<[A]>

source§

fn from_iter<T: IntoIterator<Item = A>>(iter: T) -> Self

Creates a value from an iterator. Read more
source§

impl<T: ?Sized> TryFrom<Arc<T>> for UniqueArc<T>

source§

type Error = Arc<T>

The type returned in the event of a conversion error.
source§

fn try_from(arc: Arc<T>) -> Result<Self, Self::Error>

Performs the conversion.

Auto Trait Implementations§

§

impl<T> Freeze for UniqueArc<T>
where T: ?Sized,

§

impl<T> RefUnwindSafe for UniqueArc<T>
where T: RefUnwindSafe + ?Sized,

§

impl<T> Send for UniqueArc<T>
where T: Sync + Send + ?Sized,

§

impl<T> Sync for UniqueArc<T>
where T: Sync + Send + ?Sized,

§

impl<T> Unpin for UniqueArc<T>
where T: Unpin + ?Sized,

§

impl<T> UnwindSafe for UniqueArc<T>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.