Go 语言通过定义结构体来支持用户自定义类型。一个结构体代表现实世界中的一个实体,类似于 Java 中的实体类。当要定义一个类型时,这个类型包含很多属性,例如定义一个用户类型,用户类型中包含用户名、密码和生日等属性,就可以使用结构体。
组成结构体属性的数据成为字段,每个字段都有类型和名称;在结构体中,字段名称必须唯一。由于 Go 语言中不存在类的概念,所以结构体 struct
在 Go 语言中有着较高的地位。
结构体的定义
格式
结构体定义的格式如下:
1type variable struct {
2 field1 type1
3 field2 type2
4}
若结构体中有多个同类型字段,可以简写,如:
1type T struct {
2 a, b int
3}
若结构体中的字段并不需要使用,可以用匿名变量 _
来定义,如:
1type M struct {
2 _ int
3}
结构体中字段的类型可以是任意类型(包括结构体、函数和接口等)。
使用 new
可以使用 new
函数给新结构体变量分配内存,它返回指向分配内存的指针,如:
1var t *T = new(T)
当然,也可以将上述语句拆成两行:
1var t *T
2t = new(T)
在函数内部,一般采用短变量形式,如:
1t := new(T)
声明 var t T
也会给 t
分配内存,并零值化内存,但此时 t
是类型 T。在这两种方式中,t
通常被称作 T
的一个实例(instance
)或者对象(Object
)。
我们来看一个例子,如下:
1package main
2
3import "fmt"
4
5type struct1 struct {
6 i1 int
7 f1 float32
8 str string
9}
10
11func main() {
12 ms := new(struct1)
13 ms.i1 = 10
14 ms.f1 = 15.5
15 ms.str = "Chris"
16
17 fmt.Printf("The int is: %d\n", ms.i1)
18 fmt.Printf("The float is: %f\n", ms.f1)
19 fmt.Printf("The string is: %s\n", ms.str)
20 fmt.Println(ms)
21}
上述代码运行结果:
1The int is: 10
2The float is: 15.500000
3The string is: Chris
4&{10 15.5 Chris}
选择器
可以使用 .
来给结构体的字段赋值:structName.fieldName = value
。
同样,也可以用 .
来获取结构体中的字段的值:value := structName.fieldName
。
用 .
来操作结构体字段在 Go 语言中叫作选择器,对于结构体类型变量和结构体类型的指针变量,都可以使用选择器来引用结构体的字段:
1type myStruct struct {
2 i int
3}
4var v myStruct // v 是结构体类型变量5var p *myStruct // p 是指向一个结构体类型变量的指针6v.i
7p.i
初始化方式
初始化一个结构体实例的方式如下:
1ms := &struct1{10, 15.5, "Chris"} // ms 的类型为 *struct1
或者:
1ms := struct1{1, 1.2, "Bob"} // ms 的类型为 struct1
在使用 &struct{a, b, c}
混合字面量语法时,注意值顺序和结构体字段顺序要一一对应。new(Type)
和 &Type{}
是等价的。
我们来看一个例子:
1type Interval struct {
2 start int
3 end int
4}
5
6intr := Interval{0, 3} // A7intr := Interval{end: 5, start: 1} // B8intr := Interval{end: 5} // C
以 A 这种方式初始化,要注意值的顺序和结构体字段的顺序需一一对应。
以 B 这种方式初始化,要在每一个值前面加上字段名称和冒号,这种情况下,顺序不必一致;某些字段可以省略,如 C 这种初始化方式。
结构体的内存布局
Go 语言中,结构体和它所包含的数据在内存中是连续的,而 Java 中的实体类对象可能会保存在不同的内存空间中,因此 Go 语言的结构体具有更好的性能。
递归结构体
结构体可以进行自引用,特别是在定义链表和二叉树等数据结构时,特别有用。
例如,定义一个二叉树结点:
1type Tree struct {
2 data int
3 left *Tree // 指向左孩子结点的指针4 right *Tree // 指向右孩子结点的指针5}
使用工厂方法创建结构体
定义工厂方法
由于 Go 语言不支持面向对象的构造方法,因此使用工厂方法来创建实例,工厂方法一般以 New
开头。
例如,先定义一个名为 File
的结构体:
1type File struct {
2 fd int // 文件描述符3 name string // 文件名4}
以下是这个结构体对应的工厂方法,返回该结构体实例的指针:
1func NewFile(fd int, name string) *File {
2 if fd < 0 {
3 return nil
4 }
5
6 return &File{fd, name}
7}
可以这样调用上面定义的工厂方法:
1f := NewFile(1, "./a.txt")
强制使用工厂方法
注意:Go 语言中,小写字母开头的变量和函数无法被外部包导入(私有),大写字母开头的变量和函数可以被外部导入(共有)。
可以在定义结构体时,让结构体名称以小写字母开头,那么外部包就无法直接导入这个结构体(无法通过 new
函数初始化结构体),只能通过工厂方法来获取该结构体的实例。
我们来看一个例子,先定义一个结构体 matrix
和对应的工厂方法 NewMatrix
:
1package matrix
2
3type matrix struct {
4 // ... 5}
6
7func NewMatrix(params) *matrix {
8 m := new(matrix) // 初始化 m 9 return m
10}
在其他包中使用对应的工厂方法:
1package main
2
3import "matrix"
4
5// ...6
7wrong := new(matrix.matrix) // 编译失败(matrix 是私有的)8right := matrix.NewMatrix(...) // 实例化 matrix 的唯一方式
new() 和 make()
make() 函数只能用在初始化 slice
、map
和 channel
三种引用类型中。
new() 函数只能用在数组和结构体这样的值类型中,为变量分配内存。
带标签的结构体
结构体中的字段除了有名称和类型之外,还有一个可选的标签,标签以字符串的形式来编写。标签内容一般无法直接获取,需要通过反射来获取,常用于保存 ORM 字段和表单验证等。
标签用反引号 `` 包围,单个标签格式为 tagName:"tagValue"
,多个标签只需要用空格分开即可,如:
1type Tag struct {
2 field1 bool `name:"first field" id:"1"` // 定义两个标签 name 和 id,值分别为 first field 和 13 field2 string `name:"second field" id:"2"`
4 field3 int `name:"third field" id:"3"`
5}
可以通过反射获取标签的名称和值:
1package main
2
3import (
4 "fmt"
5 "reflect"
6)
7
8type Tag struct {
9 field1 bool `name:"first field" id:"1"`
10 field2 string `name:"second field" id:"2"`
11 field3 int `name:"third field" id:"3"`
12}
13
14func main() {
15 tag := Tag{
16 field1: false,
17 field2: "Bob",
18 field3: 99,
19 }
20 t := reflect.TypeOf(tag)
21
22 fmt.Println(t.Field(0).Tag)
23 fmt.Println(t.Field(1).Tag)
24 fmt.Println(t.Field(2).Tag)
25}
上述代码运行结果为:
1name:"first field" id:"1"
2name:"second field" id:"2"
3name:"third field" id:"3"
匿名字段和内嵌结构体
结构体可以包含一个或多个匿名字段,匿名字段是指没有显式名字的字段,但类型是必须的。匿名字段可以是结构体类型,结构体里可以内嵌结构体。
内嵌结构体可以被用来模拟类似类的继承行为。
我们来看一个例子:
1package main
2
3import "fmt"
4
5type innerS struct {
6 in1 int
7 in2 int
8}
9
10type outerS struct {
11 b int
12 c float32
13 int // anonymous field14 innerS // anonymous field15}
16
17func main() {
18 outer := new(outerS)
19 outer.b = 6
20 outer.c = 7.5
21 outer.int = 60
22 outer.in1 = 5
23 outer.in2 = 10
24
25 fmt.Printf("outer.b is: %d\n", outer.b)
26 fmt.Printf("outer.c is: %f\n", outer.c)
27 fmt.Printf("outer.int is: %d\n", outer.int)
28 fmt.Printf("outer.in1 is: %d\n", outer.in1)
29 fmt.Printf("outer.in2 is: %d\n", outer.in2)
30
31 // 使用结构体字面量32 outer2 := outerS{6, 7.5, 60, innerS{5, 10}}
33 fmt.Printf("outer2 is: %v", outer2)
34}
运行结果为:
1outer.b is: 6
2outer.c is: 7.500000
3outer.int is: 60
4outer.in1 is: 5
5outer.in2 is: 10
6outer2 is: {6 7.5 60 {5 10}}
可以通过类型来获取匿名字段中的数据,但每个结构体中对于每一种数据类型只能有一个匿名字段,若出现数据类型重名,需要手动处理(采用显式命名方式区分)。
方法
方法的定义
Go 语言中没有类的概念,那么怎么实现类似于类的方法呢?Go 语言中,方法作用在接收者 receiver
上,接收者可以是某种类型的变量,因此方法是一种特殊的函数。
接收者可以是任意类型,包括结构体,函数,int
,string
等。但不能是接口类型,因为接口是抽象定义,而方法却是具体实现。
Go 语言中,类型的代码和其对应的方法的代码可以不用放在同一个源文件中,但必须在同一个包下。
类型 T
(或 *T
)上的所有方法的集合叫做类型 T
(或 *T
)的方法集。
定义方法的格式如下:
1func (recv receiverType) methodName(params) returnValues {
2 // ...3}
注意:Go 语言官方建议
recv
命名一般取receiverType
具体类型名称的首字母小写,例如:若receiverType
为User
,那么recv
为u
。
在方法名 methodName
之前指定接收者 receiver
。
若 recv
是 receiver
的实例,Method1
是它的方法名,可以通过 Object.name
格式来调用:recv.Method1()
;若 recv
是 receiver
的指针实例,Go 编译器会自动解引用。
我们来看一个结构体方法的例子:
1package main
2
3import "fmt"
4
5type TwoInts struct {
6 a int
7 b int
8}
9
10func (tn *TwoInts) AddThem() int {
11 return tn.a + tn.b
12}
13
14func (tn *TwoInts) AddToParam(param int) int {
15 return tn.a + tn.b + param
16}
17
18func main() {
19 two1 := new(TwoInts)
20 two1.a = 12
21 two1.b = 10
22
23 fmt.Printf("The sum is: %d\n", two1.AddThem())
24 fmt.Printf("Add them to the param: %d\n", two1.AddToParam(20))
25
26 two2 := TwoInts{3, 4}
27 fmt.Printf("The sum is: %d\n", two2.AddThem())
28}
上述代码运行结果为:
1The sum is: 22
2Add them to the param: 42
3The sum is: 7
下面是非结构体方法的例子:
1package main
2
3import "fmt"
4
5type IntVector []int
6
7func (v IntVector) Sum() (s int) {
8 for _, x := range v {
9 s += x
10 }
11 return
12}
13
14func main() {
15 fmt.Println(IntVector{1, 2, 3}.Sum()) // 616}
函数和方法的区别
函数将变量作为参数:
Function(recv)
,而方法在变量上被调用:recv.Method1()
;当方法接收者为指针时,方法会改变接收者的值;函数也可以通过传递引用类型参数做到。
Go 语言中,类型关联的方法不写在类型结构中,耦合性更低;类型和方法之间的关联由接收者来建立。
指针接收者和值接收者
指针接收和值接收的区别在于,指针接收会改变接收者的值。
我们来看一个例子:
1package main
2
3import (
4 "fmt"
5)
6
7type B struct {
8 thing int
9}
10
11// 指针方法12func (b *B) change() { b.thing = 1 }
13
14// 值方法15func (b B) write() string { return fmt.Sprint(b) }
16
17func main() {
18 var b1 B // b1 是值19 b1.change()
20 fmt.Println(b1.write())
21
22 b2 := new(B) // b2 是指针23 b2.change()
24 fmt.Println(b2.write())
25}
上述代码运行结果为:
1{1}
2{1}
从上述代码中我们可以知道,指针方法和值方法都可以被指针实例或非指针实例调用,且指针方法会修改接收者的值,因为它传递的是对象的引用。
我们修改下之前的代码,让 change()
方法变为值方法:
1package main
2
3import (
4 "fmt"
5)
6
7type B struct {
8 thing int
9}
10
11// 值方法12func (b B) change() { b.thing = 1 }
13
14// 值方法15func (b B) write() string { return fmt.Sprint(b) }
16
17func main() {
18 var b1 B // b1 是值19 b1.thing = 2
20 b1.change()
21 fmt.Println(b1.write())
22
23 b2 := new(B) // b2 是指针24 b2.thing = 3
25 b2.change()
26 fmt.Println(b2.write())
27}
运行结果为:
1{2}
2{3}
我们发现 change()
方法并没有改变接收者的值,因为在调用 change()
方法时,传递的是对象的拷贝。
方法和未导出字段
若结构体能在外部包中引入,而该结构体中的字段都是小写字母开头,无法在外部包中导出,那么如何获取和修改未导出字段呢?可以通过定义该结构体的 Get
和 Set
方法来实现(类似于 Java 中的 Getter 和 Setter 方法):
1package person
2
3type Person struct {
4 firstName string
5 lastName string
6}
7
8// 获取 firstName 9func (p *Person) GetFirstName() string {
10 return p.firstName
11}
12
13// 设置 firstName14func (p *Person) SetFirstName(newName string) {
15 p.firstName = newName
16}
内嵌类型方法与继承
当一个匿名类型被嵌入结构体中时,该结构体会继承匿名类型中的方法。
我们来看一个例子:
1package main
2
3import (
4 "fmt"
5 "math"
6)
7
8type Point struct {
9 x, y float64
10}
11
12func (p *Point) Abs() float64 {
13 return math.Sqrt(p.x*p.x + p.y*p.y)
14}
15
16type NamedPoint struct {
17 Point
18 name string
19}
20
21func main() {
22 n := &NamedPoint{Point{3, 4}, "Pythagoras"}
23 fmt.Println(n.Abs()) // 524}
上述代码中结构体 NamePoint
内嵌了结构体 Point
,因而也继承了结构体 Point
对应的指针方法 Abs()
,通过 NamePoint
的实例即可调用该方法。
若在外层结构体定义了与内嵌结构体同名的方法,将会覆盖内嵌结构体的同名方法,例如:
1package main
2
3import (
4 "fmt"
5 "math"
6)
7
8type Point struct {
9 x, y float64
10}
11
12type NamedPoint struct {
13 Point
14 name string
15}
16
17func (p *Point) Abs() float64 {
18 return math.Sqrt(p.x*p.x + p.y*p.y)
19}
20
21func (n *NamedPoint) Abs() float64 {
22 return n.Point.Abs() * 100
23}
24
25func main() {
26 n := &NamedPoint{Point{3, 4}, "Pythagoras"}
27 fmt.Println(n.Abs()) // 50028}
多重继承
多重继承是指类型能获得多个父类型的行为的能力。在 Go 语言中,可以在类型中嵌入多个父类型来实现简单的多重继承。
假设有一个类型 CameraPhone
,它包含了 Camera
和 Phone
,因此可以使用 Call()
和 TakeAPicture()
方法。
1package main
2
3import (
4 "fmt"
5)
6
7type Camera struct{}
8
9func (c *Camera) TakeAPicture() string {
10 return "Click"
11}
12
13type Phone struct{}
14
15func (p *Phone) Call() string {
16 return "Ring Ring"
17}
18
19type CameraPhone struct {
20 Camera
21 Phone
22}
23
24func main() {
25 cp := new(CameraPhone)
26 fmt.Println("Our new CameraPhone exhibits multiple behaviors...")
27 fmt.Println("It exhibits behavior of a Camera: ", cp.TakeAPicture())
28 fmt.Println("It works like a Phone too: ", cp.Call())
29}
上述代码运行结果为:
1Our new CameraPhone exhibits multiple behaviors...
2It exhibits behavior of a Camera: Click
3It works like a Phone too: Ring Ring
总结
Go 和面向对象的语言 Java 和 python 不同,在 Java 中,在一个对象上调用方法,运行时会检测当前类和它的超类中是否有此方法,没有会报错。而 Go 语言不存在这样的继承层次,若方法在此类型中定义了,就可以调用它,和该类型中的内嵌类型是否存在该方法没有关系。
在 Go 中,类型就是类,Go 的继承不同于面对对象语言中的继承。
在 Go 中,代码复用通过组合和委托来实现,多态通过接口来实现,这被称为组件编程。