Golang anonymous struct初始化指针切片

Question

从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!

有人可以帮助解释这些情况下实际发生的情况吗？

Answer 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>{...}}

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

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

这里列表中的结构没有类型定义，因此它是匿名的。 并且由于初始化速记，这很好 - 我不需要名称来初始化它。

Answer 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}}

我希望能帮助你