Go 语言通过 定义结构体来支持用户自定义类型。一个结构体代表现实世界中的一个实体,类似于 Java 中的实体类。当要定义一个类型时,这个类型包含很多属性,例如定义一个用户类型,用户类型中包含用户名、密码和生日等属性,就可以使用结构体。
组成结构体属性的数据成为字段,每个字段都有类型和名称;在结构体中,字段名称必须唯一。由于 Go 语言中不存在类的概念,所以结构体 struct
在 Go 语言中有着较高的地位。
结构体的定义
格式
结构体定义的格式如下:
1 | type variable struct { |
若结构体中有多个同类型字段,可以简写,如:
1 | type T struct { |
若结构体中的字段并不需要使用,可以用匿名变量 _
来定义,如:
1 | type M struct { |
结构体中字段的类型可以是任意类型(包括结构体、函数和接口等)。
使用 new
可以使用 new
函数给新结构体变量分配内存,它返回指向分配内存的指针,如:
1 | var t *T = new(T) |
当然,也可以将上述语句拆成两行:
1 | var t *T |
在函数内部,一般采用短变量形式,如:
1 | t := new(T) |
声明 var t T
也会给 t
分配内存,并零值化内存,但此时 t
是类型 T。在这两种方式中,t
通常被称作 T
的一个实例(instance
)或者对象(Object
)。
我们来看一个例子,如下:
1 | package main |
上述代码运行结果:
1 | The int is: 10 |
选择器
可以使用 .
来给结构体的字段赋值:structName.fieldName = value
。
同样,也可以用 .
来获取结构体中的字段的值:value := structName.fieldName
。
用 .
来操作结构体字段在 Go 语言中叫作选择器,对于结构体类型变量和结构体类型的指针变量,都可以使用选择器来引用结构体的字段:
1 | type myStruct struct { |
初始化方式
初始化一个结构体实例的方式如下:
1 | ms := &struct1{10, 15.5, "Chris"} // ms 的类型为 *struct1 |
或者:
1 | ms := struct1{1, 1.2, "Bob"} // ms 的类型为 struct1 |
在使用 &struct{a, b, c}
混合字面量语法时,注意值顺序和结构体字段顺序要一一对应。new(Type)
和 &Type{}
是等价的。
我们来看一个例子:
1 | type Interval struct { |
以 A 这种方式初始化,要注意值的顺序和结构体字段的顺序需一一对应。
以 B 这种方式初始化,要在每一个值前面加上字段名称和冒号,这种情况下,顺序不必一致;某些字段可以省略,如 C 这种初始化方式。
结构体的内存布局
Go 语言中,结构体和它所包含的数据在内存中是连续的,而 Java 中的实体类对象可能会保存在不同的内存空间中,因此 Go 语言的结构体具有更好的性能。
递归结构体
结构体可以进行自引用,特别是在定义链表和二叉树等数据结构时,特别有用。
例如,定义一个二叉树结点:
1 | type Tree struct { |
使用工厂方法创建结构体
定义工厂方法
由于 Go 语言不支持面向对象的构造方法,因此使用工厂方法来创建实例,工厂方法一般以 New
开头。
例如,先定义一个名为 File
的结构体:
1 | type File struct { |
以下是这个结构体对应的工厂方法,返回该结构体实例的指针:
1 | func NewFile(fd int, name string) *File { |
可以这样调用上面定义的工厂方法:
1 | f := NewFile(1, "./a.txt") |
强制使用工厂方法
注意:Go 语言中,小写字母开头的变量和函数无法被外部包导入(私有),大写字母开头的变量和函数可以被外部导入(共有)。
可以在定义结构体时,让结构体名称以小写字母开头,那么外部包就无法直接导入这个结构体(无法通过 new
函数初始化结构体),只能通过工厂方法来获取该结构体的实例。
我们来看一个例子,先定义一个结构体 matrix
和对应的工厂方法 NewMatrix
:
1 | package matrix |
在其他包中使用对应的工厂方法:
1 | package main |
new() 和 make()
make() 函数只能用在初始化 slice
、map
和 channel
三种引用类型中。
new() 函数只能用在数组和结构体这样的值类型中,为变量分配内存。
带标签的结构体
结构体中的字段除了有名称和类型之外,还有一个可选的标签,标签以字符串的形式来编写。标签内容一般无法直接获取,需要通过反射来获取,常用于保存 ORM 字段和表单验证等。
标签用反引号 `` 包围,单个标签格式为 tagName:"tagValue"
,多个标签只需要用空格分开即可,如:
1 | type Tag struct { |
可以通过反射获取标签的名称和值:
1 | package main |
上述代码运行结果为:
1 | name:"first field" id:"1" |
匿名字段和内嵌结构体
结构体可以包含一个或多个匿名字段,匿名字段是指没有显式名字的字段,但类型是必须的。匿名字段可以是结构体类型,结构体里可以内嵌结构体。
内嵌结构体可以被用来模拟类似类的继承行为。
我们来看一个例子:
1 | package main |
运行结果为:
1 | outer.b is: 6 |
可以通过类型来获取匿名字段中的数据,但每个结构体中对于每一种数据类型只能有一个匿名字段,若出现数据类型重名,需要手动处理(采用显式命名方式区分)。
方法
方法的定义
Go 语言中没有类的概念,那么怎么实现类似于类的方法呢?Go 语言中,方法作用在接收者 receiver
上,接收者可以是某种类型的变量,因此方法是一种特殊的函数。
接收者可以是任意类型,包括结构体,函数,int
,string
等。但不能是接口类型,因为接口是抽象定义,而方法却是具体实现。
Go 语言中,类型的代码和其对应的方法的代码可以不用放在同一个源文件中,但必须在同一个包下。
类型 T
(或 *T
)上的所有方法的集合叫做类型 T
(或 *T
)的方法集。
定义方法的格式如下:
1 | func (recv receiverType) methodName(params) (returnValues) { |
注意:Go 语言官方建议
recv
命名一般取receiverType
具体类型名称的首字母小写,例如:若receiverType
为User
,那么recv
为u
。
在方法名 methodName
之前指定接收者 receiver
。
若 recv
是 receiver
的实例,Method1
是它的方法名,可以通过 Object.name
格式来调用:recv.Method1()
;若 recv
是 receiver
的指针实例,Go 编译器会自动解引用。
我们来看一个结构体方法的例子:
1 | package main |
上述代码运行结果为:
1 | The sum is: 22 |
下面是非结构体方法的例子:
1 | package main |
函数和方法的区别
- 函数将变量作为参数:
Function(recv)
,而方法在变量上被调用:recv.Method1()
; - 当方法接收者为指针时,方法会改变接收者的值;函数也可以通过传递引用类型参数做到。
- Go 语言中,类型关联的方法不写在类型结构中,耦合性更低;类型和方法之间的关联由接收者来建立。
指针接收者和值接收者
指针接收和值接收的区别在于,指针接收会改变接收者的值。
我们来看一个例子:
1 | package main |
上述代码运行结果为:
1 | {1} |
从上述代码中我们可以知道,指针方法和值方法都可以被指针实例或非指针实例调用,且指针方法会修改接收者的值,因为它传递的是对象的引用。
我们修改下之前的代码,让 change()
方法变为值方法:
1 | package main |
运行结果为:
1 | {2} |
我们发现 change()
方法并没有改变接收者的值,因为在调用 change()
方法时,传递的是对象的拷贝。
方法和未导出字段
若结构体能在外部包中引入,而该结构体中的字段都是小写字母开头,无法在外部包中导出,那么如何获取和修改未导出字段呢?可以通过定义该结构体的 Get
和 Set
方法来实现(类似于 Java 中的 Getter 和 Setter 方法):
1 | package person |
内嵌类型方法与继承
当一个匿名类型被嵌入结构体中时,该结构体会继承匿名类型中的方法。
我们来看一个例子:
1 | package main |
上述代码中结构体 NamePoint
内嵌了结构体 Point
,因而也继承了结构体 Point
对应的指针方法 Abs()
,通过 NamePoint
的实例即可调用该方法。
若在外层结构体定义了与内嵌结构体同名的方法,将会覆盖内嵌结构体的同名方法,例如:
1 | package main |
多重继承
多重继承是指类型能获得多个父类型的行为的能力。在 Go 语言中,可以在类型中嵌入多个父类型来实现简单的多重继承。
假设有一个类型 CameraPhone
,它包含了 Camera
和 Phone
,因此可以使用 Call()
和 TakeAPicture()
方法。
1 | package main |
上述代码运行结果为:
1 | Our new CameraPhone exhibits multiple behaviors... |
总结
Go 和面向对象的语言 Java 和 python 不同,在 Java 中,在一个对象上调用方法,运行时会检测当前类和它的超类中是否有此方法,没有会报错。而 Go 语言不存在这样的继承层次,若方法在此类型中定义了,就可以调用它,和该类型中的内嵌类型是否存在该方法没有关系。
- 在 Go 中,类型就是类,Go 的继承不同于面对对象语言中的继承。
- 在 Go 中,代码复用通过组合和委托来实现,多态通过接口来实现,这被称为组件编程。
转载请注明来源,欢迎对文章中的引用来源进行考证,欢迎指出任何有错误或不够清晰的表达。可以在下面评论区评论,也可以邮件至 richffan@outlook.com