pub struct PtrMut<'a, A = Aligned>(/* private fields */)
where
A: IsAligned;Expand description
Type-erased mutable borrow of some unknown type chosen when constructing this type.
This type tries to act “borrow-like” which means that:
- Pointer is considered exclusive and mutable. It cannot be cloned as this would lead to aliased mutability.
- 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 mut dyn Any but without
the metadata and able to point to data that does not correspond to a Rust type.
Implementations§
source§impl<'a> PtrMut<'a>
impl<'a> PtrMut<'a>
sourcepub fn to_unaligned(self) -> PtrMut<'a, Unaligned>
pub fn to_unaligned(self) -> PtrMut<'a, Unaligned>
Removes the alignment requirement of this pointer
source§impl<A> PtrMut<'_, A>where
A: IsAligned,
impl<A> PtrMut<'_, A>where
A: IsAligned,
sourcepub unsafe fn byte_offset(self, count: isize) -> PtrMut<'_, A>
pub unsafe fn byte_offset(self, count: isize) -> PtrMut<'_, 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) -> PtrMut<'_, A>
pub unsafe fn byte_add(self, count: usize) -> PtrMut<'_, 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> PtrMut<'a, A>where
A: IsAligned,
impl<'a, A> PtrMut<'a, A>where
A: IsAligned,
sourcepub unsafe fn new(inner: NonNull<u8>) -> PtrMut<'a, A>
pub unsafe fn new(inner: NonNull<u8>) -> PtrMut<'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 read and writes of the pointee type.- The lifetime
'amust be constrained such that thisPtrMutwill stay valid and nothing else can read or mutate the pointee while thisPtrMutis live.
Trait Implementations§
Auto Trait Implementations§
impl<'a, A> Freeze for PtrMut<'a, A>
impl<'a, A> RefUnwindSafe for PtrMut<'a, A>where
A: RefUnwindSafe,
impl<'a, A = Aligned> !Send for PtrMut<'a, A>
impl<'a, A = Aligned> !Sync for PtrMut<'a, A>
impl<'a, A> Unpin for PtrMut<'a, A>where
A: Unpin,
impl<'a, A = Aligned> !UnwindSafe for PtrMut<'a, A>
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.