Rust自定义结构体Default实现：仅修改单字段其余取默认值

DevOps 小满

2026-9-28

问题原因

你遇到的无限递归是Rust的类型推断规则导致的：结构体更新语法..Default::default()需要接收一个和当前结构体同类型的实例，因此编译器会自动将此处的Default::default()解析为你正在实现的<Self as Default>::default()，直接触发了自调用，最终导致栈溢出。

方案1：使用Rust 1.62+ 内置的字段级默认值属性

这是最简洁的实现方式，不需要手动实现Default trait，也不需要列出所有字段，直接通过标准库提供的派生宏和字段属性完成配置：

// 直接派生Default，同时为需要自定义的字段标注#[default]属性指定值
#[derive(Default)]
struct Foo {
    #[default = 2]
    thing: i32,
    a: String,
    b: Vec<u8>,
    // 其余所有字段都会自动使用对应类型的Default实现
}

这种方式生成的Default实现完全符合需求：自定义字段使用指定值，其余字段调用各自类型的Default::default()。

方案2：嵌套子结构体（兼容旧版本Rust）

如果你使用的Rust版本低于1.62，不支持字段级#[default]属性，可以将不需要自定义默认值的字段统一封装到一个子结构体中，仅需要对子结构体派生Default即可：

// 所有不需要自定义默认值的字段都放到Inner中，直接派生Default
#[derive(Default)]
struct FooInner {
    a: String,
    b: Vec<u8>,
    // 其余所有非自定义字段
}

struct Foo {
    thing: i32,
    inner: FooInner,
}

impl Default for Foo {
    fn default() -> Self {
        Self {
            thing: 2,
            // 直接调用子结构体的Default实现，不需要列出所有内部字段
            inner: Default::default(),
        }
    }
}

这种方式只需要调整一次结构体结构，后续新增非自定义字段都直接放到FooInner中即可，不需要修改Default的实现逻辑。