Trait bytecheck::CheckBytes

pub unsafe trait CheckBytes<C: ?Sized, E> {
    // Required method
    unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>;
}

A type that can check whether a pointer points to a valid value.

CheckBytes can be derived with CheckBytes or implemented manually for custom behavior.

Safety

check_bytes must only return Ok if value points to a valid instance of Self. Because value must always be properly aligned for Self and point to enough bytes to represent the type, this implies that value may be dereferenced safely.

Required Methods

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

Checks whether the given pointer points to a valid value within the given context.

Safety

The passed pointer must be aligned and point to enough initialized bytes to represent the type.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<C: ?Sized, E> CheckBytes<C, E> for f32

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for f64

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for i8

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for i16

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for i32

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for i64

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for i128

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for u8

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for u16

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for u32

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for u64

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for u128

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for ()

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for PhantomPinned

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for RangeFull

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicI8

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicI16

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicI32

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicI64

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicU8

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicU16

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicU32

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E> CheckBytes<C, E> for AtomicU64

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for bool

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for char

unsafe fn check_bytes(ptr: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for str

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for CStr

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroI8

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroI16

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroI32

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroI64

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroI128

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroU8

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroU16

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroU32

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroU64

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for NonZeroU128

unsafe fn check_bytes(value: *const Self, _: &mut C) -> Result<(), E>

impl<C: ?Sized, E: Error> CheckBytes<C, E> for AtomicBool

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, C, E> CheckBytes<C, E> for (T0,)

where T0: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, C, E> CheckBytes<C, E> for (T0, T1)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, C, E> CheckBytes<C, E> for (T0, T1, T2)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, C, E> CheckBytes<C, E> for (T0, T1, T2, T3)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, T8: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, T8: CheckBytes<C, E>, T9: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, T8: CheckBytes<C, E>, T9: CheckBytes<C, E>, T10: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, T8: CheckBytes<C, E>, T9: CheckBytes<C, E>, T10: CheckBytes<C, E>, T11: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, C, E> CheckBytes<C, E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

where T0: CheckBytes<C, E>, T1: CheckBytes<C, E>, T2: CheckBytes<C, E>, T3: CheckBytes<C, E>, T4: CheckBytes<C, E>, T5: CheckBytes<C, E>, T6: CheckBytes<C, E>, T7: CheckBytes<C, E>, T8: CheckBytes<C, E>, T9: CheckBytes<C, E>, T10: CheckBytes<C, E>, T11: CheckBytes<C, E>, T12: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, C, E> CheckBytes<C, E> for [T]

where T: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, C, E> CheckBytes<C, E> for ManuallyDrop<T>

where T: CheckBytes<C, E> + ?Sized, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, c: &mut C) -> Result<(), E>

impl<T, C, E> CheckBytes<C, E> for Range<T>

where T: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, C, E> CheckBytes<C, E> for RangeTo<T>

where T: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, C, E> CheckBytes<C, E> for RangeToInclusive<T>

where T: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, E, C> CheckBytes<C, E> for RangeFrom<T>

where T: CheckBytes<C, E>, E: Contextual, C: ?Sized,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T, const N: usize, C, E> CheckBytes<C, E> for [T; N]

where T: CheckBytes<C, E>, C: ?Sized, E: Contextual,

unsafe fn check_bytes(value: *const Self, context: &mut C) -> Result<(), E>

impl<T: ?Sized, C: ?Sized, E> CheckBytes<C, E> for PhantomData<T>

unsafe fn check_bytes(_: *const Self, _: &mut C) -> Result<(), E>

Implementors