1.0.0[−][src]Struct sp_std::cell::UnsafeCell
The core primitive for interior mutability in Rust.
UnsafeCell<T>
is a type that wraps some T
and indicates unsafe interior operations on the
wrapped type. Types with an UnsafeCell<T>
field are considered to have an 'unsafe interior'.
The UnsafeCell<T>
type is the only legal way to obtain aliasable data that is considered
mutable. In general, transmuting an &T
type into an &mut T
is considered undefined behavior.
If you have a reference &SomeStruct
, then normally in Rust all fields of SomeStruct
are
immutable. The compiler makes optimizations based on the knowledge that &T
is not mutably
aliased or mutated, and that &mut T
is unique. UnsafeCell<T>
is the only core language
feature to work around the restriction that &T
may not be mutated. All other types that
allow internal mutability, such as Cell<T>
and RefCell<T>
, use UnsafeCell
to wrap their
internal data. There is no legal way to obtain aliasing &mut
, not even with UnsafeCell<T>
.
The UnsafeCell
API itself is technically very simple: .get()
gives you a raw pointer
*mut T
to its contents. It is up to you as the abstraction designer to use that raw pointer
correctly.
The precise Rust aliasing rules are somewhat in flux, but the main points are not contentious:
-
If you create a safe reference with lifetime
'a
(either a&T
or&mut T
reference) that is accessible by safe code (for example, because you returned it), then you must not access the data in any way that contradicts that reference for the remainder of'a
. For example, this means that if you take the*mut T
from anUnsafeCell<T>
and cast it to an&T
, then the data inT
must remain immutable (modulo anyUnsafeCell
data found withinT
, of course) until that reference's lifetime expires. Similarly, if you create a&mut T
reference that is released to safe code, then you must not access the data within theUnsafeCell
until that reference expires. -
At all times, you must avoid data races. If multiple threads have access to the same
UnsafeCell
, then any writes must have a proper happens-before relation to all other accesses (or use atomics).
To assist with proper design, the following scenarios are explicitly declared legal for single-threaded code:
-
A
&T
reference can be released to safe code and there it can co-exist with other&T
references, but not with a&mut T
-
A
&mut T
reference may be released to safe code provided neither other&mut T
nor&T
co-exist with it. A&mut T
must always be unique.
Note that whilst mutating the contents of an &UnsafeCell<T>
(even while other
&UnsafeCell<T>
references alias the cell) is
ok (provided you enforce the above invariants some other way), it is still undefined behavior
to have multiple &mut UnsafeCell<T>
aliases. That is, UnsafeCell
is a wrapper
designed to have a special interaction with shared accesses (i.e., through an
&UnsafeCell<_>
reference); there is no magic whatsoever when dealing with exclusive
accesses (e.g., through an &mut UnsafeCell<_>
): neither the cell nor the wrapped value
may be aliased for the duration of that &mut
borrow.
This is showcased by the .get_mut()
accessor, which is a safe getter that yields
a &mut T
.
Examples
Here is an example showcasing how to soundly mutate the contents of an UnsafeCell<_>
despite
there being multiple references aliasing the cell:
use std::cell::UnsafeCell; let x: UnsafeCell<i32> = 42.into(); // Get multiple / concurrent / shared references to the same `x`. let (p1, p2): (&UnsafeCell<i32>, &UnsafeCell<i32>) = (&x, &x); unsafe { // SAFETY: within this scope there are no other references to `x`'s contents, // so ours is effectively unique. let p1_exclusive: &mut i32 = &mut *p1.get(); // -- borrow --+ *p1_exclusive += 27; // | } // <---------- cannot go beyond this point -------------------+ unsafe { // SAFETY: within this scope nobody expects to have exclusive access to `x`'s contents, // so we can have multiple shared accesses concurrently. let p2_shared: &i32 = &*p2.get(); assert_eq!(*p2_shared, 42 + 27); let p1_shared: &i32 = &*p1.get(); assert_eq!(*p1_shared, *p2_shared); }
The following example showcases the fact that exclusive access to an UnsafeCell<T>
implies exclusive access to its T
:
#![forbid(unsafe_code)] // with exclusive accesses, // `UnsafeCell` is a transparent no-op wrapper, // so no need for `unsafe` here. use std::cell::UnsafeCell; let mut x: UnsafeCell<i32> = 42.into(); // Get a compile-time-checked unique reference to `x`. let p_unique: &mut UnsafeCell<i32> = &mut x; // With an exclusive reference, we can mutate the contents for free. *p_unique.get_mut() = 0; // Or, equivalently: x = UnsafeCell::new(0); // When we own the value, we can extract the contents for free. let contents: i32 = x.into_inner(); assert_eq!(contents, 0);
Implementations
impl<T> UnsafeCell<T>
[src]
pub const fn new(value: T) -> UnsafeCell<T>
1.0.0 (const: 1.32.0)[src]
Constructs a new instance of UnsafeCell
which will wrap the specified
value.
All access to the inner value through methods is unsafe
.
Examples
use std::cell::UnsafeCell; let uc = UnsafeCell::new(5);
pub const fn into_inner(self) -> T
[src]
Unwraps the value.
Examples
use std::cell::UnsafeCell; let uc = UnsafeCell::new(5); let five = uc.into_inner();
impl<T> UnsafeCell<T> where
T: ?Sized,
[src]
T: ?Sized,
pub const fn get(&self) -> *mut T
1.0.0 (const: 1.32.0)[src]
Gets a mutable pointer to the wrapped value.
This can be cast to a pointer of any kind.
Ensure that the access is unique (no active references, mutable or not)
when casting to &mut T
, and ensure that there are no mutations
or mutable aliases going on when casting to &T
Examples
use std::cell::UnsafeCell; let uc = UnsafeCell::new(5); let five = uc.get();
pub fn get_mut(&mut self) -> &mut Tⓘ
1.50.0[src]
Returns a mutable reference to the underlying data.
This call borrows the UnsafeCell
mutably (at compile-time) which
guarantees that we possess the only reference.
Examples
use std::cell::UnsafeCell; let mut c = UnsafeCell::new(5); *c.get_mut() += 1; assert_eq!(*c.get_mut(), 6);
pub const fn raw_get(this: *const UnsafeCell<T>) -> *mut T
[src]
unsafe_cell_raw_get
)Gets a mutable pointer to the wrapped value.
The difference to get
is that this function accepts a raw pointer,
which is useful to avoid the creation of temporary references.
The result can be cast to a pointer of any kind.
Ensure that the access is unique (no active references, mutable or not)
when casting to &mut T
, and ensure that there are no mutations
or mutable aliases going on when casting to &T
.
Examples
Gradual initialization of an UnsafeCell
requires raw_get
, as
calling get
would require creating a reference to uninitialized data:
#![feature(unsafe_cell_raw_get)] use std::cell::UnsafeCell; use std::mem::MaybeUninit; let m = MaybeUninit::<UnsafeCell<i32>>::uninit(); unsafe { UnsafeCell::raw_get(m.as_ptr()).write(5); } let uc = unsafe { m.assume_init() }; assert_eq!(uc.into_inner(), 5);
Trait Implementations
impl<T, U> CoerceUnsized<UnsafeCell<U>> for UnsafeCell<T> where
T: CoerceUnsized<U>,
[src]
T: CoerceUnsized<U>,
impl<T> Debug for UnsafeCell<T> where
T: Debug + ?Sized,
1.9.0[src]
T: Debug + ?Sized,
impl<T> Default for UnsafeCell<T> where
T: Default,
1.10.0[src]
T: Default,
pub fn default() -> UnsafeCell<T>
[src]
Creates an UnsafeCell
, with the Default
value for T.
impl<T> From<T> for UnsafeCell<T>
1.12.0[src]
pub fn from(t: T) -> UnsafeCell<T>
[src]
impl<T> !RefUnwindSafe for UnsafeCell<T> where
T: ?Sized,
1.9.0[src]
T: ?Sized,
impl<T> !Sync for UnsafeCell<T> where
T: ?Sized,
[src]
T: ?Sized,
Auto Trait Implementations
impl<T: ?Sized> Send for UnsafeCell<T> where
T: Send,
[src]
T: Send,
impl<T: ?Sized> Unpin for UnsafeCell<T> where
T: Unpin,
[src]
T: Unpin,
impl<T: ?Sized> UnwindSafe for UnsafeCell<T> where
T: UnwindSafe,
[src]
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut Tⓘ
[src]
impl<T> From<!> for T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub 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]
U: TryFrom<T>,