pub struct Ptr<'a, A = Aligned>(/* private fields */)
where
A: IsAligned;Expand description
Type-erased borrow of some unknown type chosen when constructing this type.
This type tries to act “borrow-like” which means that:
- It should be considered immutable: its target must not be changed while this pointer is alive.
- It must always points to a valid value of whatever the pointee type is.
- The lifetime
'aaccurately represents how long the pointer is valid for. - Must be sufficiently aligned for the unknown pointee type.
It may be helpful to think of this type as similar to &'a dyn Any but without
the metadata and able to point to data that does not correspond to a Rust type.
Implementations§
source§impl<'a> Ptr<'a>
impl<'a> Ptr<'a>
sourcepub fn to_unaligned(self) -> Ptr<'a, Unaligned>
pub fn to_unaligned(self) -> Ptr<'a, Unaligned>
Removes the alignment requirement of this pointer
source§impl<A> Ptr<'_, A>where
A: IsAligned,
impl<A> Ptr<'_, A>where
A: IsAligned,
sourcepub unsafe fn byte_offset(self, count: isize) -> Ptr<'_, A>
pub unsafe fn byte_offset(self, count: isize) -> Ptr<'_, A>
Calculates the offset from a pointer.
As the pointer is type-erased, there is no size information available. The provided
count parameter is in raw bytes.
See also: ptr::offset
§Safety
- The offset cannot make the existing ptr null, or take it out of bounds for its allocation.
- If the
Atype parameter isAlignedthen the offset must not make the resulting pointer be unaligned for the pointee type. - The value pointed by the resulting pointer must outlive the lifetime of this pointer.
sourcepub unsafe fn byte_add(self, count: usize) -> Ptr<'_, A>
pub unsafe fn byte_add(self, count: usize) -> Ptr<'_, A>
Calculates the offset from a pointer (convenience for .offset(count as isize)).
As the pointer is type-erased, there is no size information available. The provided
count parameter is in raw bytes.
See also: ptr::add
§Safety
- The offset cannot make the existing ptr null, or take it out of bounds for its allocation.
- If the
Atype parameter isAlignedthen the offset must not make the resulting pointer be unaligned for the pointee type. - The value pointed by the resulting pointer must outlive the lifetime of this pointer.
source§impl<'a, A> Ptr<'a, A>where
A: IsAligned,
impl<'a, A> Ptr<'a, A>where
A: IsAligned,
sourcepub unsafe fn new(inner: NonNull<u8>) -> Ptr<'a, A>
pub unsafe fn new(inner: NonNull<u8>) -> Ptr<'a, A>
Creates a new instance from a raw pointer.
§Safety
innermust point to valid value of whatever the pointee type is.- If the
Atype parameter isAlignedtheninnermust be sufficiently aligned for the pointee type. innermust have correct provenance to allow reads of the pointee type.- The lifetime
'amust be constrained such that thisPtrwill stay valid and nothing can mutate the pointee while thisPtris live except through anUnsafeCell.
sourcepub unsafe fn assert_unique(self) -> PtrMut<'a, A>
pub unsafe fn assert_unique(self) -> PtrMut<'a, A>
Trait Implementations§
impl<'a, A> Copy for Ptr<'a, A>
Auto Trait Implementations§
impl<'a, A> Freeze for Ptr<'a, A>
impl<'a, A> RefUnwindSafe for Ptr<'a, A>where
A: RefUnwindSafe,
impl<'a, A = Aligned> !Send for Ptr<'a, A>
impl<'a, A = Aligned> !Sync for Ptr<'a, A>
impl<'a, A> Unpin for Ptr<'a, A>where
A: Unpin,
impl<'a, A> UnwindSafe for Ptr<'a, A>where
A: UnwindSafe,
Blanket Implementations§
source§impl<T, U> AsBindGroupShaderType<U> for T
impl<T, U> AsBindGroupShaderType<U> for T
source§fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
fn as_bind_group_shader_type(&self, _images: &RenderAssets<GpuImage>) -> U
T ShaderType for self. When used in AsBindGroup
derives, it is safe to assume that all images in self exist.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.