31个版本

0.8.0-pre62024年1月1日
0.8.0-pre52023年12月15日
0.8.0-pre12023年11月4日
0.8.0-alpha.102024年8月11日
0.2.0 2020年11月19日

170编码 类别中

Download history 267523/week @ 2024-04-27 283137/week @ 2024-05-04 303924/week @ 2024-05-11 294317/week @ 2024-05-18 288316/week @ 2024-05-25 304096/week @ 2024-06-01 294012/week @ 2024-06-08 289143/week @ 2024-06-15 277883/week @ 2024-06-22 279709/week @ 2024-06-29 320581/week @ 2024-07-06 290771/week @ 2024-07-13 299470/week @ 2024-07-20 305959/week @ 2024-07-27 309057/week @ 2024-08-03 256248/week @ 2024-08-10

1,217,812 每月下载量
447 crate(61个直接使用)中使用

MIT 许可协议

38KB
646 代码行

bytecheck — 最新版本 许可协议

bytecheck 是一个Rust的类型验证框架。

bytecheck应用示例

use bytecheck::{CheckBytes, check_bytes, rancor::Failure};

#[derive(CheckBytes, Debug)]
#[repr(C)]
struct Test {
    a: u32,
    b: char,
    c: bool,
}

#[repr(C, align(4))]
struct Aligned<const N: usize>([u8; N]);

macro_rules! bytes {
    ($($byte:literal,)*) => {
        (&Aligned([$($byte,)*]).0 as &[u8]).as_ptr()
    };
    ($($byte:literal),*) => {
        bytes!($($byte,)*)
    };
}

// In this example, the architecture is assumed to be little-endian
#[cfg(target_endian = "little")]
unsafe {
    // These are valid bytes for a `Test`
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();

    // Changing the bytes for the u32 is OK, any bytes are a valid u32
    check_bytes::<Test, Failure>(
        bytes![
            42u8, 16u8, 20u8, 3u8,
            0x78u8, 0u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();

    // Characters outside the valid ranges are invalid
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x00u8, 0xd8u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x00u8, 0x00u8, 0x11u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();

    // 0 is a valid boolean value (false) but 2 is not
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            0u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            2u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();
}

依赖

~0.4–1MB
~21K SLoC