如何在Rust Serde的tagged enum中实现‘捕获所有’反序列化？

我需要将一批文档反序列化为枚举类型，文档包含用于选择对应枚举变体的tag字段，需满足以下三点需求：

• 若tag与某一变体匹配，则将文档反序列化为该变体；
• 若tag不匹配任何变体，则将文档反序列化为Other变体（保留完整内容为serde_yaml::Value）；
• 若tag匹配某一变体，但内容不符合该变体的定义结构，则触发panic。

我尝试了以下几种方案，但均无法同时满足所有需求：

方案一：使用#[serde(other)]的标记枚举 #

#[derive(Deserialize)]
#[serde(tag = "type")]
enum Document {
   Config {
      path: PathBuf,
   },
   #[serde(other)]
   Other,
}

该方案中，不匹配Config的文档内容无法被反序列化到Other中。

方案二：无标记枚举 #

#[derive(Deserialize)]
#[serde(untagged)]
enum Document {
   Config {
      type: String,
      path: PathBuf,
   },
   Other(serde_yaml::Value),
}

该方案能将不匹配的文档内容以Value形式存入Other，但如果文档的type: Config存在内容错误（如paht: /etc/），会被错误地反序列化为Other而非触发panic。

方案三：嵌套枚举 #

#[derive(Deserialize)]
#[serde(untagged)]
enum Document {
   Config(Config),
   Other(serde_yaml::Value),
}

#[derive(Deserialize)]
#[serde(tag = "type")]
enum Config {
   path: PathBuf,
}

该方案的表现与上述无标记枚举完全一致。

解决方案 #

要同时满足三个需求，我们可以自定义反序列化逻辑，步骤如下：

1. 先解析出tag字段的值；
2. 根据tag判断是否匹配已知变体：
   • 若匹配，尝试反序列化为对应变体，失败则直接panic；
   • 若不匹配，将整个文档反序列化为serde_yaml::Value存入Other。

具体代码实现：

use serde::{Deserialize, Deserializer};
use serde_yaml::Value;
use std::path::PathBuf;

#[derive(Debug, Deserialize)]
#[serde(tag = "type")]
enum KnownDocument {
    Config { path: PathBuf },
    // 可添加更多已知变体
}

#[derive(Debug)]
enum Document {
    Known(KnownDocument),
    Other(Value),
}

impl<'de> Deserialize<'de> for Document {
    fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
    where
        D: Deserializer<'de>,
    {
        // 先将整个文档解析为Value，方便后续处理
        let value = Value::deserialize(deserializer)?;
        
        // 提取"type"字段的值
        let tag = match &value {
            Value::Mapping(map) => map.get(&Value::String("type".to_string()))
                .and_then(|v| v.as_str())
                .map(|s| s.to_string()),
            _ => None,
        };

        match tag {
            Some(_) => {
                // 尝试反序列化为KnownDocument，失败则panic
                match serde_yaml::from_value::<KnownDocument>(value.clone()) {
                    Ok(known) => Ok(Document::Known(known)),
                    Err(e) => panic!("Tag匹配但内容结构错误: {}", e),
                }
            }
            None => {
                // 无匹配tag，直接存入Other
                Ok(Document::Other(value))
            }
        }
    }
}

代码说明 #

• KnownDocument枚举用#[serde(tag = "type")]标记，处理所有已知的tag变体；
• 外层Document枚举包含Known（对应匹配的变体）和Other（存储未匹配的完整内容）；
• 自定义Deserialize实现：先把文档转为Value，提取type字段，若存在则尝试反序列化为KnownDocument，失败则panic；若不存在或不匹配，则存入Other。

这样就能同时满足三个需求：匹配tag时正确反序列化，未匹配时保留完整内容，tag匹配但结构错误时触发panic。

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