typewit 1.11.0

type-witness-based abstractions, mostly for emulating polymorphism in const fns
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

#[cfg(test)]
mod tests;

/// Marker trait for type for which all bytes are initialized
/// 
/// # Safety
/// 
/// All of the bytes in this type must be initialized.
/// Uninitialized bytes includes padding and `MaybeUninit` fields.
pub(crate) unsafe trait AllInitBytes {}

#[allow(dead_code)]
pub(crate) const fn as_bytes<T: AllInitBytes>(reff: &T) -> &[u8] {
    unsafe {
        core::slice::from_raw_parts (
            reff as *const T as *const u8,
            core::mem::size_of::<T>(),
        )
    }
}
pub(crate) const fn slice_as_bytes<T: AllInitBytes>(reff: &[T]) -> &[u8] {
    unsafe {
        core::slice::from_raw_parts (
            reff.as_ptr() as *const u8,
            reff.len() * core::mem::size_of::<T>(),
        )
    }
}

unsafe impl AllInitBytes for bool {}
unsafe impl AllInitBytes for char {}
unsafe impl AllInitBytes for u8 {}
unsafe impl AllInitBytes for u16 {}
unsafe impl AllInitBytes for u32 {}
unsafe impl AllInitBytes for u64 {}
unsafe impl AllInitBytes for u128 {}
unsafe impl AllInitBytes for usize {}
unsafe impl AllInitBytes for i8 {}
unsafe impl AllInitBytes for i16 {}
unsafe impl AllInitBytes for i32 {}
unsafe impl AllInitBytes for i64 {}
unsafe impl AllInitBytes for i128 {}
unsafe impl AllInitBytes for isize {}