如何在使用serde反序列化JSON时获取所有缺失字段的列表？

问题背景 #

在Actix Web中使用serde处理JSON请求时，默认反序列化逻辑会在遇到第一个缺失字段时立即终止，返回类似如下的单字段错误：

missing field `firstname` at line 4 column 1

我们需要修改这一行为，返回包含所有缺失字段的结构化JSON响应，格式如下：

{
    "status": "error",
    "errors": {
        "validate": {
            "missing_value": ["lastname", "password"]
        }
    }
}

解决方案步骤 #

1. 定义结构化错误响应类型 #

先创建用于返回的错误响应结构体，确保它能被序列化为目标格式：

use serde::{Deserialize, Serialize};

#[derive(Debug, Serialize)]
struct ErrorResponse {
    status: &'static str,
    errors: Errors,
}

#[derive(Debug, Serialize)]
struct Errors {
    validate: ValidateErrors,
}

#[derive(Debug, Serialize)]
struct ValidateErrors {
    missing_value: Vec<String>,
}

impl ErrorResponse {
    fn new_missing_fields(fields: Vec<String>) -> Self {
        Self {
            status: "error",
            errors: Errors {
                validate: ValidateErrors {
                    missing_value: fields,
                },
            },
        }
    }
}

2. 手动解析JSON并收集所有缺失字段 #

放弃web::Json<RegisterRequest>的自动反序列化，改用serde_json::Value先接收请求体，手动验证所有必填字段，一次性收集所有缺失项：

use actix_web::{web, HttpResponse, Responder, Error as ActixError};
use serde_json::Value;

#[derive(Debug, Deserialize)]
pub struct RegisterRequest {
    login: String,
    password: String,
    firstname: String,
    lastname: String,
}

#[derive(Debug, Serialize)]
struct RegisterResponse {
    message: String,
}

pub async fn register(payload: web::Json<Value>) -> Result<impl Responder, ActixError> {
    // 定义所有必填字段
    let required_fields = vec!["login", "password", "firstname", "lastname"];
    let mut missing_fields = Vec::new();

    // 遍历检查每个字段是否存在
    for field in required_fields {
        if payload.get(field).is_none() {
            missing_fields.push(field.to_string());
        }
    }

    // 存在缺失字段时返回结构化错误
    if !missing_fields.is_empty() {
        return Ok(HttpResponse::BadRequest().json(ErrorResponse::new_missing_fields(missing_fields)));
    }

    // 验证通过，转换为目标结构体
    let req: RegisterRequest = serde_json::from_value(payload.into_inner())?;

    // 执行业务逻辑并返回成功响应
    let response = RegisterResponse {
        message: format!("User {} registered successfully", req.login),
    };
    Ok(HttpResponse::Ok().json(response))
}

3. 扩展支持多种响应格式（可选） #

如果需要支持XML等其他格式，可基于收集到的missing_fields构建对应格式的响应。例如使用quick_xml生成XML响应：

// 先添加依赖：quick_xml = { version = "0.31", features = ["serialize"] }
use quick_xml::se::to_string;

// 在错误处理分支中添加XML响应逻辑（可通过请求头或参数判断返回格式）
if /* 判断需要返回XML */ {
    let xml_response = format!(
        r#"<response>
            <status>error</status>
            <errors>
                <validate>
                    <missing_value>{}</missing_value>
                </validate>
            </errors>
        </response>"#,
        missing_fields.join("</missing_value><missing_value>")
    );
    return Ok(HttpResponse::BadRequest().content_type("application/xml").body(xml_response));
}

说明 #

这种方法通过通用Value类型先解析请求体，手动遍历检查所有必填字段，实现了一次性收集所有缺失项的目的。相比修改serde的missing_field宏，该方式更直观易扩展，同时能灵活控制错误响应的输出格式。

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