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

我希望能幫助你