如何使用Serde序列化Option类型？

你需要新增一个专门处理Option<Foo>的序列化函数（比如serialize_foo_option），原因是你已实现的serialize_foo签名仅适配&Foo类型，无法直接处理&Option<Foo>。

实现思路 #

针对Option<Foo>的序列化，只需在函数内部做分支处理：

• 当值为Some(Foo)时，直接复用你已有的serialize_foo函数完成序列化；
• 当值为None时，调用序列化器的serialize_none()方法（这会按照Serde默认规则序列化为null，若需自定义None的序列化结果，可替换为对应类型的序列化方法）。

完整代码示例 #

假设你已有的serialize_foo实现如下：

use serde::{Serialize, Serializer};

struct Foo(i32);

// 你已实现的Foo序列化函数
fn serialize_foo<S>(foo: &Foo, serializer: S) -> Result<S::Ok, S::Error>
where
    S: Serializer,
{
    // 示例：将Foo内部的i32直接序列化
    serializer.serialize_i32(foo.0)
}

新增serialize_foo_option函数：

// 处理Option<Foo>的序列化函数
fn serialize_foo_option<S>(option_foo: &Option<Foo>, serializer: S) -> Result<S::Ok, S::Error>
where
    S: Serializer,
{
    match option_foo {
        Some(foo) => serialize_foo(foo, serializer),
        // 默认将None序列化为null
        None => serializer.serialize_none(),
        // 若需自定义None的序列化结果（比如序列化为0），可替换为：
        // None => serializer.serialize_i32(0),
    }
}

最后修改Bar结构体的序列化属性：

#[derive(Serialize)]
struct Bar {
    #[serde(serialize_with = "serialize_foo")]
    pub x: Foo,
    #[serde(serialize_with = "serialize_foo_option")]
    pub y: Option<Foo>,
}

关于None的自定义处理 #

如果业务需要None不序列化为null，而是其他值（比如默认的Foo(0)），可以在None分支里构造对应的Foo实例再调用serialize_foo：

None => serialize_foo(&Foo(0), serializer),

注意要保证None和Some的序列化结果类型一致，避免出现JSON字段类型不一致的问题。

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