如何为serde的Deserializer实现带泛型类型的Visitor？

要让你的Visitor具备泛型能力，需要将Foo结构体定义为泛型结构体，并在实现Visitor trait时为泛型参数添加必要的约束：

修改后的完整代码 #

use serde::de::{Visitor, SeqAccess, Deserialize};
use std::fmt::{Formatter, Result as FmtResult};

// 将Foo定义为泛型结构体，K是泛型参数
struct Foo<K>;

impl<'de, K> Visitor<'de> for Foo<K>
where
    // 必须添加约束：K需要实现Deserialize<'de>，这样才能从序列中反序列化出K类型的元素
    K: Deserialize<'de>,
{
    type Value = Vec<K>;

    fn expecting(&self, formatter: &mut Formatter) -> FmtResult {
        formatter.write_str("foo")
    }

    fn visit_seq<A>(self, mut seq: A) -> std::result::Result<Self::Value, A::Error>
    where
        A: SeqAccess<'de>,
    {
        let mut vec: Self::Value = Vec::new();
        while let Some(data) = seq.next_element()? {
            vec.push(data);
        }
        Ok(vec)
    }
}

关键修改说明 #

• 定义泛型结构体：把struct Foo;改为struct Foo<K>;，让K成为结构体的泛型参数，后续在整个实现中都可以引用这个类型。
• 添加泛型约束：在impl块的where子句中添加K: Deserialize<'de>，因为SeqAccess::next_element()方法要求元素类型必须实现Deserialize<'de> trait，否则无法从序列中读取并反序列化元素。
• 关联类型使用泛型：此时type Value = Vec<K>中的K已经是被定义的泛型参数，编译不会再报错。

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