Struct allocator_api2::stable::unique::Unique
source · #[repr(transparent)]pub(crate) struct Unique<T: ?Sized> {
pointer: NonNull<T>,
_marker: PhantomData<T>,
}
Expand description
A wrapper around a raw non-null *mut T
that indicates that the possessor
of this wrapper owns the referent. Useful for building abstractions like
Box<T>
, Vec<T>
, String
, and HashMap<K, V>
.
Unlike *mut T
, Unique<T>
behaves “as if” it were an instance of T
.
It implements Send
/Sync
if T
is Send
/Sync
. It also implies
the kind of strong aliasing guarantees an instance of T
can expect:
the referent of the pointer should not be modified without a unique path to
its owning Unique.
If you’re uncertain of whether it’s correct to use Unique
for your purposes,
consider using NonNull
, which has weaker semantics.
Unlike *mut T
, the pointer must always be non-null, even if the pointer
is never dereferenced. This is so that enums may use this forbidden value
as a discriminant – Option<Unique<T>>
has the same size as Unique<T>
.
However the pointer may still dangle if it isn’t dereferenced.
Unlike *mut T
, Unique<T>
is covariant over T
. This should always be correct
for any type which upholds Unique’s aliasing requirements.
Fields§
§pointer: NonNull<T>
§_marker: PhantomData<T>
Implementations§
source§impl<T: ?Sized> Unique<T>
impl<T: ?Sized> Unique<T>
sourcepub const unsafe fn new_unchecked(ptr: *mut T) -> Self
pub const unsafe fn new_unchecked(ptr: *mut T) -> Self
sourcepub const fn as_non_null_ptr(self) -> NonNull<T>
pub const fn as_non_null_ptr(self) -> NonNull<T>
Acquires the underlying *mut
pointer.
Trait Implementations§
impl<T: ?Sized> Copy for Unique<T>
impl<T: Send + ?Sized> Send for Unique<T>
Unique
pointers are Send
if T
is Send
because the data they
reference is unaliased. Note that this aliasing invariant is
unenforced by the type system; the abstraction using the
Unique
must enforce it.
impl<T: Sync + ?Sized> Sync for Unique<T>
Unique
pointers are Sync
if T
is Sync
because the data they
reference is unaliased. Note that this aliasing invariant is
unenforced by the type system; the abstraction using the
Unique
must enforce it.