10.5 匿名字段和內嵌結構體

10.5.1 定義

結構體可以包含一個或多個 匿名(或內嵌)字段,即這些字段沒有顯式的名字,只有字段的類型是必須的,此時類型就是字段的名字。匿名字段本身可以是一個結構體類型,即 結構體可以包含內嵌結構體

可以粗略地將這個和麪向對象語言中的繼承概念相比較,隨後將會看到它被用來模擬類似繼承的行爲。Go 語言中的繼承是通過內嵌或組合來實現的,所以可以說,在 Go 語言中,相比較於繼承,組合更受青睞。

考慮如下的程序:

示例 10.8 structs_anonymous_fields.go

package main

import "fmt"

type innerS struct {
    in1 int
    in2 int
}

type outerS struct {
    b    int
    c    float32
    int  // anonymous field
    innerS //anonymous field
}

func main() {
    outer := new(outerS)
    outer.b = 6
    outer.c = 7.5
    outer.int = 60
    outer.in1 = 5
    outer.in2 = 10

    fmt.Printf("outer.b is: %d\n", outer.b)
    fmt.Printf("outer.c is: %f\n", outer.c)
    fmt.Printf("outer.int is: %d\n", outer.int)
    fmt.Printf("outer.in1 is: %d\n", outer.in1)
    fmt.Printf("outer.in2 is: %d\n", outer.in2)

    // 使用結構體字面量
    outer2 := outerS{6, 7.5, 60, innerS{5, 10}}
    fmt.Println("outer2 is:", outer2)
}

輸出:

outer.b is: 6
outer.c is: 7.500000
outer.int is: 60
outer.in1 is: 5
outer.in2 is: 10
outer2 is:{6 7.5 60 {5 10}}

通過類型 outer.int 的名字來獲取存儲在匿名字段中的數據,於是可以得出一個結論:在一個結構體中對於每一種數據類型只能有一個匿名字段。

10.5.2 內嵌結構體

同樣地結構體也是一種數據類型,所以它也可以作爲一個匿名字段來使用,如同上面例子中那樣。外層結構體通過 outer.in1 直接進入內層結構體的字段,內嵌結構體甚至可以來自其他包。內層結構體被簡單的插入或者內嵌進外層結構體。這個簡單的“繼承”機制提供了一種方式,使得可以從另外一個或一些類型繼承部分或全部實現。

另外一個例子:

示例 10.9 embedd_struct.go

package main

import "fmt"

type A struct {
    ax, ay int
}

type B struct {
    A
    bx, by float32
}

func main() {
    b := B{A{1, 2}, 3.0, 4.0}
    fmt.Println(b.ax, b.ay, b.bx, b.by)
    fmt.Println(b.A)
}

輸出:

1 2 3 4
{1 2}

練習 10.5 anonymous_struct.go:

創建一個結構體,它有一個具名的 float 字段,2 個匿名字段,類型分別是 int 和 string。通過結構體字面量新建一個結構體實例並打印它的內容。

10.5.3 命名衝突

當兩個字段擁有相同的名字(可能是繼承來的名字)時該怎麼辦呢?

  1. 外層名字會覆蓋內層名字(但是兩者的內存空間都保留),這提供了一種重載字段或方法的方式;
  2. 如果相同的名字在同一級別出現了兩次,如果這個名字被程序使用了,將會引發一個錯誤(不使用沒關係)。沒有辦法來解決這種問題引起的二義性,必須由程序員自己修正。

例子:

type A struct {a int}
type B struct {a, b int}

type C struct {A; B}
var c C;

規則 2:使用 c.a 是錯誤的,到底是 c.A.a 還是 c.B.a 呢?會導致編譯器錯誤:ambiguous DOT reference c.a disambiguate with either c.A.a or c.B.a

type D struct {B; b float32}
var d D;

規則1:使用 d.b 是沒問題的:它是 float32,而不是 Bb。如果想要內層的 b 可以通過 d.B.b 得到。

鏈接

results matching ""

    No results matching ""