Trait zerocopy::AsBytes

pub unsafe trait AsBytes {
    fn as_bytes(&self) -> &[u8] { ... }
    fn as_bytes_mut(&mut self) -> &mut [u8]
    where
        Self: FromBytes,
    { ... }
}

Types which are safe to treat as an immutable byte slice.

WARNING: Do not implement this trait yourself! Instead, use #[derive(AsBytes)].

AsBytes types can be safely viewed as a slice of bytes. In particular, this means that, in any valid instance of the type, none of the bytes of the instance are uninitialized. This precludes the following types:

• Structs with internal padding
• Unions in which not all variants have the same length

Safety

If T: AsBytes, then unsafe code may assume that it is sound to treat any instance of the type as an immutable [u8] of length size_of::<T>(). If a type is marked as AsBytes which violates this contract, it may cause undefined behavior.

If a type has the following properties, then it is safe to implement AsBytes for that type

• If the type is a struct:
  • It must have a defined representation (repr(C), repr(transparent), or repr(packed)).
  • All of its fields must be AsBytes
  • Its layout must have no inter-field padding. This is always true for repr(transparent) and repr(packed). For repr(C), see the layout algorithm described in the Rust Reference.
• If the type is an enum:
  • It must be a C-like enum (meaning that all variants have no fields)
  • It must have a defined representation (reprs C, u8, u16, u32, u64, usize, i8, i16, i32, i64, or isize).

Provided methods

fn as_bytes(&self) -> &[u8]

Get the bytes of this value.

as_bytes provides access to the bytes of this value as an immutable byte slice.

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

Get the bytes of this value mutably.

as_bytes_mut provides access to the bytes of this value as a mutable byte slice.

Loading content...

Implementations on Foreign Types

impl<T> AsBytes for PhantomData<T>

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

Loading content...

Implementors

impl AsBytes for ()

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for i8

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for i16

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for i32

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for i64

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for i128

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for isize

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for u8

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for u16

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for u32

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for u64

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for u128

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl AsBytes for usize

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 0]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 1]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 2]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 3]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 4]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 5]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 6]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 7]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 8]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 9]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 10]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 11]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 12]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 13]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 14]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 15]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 16]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 17]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 18]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 19]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 20]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 21]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 22]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 23]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 24]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 25]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 26]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 27]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 28]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 29]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 30]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 31]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T; 32]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

impl<T: AsBytes> AsBytes for [T]

fn only_derive_is_allowed_to_implement_this_trait() where
    Self: Sized, 

fn as_bytes(&self) -> &[u8]

fn as_bytes_mut(&mut self) -> &mut [u8] where
    Self: FromBytes, 

Loading content...