如何在Rust的`serde::ser::Serialize`自定义实现中跳过序列化

报错根因 #

你直接返回Ok(())不符合方法签名要求：serialize方法的返回值是Result<S::Ok, S::Error>，其中S::Ok是Serializer trait的关联类型，不同序列化器的S::Ok类型并不固定（比如序列化到JSON字符串时是String，序列化到serde_json Value对象时是Value），硬写()会触发类型不匹配错误。
报错提示的<Ok = ()>约束完全不推荐添加，会导致你的Serialize实现只能适配极少数返回()的序列化器，失去serde的跨格式通用性。

场景1：MyType作为结构体字段，想要满足条件时整个字段不出现 #

这是最常见的需求，完全不需要手动实现Serialize trait，用serde自带的skip_serializing_if属性即可：

1. 先给MyType加一个判断是否要跳过的方法

impl MyType {
    // 返回true时该字段会被跳过序列化
    fn is_no_serialize(&self) -> bool {
        matches!(self.value, Action::NoSerialize)
    }
}

2. 在使用MyType的结构体字段上加属性

#[derive(Serialize)]
struct YourParentStruct {
    #[serde(skip_serializing_if = "MyType::is_no_serialize")]
    my_type_field: MyType,
    // 其他字段
}

这种方案符合serde的设计规范，不需要手写序列化逻辑，出错概率低。

场景2：需要手动实现Serialize trait，满足条件时序列化为空值 #

如果你就是要为MyType自定义序列化逻辑，当满足Action::NoSerialize时输出空值（比如JSON中的null），可以调用序列化器提供的serialize_unit方法，返回值自动匹配S::Ok类型：

impl Serialize for MyType {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: Serializer,
    {
        match &self.value {
            Action::Serialize => {
                // 你原来的序列化逻辑，比如serialize_struct等
            }
            Action::NoSerialize => serializer.serialize_unit(),
       }
    }
}

如果需要序列化为Option的空值，可以换成serializer.serialize_none()，根据你的实际业务需求选择即可。

内容的提问来源于stack exchange，提问作者Bruno Grieder