Struct s2n_codec::zerocopy::Ptr

pub struct Ptr<'a, T>
where
    T: 'a + ?Sized,
{ /* private fields */ }

A raw pointer with more restrictions.

Ptr<T> is similar to NonNull<T>, but it is more restrictive in the following ways:

• It must derive from a valid allocation
• It must reference a byte range which is contained inside the allocation from which it derives
  • As a consequence, the byte range it references must have a size which does not overflow isize
• It must satisfy T’s alignment requirement

Thanks to these restrictions, it is easier to prove the soundness of some operations using Ptrs.

Ptr<'a, T> is covariant in 'a and T.

Trait Implementations

impl<'a, T> Clone for Ptr<'a, T>

where T: ?Sized,

fn clone(&self) -> Ptr<'a, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T> Debug for Ptr<'a, T>

where T: 'a + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'a, T> From<&'a T> for Ptr<'a, T>

where T: 'a + ?Sized,

fn from(t: &'a T) -> Ptr<'a, T>

Converts to this type from the input type.

impl<'a, T> Copy for Ptr<'a, T>

where T: ?Sized,