Rust私人结构字段，默认和破坏性？

Question

假设我创建了一个结构。

mod foostruct {
    #[derive(Default)]
    pub struct Foo {
        a: u64,
        pub b: u64,
    }
}

该结构是真的，因为可见性规则不能用默认值在外部创建，

Foo { b: 42, ..Default::default() }

并且也不能破坏其可见成员？

let Foo { b, ... } = foo;

我只是和一个朋友进行了交谈，这两个都被抚养长大，而我从未想过。我以前是使用建筑商总是总是，并且没有将破坏/默认设置视为对模式的损害。

Answer 1

这两个代码都是其他东西的糖，因此我们可以通过检查它们的脱加人来考虑它们的特征。

  foo {b：42，.. default :: default（）}
 

粗略的是：

{
    let temp: Foo = Default::default();
    Foo { b: 42, a: temp.a }
}

这是不允许的，因为foo :: a看不到。

 令foo {b，..} = foo;
 

对此的desugars（foo确实是foo）的其他静态类型检查）：

let b = foo.b;

允许此是，因为私有字段从来都不是读。