（7-1）结构体和共用体：定义并使用结构体

在前面的内容中，我们已经学习了一种构造数据的类型—数组，在数组里面能够存储多个同种类型的数据。但是在实际应用中，有时需要在一组数据中保存多个不同类型的数据。例如，在学生登记表中，姓名应该是字符型，学号可以是整型或字符型，年龄应为整型，性别应为字符型，成绩可以为整型或实型。很显然，我们不能用一个数组来存放学生登记表中的所有信息。为了能够同时存储各种数据类型的数据，Go语言提供了结构（structure，或叫结构体）和共用体类型。在本章的内容中，将详细讲解C语言中结构体和共用体的知识.

7.1  定义并使用结构体

结构体也被称为结构，是Go语言中另一种常用的构造数据类型，它是由若干“成员”组成的，每一个成员可以是一个基本数据类型或者又是一个构造类型。

7.1.1  定义结构体

在 Go 语言中，声明结构体的语法格式如下：

type 类型名 struct {
    字段1 字段1类型
    字段2 字段2类型
    …
}

1. 类型名：标识自定义结构体的名称，在同一个包内不能重复。
2. struct{}：表示结构体类型，type 类型名 struct{}可以理解为将 struct{} 结构体定义为类型名的类型。
3. 字段1、字段2……：表示结构体字段名，结构体中的字段名必须唯一。
4. 字段1类型、字段2类型……：表示结构体各个字段的类型。

例如下面的代码定义一个名为 person 的结构体类型，它包含三个字段：name、age 和 sex。

type person struct {
    name string
    age  int
    sex  string
}

7.1.2  实例化结构体

结构体的定义只是一种内存布局的描述，只有当结构体实例化时，才会真正地分配内存，因此必须在定义结构体并实例化后才能使用结构体的字段。实例化就是根据结构体定义的格式创建一份与格式一致的内存区域，结构体实例与实例间的内存是完全独立的。

在Go语言中，可以通过多种方式实例化结构体，根据实际需要可以选用不同的写法。

（1）基本的实例化形式

结构体本身是一种数据类型，可以像整型、字符串等类型一样，以 var 的方式声明结构体即可完成结构体的实例化工作。基本实例化的语法格式如下：

var ins T

其中，T 为结构体类型，ins 为结构体的实例。

例如在下面的演示代码中，定义了表示点的结构体，然后进行了实例化操作。

type Point struct {
    X int
    Y int
}
var p Point
p.X = 10
p.Y = 20

在上述代码中，使用点“.”来访问结构体的成员变量，如p.X和p.Y等，结构体成员变量的赋值方法与普通变量一致。

（2）创建指针类型的结构体

在Go语言中，还可以使用关键字new对结构体进行实例化，结构体在实例化后会形成指针类型的结构体。使用关键字new实现实例化的格式如下：

ins := new(T)

1. T：为类型，可以是结构体、整型、字符串等。
2. ins：T 类型被实例化后保存到 ins 变量中，ins 的类型为 *T，属于指针。

在Go语言中，可以像访问普通结构体一样使用点“.”来访问结构体指针的成员。

例如在下面的代码中，定义了一个玩家（Player）的结构，玩家拥有名字、生命值和魔法值，实例化玩家（Player）结构体后，可对成员进行赋值。

type Player struct{
    Name string
    HealthPoint int
    MagicPoint int
}

tank := new(Player)
tank.Name = "Canon"
tank.HealthPoint = 300

由此可见，经过关键字new实例化后的结构体实例，在成员赋值上与基本实例化的写法一致。

（3）取结构体地址的实例化

在Go语言中，当对结构体进行&取地址操作时，可以将其视为对该类型进行一次 new的实例化操作。取结构体地址的实例化格式如下：

ins := &T{}

1. T：表示结构体类型。
2. ins：为结构体的实例，类型为 *T，是指针类型。

例如在下面的代码中，用结构体定义一个命令行指令（Command），指令中包含名称、变量关联和注释等，对 Command 进行指针地址的实例化，并完成赋值过程。

type Command struct {
    Name    string    // 指令名称
    Var     *int      // 指令绑定的变量
    Comment string    // 指令的注释
}
var version int = 1
cmd := &Command{}
cmd.Name = "version"
cmd.Var = &version
cmd.Comment = "show version"

对上述代码的具体说明如下：

1. 第 1 行，定义 Command 结构体，表示命令行指令
2. 第 3 行，命令绑定的变量，使用整型指针绑定一个指针，指令的值可以与绑定的值随时保持同步。
3. 第 6行，命令绑定的目标整型变量：版本号。
4. 第 7 行，对结构体取地址实例化。
5. 第 8～10 行，初始化成员字段。

7.1.3  初始化结构体的成员变量

结构体在实例化时可以直接对成员变量进行初始化，有两种初始化形式，分别是以字段“键-值对”形式和多个值的列表形式，键-值对形式的初始化适合选择性填充字段较多的结构体，多个值的列表形式适合填充字段较少的结构体。

1. 使用“键-值对”初始化结构体

结构体可以使用“键-值对”（Key-value pair）初始化字段，每个“键”（Key）对应结构体中的一个字段，键的“值”（Value）对应字段需要初始化的值。键值对的填充是可选的，不需要初始化的字段可以不填入初始化列表中。

结构体实例化后字段的默认值是字段类型的默认值，例如 ，数值为 0、字符串为 ""（空字符串）、布尔为 false、指针为 nil 等。

在Go语言中，键-值对初始化结构体成员的语法格式如下：

ins := 结构体类型名{
    字段1: 字段1的值,
    字段2: 字段2的值,
    …
}

1. 结构体类型：定义结构体时的类型名称。
2. 字段1、字段2：结构体成员的字段名，结构体类型名的字段初始化列表中，字段名只能出现一次。
3. 字段1的值、字段2的值：结构体成员字段的初始值。
4. 键和值之间以分号:分隔，键-值对之间以逗号,分隔。

例如在下面的例子中描述了家人的人物关联，正如儿歌里唱的：“爸爸的爸爸是爷爷”，人物之间可以使用多级的 child 来描述和建立关联，使用键值对形式填充结构体的代码如下。

type People struct {
    name  string
    child *People
}
relation := &People{
    name: "爷爷",
    child: &People{
        name: "爸爸",
        child: &People{
                name: "我",
        },
    },
}

1. 第 1 行，定义 People 结构体。
2. 第 2 行，结构体的字符串字段。
3. 第 3 行，结构体的结构体指针字段，类型是 *People。
4. 第 5 行，relation 由 People 类型取地址后，形成类型为 *People 的实例。
5. 第 7行，child 在初始化时，需要 *People 类型的值，使用取地址初始化一个 People。

2. 使用多个值的列表初始化结构体成员

Go语言可以在“键值对”初始化的基础上忽略“键”，也就是说，可以使用多个值的列表初始化结构体的字段。使用多个值的列表初始化结构体成员的语法格式如下：

ins := 结构体类型名{
    字段1的值,
    字段2的值,
    …
}

在使用上述格式初始化时需要注意：

1. 必须初始化结构体的所有字段。
2. 每一个初始值的填充顺序必须与字段在结构体中的声明顺序一致。
3. 键值对与值列表的初始化形式不能混用。

例如下面的演示代码描述了一段地址结构，地址要求具有一定的顺序。

type Address struct {
    Province    string
    City        string
    ZipCode     int
    PhoneNumber string
}
addr := Address{
    "四川",
    "成都",
    610000,
    "0",
}
fmt.Println(addr)

执行后会输出：

{四川 成都 610000 0}

3. 初始化匿名结构体

在Go语言中，匿名结构体没有类型名称，无须通过 type 关键字定义就可以直接使用。匿名结构体的初始化语法格式由结构体定义和键值对初始化两部分组成，具体语法格式如下所示：

ins := struct {
    // 匿名结构体字段定义
    字段1 字段类型1
    字段2 字段类型2
    …
}{
    // 字段值初始化
    初始化字段1: 字段1的值,
    初始化字段2: 字段2的值,
    …
}

在上述格式中，定义结构体时没有结构体类型名，只有字段和类型定义，键值对初始化部分由可选的多个键值对组成，下面是对各个部分的说明：

1. 字段1、字段2……：结构体定义的字段名。
2. 初始化字段1、初始化字段2……：结构体初始化时的字段名，可选择性地对字段初始化。
3. 字段类型1、字段类型2……：结构体定义字段的类型。
4. 字段1的值、字段2的值……：结构体初始化字段的初始值。

键值对初始化部分是可选的，不初始化成员时，匿名结构体的格式变为：

ins := struct {
    字段1 字段类型1
    字段2 字段类型2
    …
}

下面是一段使用匿名结构体的演示代码，使用匿名结构体的方式定义和初始化一个消息结构，这个消息结构具有消息标示部分（ID）和数据部分（data），打印消息内容的 printMsg() 函数在接收匿名结构体时需要在参数上重新定义匿名结构体。

package main
import (
    "fmt"
)
// 打印消息类型, 传入匿名结构体
func printMsgType(msg *struct {
    id   int
    data string
}) {
    // 使用动词%T打印msg的类型
    fmt.Printf("%T\n", msg)
}
func main() {
    // 实例化一个匿名结构体
    msg := &struct {  // 定义部分
        id   int
        data string
    }{  // 值初始化部分
        1024,
        "hello",
    }
    printMsgType(msg)
}

执行后会输出：

*struct { id int; data string }

1. 第 6 行，定义 printMsgType() 函数，参数为 msg，类型为*struct{id int data string}，因为类型没有使用 type 定义，所以需要在每次用到的地方进行定义。
2. 第 11 行，使用字符串格式化中的%T动词，将 msg 的类型名打印出来。
3. 第 15行，对匿名结构体进行实例化，同时初始化成员。
4. 第16和 17 行，定义匿名结构体的字段。
5. 第19和 20 行，给匿名结构体字段赋予初始值。
6. 第 22 行，将 msg 传入 printMsgType() 函数中进行函数调用。