Serde静态默认值优化咨询：如何避免冗余辅助函数

1. 能否直接在字段属性中指定静态值？ #

Serde原生的#[serde(default = "...")]属性只接受无参函数的路径，不能直接写静态值（比如0或true）。但可以通过简单的宏批量生成返回静态值的函数，减少冗余：

// 定义宏批量生成静态默认函数
macro_rules! static_default {
    ($fn_name:ident, $return_ty:ty, $value:expr) => {
        pub const fn $fn_name() -> $return_ty {
            $value
        }
    };
}

// 生成需要的默认函数
static_default!(zero, i32, 0);
static_default!(yes, bool, true);
static_default!(empty_string, String, String::new());

// 使用示例
#[derive(serde::Deserialize)]
struct MongoData {
    #[serde(default = "zero")]
    count: i32,
    #[serde(default = "yes")]
    is_active: bool,
    #[serde(default = "empty_string")]
    description: String,
}

2. 是否有包含常用默认函数的crate？ #

有几个成熟的crate可以省去手动写静态默认函数的麻烦：

• serde_default：允许直接在default属性中指定静态值，底层用宏封装了函数生成逻辑：

  use serde::Deserialize;
  use serde_default::Default;
  
  #[derive(Deserialize)]
  struct MongoData {
      #[serde(default = Default(0))]
      count: i32,
      #[serde(default = Default(true))]
      is_active: bool,
      #[serde(default = Default(""))]
      description: String,
  }
  

• serde_with：提供了DefaultOnNull等派生属性，适合需要同时处理空值和默认值的场景，也能间接实现静态默认值效果。

3. 能否让默认函数接收参数，实现按类型复用？ #

Serde的default属性不支持传递参数给函数，因为它要求传入无参函数的路径。但可以通过两种方式实现复用：

方式1：宏生成复用 #

用宏根据传入的参数动态生成对应的默认函数，把参数固化到生成的函数中：

macro_rules! make_default {
    ($fn_name:ident, $val:expr) => {
        pub const fn $fn_name() -> _ { $val }
    };
}

// 生成不同值的默认函数
make_default!(default_0, 0);
make_default!(default_100, 100);
make_default!(default_false, false);

// 使用时直接引用生成的函数
#[derive(serde::Deserialize)]
struct MongoData {
    #[serde(default = "default_0")]
    min_count: i32,
    #[serde(default = "default_100")]
    max_count: i32,
}

方式2：类型标记复用 #

通过自定义类型标记关联默认值，结合Default trait实现同类型的统一复用：

// 自定义类型标记，绑定默认值逻辑
struct DefaultValue<T>;

impl<T> DefaultValue<T> {
    pub const fn get() -> T {
        // 针对不同类型返回固定默认值
        match std::any::TypeId::of::<T>() {
            id if id == std::any::TypeId::of::<i32>() => 0 as _,
            id if id == std::any::TypeId::of::<bool>() => true as _,
            id if id == std::any::TypeId::of::<String>() => String::new() as _,
            _ => panic!("Unsupported type for DefaultValue"),
        }
    }
}

// 使用示例
#[derive(serde::Deserialize)]
struct MongoData {
    #[serde(default = "DefaultValue::<i32>::get")]
    count: i32,
    #[serde(default = "DefaultValue::<bool>::get")]
    is_active: bool,
}

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