小编典典

组合文字和嵌入式类型的字段

go

我正在研究一个示例程序来回答关于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上,编译器在说什么!!!!!”。

很快,为了抢占典型答案,我知道最接近的工作语法就是这种语法,b := &B{A{FName:"evan", LName:"mcdonnal"}}但是我认为该语法在概念上与嵌入矛盾,因此,如果这是唯一的选择,我将感到失望。如果这是唯一的方法,那么这是Go编译器的不足之处,还是实际上存在理论上的限制,会阻止编译器在我的非工作示例中解释语法?


阅读 338

收藏
2020-07-02

共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 }  ?

它打破了这样的假设:初始化顺序与具有字段名称的复合文字无关。

2020-07-02