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

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

但它比盲目更换字符串要聪明一些。如果是像or 这样<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}}

我希望对你有帮助