#[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.