解读

在国内 Rust 社招/校招面试里，这道题常被用来区分“写过几行 Rust”与“真正用过 Rust 做业务”。
面试官真正想听的是：

1. 你是否知道 Rust 没有语言级“字段默认值”语法（与 Go/Java 不同）；
2. 你能否把“缺省值”这一业务需求映射到 Rust 的类型系统与标准 trait 上；
3. 你是否了解构造器模式、宏、serde 生态在国内工程中的落地套路；
4. 你是否能权衡编译期成本、运行时成本、API 向后兼容三点。
   一句话：不是“怎么写”，而是“为什么这样写、在生产环境踩过哪些坑”。

知识点

1. std::default::Default trait：编译器唯一认可的“缺值”语义，提供 default() 关联函数。
2. 派生宏 #[derive(Default)] 的生成规则：仅当所有字段都实现了 Default 时才可自动派生；对泛型参数有 Default 约束。
3. 结构体更新语法 Foo { field: value, ..Default::default() }：国内代码库中出镜率最高的“填缺省”手法。
4. 手写 impl Default 的时机：
   • 字段缺省值非零、非空字符串或与平台相关；
   • 需要随机值、当前时间、全局静态配置等运行时信息；
   • 需要const 上下文（此时不能调用 trait 方法，只能 const fn 构造）。
5. Builder 模式（typed-builder、derive_builder）：国内微服务对外 API 必选，解决“字段多、组合爆炸、向后兼容”问题。
6. serde 属性 #[serde(default)] 与 #[serde(default = "path")]：反序列化时补缺失字段，与 Rust 的 Default trait 无强制关联，但面试常一起问。
7. const Default 与 #![no_std] 环境：嵌入式岗位必考，需用 #![feature(const_default_impls)] 或手动 const fn 构造。
8. 版本兼容陷阱：新增字段时若直接 #[derive(Default)]，老版本 JSON 反序列化会失败；国内大厂做法是“新增字段显式 impl Default 并给 serde(default)”。

答案

“Rust 语言层面没有字段默认值关键字，我们统一使用 std::default::Default trait 来表达‘缺省值’语义。
最常用三招：

1. #[derive(Default)] 自动实现，适合字段全是基础类型或均已实现 Default 的场景；
2. 手动 impl Default for Struct，在函数体里写死业务约定的缺省值，例如 timeout = 30s、buffer_size = 8192；
3. 结构体更新语法 let f = Foo { port: 8080, ..Default::default() }; 只改个别字段，其余用缺省。
   如果对外做 API 或者字段超过 5 个，我会再包一层 Builder（typed-builder 宏），把必填字段做成编译期强制，可选字段用链式 setter 并内置 Default，这样后续加字段不会 break 老代码。
   最后提醒：serde 反序列化时缺失字段与 Default 是两回事，务必给新增字段加 #[serde(default)]，否则线上 JSON 一升级就 400。”

拓展思考

1. 当结构体里出现 &'static str 或 泛型参数 T: ?Sized 时，#[derive(Default)] 会编译失败，你如何给面试官展示“手动 impl Default”的泛型约束写法？
2. 在 no_std + const 上下文 的嵌入式场景，Default::default() 不是 const fn，你如何为寄存器配置结构体提供“编译期缺省值”？
3. 国内某高并发网关项目用 lazy_static + once_cell 做“运行时全局缺省配置”，你如何说服面试官“这比直接 impl Default 更安全且无需锁”？
4. 如果下一版本把 u32 字段 timeout 的缺省值从 30 改成 60，你如何保证老版本二进制在热升级时行为一致？（提示：ABI 兼容、serde 别名、Builder 默认值版本号）