1.25.0[][src]Struct std::ptr::NonNull

#[repr(transparent)]
pub struct NonNull<T> where
    T: ?Sized
{ /* fields omitted */ }

*mut T but non-zero and covariant.

This is often the correct thing to use when building data structures using raw pointers, but is ultimately more dangerous to use because of its additional properties. If you're not sure if you should use NonNull<T>, just use *mut T!

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<NonNull<T>> has the same size as *mut T. However the pointer may still dangle if it isn't dereferenced.

Unlike *mut T, NonNull<T> is covariant over T. If this is incorrect for your use case, you should include some PhantomData in your type to provide invariance, such as PhantomData<Cell<T>> or PhantomData<&'a mut T>. Usually this won't be necessary; covariance is correct for most safe abstractions, such as Box, Rc, Arc, Vec, and LinkedList. This is the case because they provide a public API that follows the normal shared XOR mutable rules of Rust.

Notice that NonNull<T> has a From instance for &T. However, this does not change the fact that mutating through a (pointer derived from a) shared reference is undefined behavior unless the mutation happens inside an UnsafeCell<T>. The same goes for creating a mutable reference from a shared reference. When using this From instance without an UnsafeCell<T>, it is your responsibility to ensure that as_mut is never called, and as_ptr is never used for mutation.

Methods

impl<T> NonNull<T>[src]

pub const fn dangling() -> NonNull<T>[src]

Creates a new NonNull that is dangling, but well-aligned.

This is useful for initializing types which lazily allocate, like Vec::new does.

Note that the pointer value may potentially represent a valid pointer to a T, which means this must not be used as a "not yet initialized" sentinel value. Types that lazily allocate must track initialization by some other means.

impl<T> NonNull<T> where
    T: ?Sized
[src]

pub const unsafe fn new_unchecked(ptr: *mut T) -> NonNull<T>[src]

Creates a new NonNull.

Safety

ptr must be non-null.

pub fn new(ptr: *mut T) -> Option<NonNull<T>>[src]

Creates a new NonNull if ptr is non-null.

pub const fn as_ptr(self) -> *mut T[src]

Acquires the underlying *mut pointer.

Important traits for &'_ mut F
pub unsafe fn as_ref(&self) -> &T[src]

Dereferences the content.

The resulting lifetime is bound to self so this behaves "as if" it were actually an instance of T that is getting borrowed. If a longer (unbound) lifetime is needed, use &*my_ptr.as_ptr().

Important traits for &'_ mut F
pub unsafe fn as_mut(&mut self) -> &mut T[src]

Mutably dereferences the content.

The resulting lifetime is bound to self so this behaves "as if" it were actually an instance of T that is getting borrowed. If a longer (unbound) lifetime is needed, use &mut *my_ptr.as_ptr().

pub const fn cast<U>(self) -> NonNull<U>1.27.0[src]

Casts to a pointer of another type.

Trait Implementations

impl<T> Debug for NonNull<T> where
    T: ?Sized
[src]

impl<T> Hash for NonNull<T> where
    T: ?Sized
[src]

impl<T> !Sync for NonNull<T> where
    T: ?Sized
[src]

NonNull pointers are not Sync because the data they reference may be aliased.

impl<T> Eq for NonNull<T> where
    T: ?Sized
[src]

impl<T> From<Unique<T>> for NonNull<T> where
    T: ?Sized
[src]

impl<'_, T> From<&'_ T> for NonNull<T> where
    T: ?Sized
[src]

impl<'_, T> From<&'_ mut T> for NonNull<T> where
    T: ?Sized
[src]

impl<T> Pointer for NonNull<T> where
    T: ?Sized
[src]

impl<T> Clone for NonNull<T> where
    T: ?Sized
[src]

impl<T> PartialEq<NonNull<T>> for NonNull<T> where
    T: ?Sized
[src]

impl<T> PartialOrd<NonNull<T>> for NonNull<T> where
    T: ?Sized
[src]

impl<T, U> CoerceUnsized<NonNull<U>> for NonNull<T> where
    T: Unsize<U> + ?Sized,
    U: ?Sized
[src]

impl<T> !Send for NonNull<T> where
    T: ?Sized
[src]

NonNull pointers are not Send because the data they reference may be aliased.

impl<T, U> DispatchFromDyn<NonNull<U>> for NonNull<T> where
    T: Unsize<U> + ?Sized,
    U: ?Sized
[src]

impl<T> Ord for NonNull<T> where
    T: ?Sized
[src]

impl<T> Copy for NonNull<T> where
    T: ?Sized
[src]

impl<T: RefUnwindSafe + ?Sized> UnwindSafe for NonNull<T>[src]

Auto Trait Implementations

impl<T: ?Sized> RefUnwindSafe for NonNull<T> where
    T: RefUnwindSafe

impl<T: ?Sized> Unpin for NonNull<T>

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.