Struct std::ptr::Unique
[−]
[src]
pub struct Unique<T> where T: ?Sized {
// some fields omitted
}
A wrapper around a raw *mut T
`*mut Tthat indicates that the possessor of this wrapper owns the referent. This in turn implies that the
` that indicates that the possessor
of this wrapper owns the referent. This in turn implies that the
Unique<T>
`Uniqueis
` is Send
`Send/
`/Sync
`Syncif
` if T
`Tis
` is Send
`Send/
`/Sync
`Sync, unlike a raw
`, unlike a raw
*mut T
`*mut T(which conveys no particular ownership semantics). It also implies that the referent of the pointer should not be modified without a unique path to the
` (which conveys no particular ownership semantics). It
also implies that the referent of the pointer should not be
modified without a unique path to the Unique
`Uniquereference. Useful for building abstractions like
` reference. Useful
for building abstractions like Vec<T>
`Vecor
` or Box<T>
`Box
Methods
impl<T> Unique<T> where T: ?Sized
unsafe fn new(ptr: *mut T) -> Unique<T>
Creates a new Unique
`Unique`.
unsafe fn get(&self) -> &T
Dereferences the content.
unsafe fn get_mut(&mut self) -> &mut T
Mutably dereferences the content.
Methods from Deref<Target=*mut T>
fn is_null(self) -> bool
Returns true if the pointer is null.
unsafe fn as_ref(&self) -> Option<&'a T>
: Option is not clearly the right return type, and we may want to tie the return lifetime to a borrow of the raw pointer
Returns None
`Noneif the pointer is null, or else returns a reference to the value wrapped in
` if the pointer is null, or else returns a reference to
the value wrapped in Some
`Some`.
Safety
While this method and its mutable counterpart are useful for null-safety, it is important to note that this is still an unsafe operation because the returned value could be pointing to invalid memory.
unsafe fn offset(self, count: isize) -> *const T
Calculates the offset from a pointer. count
`countis in units of T; e.g. a
` is in units of T; e.g. a
count
`countof 3 represents a pointer offset of
` of 3 represents a pointer offset of 3 * sizeof::<T>()
`3 * sizeof::
Safety
Both the starting and resulting pointer must be either in bounds or one byte past the end of an allocated object. If either pointer is out of bounds or arithmetic overflow occurs then any further use of the returned value will result in undefined behavior.
fn is_null(self) -> bool
Returns true if the pointer is null.
unsafe fn as_ref(&self) -> Option<&'a T>
: Option is not clearly the right return type, and we may want to tie the return lifetime to a borrow of the raw pointer
Returns None
`Noneif the pointer is null, or else returns a reference to the value wrapped in
` if the pointer is null, or else returns a reference to
the value wrapped in Some
`Some`.
Safety
While this method and its mutable counterpart are useful for null-safety, it is important to note that this is still an unsafe operation because the returned value could be pointing to invalid memory.
unsafe fn offset(self, count: isize) -> *mut T
Calculates the offset from a pointer. count
`countis in units of T; e.g. a
` is in units of T; e.g. a
count
`countof 3 represents a pointer offset of
` of 3 represents a pointer offset of 3 * sizeof::<T>()
`3 * sizeof::
Safety
The offset must be in-bounds of the object, or one-byte-past-the-end.
Otherwise offset
`offset` invokes Undefined Behaviour, regardless of whether
the pointer is used.
unsafe fn as_mut(&self) -> Option<&'a mut T>
: return value does not necessarily convey all possible information
Returns None
`Noneif the pointer is null, or else returns a mutable reference to the value wrapped in
` if the pointer is null, or else returns a mutable
reference to the value wrapped in Some
`Some`.
Safety
As with as_ref
`as_ref`, this is unsafe because it cannot verify the validity
of the returned pointer.
Trait Implementations
impl<T> Send for Unique<T> where T: Send + ?Sized
Unique
`Uniquepointers are
` pointers are Send
`Sendif
` if T
`Tis
` is Send
`Sendbecause the data they reference is unaliased. Note that this aliasing invariant is unenforced by the type system; the abstraction using the
` because the data they
reference is unaliased. Note that this aliasing invariant is
unenforced by the type system; the abstraction using the
Unique
`Unique` must enforce it.
impl<T> Sync for Unique<T> where T: Sync + ?Sized
Unique
`Uniquepointers are
` pointers are Sync
`Syncif
` if T
`Tis
` is Sync
`Syncbecause the data they reference is unaliased. Note that this aliasing invariant is unenforced by the type system; the abstraction using the
` because the data they
reference is unaliased. Note that this aliasing invariant is
unenforced by the type system; the abstraction using the
Unique
`Unique` must enforce it.