如何不为枚举变体的每个字段单独赋值就设置默认值？

你可以通过以下几种方式实现不用逐个枚举字段，就能创建字段全为默认值的枚举变体：

1. 为每个变体手动实现构造函数 #

直接在枚举的impl块里为每个变体写构造函数，内部自动填充所有字段的默认值：

enum X {
    A { pa: bool, pb: u8, pc: u32, pd: u32 },
    B { pc: bool, pd: u8, pe: bool, pf: bool },
}

impl X {
    // 生成默认值的X::A变体
    pub fn a() -> Self {
        X::A {
            pa: Default::default(),
            pb: Default::default(),
            pc: Default::default(),
            pd: Default::default(),
        }
    }

    // 生成默认值的X::B变体
    pub fn b() -> Self {
        X::B {
            pc: Default::default(),
            pd: Default::default(),
            pe: Default::default(),
            pf: Default::default(),
        }
    }
}

// 使用示例
fn main() {
    let xa = X::a();
    let xb = X::b();
}

这种方式直观易懂，适合变体数量不多的场景。

2. 用宏减少重复代码 #

如果枚举变体较多，手动写构造函数会有重复代码，可以用宏自动生成这些构造逻辑：

enum X {
    A { pa: bool, pb: u8, pc: u32, pd: u32 },
    B { pc: bool, pd: u8, pe: bool, pf: bool },
}

// 定义宏用于生成枚举变体的默认构造函数
macro_rules! default_variant {
    ($enum:ident, $variant:ident { $($field:ident: $ty:ty),* }) => {
        impl $enum {
            pub fn $variant() -> Self {
                $enum::$variant {
                    $($field: Default::default()),*
                }
            }
        }
    };
}

// 为每个变体生成构造函数
default_variant!(X, A { pa: bool, pb: u8, pc: u32, pd: u32 });
default_variant!(X, B { pc: bool, pd: u8, pe: bool, pf: bool });

// 使用示例
fn main() {
    let xa = X::a();
    let xb = X::b();
}

宏会帮你自动展开成构造函数代码，避免重复书写字段的Default::default()调用。

3. 提取字段为结构体并推导Default #

如果可以调整枚举的结构，可以把每个变体的字段提取成单独的结构体，然后为结构体推导Default，再用元组变体包裹这个结构体：

#[derive(Default)]
struct AFields {
    pa: bool,
    pb: u8,
    pc: u32,
    pd: u32,
}

#[derive(Default)]
struct BFields {
    pc: bool,
    pd: u8,
    pe: bool,
    pf: bool,
}

enum X {
    A(AFields),
    B(BFields),
}

// 使用示例
fn main() {
    let xa = X::A(AFields::default());
    let xb = X::B(BFields::default());
}

这种方式利用Rust的#[derive(Default)]自动生成结构体的默认实现，代码最简洁，但需要修改原来的枚举变体结构。

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