如何无需显式调用default宏为Rust结构体成员设置默认值？

问题背景 #

我有一段被数十处引用的Rust结构体：

pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
}

新增stream字段后，所有结构体实例初始化处都报missing field 'stream'错误：

pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
    pub stream: String, // 新增字段
}

虽然已经实现了Default trait，但直接初始化结构体时Rust不会自动填充默认字段；尝试用#[derive(Builder)]设置默认值时，又出现解析错误：

#[derive(Builder)]
pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
    #[builder(default = "".to_string())] // 错误写法
    pub stream: String,
}

错误信息：

error: Unable to parse attribute: expected `,`
  --> message_type.rs:11:27
   |
11 |     #[builder(default = "".to_string())]
   |                           ^

需求是：给stream字段设置默认值，无需修改所有实例，无编译错误，不使用不安全代码或关闭警告。使用Rust版本1.69.0。

解决方案1：结构体更新语法 + Default #

实现Default后，直接初始化结构体不会自动补全默认字段，但可以用结构体更新语法，基于Default::default()创建实例，只覆盖需要的字段：

// 原有初始化代码
// MessageType {
//     transaction: "tx123".to_string(),
//     status: StatusType::SUCCESS,
//     reason: "ok".to_string(),
// }

// 修改为
MessageType {
    transaction: "tx123".to_string(),
    status: StatusType::SUCCESS,
    reason: "ok".to_string(),
    ..MessageType::default() // 自动填充stream等剩余字段的默认值
}

只需批量替换原有初始化代码为这种写法，后续新增字段只要在Default中配置默认值，就不用再修改实例。

解决方案2：正确使用derive(Builder)设置默认值 #

derive(Builder)的default属性不支持直接写表达式，需要用字符串包裹或利用类型的Default：

方式A：字符串包裹表达式 #

用原始字符串包裹"".to_string()，避免引号冲突：

#[derive(Builder)]
pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
    #[builder(default = r#""".to_string()"#)]
    pub stream: String,
}

方式B：利用类型的Default #

String本身实现了Default（默认是空字符串），可以直接简写：

#[derive(Builder)]
pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
    #[builder(default)] // 自动使用String::default()
    pub stream: String,
}

之后用builder创建实例，或者封装一个构造函数兼容原有调用：

impl MessageType {
    pub fn new(transaction: String, status: StatusType, reason: String) -> Self {
        MessageTypeBuilder::default()
            .transaction(transaction)
            .status(status)
            .reason(reason)
            .build()
            .unwrap() // 必填字段已全部设置，不会出错
    }
}

额外方案：改用Option<String> #

如果stream不是必填字段，可以定义为Option<String>，默认值设为None，无需修改任何原有实例：

pub struct MessageType {
    pub transaction: String,
    pub status: StatusType,
    pub reason: String,
    pub stream: Option<String>,
}

impl Default for MessageType {
    fn default() -> MessageType {
        MessageType {
            transaction: "".to_string(),
            status: StatusType::ERROR,
            reason: "".to_string(),
            stream: None,
        }
    }
}

使用时通过if let Some(stream) = &msg.stream处理即可。

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