Question

我们有3种类型：

type A struct {
    B
    C
}
type B struct {
    x int
    y string
}
type C struct {
    z string
}

由于匿名字段的字段和方法是promoted，我们可以访问B中的匿名字段A的字段

var a A
a.x = 0

非常明显的是B＆amp; C嵌入A，因此我们希望A等同于：

type D struct {
    x int
    y string
    z string
}

我们希望我们可以编写A类型的复合文字：

a := A{x: 2}

此编译错误：

unknown field 'x' in struct literal of type A

为什么不能以这种方式为A编写复合文字，就像D类型一样？

Answer 1

Rob＆＃39; Commander＆＃39;派克解释说here。

他在那里写道：

可能有一天，但因为它需要提供更多信息对数据类型的变化更加健壮。

如果我理解并正确理解，它基本上是一种安全措施。如果结构定义与复合文字不匹配，编译器会对你大喊。

在您的示例中，A的定义可能会发生变化 - 在稍后的更改中（如在更晚的时候，如年） - ：

    type A struct {
        x int
        y string
        z string
    }

稍后，但x，y和z可能代表与以前不同的事情，因此您必须将所有文字更改为没有得到某种腐败的数据。

这是一个慎重的选择。语言规范中的措辞是：

提升字段的作用类似于结构的普通字段，除了它们不能用作结构的复合文字中的字段名称。

因此，您可以使用字段x的字段B，就好像它是A的字段，除了复合文字。

和类型

type A struct {
    B
    C
}

和

type A struct {
    x int
    y string
    z string
}

真的是两件不同的事情。前者包含两个字段B和C，后三个字段x，y和z。前者只需要一些语法糖就可以用速记来访问字段x的字段B。因此，如果a是前一种类型A的变量，则a.x是a.B.x的语法糖。

Answer 2

初始化B时，您需要明确使用C（和A）：

a = A{B{x: 2}, C{}}