如何在Rust中使用默认初始化时禁止修改结构体指定变量？

你想要的效果完全可以通过现有代码结构实现，核心是利用Rust的访问控制规则和Default trait的特性：

核心原理 #

1. 结构体Thing标记为pub，允许外部使用该类型
2. 私有字段c不添加pub修饰，外部既无法在结构体字面量中直接指定它，也无法访问它的值
3. 在结构体所在模块内部实现Default trait，因为模块内可以访问所有字段（包括私有c），所以default()方法可以正常初始化所有成员

验证代码 #

将结构体放在模块中（符合Rust的封装习惯）：

mod thing {
    pub struct Thing {
        pub a: u32,
        pub b: u16,
        c: f64, // 私有字段，外部不可见
    }

    impl Default for Thing {
        fn default() -> Self {
            Thing {
                a: 0,
                b: 0,
                c: 1.0,
            }
        }
    }
}

fn main() {
    // ✅ 合法：仅指定公共字段a，其余字段继承Default实例的值
    let my_thing = thing::Thing { a: 1, ..thing::Thing::default() };
    println!("a: {}, b: {}", my_thing.a, my_thing.b); // 只能访问公共字段

    // ❌ 非法：尝试指定私有字段c，编译直接报错
    // let my_thing2 = thing::Thing { c: 3.1415, ..thing::Thing::default() };
}

关键说明 #

• 外部使用..Default::default()更新语法时，只要不直接指定私有字段，Rust会允许这种写法——因为你没有访问私有字段，只是复用了Default实例中已经初始化好的私有成员值
• 若外部尝试在结构体字面量中指定c，会触发编译错误，正好符合你禁止修改私有成员的需求

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