validated_newtype

简单的带检查的新类型生成器，主要用于与 serde 一起使用。可以通过 default_features = false 禁用 serde 支持（和依赖）。这是一个 #![no_std] 库。

用法

validated_newtype! {
    /// Documentation comments and attributes are applied
    #[derive(Debug, PartialOrd, Ord, PartialEq, Eq)]
    // base type name => optional visibility + newtype name
    u32 => pub Percent
    // condition to check when creating/deserializing
    if |n: &u32| *n <= 100;
    // error message if condition is not met
    error "percent must be in range 0-100"
}

let x: Percent = serde_json::from_str("42").unwrap();
assert_eq!(*x, 42);
let y: Result<Percent, _> = serde_json::from_str("1337");
assert!(y.is_err());

生成的 newtype 实例只能通过 TryFrom 或 Deserialize 来创建，因此它们始终包含有效的数据。

动态错误生成

validated_newtype! {
    #[derive(Debug)]
    u32 => pub Percent
    if |n: &u32| *n <= 100;
    else |n: &u32| format!("number {} is not in range 0-100", n) => String
}

// Deserialize for newtypes uses try_into internally
let x: Result<Percent, _> = 1337.try_into();
assert!(x.is_err());
assert_eq!(x.unwrap_err(), "number 1337 is not in range 0-100");

手动实现 TryFrom

validated_newtype! {
    #[derive(Debug)]
    u32 => pub Percent
}

impl TryFrom<u32> for Percent {
    type Error = &'static str;

    fn try_from(val: u32) -> Result<Self, Self::Error> {
        if val > 100 {
            Err("percent must be in range 0-100")
        } else {
            Ok(Self(val))
        }
    }
}

let x: Percent = serde_json::from_str("42").unwrap();
assert_eq!(*x, 42);
let y: Result<Percent, _> = serde_json::from_str("1337");
assert!(y.is_err());

许可证：MIT