pub struct ConstNonNull<T>(/* private fields */)
where
T: ?Sized;
Expand description
A newtype around NonNull
that only allows conversion to read-only borrows or pointers.
This type can be thought of as the *const T
to NonNull<T>
’s *mut T
.
Implementations§
source§impl<T> ConstNonNull<T>where
T: ?Sized,
impl<T> ConstNonNull<T>where
T: ?Sized,
sourcepub fn new(ptr: *const T) -> Option<ConstNonNull<T>>
pub fn new(ptr: *const T) -> Option<ConstNonNull<T>>
Creates a new ConstNonNull
if ptr
is non-null.
§Examples
use bevy_ptr::ConstNonNull;
let x = 0u32;
let ptr = ConstNonNull::<u32>::new(&x as *const _).expect("ptr is null!");
if let Some(ptr) = ConstNonNull::<u32>::new(core::ptr::null()) {
unreachable!();
}
sourcepub const unsafe fn new_unchecked(ptr: *const T) -> ConstNonNull<T>
pub const unsafe fn new_unchecked(ptr: *const T) -> ConstNonNull<T>
Creates a new ConstNonNull
.
§Safety
ptr
must be non-null.
§Examples
use bevy_ptr::ConstNonNull;
let x = 0u32;
let ptr = unsafe { ConstNonNull::new_unchecked(&x as *const _) };
Incorrect usage of this function:
use bevy_ptr::ConstNonNull;
// NEVER DO THAT!!! This is undefined behavior. ⚠️
let ptr = unsafe { ConstNonNull::<u32>::new_unchecked(core::ptr::null()) };
sourcepub unsafe fn as_ref<'a>(&self) -> &'a T
pub unsafe fn as_ref<'a>(&self) -> &'a T
Returns a shared reference to the value.
§Safety
When calling this method, you have to ensure that all of the following is true:
-
The pointer must be properly aligned.
-
It must be “dereferenceable” in the sense defined in the module documentation.
-
The pointer must point to an initialized instance of
T
. -
You must enforce Rust’s aliasing rules, since the returned lifetime
'a
is arbitrarily chosen and does not necessarily reflect the actual lifetime of the data. In particular, while this reference exists, the memory the pointer points to must not get mutated (except insideUnsafeCell
).
This applies even if the result of this method is unused! (The part about being initialized is not yet fully decided, but until it is, the only safe approach is to ensure that they are indeed initialized.)
§Examples
use bevy_ptr::ConstNonNull;
let mut x = 0u32;
let ptr = ConstNonNull::new(&mut x as *mut _).expect("ptr is null!");
let ref_x = unsafe { ptr.as_ref() };
println!("{ref_x}");
Trait Implementations§
source§impl<'a, T> From<&'a T> for ConstNonNull<T>where
T: ?Sized,
impl<'a, T> From<&'a T> for ConstNonNull<T>where
T: ?Sized,
source§fn from(value: &'a T) -> ConstNonNull<T>
fn from(value: &'a T) -> ConstNonNull<T>
Auto Trait Implementations§
impl<T> Freeze for ConstNonNull<T>where
T: ?Sized,
impl<T> RefUnwindSafe for ConstNonNull<T>where
T: RefUnwindSafe + ?Sized,
impl<T> !Send for ConstNonNull<T>
impl<T> !Sync for ConstNonNull<T>
impl<T> Unpin for ConstNonNull<T>where
T: ?Sized,
impl<T> UnwindSafe for ConstNonNull<T>where
T: RefUnwindSafe + ?Sized,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more