来自嵌入类型的复合文字和字段

Question

我正在编写一个示例程序来回答 SO 上的另一个问题，但发现以下代码无法编译这一事实让自己有些困惑；

https://play.golang.org/p/wxBGcgfs1o

package main

import "fmt"

type A struct {

    FName string

    LName string

}

type B struct {

    A

}

func (a *A) Print() {

     fmt.Println(a.GetName())

}

func (a *A) GetName() string {

     return a.FName

}

func (b *B) GetName() string {

     return b.LName

}

func main() {

    a := &A{FName:"evan", LName:"mcdonnal"}

    b := &B{FName:"evan", LName:"mcdonnal"}

    a.Print()

    b.Print()

}

错误是;

/tmp/sandbox596198095/main.go:28: unknown B field 'FName' in struct literal

/tmp/sandbox596198095/main.go:28: unknown B field 'LName' in struct literal

是否可以在静态初始值设定项中设置嵌入类型的字段值？如何？对我来说，这似乎是一个编译器错误；如果我面前没有源代码并且熟悉类型，我会撞墙说“显然 FName 存在于 B 上，编译器在说什么！？！？！”。

很快，为了抢占典型的答案，我知道最接近的工作语法是 thisb := &B{A{FName:"evan", LName:"mcdonnal"}}但我认为该语法在概念上与嵌入相矛盾，所以如果它是唯一的选择，我会感到失望。如果这是唯一的方法，它是 Go 编译器的短板，还是实际上存在阻止编译器解释我的非工作示例中的语法的理论限制？

Answer 1

这不是编译器错误，而是设计决策。语言规范只是说明：提升字段的作用类似于结构的普通字段，只是它们不能用作结构的复合文字中的字段名称。我想这背后的原因是为了避免歧义。使用选择器时有一些规则可以解决名称冲突，并且它们必须很复杂才能满足您的建议。最重要的是，如果您在嵌入类型的结构文字中使用嵌入结构的现有实例，则可能会产生歧义。编辑：这是一个这种方法可能适得其反的例子：考虑一个例子，你有一个嵌入 B 的 A 和一个你想要嵌入的 A 实例：type A {   X int}type B {   A}做起来很简单b := B{ X: 1 } 并推断应该做什么。但是如果我们已经有一个 A 的实例呢？这没有意义：a := A { X: 1 }b := B { X: 2, A: a, } 您是先将 2 分配给 A 的零实例，然后再将 A 的初始化实例分配给它吗？它是否等同于：b := B { A: a, X: 2 }  ?它打破了初始化顺序与具有字段名称的复合文字无关的假设。