《Go 程序设计语言》4.4 结构体 核心概念总结
1. 基本定义
结构体（struct）是聚合数据类型，将零个或多个不同类型的值组合成一个实体：
1
2
3
4
5
6
7
8
9
10
11
| type Employee struct {
ID int
Name string
Address string
DoB time.Time
Position string
Salary int
ManagerID int
}
var dilbert Employee
|
🔹 相同类型成员可合并声明
1
2
3
| type Point struct {
X, Y int
}
|
2. 成员访问与修改
1
2
3
4
5
6
7
8
9
10
11
|
dilbert.Name = "Alice"
fmt.Println(dilbert.Salary)
position := &dilbert.Position
*position = "Senior Engineer"
p := &dilbert
p.Name = "Bob"
|
💡 Go 中指针访问字段时自动解引用，p.Field 和 (*p).Field 完全等价，推荐用简写。
3. 函数返回指针 vs 返回值
1
2
3
4
5
6
7
| func EmployeeByID(id int) *Employee { }
EmployeeByID(id).Salary = 0
|
| 返回类型 |
能否直接修改字段 |
原因 |
*Employee |
✅ 能 |
指针指向原始数据，可寻址 |
Employee |
❌ 不能 |
返回临时副本，不可寻址 |
4. 成员顺序有意义
成员的定义顺序会影响结构体的类型标识。交换字段顺序就是定义了不同的结构体类型：
1
2
3
| type A struct { Name string; Age int }
type B struct { Age int; Name string }
|
⚠️ 结构体类型的比较是严格基于字段名、类型和顺序的。
5. 导出规则（可见性）
1
2
3
4
| type Employee struct {
Name string
salary int
}
|
| 字段名开头 |
可见范围 |
说明 |
大写（Name） |
全项目可见 |
可被其他包访问 |
小写（salary） |
仅当前包可见 |
封装内部实现细节 |
6. 不能包含自身，但可以包含自身指针
1
2
3
4
5
6
7
8
9
10
11
|
type Node struct {
value int
next Node
}
type Node struct {
value int
next *Node
}
|
💡 这是实现链表、树、图等递归数据结构的关键。
7. 结构体字面值
🔹 方式一：按顺序赋值（位置初始化）
- ✅ 简洁，适合字段少、顺序明确的场景
- ❌ 必须按定义顺序提供所有字段值，易出错
🔹 方式二：按名称赋值（推荐 ✨）
- ✅ 可只赋部分字段，未赋值的自动为零值
- ✅ 与顺序无关，可读性更强
- ✅ 代码更健壮，字段顺序变更不影响初始化
⚠️ 两种方式不能混用：一旦使用 Field: value 语法，所有字段都必须用此方式。
8. 结构体作为函数参数
🔹 值传递（拷贝整个结构体）
1
2
3
4
| func Scale(p Point, factor int) Point {
return Point{p.X * factor, p.Y * factor}
}
|
- ✅ 函数内修改不影响原始数据
- ❌ 大结构体拷贝开销大
🔹 指针传递（高效，可修改原始数据）
1
2
3
4
| func Bonus(e *Employee, amount int) {
e.Salary += amount
}
|
- ✅ 只拷贝指针（8 字节），高效
- ✅ 可修改原始数据
- ✅ 可返回
nil 表示”不存在”
经验法则：小结构体（如 Point）可值传递；大结构体或需修改时用指针传递。
9. 结构体比较
🔹 可比较的条件
所有成员都可比较 → 结构体就可比较：
1
2
3
| p := Point{1, 2}
q := Point{1, 2}
fmt.Println(p == q)
|
🔹 可作为 map 的 key
1
2
3
4
5
6
7
| type Address struct {
Host string
Port int
}
hits := make(map[Address]int)
hits[Address{"golang.org", 443}]++
|
🔹 不可比较的情况
如果结构体包含不可比较的字段（如 slice、map、function），则整个结构体不可比较：
1
2
3
4
5
| type Config struct {
Settings map[string]string
}
|
10. 嵌入与匿名成员（⚠️ 重点）
🔹 普通嵌套（繁琐）
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
| type Point struct{ X, Y int }
type Circle struct {
Center Point
Radius int
}
type Wheel struct {
Circle Circle
Spokes int
}
var w Wheel
w.Circle.Center.X = 8
|
🔹 匿名嵌入（语法糖 ✨）
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| type Circle struct {
Point
Radius int
}
type Wheel struct {
Circle
Spokes int
}
var w Wheel
w.X = 8
w.Y = 8
w.Radius = 5
w.Spokes = 20
|
🔹 匿名成员的注意事项
| 场景 |
规则 |
示例 |
| 字面值初始化 |
❌ 不能省略层级 |
Wheel{X: 8} 编译错误，必须写完整嵌套 |
| 同名冲突 |
❌ 不能有同类型的两个匿名成员 |
struct { Point; Point } 编译错误 |
| 字段可见性 |
✅ 匿名成员可不导出，但字段仍受导出规则约束 |
struct { point } 包外无法访问 point 的任何字段 |
✅ 正确的字面值初始化写法：
1
2
3
4
5
6
7
| w := Wheel{
Circle: Circle{
Point: Point{X: 8, Y: 8},
Radius: 5,
},
Spokes: 20,
}
|
🔑 关键要点速记
| 要点 |
说明 |
| 成员顺序 |
有意义，不同顺序 = 不同类型 |
| 导出规则 |
大写开头导出，小写开头包内私有 |
| 自引用 |
不能包含自身值，但能包含自身的指针 |
| 字面值 |
按序赋值 / 按名赋值，二者不能混用 |
| 比较 |
所有成员可比较 → 结构体可比较 → 可做 map key |
| 大结构体传参 |
用指针，避免拷贝开销 |
| 匿名成员 |
访问时可省略中间层级，字面值初始化时不能省略 |
| 指针访问 |
p.Field 自动解引用，等价于 (*p).Field |
🎯 实践建议
✅ 结构体设计原则
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
type User struct {
ID uint64
Username string
CreatedAt time.Time
LastLogin time.Time
settings map[string]string
}
type Logger struct {
prefix string
}
func (l *Logger) Log(msg string) { }
type Service struct {
Logger
endpoint string
}
type Bad struct {
data [1024 * 1024]byte
}
type Good struct {
data *[1024 * 1024]byte
}
|
✅ 初始化最佳实践
1
2
3
4
5
6
7
8
9
10
11
|
func NewUser(id uint64, name string) *User {
return &User{
ID: id,
Username: name,
CreatedAt: time.Now(),
}
}
u := NewUser(1, "alice")
|
📌 一句话总结：结构体是 Go 中组合数据的核心工具，理解其内存布局、导出规则、匿名嵌入和传参语义，是编写清晰、高效、可维护代码的基础。
