Struct Arc
struct Arc<T: ?Sized, A: Allocator = crate::alloc::Global> { ... }
A thread-safe reference-counting pointer. 'Arc' stands for 'Atomically Reference Counted'.
The type Arc<T> provides shared ownership of a value of type T,
allocated in the heap. Invoking clone on Arc produces
a new Arc instance, which points to the same allocation on the heap as the
source Arc, while increasing a reference count. When the last Arc
pointer to a given allocation is destroyed, the value stored in that allocation (often
referred to as "inner value") is also dropped.
Shared references in Rust disallow mutation by default, and Arc is no
exception: you cannot generally obtain a mutable reference to something
inside an Arc. If you do need to mutate through an Arc, you have several options:
-
Use interior mutability with synchronization primitives like
Mutex,RwLock, or one of theAtomictypes. -
Use clone-on-write semantics with
Arc::make_mutwhich provides efficient mutation without requiring interior mutability. This approach clones the data only when needed (when there are multiple references) and can be more efficient when mutations are infrequent. -
Use
Arc::get_mutwhen you know yourArcis not shared (has a reference count of 1), which provides direct mutable access to the inner value without any cloning.
use Arc;
let mut data = new;
// This will clone the vector only if there are other references to it
make_mut.push;
assert_eq!;
Note: This type is only available on platforms that support atomic
loads and stores of pointers, which includes all platforms that support
the std crate but not all those which only support alloc.
This may be detected at compile time using #[cfg(target_has_atomic = "ptr")].
Thread Safety
Unlike Rc<T>, Arc<T> uses atomic operations for its reference
counting. This means that it is thread-safe. The disadvantage is that
atomic operations are more expensive than ordinary memory accesses. If you
are not sharing reference-counted allocations between threads, consider using
Rc<T> for lower overhead. Rc<T> is a safe default, because the
compiler will catch any attempt to send an Rc<T> between threads.
However, a library might choose Arc<T> in order to give library consumers
more flexibility.
Arc<T> will implement Send and Sync as long as the T implements
Send and Sync. Why can't you put a non-thread-safe type T in an
Arc<T> to make it thread-safe? This may be a bit counter-intuitive at
first: after all, isn't the point of Arc<T> thread safety? The key is
this: Arc<T> makes it thread safe to have multiple ownership of the same
data, but it doesn't add thread safety to its data. Consider
Arc<RefCell<T>>. RefCell<T> isn't Sync, and if Arc<T> was always
Send, Arc<RefCell<T>> would be as well. But then we'd have a problem:
RefCell<T> is not thread safe; it keeps track of the borrowing count using
non-atomic operations.
In the end, this means that you may need to pair Arc<T> with some sort of
std::sync type, usually Mutex<T>.
Breaking cycles with Weak
The downgrade method can be used to create a non-owning
Weak pointer. A Weak pointer can be upgraded
to an Arc, but this will return None if the value stored in the allocation has
already been dropped. In other words, Weak pointers do not keep the value
inside the allocation alive; however, they do keep the allocation
(the backing store for the value) alive.
A cycle between Arc pointers will never be deallocated. For this reason,
Weak is used to break cycles. For example, a tree could have
strong Arc pointers from parent nodes to children, and Weak
pointers from children back to their parents.
Cloning references
Creating a new reference from an existing reference-counted pointer is done using the
Clone trait implemented for [Arc<T>][Arc] and [Weak<T>][Weak].
use Arc;
let foo = new;
// The two syntaxes below are equivalent.
let a = foo.clone;
let b = clone;
// a, b, and foo are all Arcs that point to the same memory location
Deref behavior
Arc<T> automatically dereferences to T (via the Deref trait),
so you can call T's methods on a value of type Arc<T>. To avoid name
clashes with T's methods, the methods of Arc<T> itself are associated
functions, called using fully qualified syntax:
use Arc;
let my_arc = new;
let my_weak = downgrade;
Arc<T>'s implementations of traits like Clone may also be called using
fully qualified syntax. Some people prefer to use fully qualified syntax,
while others prefer using method-call syntax.
use Arc;
let arc = new;
// Method-call syntax
let arc2 = arc.clone;
// Fully qualified syntax
let arc3 = clone;
[Weak<T>][Weak] does not auto-dereference to T, because the inner value may have
already been dropped.
Examples
Sharing some immutable data between threads:
use Arc;
use thread;
let five = new;
for _ in 0..10
Sharing a mutable AtomicUsize:
use Arc;
use ;
use thread;
let val = new;
for _ in 0..10
See the rc documentation for more examples of reference
counting in general.
Implementations
impl<A: Allocator> Arc<dyn Any + Send + Sync, A>
fn downcast<T>(self: Self) -> Result<Arc<T, A>, Self> where T: Any + Send + SyncAttempts to downcast the
Arc<dyn Any + Send + Sync>to a concrete type.Examples
use Any; use Arc; let my_string = "Hello World".to_string; print_if_string; print_if_string;unsafe fn downcast_unchecked<T>(self: Self) -> Arc<T, A> where T: Any + Send + SyncDowncasts the
Arc<dyn Any + Send + Sync>to a concrete type.For a safe alternative see
downcast.Examples
use Any; use Arc; let x: = new; unsafeSafety
The contained value must be of type
T. Calling this method with the incorrect type is undefined behavior.
impl<T> Arc<T>
fn new(data: T) -> Arc<T>Constructs a new
Arc<T>.Examples
use Arc; let five = new;fn new_cyclic<F>(data_fn: F) -> Arc<T> where F: FnOnce(&Weak<T>) -> TConstructs a new
Arc<T>while giving you aWeak<T>to the allocation, to allow you to construct aTwhich holds a weak pointer to itself.Generally, a structure circularly referencing itself, either directly or indirectly, should not hold a strong reference to itself to prevent a memory leak. Using this function, you get access to the weak pointer during the initialization of
T, before theArc<T>is created, such that you can clone and store it inside theT.new_cyclicfirst allocates the managed allocation for theArc<T>, then calls your closure, giving it aWeak<T>to this allocation, and only afterwards completes the construction of theArc<T>by placing theTreturned from your closure into the allocation.Since the new
Arc<T>is not fully-constructed untilArc<T>::new_cyclicreturns, callingupgradeon the weak reference inside your closure will fail and result in aNonevalue.Panics
If
data_fnpanics, the panic is propagated to the caller, and the temporary [Weak<T>] is dropped normally.Example
# use ;fn new_uninit() -> Arc<mem::MaybeUninit<T>>Constructs a new
Arcwith uninitialized contents.Examples
use Arc; let mut five = new_uninit; // Deferred initialization: get_mut.unwrap.write; let five = unsafe ; assert_eq!fn new_zeroed() -> Arc<mem::MaybeUninit<T>>Constructs a new
Arcwith uninitialized contents, with the memory being filled with0bytes.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; let zero = new_zeroed; let zero = unsafe ; assert_eq!fn pin(data: T) -> Pin<Arc<T>>Constructs a new
Pin<Arc<T>>. IfTdoes not implementUnpin, thendatawill be pinned in memory and unable to be moved.fn try_pin(data: T) -> Result<Pin<Arc<T>>, AllocError>Constructs a new
Pin<Arc<T>>, return an error if allocation fails.fn try_new(data: T) -> Result<Arc<T>, AllocError>Constructs a new
Arc<T>, returning an error if allocation fails.Examples
use Arc; let five = try_new?; # Ok::fn try_new_uninit() -> Result<Arc<mem::MaybeUninit<T>>, AllocError>Constructs a new
Arcwith uninitialized contents, returning an error if allocation fails.Examples
use Arc; let mut five = try_new_uninit?; // Deferred initialization: get_mut.unwrap.write; let five = unsafe ; assert_eq!; # Ok::fn try_new_zeroed() -> Result<Arc<mem::MaybeUninit<T>>, AllocError>Constructs a new
Arcwith uninitialized contents, with the memory being filled with0bytes, returning an error if allocation fails.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; let zero = try_new_zeroed?; let zero = unsafe ; assert_eq!; # Ok::fn map<U, impl FnOnce(&T) -> U: FnOnce(&T) -> U>(this: Self, f: impl FnOnce(&T) -> U) -> Arc<U>Maps the value in an
Arc, reusing the allocation if possible.fis called on a reference to the value in theArc, and the result is returned, also in anArc.Note: this is an associated function, which means that you have to call it as
Arc::map(a, f)instead ofr.map(a). This is so that there is no conflict with a method on the inner type.Examples
use Arc; let r = new; let new = map; assert_eq!;fn try_map<R, impl FnOnce(&T) -> R: FnOnce(&T) -> R>(this: Self, f: impl FnOnce(&T) -> R) -> <<R as >::Residual as Residual<Arc<<R as >::Output>>>::TryType where R: Try, <R as >::Residual: Residual<Arc<<R as >::Output>>Attempts to map the value in an
Arc, reusing the allocation if possible.fis called on a reference to the value in theArc, and if the operation succeeds, the result is returned, also in anArc.Note: this is an associated function, which means that you have to call it as
Arc::try_map(a, f)instead ofa.try_map(f). This is so that there is no conflict with a method on the inner type.Examples
use Arc; let b = new; let new = try_map.unwrap; assert_eq!;
impl<T> Arc<[T]>
fn new_uninit_slice(len: usize) -> Arc<[mem::MaybeUninit<T>]>Constructs a new atomically reference-counted slice with uninitialized contents.
Examples
use Arc; let mut values = new_uninit_slice; // Deferred initialization: let data = get_mut.unwrap; data.write; data.write; data.write; let values = unsafe ; assert_eq!fn new_zeroed_slice(len: usize) -> Arc<[mem::MaybeUninit<T>]>Constructs a new atomically reference-counted slice with uninitialized contents, with the memory being filled with
0bytes.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; let values = new_zeroed_slice; let values = unsafe ; assert_eq!fn into_array<N: usize>(self: Self) -> Option<Arc<[T; N]>>Converts the reference-counted slice into a reference-counted array.
This operation does not reallocate; the underlying array of the slice is simply reinterpreted as an array type.
If
Nis not exactly equal to the length ofself, then this method returnsNone.
impl<T, A: Allocator> Arc<T, A>
fn new_in(data: T, alloc: A) -> Arc<T, A>Constructs a new
Arc<T>in the provided allocator.Examples
use Arc; use System; let five = new_in;fn new_uninit_in(alloc: A) -> Arc<mem::MaybeUninit<T>, A>Constructs a new
Arcwith uninitialized contents in the provided allocator.Examples
use Arc; use System; let mut five = new_uninit_in; let five = unsafe ; assert_eq!fn new_zeroed_in(alloc: A) -> Arc<mem::MaybeUninit<T>, A>Constructs a new
Arcwith uninitialized contents, with the memory being filled with0bytes, in the provided allocator.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; use System; let zero = new_zeroed_in; let zero = unsafe ; assert_eq!fn new_cyclic_in<F>(data_fn: F, alloc: A) -> Arc<T, A> where F: FnOnce(&Weak<T, A>) -> TConstructs a new
Arc<T, A>in the given allocator while giving you aWeak<T, A>to the allocation, to allow you to construct aTwhich holds a weak pointer to itself.Generally, a structure circularly referencing itself, either directly or indirectly, should not hold a strong reference to itself to prevent a memory leak. Using this function, you get access to the weak pointer during the initialization of
T, before theArc<T, A>is created, such that you can clone and store it inside theT.new_cyclic_infirst allocates the managed allocation for theArc<T, A>, then calls your closure, giving it aWeak<T, A>to this allocation, and only afterwards completes the construction of theArc<T, A>by placing theTreturned from your closure into the allocation.Since the new
Arc<T, A>is not fully-constructed untilArc<T, A>::new_cyclic_inreturns, callingupgradeon the weak reference inside your closure will fail and result in aNonevalue.Panics
If
data_fnpanics, the panic is propagated to the caller, and the temporary [Weak<T>] is dropped normally.Example
See
new_cyclicfn pin_in(data: T, alloc: A) -> Pin<Arc<T, A>> where A: 'staticConstructs a new
Pin<Arc<T, A>>in the provided allocator. IfTdoes not implementUnpin, thendatawill be pinned in memory and unable to be moved.fn try_pin_in(data: T, alloc: A) -> Result<Pin<Arc<T, A>>, AllocError> where A: 'staticConstructs a new
Pin<Arc<T, A>>in the provided allocator, return an error if allocation fails.fn try_new_in(data: T, alloc: A) -> Result<Arc<T, A>, AllocError>Constructs a new
Arc<T, A>in the provided allocator, returning an error if allocation fails.Examples
use Arc; use System; let five = try_new_in?; # Ok::fn try_new_uninit_in(alloc: A) -> Result<Arc<mem::MaybeUninit<T>, A>, AllocError>Constructs a new
Arcwith uninitialized contents, in the provided allocator, returning an error if allocation fails.Examples
use Arc; use System; let mut five = try_new_uninit_in?; let five = unsafe ; assert_eq!; # Ok::fn try_new_zeroed_in(alloc: A) -> Result<Arc<mem::MaybeUninit<T>, A>, AllocError>Constructs a new
Arcwith uninitialized contents, with the memory being filled with0bytes, in the provided allocator, returning an error if allocation fails.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; use System; let zero = try_new_zeroed_in?; let zero = unsafe ; assert_eq!; # Ok::fn try_unwrap(this: Self) -> Result<T, Self>Returns the inner value, if the
Archas exactly one strong reference.Otherwise, an
Erris returned with the sameArcthat was passed in.This will succeed even if there are outstanding weak references.
It is strongly recommended to use
Arc::into_innerinstead if you don't keep theArcin theErrcase. Immediately dropping theErr-value, as the expressionArc::try_unwrap(this).ok()does, can cause the strong count to drop to zero and the inner value of theArcto be dropped. For instance, if two threads execute such an expression in parallel, there is a race condition without the possibility of unsafety: The threads could first both check whether they own the last instance inArc::try_unwrap, determine that they both do not, and then both discard and drop their instance in the call to [ok]Result::ok. In this scenario, the value inside theArcis safely destroyed by exactly one of the threads, but neither thread will ever be able to use the value.Examples
use Arc; let x = new; assert_eq!; let x = new; let _y = clone; assert_eq!;fn into_inner(this: Self) -> Option<T>Returns the inner value, if the
Archas exactly one strong reference.Otherwise,
Noneis returned and theArcis dropped.This will succeed even if there are outstanding weak references.
If
Arc::into_inneris called on every clone of thisArc, it is guaranteed that exactly one of the calls returns the inner value. This means in particular that the inner value is not dropped.Arc::try_unwrapis conceptually similar toArc::into_inner, but it is meant for different use-cases. If used as a direct replacement forArc::into_inneranyway, such as with the expression[Arc::try_unwrap](this).[ok]Result::ok, then it does not give the same guarantee as described in the previous paragraph. For more information, see the examples below and read the documentation ofArc::try_unwrap.Examples
Minimal example demonstrating the guarantee that
Arc::into_innergives.use Arc; let x = new; let y = clone; // Two threads calling `Arc::into_inner` on both clones of an `Arc`: let x_thread = spawn; let y_thread = spawn; let x_inner_value = x_thread.join.unwrap; let y_inner_value = y_thread.join.unwrap; // One of the threads is guaranteed to receive the inner value: assert!; // The result could also be `(None, None)` if the threads called // `Arc::try_unwrap(x).ok()` and `Arc::try_unwrap(y).ok()` instead.A more practical example demonstrating the need for
Arc::into_inner:use Arc; // Definition of a simple singly linked list using `Arc`: ; ; // Dropping a long `LinkedList<T>` relying on the destructor of `Arc` // can cause a stack overflow. To prevent this, we can provide a // manual `Drop` implementation that does the destruction in a loop: // Implementation of `new` and `push` omitted // The following code could have still caused a stack overflow // despite the manual `Drop` impl if that `Drop` impl had used // `Arc::try_unwrap(arc).ok()` instead of `Arc::into_inner(arc)`. // Create a long list and clone it let mut x = new; let size = 100000; # let size = if cfg! else ; for i in 0..size let y = x.clone; // Drop the clones in parallel let x_thread = spawn; let y_thread = spawn; x_thread.join.unwrap; y_thread.join.unwrap;
impl<T, A: Allocator> Arc<[T], A>
fn new_uninit_slice_in(len: usize, alloc: A) -> Arc<[mem::MaybeUninit<T>], A>Constructs a new atomically reference-counted slice with uninitialized contents in the provided allocator.
Examples
use Arc; use System; let mut values = new_uninit_slice_in; let values = unsafe ; assert_eq!fn new_zeroed_slice_in(len: usize, alloc: A) -> Arc<[mem::MaybeUninit<T>], A>Constructs a new atomically reference-counted slice with uninitialized contents, with the memory being filled with
0bytes, in the provided allocator.See
MaybeUninit::zeroedfor examples of correct and incorrect usage of this method.Examples
use Arc; use System; let values = new_zeroed_slice_in; let values = unsafe ; assert_eq!
impl<T, A: Allocator> Arc<[mem::MaybeUninit<T>], A>
unsafe fn assume_init(self: Self) -> Arc<[T], A>Converts to
Arc<[T]>.Safety
As with
MaybeUninit::assume_init, it is up to the caller to guarantee that the inner value really is in an initialized state. Calling this when the content is not yet fully initialized causes immediate undefined behavior.Examples
use Arc; let mut values = new_uninit_slice; // Deferred initialization: let data = get_mut.unwrap; data.write; data.write; data.write; let values = unsafe ; assert_eq!
impl<T, A: Allocator> Arc<mem::MaybeUninit<T>, A>
unsafe fn assume_init(self: Self) -> Arc<T, A>Converts to
Arc<T>.Safety
As with
MaybeUninit::assume_init, it is up to the caller to guarantee that the inner value really is in an initialized state. Calling this when the content is not yet fully initialized causes immediate undefined behavior.Examples
use Arc; let mut five = new_uninit; // Deferred initialization: get_mut.unwrap.write; let five = unsafe ; assert_eq!
impl<T: ?Sized + CloneToUninit> Arc<T>
fn clone_from_ref(value: &T) -> Arc<T>Constructs a new
Arc<T>with a clone ofvalue.Examples
use Arc; let hello: = clone_from_ref;fn try_clone_from_ref(value: &T) -> Result<Arc<T>, AllocError>Constructs a new
Arc<T>with a clone ofvalue, returning an error if allocation failsExamples
use Arc; let hello: = try_clone_from_ref?; # Ok::
impl<T: ?Sized + CloneToUninit, A: Allocator + Clone> Arc<T, A>
fn make_mut(this: &mut Self) -> &mut TMakes a mutable reference into the given
Arc.If there are other
Arcpointers to the same allocation, thenmake_mutwillclonethe inner value to a new allocation to ensure unique ownership. This is also referred to as clone-on-write.However, if there are no other
Arcpointers to this allocation, but someWeakpointers, then theWeakpointers will be dissociated and the inner value will not be cloned.See also
get_mut, which will fail rather than cloning the inner value or dissociatingWeakpointers.Examples
use Arc; let mut data = new; *make_mut += 1; // Won't clone anything let mut other_data = clone; // Won't clone inner data *make_mut += 1; // Clones inner data *make_mut += 1; // Won't clone anything *make_mut *= 2; // Won't clone anything // Now `data` and `other_data` point to different allocations. assert_eq!; assert_eq!;Weakpointers will be dissociated:use Arc; let mut data = new; let weak = downgrade; assert!; assert!; *make_mut += 1; assert!; assert!;
impl<T: ?Sized + CloneToUninit, A: Allocator> Arc<T, A>
fn clone_from_ref_in(value: &T, alloc: A) -> Arc<T, A>Constructs a new
Arc<T>with a clone ofvaluein the provided allocator.Examples
use Arc; use System; let hello: = clone_from_ref_in;fn try_clone_from_ref_in(value: &T, alloc: A) -> Result<Arc<T, A>, AllocError>Constructs a new
Arc<T>with a clone ofvaluein the provided allocator, returning an error if allocation failsExamples
use Arc; use System; let hello: = try_clone_from_ref_in?; # Ok::
impl<T: ?Sized> Arc<T>
unsafe fn from_raw(ptr: *const T) -> SelfConstructs an
Arc<T>from a raw pointer.The raw pointer must have been previously returned by a call to
Arc<U>::into_rawwith the following requirements:- If
Uis sized, it must have the same size and alignment asT. This is trivially true ifUisT. - If
Uis unsized, its data pointer must have the same size and alignment asT. This is trivially true ifArc<U>was constructed throughArc<T>and then converted toArc<U>through an unsized coercion.
Note that if
UorU's data pointer is notTbut has the same size and alignment, this is basically like transmuting references of different types. Seemem::transmutefor more information on what restrictions apply in this case.The raw pointer must point to a block of memory allocated by the global allocator.
The user of
from_rawhas to make sure a specific value ofTis only dropped once.This function is unsafe because improper use may lead to memory unsafety, even if the returned
Arc<T>is never accessed.Examples
use Arc; let x = new; let x_ptr = into_raw; unsafe // The memory was freed when `x` went out of scope above, so `x_ptr` is now dangling!Convert a slice back into its original array:
use Arc; let x: = new; let x_ptr: *const = into_raw; unsafe- If
fn into_raw(this: Self) -> *const TConsumes the
Arc, returning the wrapped pointer.To avoid a memory leak the pointer must be converted back to an
ArcusingArc::from_raw.Examples
use Arc; let x = new; let x_ptr = into_raw; assert_eq!; # // Prevent leaks for Miri. # drop;unsafe fn increment_strong_count(ptr: *const T)Increments the strong reference count on the
Arc<T>associated with the provided pointer by one.Safety
The pointer must have been obtained through
Arc::into_rawand must satisfy the same layout requirements specified inArc::from_raw_in. The associatedArcinstance must be valid (i.e. the strong count must be at least 1) for the duration of this method, andptrmust point to a block of memory allocated by the global allocator.Examples
use Arc; let five = new; unsafeunsafe fn decrement_strong_count(ptr: *const T)Decrements the strong reference count on the
Arc<T>associated with the provided pointer by one.Safety
The pointer must have been obtained through
Arc::into_rawand must satisfy the same layout requirements specified inArc::from_raw_in. The associatedArcinstance must be valid (i.e. the strong count must be at least 1) when invoking this method, andptrmust point to a block of memory allocated by the global allocator. This method can be used to release the finalArcand backing storage, but should not be called after the finalArchas been released.Examples
use Arc; let five = new; unsafe
impl<T: ?Sized, A: Allocator> Arc<T, A>
fn allocator(this: &Self) -> &AReturns a reference to the underlying allocator.
Note: this is an associated function, which means that you have to call it as
Arc::allocator(&a)instead ofa.allocator(). This is so that there is no conflict with a method on the inner type.fn into_raw_with_allocator(this: Self) -> (*const T, A)Consumes the
Arc, returning the wrapped pointer and allocator.To avoid a memory leak the pointer must be converted back to an
ArcusingArc::from_raw_in.Examples
use Arc; use System; let x = new_in; let = into_raw_with_allocator; assert_eq!; let x = unsafe ; assert_eq!;fn as_ptr(this: &Self) -> *const TProvides a raw pointer to the data.
The counts are not affected in any way and the
Arcis not consumed. The pointer is valid for as long as there are strong counts in theArc.Examples
use Arc; let x = new; let y = clone; let x_ptr = as_ptr; assert_eq!; assert_eq!;unsafe fn from_raw_in(ptr: *const T, alloc: A) -> SelfConstructs an
Arc<T, A>from a raw pointer.The raw pointer must have been previously returned by a call to
Arc<U, A>::into_rawwith the following requirements:- If
Uis sized, it must have the same size and alignment asT. This is trivially true ifUisT. - If
Uis unsized, its data pointer must have the same size and alignment asT. This is trivially true ifArc<U>was constructed throughArc<T>and then converted toArc<U>through an unsized coercion.
Note that if
UorU's data pointer is notTbut has the same size and alignment, this is basically like transmuting references of different types. Seemem::transmutefor more information on what restrictions apply in this case.The raw pointer must point to a block of memory allocated by
allocThe user of
from_rawhas to make sure a specific value ofTis only dropped once.This function is unsafe because improper use may lead to memory unsafety, even if the returned
Arc<T>is never accessed.Examples
use Arc; use System; let x = new_in; let = into_raw_with_allocator; unsafe // The memory was freed when `x` went out of scope above, so `x_ptr` is now dangling!Convert a slice back into its original array:
use Arc; use System; let x: = new_in; let x_ptr: *const = into_raw_with_allocator.0; unsafe- If
fn downgrade(this: &Self) -> Weak<T, A> where A: CloneCreates a new
Weakpointer to this allocation.Examples
use Arc; let five = new; let weak_five = downgrade;fn weak_count(this: &Self) -> usizeGets the number of
Weakpointers to this allocation.Safety
This method by itself is safe, but using it correctly requires extra care. Another thread can change the weak count at any time, including potentially between calling this method and acting on the result.
Examples
use Arc; let five = new; let _weak_five = downgrade; // This assertion is deterministic because we haven't shared // the `Arc` or `Weak` between threads. assert_eq!;fn strong_count(this: &Self) -> usizeGets the number of strong (
Arc) pointers to this allocation.Safety
This method by itself is safe, but using it correctly requires extra care. Another thread can change the strong count at any time, including potentially between calling this method and acting on the result.
Examples
use Arc; let five = new; let _also_five = clone; // This assertion is deterministic because we haven't shared // the `Arc` between threads. assert_eq!;unsafe fn increment_strong_count_in(ptr: *const T, alloc: A) where A: CloneIncrements the strong reference count on the
Arc<T>associated with the provided pointer by one.Safety
The pointer must have been obtained through
Arc::into_rawand must satisfy the same layout requirements specified inArc::from_raw_in. The associatedArcinstance must be valid (i.e. the strong count must be at least 1) for the duration of this method, andptrmust point to a block of memory allocated byalloc.Examples
use Arc; use System; let five = new_in; unsafeunsafe fn decrement_strong_count_in(ptr: *const T, alloc: A)Decrements the strong reference count on the
Arc<T>associated with the provided pointer by one.Safety
The pointer must have been obtained through
Arc::into_rawand must satisfy the same layout requirements specified inArc::from_raw_in. The associatedArcinstance must be valid (i.e. the strong count must be at least 1) when invoking this method, andptrmust point to a block of memory allocated byalloc. This method can be used to release the finalArcand backing storage, but should not be called after the finalArchas been released.Examples
use Arc; use System; let five = new_in; unsafefn ptr_eq(this: &Self, other: &Self) -> boolReturns
trueif the twoArcs point to the same allocation in a vein similar toptr::eq. This function ignores the metadata ofdyn Traitpointers.Examples
use Arc; let five = new; let same_five = clone; let other_five = new; assert!; assert!;
impl<T: ?Sized, A: Allocator> Arc<T, A>
fn get_mut(this: &mut Self) -> Option<&mut T>Returns a mutable reference into the given
Arc, if there are no otherArcorWeakpointers to the same allocation.Returns
Noneotherwise, because it is not safe to mutate a shared value.See also
make_mut, which willclonethe inner value when there are otherArcpointers.Examples
use Arc; let mut x = new; *get_mut.unwrap = 4; assert_eq!; let _y = clone; assert!;unsafe fn get_mut_unchecked(this: &mut Self) -> &mut TReturns a mutable reference into the given
Arc, without any check.See also
get_mut, which is safe and does appropriate checks.Safety
If any other
ArcorWeakpointers to the same allocation exist, then they must not be dereferenced or have active borrows for the duration of the returned borrow, and their inner type must be exactly the same as the inner type of this Arc (including lifetimes). This is trivially the case if no such pointers exist, for example immediately afterArc::new.Examples
use Arc; let mut x = new; unsafe assert_eq!;Other
Arcpointers to the same allocation must be to the same type.#![feature(get_mut_unchecked)] use std::sync::Arc; let x: Arc<str> = Arc::from("Hello, world!"); let mut y: Arc<[u8]> = x.clone().into(); unsafe { // this is Undefined Behavior, because x's inner type is str, not [u8] Arc::get_mut_unchecked(&mut y).fill(0xff); // 0xff is invalid in UTF-8 } println!("{}", &*x); // Invalid UTF-8 in a strOther
Arcpointers to the same allocation must be to the exact same type, including lifetimes.#![feature(get_mut_unchecked)] use std::sync::Arc; let x: Arc<&str> = Arc::new("Hello, world!"); { let s = String::from("Oh, no!"); let mut y: Arc<&str> = x.clone(); unsafe { // this is Undefined Behavior, because x's inner type // is &'long str, not &'short str *Arc::get_mut_unchecked(&mut y) = &s; } } println!("{}", &*x); // Use-after-freefn is_unique(this: &Self) -> boolDetermine whether this is the unique reference to the underlying data.
Returns
trueif there are no otherArcorWeakpointers to the same allocation; returnsfalseotherwise.If this function returns
true, then is guaranteed to be safe to callget_mut_uncheckedon thisArc, so long as no clones occur in between.Examples
use Arc; let x = new; assert!; let y = clone; assert!; drop; // Weak references also count, because they could be upgraded at any time. let z = downgrade; assert!;Pointer invalidation
This function will always return the same value as
Arc::get_mut(arc).is_some(). However, unlike that operation it does not produce any mutable references to the underlying data, meaning no pointers to the data inside theArcare invalidated by the call. Thus, the following code is valid, even though it would be UB if it usedArc::get_mut:use Arc; let arc = new; let pointer: *const i32 = &*arc; assert!; assert_eq!;Atomic orderings
Concurrent drops to other
Arcpointers to the same allocation will synchronize with this call - that is, this call performs anAcquireoperation on the underlying strong and weak ref counts. This ensures that callingget_mut_uncheckedis safe.Note that this operation requires locking the weak ref count, so concurrent calls to
downgrademay spin-loop for a short period of time.
impl<T: Clone, A: Allocator> Arc<T, A>
fn unwrap_or_clone(this: Self) -> TIf we have the only reference to
Tthen unwrap it. Otherwise, cloneTand return the clone.Assuming
arc_tis of typeArc<T>, this function is functionally equivalent to(*arc_t).clone(), but will avoid cloning the inner value where possible.Examples
# use ; let inner = Stringfrom; let ptr = inner.as_ptr; let arc = new; let inner = unwrap_or_clone; // The inner value was not cloned assert!; let arc = new; let arc2 = arc.clone; let inner = unwrap_or_clone; // Because there were 2 references, we had to clone the inner value. assert!; // `arc2` is the last reference, so when we unwrap it we get back // the original `String`. let inner = unwrap_or_clone; assert!;
impl Default for Arc<core::ffi::CStr>
fn default() -> SelfCreates an empty CStr inside an Arc
This may or may not share an allocation with other Arcs.
impl Default for Arc<str>
fn default() -> SelfCreates an empty str inside an Arc
This may or may not share an allocation with other Arcs.
impl From for Arc<[u8]>
fn from(rc: Arc<str>) -> SelfConverts an atomically reference-counted string slice into a byte slice.
Example
# use Arc; let string: = from; let bytes: = from; assert_eq!;
impl From for Arc<str>
fn from(v: String) -> Arc<str>Allocates a reference-counted
strand copiesvinto it.Example
# use Arc; let unique: String = "eggplant".to_owned; let shared: = from; assert_eq!;
impl From for Arc<str>
fn from(v: &str) -> Arc<str>Allocates a reference-counted
strand copiesvinto it.Example
# use Arc; let shared: = from; assert_eq!;
impl From for Arc<str>
fn from(v: &mut str) -> Arc<str>Allocates a reference-counted
strand copiesvinto it.Example
# use Arc; let mut original = Stringfrom; let original: &mut str = &mut original; let shared: = from; assert_eq!;
impl From for crate::sync::Arc<ByteStr>
fn from(s: Arc<[u8]>) -> Arc<ByteStr>
impl From for crate::sync::Arc<core::ffi::CStr>
fn from(s: &mut CStr) -> Arc<CStr>Converts a
&mut CStrinto aArc<CStr>, by copying the contents into a newly allocatedArc.
impl From for crate::sync::Arc<core::ffi::CStr>
fn from(s: &CStr) -> Arc<CStr>Converts a
&CStrinto aArc<CStr>, by copying the contents into a newly allocatedArc.
impl From for crate::sync::Arc<core::ffi::CStr>
impl From for crate::sync::Arc<[u8]>
fn from(s: Arc<ByteStr>) -> Arc<[u8]>
impl<'a, B> From for Arc<B>
fn from(cow: Cow<'a, B>) -> Arc<B>Creates an atomically reference-counted pointer from a clone-on-write pointer by copying its content.
Example
# use Arc; # use Cow; let cow: = Borrowed; let shared: = from; assert_eq!;
impl<P, T> Receiver for Arc<T, A>
impl<T> Any for Arc<T, A>
fn type_id(self: &Self) -> TypeId
impl<T> Borrow for Arc<T, A>
fn borrow(self: &Self) -> &T
impl<T> BorrowMut for Arc<T, A>
fn borrow_mut(self: &mut Self) -> &mut T
impl<T> CloneToUninit for Arc<T, A>
unsafe fn clone_to_uninit(self: &Self, dest: *mut u8)
impl<T> Default for Arc<[T]>
fn default() -> SelfCreates an empty
[T]inside an ArcThis may or may not share an allocation with other Arcs.
impl<T> From for Arc<T>
fn from(t: T) -> SelfConverts a
Tinto anArc<T>The conversion moves the value into a newly allocated
Arc. It is equivalent to callingArc::new(t).Example
# use Arc; let x = 5; let arc = new; assert_eq!;
impl<T> From for Arc<T, A>
fn from(t: T) -> TReturns the argument unchanged.
impl<T> From for Arc<T, A>
fn from(t: never) -> T
impl<T> FromIterator for Arc<[T]>
fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> SelfTakes each element in the
Iteratorand collects it into anArc<[T]>.Performance characteristics
The general case
In the general case, collecting into
Arc<[T]>is done by first collecting into aVec<T>. That is, when writing the following:# use Arc; let evens: = .filter.collect; # assert_eq!;this behaves as if we wrote:
# use Arc; let evens: = .filter . // The first set of allocations happens here. .into; // A second allocation for `Arc<[T]>` happens here. # assert_eq!;This will allocate as many times as needed for constructing the
Vec<T>and then it will allocate once for turning theVec<T>into theArc<[T]>.Iterators of known length
When your
IteratorimplementsTrustedLenand is of an exact size, a single allocation will be made for theArc<[T]>. For example:# use Arc; let evens: = .collect; // Just a single allocation happens here. # assert_eq!;
impl<T> ToOwned for Arc<T, A>
fn to_owned(self: &Self) -> Tfn clone_into(self: &Self, target: &mut T)
impl<T> ToString for Arc<T, A>
fn to_string(self: &Self) -> String
impl<T, A> Freeze for Arc<T, A>
impl<T, A> RefUnwindSafe for Arc<T, A>
impl<T, A: Allocator + Clone> From for Arc<[T], A>
fn from(v: Vec<T, A>) -> Arc<[T], A>Allocates a reference-counted slice and moves
v's items into it.Example
# use Arc; let unique: = vec!; let shared: = from; assert_eq!;
impl<T, A: Allocator, N: usize> TryFrom for Arc<[T; N], A>
fn try_from(boxed_slice: Arc<[T], A>) -> Result<Self, <Self as >::Error>
impl<T, N: usize> From for Arc<[T]>
fn from(v: [T; N]) -> Arc<[T]>Converts a
[T; N]into anArc<[T]>.The conversion moves the array into a newly allocated
Arc.Example
# use Arc; let original: = ; let shared: = from; assert_eq!;
impl<T, U> Into for Arc<T, A>
fn into(self: Self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom for Arc<T, A>
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
impl<T, U> TryInto for Arc<T, A>
fn try_into(self: Self) -> Result<U, <U as TryFrom<T>>::Error>
impl<T: ?Sized + Allocator, A: Allocator> Allocator for Arc<T, A>
fn allocate(self: &Self, layout: Layout) -> Result<NonNull<[u8]>, AllocError>fn allocate_zeroed(self: &Self, layout: Layout) -> Result<NonNull<[u8]>, AllocError>unsafe fn deallocate(self: &Self, ptr: NonNull<u8>, layout: Layout)unsafe fn grow(self: &Self, ptr: NonNull<u8>, old_layout: Layout, new_layout: Layout) -> Result<NonNull<[u8]>, AllocError>unsafe fn grow_zeroed(self: &Self, ptr: NonNull<u8>, old_layout: Layout, new_layout: Layout) -> Result<NonNull<[u8]>, AllocError>unsafe fn shrink(self: &Self, ptr: NonNull<u8>, old_layout: Layout, new_layout: Layout) -> Result<NonNull<[u8]>, AllocError>
impl<T: ?Sized + Eq, A: Allocator> Eq for Arc<T, A>
impl<T: ?Sized + Hash, A: Allocator> Hash for Arc<T, A>
fn hash<H: Hasher>(self: &Self, state: &mut H)
impl<T: ?Sized + Ord, A: Allocator> Ord for Arc<T, A>
fn cmp(self: &Self, other: &Arc<T, A>) -> OrderingComparison for two
Arcs.The two are compared by calling
cmp()on their inner values.Examples
use Arc; use Ordering; let five = new; assert_eq!;
impl<T: ?Sized + PartialEq, A: Allocator> PartialEq for Arc<T, A>
fn eq(self: &Self, other: &Arc<T, A>) -> boolEquality for two
Arcs.Two
Arcs are equal if their inner values are equal, even if they are stored in different allocation.If
Talso implementsEq(implying reflexivity of equality), twoArcs that point to the same allocation are always equal.Examples
use Arc; let five = new; assert!;fn ne(self: &Self, other: &Arc<T, A>) -> boolInequality for two
Arcs.Two
Arcs are not equal if their inner values are not equal.If
Talso implementsEq(implying reflexivity of equality), twoArcs that point to the same value are always equal.Examples
use Arc; let five = new; assert!;
impl<T: ?Sized + PartialOrd, A: Allocator> PartialOrd for Arc<T, A>
fn partial_cmp(self: &Self, other: &Arc<T, A>) -> Option<Ordering>Partial comparison for two
Arcs.The two are compared by calling
partial_cmp()on their inner values.Examples
use Arc; use Ordering; let five = new; assert_eq!;fn lt(self: &Self, other: &Arc<T, A>) -> boolLess-than comparison for two
Arcs.The two are compared by calling
<on their inner values.Examples
use Arc; let five = new; assert!;fn le(self: &Self, other: &Arc<T, A>) -> bool'Less than or equal to' comparison for two
Arcs.The two are compared by calling
<=on their inner values.Examples
use Arc; let five = new; assert!;fn gt(self: &Self, other: &Arc<T, A>) -> boolGreater-than comparison for two
Arcs.The two are compared by calling
>on their inner values.Examples
use Arc; let five = new; assert!;fn ge(self: &Self, other: &Arc<T, A>) -> bool'Greater than or equal to' comparison for two
Arcs.The two are compared by calling
>=on their inner values.Examples
use Arc; let five = new; assert!;
impl<T: ?Sized + Sync + Send, A: Allocator + Send> Send for Arc<T, A>
impl<T: ?Sized + Sync + Send, A: Allocator + Sync> Sync for Arc<T, A>
impl<T: ?Sized + Unsize<U>, U: ?Sized> DispatchFromDyn for Arc<T>
impl<T: ?Sized + Unsize<U>, U: ?Sized, A: Allocator> CoerceUnsized for Arc<T, A>
impl<T: ?Sized + fmt::Debug, A: Allocator> Debug for Arc<T, A>
fn fmt(self: &Self, f: &mut fmt::Formatter<'_>) -> fmt::Result
impl<T: ?Sized + fmt::Display, A: Allocator> Display for Arc<T, A>
fn fmt(self: &Self, f: &mut fmt::Formatter<'_>) -> fmt::Result
impl<T: ?Sized> CloneFromCell for Arc<T>
impl<T: ?Sized, A: Allocator + Clone> Clone for Arc<T, A>
fn clone(self: &Self) -> Arc<T, A>Makes a clone of the
Arcpointer.This creates another pointer to the same allocation, increasing the strong reference count.
Examples
use Arc; let five = new; let _ = clone;
impl<T: ?Sized, A: Allocator + Clone> UseCloned for Arc<T, A>
impl<T: ?Sized, A: Allocator> AsRef for Arc<T, A>
fn as_ref(self: &Self) -> &T
impl<T: ?Sized, A: Allocator> Borrow for Arc<T, A>
fn borrow(self: &Self) -> &T
impl<T: ?Sized, A: Allocator> Deref for Arc<T, A>
fn deref(self: &Self) -> &T
impl<T: ?Sized, A: Allocator> DerefPure for Arc<T, A>
impl<T: ?Sized, A: Allocator> Drop for Arc<T, A>
fn drop(self: &mut Self)Drops the
Arc.This will decrement the strong reference count. If the strong reference count reaches zero then the only other references (if any) are
Weak, so wedropthe inner value.Examples
use Arc; ; let foo = new; let foo2 = clone; drop; // Doesn't print anything drop; // Prints "dropped!"
impl<T: ?Sized, A: Allocator> From for Arc<T, A>
fn from(v: Box<T, A>) -> Arc<T, A>Move a boxed object to a new, reference-counted allocation.
Example
# use Arc; let unique: = Boxfrom; let shared: = from; assert_eq!;
impl<T: ?Sized, A: Allocator> PinCoerceUnsized for Arc<T, A>
impl<T: ?Sized, A: Allocator> Pointer for Arc<T, A>
fn fmt(self: &Self, f: &mut fmt::Formatter<'_>) -> fmt::Result
impl<T: ?Sized, A: Allocator> Unpin for Arc<T, A>
impl<T: Clone> From for Arc<[T]>
fn from(v: &mut [T]) -> Arc<[T]>Allocates a reference-counted slice and fills it by cloning
v's items.Example
# use Arc; let mut original = ; let original: &mut = &mut original; let shared: = from; assert_eq!;
impl<T: Clone> From for Arc<[T]>
fn from(v: &[T]) -> Arc<[T]>Allocates a reference-counted slice and fills it by cloning
v's items.Example
# use Arc; let original: & = &; let shared: = from; assert_eq!;
impl<T: Default> Default for Arc<T>
fn default() -> Arc<T>Creates a new
Arc<T>, with theDefaultvalue forT.Examples
use Arc; let x: = Defaultdefault; assert_eq!;
impl<T: RefUnwindSafe + ?Sized, A: Allocator + UnwindSafe> UnwindSafe for Arc<T, A>
impl<T: core::error::Error + ?Sized> Error for Arc<T>
fn cause(self: &Self) -> Option<&dyn core::error::Error>fn source(self: &Self) -> Option<&dyn core::error::Error + 'static>fn provide<'a>(self: &'a Self, req: &mut core::error::Request<'a>)