serde-nothing

这个 crate 以 serde 数据模型定义了“无”，并允许使用仅 Serialize 和 Deserialize 特性来检查值和创建这样的值。

动机

这个 crate 被设计用来泛化序列化模式，在序列化时跳过具有 None/空/默认值的结构字段，在反序列化时当缺少时构建这些字段。

通常这个模式使用 #[serde(default, skip_serializing_if = "Option::is_none/Vec::is_empty/is_default")] 来编码。其中 is_default 是一个定义为

fn is_default<T: Default + PartialEq>(value: &T) -> bool {
    *value == T::default()
}

这种模式对于具有具体类型和泛型包装器（如 Option、Vec 和类似）的字段工作得非常好。

但是在泛型类型 T 的字段上使用 #[serde(default)] 将需要在 Deserialize 实现 Default 约束。并且使用 #[serde(skip_serializing_if = "is_default")] 将需要在 Serialize 实现上添加 T: Default + PartialEq 约束。