Go语言类型内嵌和结构体内嵌

7个月前 (04-27)
结构体可以包含一个或多个匿名(或内嵌)字段,即这些字段没有显式的名字,只有字段的类型是必须的,此时类型也就是字段的名字。匿名字段本身可以是一个结构体类型,即结构体可以包含内嵌结构体。

可以粗略地将这个和面向对象语言中的继承概念相比较,随后将会看到它被用来模拟类似继承的行为。Go语言中的继承是通过内嵌或组来实现的,所以可以说,在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.Printf("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 的名字来获取存储在匿名字段中的数据,于是可以得出一个结论:在一个结构体中对于每一种数据类型只能有一个匿名字段。

内嵌结构体

同样地结构体也是一种数据类型,所以它也可以作为一个匿名字段来使用,如同上面例子中那样。外层结构体通过 outer.in1 直接进入内层结构体的字段,内嵌结构体甚可以来自其他包。内层结构体被简单的插入或者内嵌进外层结构体。这个简单的“继承”机制提供了一种方式,使得可以从另外一个或一些类型继承部分或全部实现。

示例代码如下所示:

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}

结构内嵌特性

Go语言的结构体内嵌有如下特性。

1) 内嵌的结构体可以直接访问其成员变量

嵌入结构体的成员,可以通过外部结构体的实例直接访问。如果结构体有多层嵌入结构体,结构体实例访问任意一级的嵌入结构体成员时都只用给出字段名,而无须像传统结构体字段一样,通过一层层的结构体字段访问到最终的字段。例如,ins.a.b.c的访问可以简化为ins.c。

2) 内嵌结构体的字段名是它的类型名

内嵌结构体字段仍然可以使用详细的字段进行一层层访问,内嵌结构体的字段名就是它的类型名,代码如下:

var c Color

c.BasicColor.R = 1

c.BasicColor.G = 1

c.BasicColor.B = 0

一个结构体只能嵌入一个同类型的成员,无须担心结构体重名和错误赋值的情况,编译器在发现可能的赋值歧义时会报错。