sunnyJam 2020-02-18
Go 通过类型别名(alias types)和结构体的形式支持用户自定义类型,或者叫定制类型。试图表示一个现实世界中的实体。
结构体由一系列命名的元素组成,这些元素又被称为字段,每个字段都有一个名称和一个类型。
结构体的目的就是把数据聚集在一起,以便能够更加便捷地操作这些数据。结构体的概念在 C 语言里很常见,被称为 struct。Golang 中的结构体也是 struct。Go 语言中没有类的概念,因此在 Go 中结构体有着更为重要的地位。结构体是复合类型(composite types),当需要定义一个类型,它由一系列属性组成,每个属性都有自己的类型和值的时候,就应该使用结构体,它把数据聚集在一起。然后可以访问这些数据,就好像它是一个独立实体的一部分。结构体也是值类型,因此可以通过 new 函数来创建。
定义结构体
在 Golang 中最常用的方法是使用关键字 type 和 struct 来定义一个结构体,以关键字 type 开始,之后是新类型的名字,最后是关键字 struct:
// Person 为用户定义的一个类型
type Person struct {
Name string
Age int
Email string
}
还有一些简单的写法,比如:
type T struct { a, b int }
也是合法的,它更适用于简单的结构体。
结构体里的字段都有名字,比如上面例子中的 Name、Age 和 Email 等等。如果一个字段在代码中从来不会被用到,那可以把它命名为 _,即空标识符。
结构体中的字段可以是任何类型,甚至是结构体本身,也可以是函数或者接口。可以声明结构体类型的一个变量,然后像下面这样给它的字段赋值:
var p Person
p.Name = "nick"
p.Age = 28
另外,数组可以看作是一种结构体类型,不过它使用下标而不是具名的字段。
字段标记
在定义结构体时还可以为字段指定一个标记信息:
type Person struct {
Name string json:"name"
Age int json:"age"
Email string json:"email"
}
这些标记信息通过反射接口可见,并参与结构体的类型标识,但在其他情况下被忽略。
声明结构体类型的变量
一旦定义了结构体类型就可以使用这个类型创建值。
使用结构类型声明变量,并初始化为零值
var nick Person
关键字 var 创建了类型为 Person 且名为 nick 的变量。nick 被称作类型 Person 的一个实例(instance)或对象(object)。注意:当声明变量时,这个变量对应的值总是会被初始化。这个值要么用指定的值初始化,要么用零值(即变量类型的默认值)做初始化。对数值类型来说,零值是 0;对字符串来说,零值是空字符串;对布尔类型,零值是 false。
通过上面的方式声明结构体类型的变量,结构体里的每个字段都会用零值初始化。任何时候,创建一个变量并初始化为零值,习惯上会使用关键字 var。这种用法是为了更明确地表示一个变量被设置为零值。
使用结构体字面量声明变量,并初始化为非零值
如果希望变量被初始化为某个非零值,可以通过结构体字面量和短变量声明操作符(:=)来创建变量。下面的代码展示了如何声明一个 Persion 类型的变量,并使用某个非零值作为初始值。
// 声明 Person 类型的变量,并初始化所有字段
nick := Person{
Name: "nick",
Age: 28,
Email: "",
}
在第一行中我们给出了一个变量名 nick,之后是短变量声明操作符。这个操作符是冒号加一个等号 (:=)。一个短变量声明操作符在一次操作中完成两件事情:声明一个变量,并初始化。短变量声明操作符会使用右侧给出的类型信息作为声明变量的类型。
短变量声明操作符(:=)
它的作用是声明并且赋值一个变量,其好处是不需要写 var 三个字母,另外不需要写类型,Golang 语言会自动根据赋值的内容确定类型。
使用短变量声明操作符也有一些限制,比如不能在函数外面使用,即不能用来声明全局变量。另外短变量声明操作符左边至少得有一个变量是没有定义过的。
字面量的两种写法
结构体字面量可以对结构体类型进行初始化,比如前面介绍过的示例:
nick := Person{
Name: "nick",
Age: 28,
Email: "",
}
这种形式在不同行声明每个字段的名字以及对应的值。字段名与值用冒号分隔,每一行以逗号结尾。这种形式对字段的声明顺序没有要求。
第二种形式没有字段名,只声明对应的值,如下面的代码:
nick := Person{"nick", 28, ""}
每个值也可以分别占一行,不过习惯上这种形式会写在一行里,结尾不需要逗号。这种形式下,值的顺序很重要,必须要和结构声明中字段的顺序一致。
new 函数
new 是一个用来分配内存的内置函数,但是与 C++ 不一样的是,它并不初始化内存,只是将其置零。也就是说,new(T) 会为类型 T 分配被置零的内存,并且返回它的地址,一个类型为 *T 的值。在 Golang 的术语中,其返回一个指向新分配的类型为 T 的指针,这个指针指向的内容的值为零(zero value)。比如下面的代码:
nick := new(Person)
这里的变量 nick 是一个指针:
fmt.Printf("%T", nick)
输出的结果为:*main.Student
而通过下面方式声明的变量:
var nick Person
类型则是:main.Student
使用 new 函数时,声明变量和分配内存并不需要放在一起,可以先声明一个变量,然后再通过 new 函数为之分配内存,比如下面的写法:
var nick *Person
nick = new (Person)
new 函数的特点是只能把内存初始化为零值并返回其指针,如果要通过字面量初始化该内存就需要使用混合字面量语法(composite literal syntax):
&T{...}
比如下面的写法:
nick := &Person{
Name: "nick",
Age: 28,
Email: "",
}
此时 nick 的类型也是 *Person。因此我们可以得出下面的结论:
表达式 new(Type) 和 &Type{} 是等价的。
选择器(selector)
在 Golang 中,访问结构体成员需要使用点号操作符,点号操作符也被称为选择器(selector),使用时的格式为:
结构体.成员名
注意:这里的 "结构体" 是指结构体类型的变量或结构体指针类型的变量。无论变量是一个结构体类型还是一个结构体类型指针,都可以使用相同的选择器服务来引用结构体的字段。
匿名字段和内嵌结构体
结构体可以包含一个或多个匿名(或者称为内嵌)字段,即这些字段没有显式的名字。仅指明字段的类型,此时该类型就是字段的名字。匿名字段本身可以是一个结构体类型,即结构体可以包含内嵌的结构体。
匿名字段
匿名字段和面向对象编程中的继承概念相似,可以被用来模拟类似继承的行为。Golang 中的基础就是通过内嵌或组合来实现的,所以说在 Golang 中组合比继承更受欢迎。比如下面的例子:
type test struct {
name string
age int
int // 匿名字段
}
内嵌结构体
结构体也是一种数据类型,所以它同样可以作为匿名字段使用:
复制代码
type Person struct {
Name string
Age int
Email string
}
type Student struct {
Person
StudentID int
}
复制代码
下面的代码可以声明并初始化 Student 类型的变量:
st := Student {
Person: Person{"jack", 22, ""},
StudentID: 1000,
}
从这个示例可以看出,内层结构体被简单地插入或者内嵌进外层结构体。这种简单的 "继承" 机制使得 Golang 很轻松就能实现从一个或一些类型中继承部分或全部的实现。
总结
Golang 中没有类的概念,因此在 Golang 中结构体有着更为重要的地位。所以学习并掌握结构体是入门 Golang 的关键步骤。希望本文能够帮助大家理解 Golang 结构体的基本概念和用法。
参考:
Golang Struct types
《Go语言编程入门与实战技巧》
结构体定义
go 语言的变量声明并赋值运算符(:=)