Serde Untagged Enum：匹配结构但验证失败时提前返回精准错误

默认情况下，Serde的untagged枚举会依次尝试每个变体的反序列化，只要某一步（包括结构解析和验证）失败就跳过该变体，直到所有变体都尝试失败后返回通用的无匹配错误。要实现“结构匹配但验证失败时终止尝试并返回具体错误”的需求，无需手动实现Deserialize trait，可通过以下方式实现：

核心思路 #

将变体的结构解析与验证逻辑分离：先让Serde完成结构匹配（解析出对应结构体），再在转换为枚举变体的过程中执行验证，一旦验证失败就直接返回错误，不再继续尝试其他变体。

具体实现方案 #

方法1：结合#[serde(try_from)]与自定义转换逻辑 #

1. 为目标变体定义单独的结构体，用于完成结构解析；
2. 实现TryFrom trait，在转换过程中加入验证规则；
3. 为枚举变体添加#[serde(try_from = "...")]属性，指定从结构体转换。

示例代码：

use serde::{Deserialize};
use std::convert::TryFrom;

// 单独定义结构体负责结构解析
#[derive(Debug, Deserialize)]
struct AStruct {
    a: Vec<String>,
}

// 实现TryFrom，加入验证逻辑
impl TryFrom<AStruct> for MyEnum {
    type Error = String;

    fn try_from(value: AStruct) -> Result<Self, Self::Error> {
        if value.a.is_empty() {
            Err("invalid length 0, expected must be nonempty".to_string())
        } else {
            Ok(MyEnum::A(value))
        }
    }
}

// 定义untagged枚举，使用try_from属性
#[derive(Debug, Deserialize)]
#[serde(untagged)]
enum MyEnum {
    #[serde(try_from = "AStruct")]
    A(AStruct),
    B {
        b: u32,
    },
}

当反序列化{"a": []}时，Serde会先成功解析出AStruct（结构匹配），随后在转换为MyEnum::A时触发验证失败，直接返回具体的错误信息，不会继续尝试MyEnum::B。

方法2：借助serde_with库的验证功能 #

使用serde_with库提供的Validate trait和相关属性，可更简洁地实现验证逻辑，同样无需手动实现Deserialize：

use serde::Deserialize;
use serde_with::{serde_as, Validate};

#[serde_as]
#[derive(Debug, Deserialize, Validate)]
struct AStruct {
    #[validate(length(min = 1, message = "invalid length 0, expected must be nonempty"))]
    a: Vec<String>,
}

impl TryFrom<AStruct> for MyEnum {
    type Error = String;

    fn try_from(value: AStruct) -> Result<Self, Self::Error> {
        value.validate()
            .map_err(|e| e.to_string())?;
        Ok(MyEnum::A(value))
    }
}

#[derive(Debug, Deserialize)]
#[serde(untagged)]
enum MyEnum {
    #[serde(try_from = "AStruct")]
    A(AStruct),
    B {
        b: u32,
    },
}

总结 #

无需手动实现Deserialize trait，通过将结构解析与验证分离，利用#[serde(try_from)]属性结合自定义转换逻辑，或借助serde_with这类辅助库，即可实现需求：当变体结构匹配但验证失败时，终止其他变体的尝试并返回具体的验证错误。

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