Golang匿名结构初始化指针切片答案

【问题标题】：Golang anonymous struct in initializing slice of pointersGolang匿名结构初始化指针切片
【发布时间】：2018-01-20 05:43:05
【问题描述】：

从 GOPL 的第 7 章（第 7.6 节）中，我注意到了这一行：

var tracks = []*Track{
     {"Go", "Delilah", "From the Roots Up", 2012, length("3m38s")},
     {"Go", "Moby", "Moby", 1992, length("3m37s")},
     {"Go Ahead", "Alicia Keys", "As I Am", 2007, length("4m36s")},
     {"Ready 2 Go", "Martin Solveig", "Smash", 2011, length("4m24s")},
}

我对它如何初始化Track 指针的片段感到有些困惑。所以后来我尝试了以下示例：

type Ex struct {
    A, B int
}

a := []Ex{Ex{1, 2}, Ex{3, 4}}
b := []Ex{{1, 2}, {3, 4}}
c := []*Ex{&Ex{1, 2}, &Ex{3, 4}}
d := []*Ex{{1, 2}, {3, 4}}
e := []*Ex{{1, 2}, &Ex{3, 4}}

我发现所有 5 个案例都没有错误。 {1, 2} 似乎是一个名为“匿名结构”的结构，但它让我感到困惑，因为即使我试图填写*Ex 指针而不是Ex 结构，它也能正常工作。

此外，当我尝试以下代码时，它会抱怨语法错误：

f := []*Ex{&{1, 2}, &{3, 4}} // Syntax Error!

有人可以帮忙解释一下这些案例的实际情况吗？

【问题讨论】：

您拥有的前两个示例不是指针。最后三个都是相同的，知道类型可以在可以推断时从复合文字中省略。您在寻找Composite Literals spec 吗？
@JimB 谢谢！该材料正是我所需要的理解。 GOPL 的书似乎错过了这个话题（或者我可能错过了实际提到它的章节......）

标签： go struct slice

【解决方案1】：

我认为匿名在这里并不完全正确。该结构有一个名称，“Track”或“Ex”。但是您正在使用快捷方式对其进行初始化：

f := []<type>{{...}, {...}}

大致相同：

f := []<type>{<type>{...}, <type>{...}}

但它比盲换弦要聪明一点。如果<type>是*Ex或*Track这样的指针，它也会自动正确初始化：

f := []*<type>{{...}, {...}} // is the same as...
f := []*<type>{&<type>{...}, &<type>{...}}

对地图也一样：

f := map[string]*<type>{"a": {...}, "b": {...}} // is the same as...
f := map[string]*<type>{"a": &<type>{...}, "b": &<type>{...}}

为了进一步说明，匿名结构是没有单独类型定义的结构。这些是匿名类型，但不是匿名结构。匿名结构是一个没有关联 type 定义的 struct。这种在不引用类型的情况下初始化值的语法对于使可管理性至关重要：

f := []struct{
    A, B int
}{
    {1, 2}, {3, 4}
}
// or with pointers...
f := []*struct{
    A, B int
}{
    {1, 2}, {3, 4}
}

这里列表中的struct没有类型定义，所以它是匿名的。多亏了初始化速记，这很好 - 我不需要名字来初始化它。

【讨论】：

【解决方案2】：

请详细说明 Ex. 的结构定义

但是，如果 Ex 是这样实现的：

type Ex struct {
    t interface{}
    o interface{}
}

你没有给出匿名结构的指针，因为它的定义不知道。

你也不能这样做：

variable := new({1, 2})
// or
variable := {1, 2}

当你这样做时：

b := []Ex{{1, 2}, {3, 4}}
// you create slice of Ex with two Ex struct
// so b := []Ex{Ex{t:1,o:2}, Ex{t:3, o:4}}

反之：

f := []*Ex{&{1, 2}, &{3, 4}}
// you create slice of unknow definition type
// f = []Ex{Ex{t: addressOfUnknowType, o: addressOfUnknowType}}

希望对你有帮助

【讨论】：