2. 类型系统与数据组织

第 2 章 · 类型系统与数据组织

章节摘要：并发程序最难查的 bug 往往不是"算错"，而是"数据被谁改了"。本章把 Go 的数据组织讲透——结构体怎么建档案、接口怎么定岗位、指针怎么传地址、泛型怎么发通用工牌、反射怎么做证件扫描。每一节都直指一个可考核的知识点，学完后你能预判一段数据在传递、复制、比较时的确切行为，这正是第 3 章并发数据流的安全前提。

本章解决什么问题

把一个值传给函数、发给 channel、存进 map，它经历了什么？值被复制了吗？改一处会动另一处吗？空指针为什么在凌晨三点才炸？本章用五节回答这类问题。调度夜班的比喻在本章继续：员工要建档（结构体）、定岗（接口）、留联系方式（指针），档案系统清楚了，排班才不会乱。

学习目标

1. 声明结构体并为其定义方法，说清值接收者与指针接收者的选择依据。
2. 实现一个接口并解释"隐式实现"与编译期检查的双向作用。
3. 画出接口值内部的两格结构，解释 nil 接口与"装着 nil 指针的接口"为何不同。
4. 预判任意一段传参代码中哪些位置共享底层数据，哪些位置发生复制。
5. 写一个带类型约束的泛型函数，并用接口约束表达"可排序""可累加"等能力。
6. 用反射读取字段标签，并说出反射的代价与使用边界。

核心概念速览

金句：并发 bug 的第一现场几乎都不在并发代码里，而在"你以为复制了、其实共享了"的那一行。

子章节导航

• 2.1 结构体与方法：数据的档案卡。字段、嵌入、方法定义，重点是值接收者与指针接收者怎么选。
• 2.2 接口与多态：能力的岗位说明书。隐式实现带来解耦，接口值的两格内部结构是本节最有含金量的知识点。
• 2.3 指针：工位地址与代签。取地址与解引用、什么能取址、常见空指针场景与防御写法。
• 2.4 泛型：通用工牌。类型参数与约束，什么时候值得泛型、什么时候老老实实写接口。
• 2.5 反射：证件扫描仪。运行时读取类型信息与字段标签，代价与边界，看懂配置库与 ORM 的魔法从哪来。

子章节之间的逻辑关系

五节共用一条主轴——值语义与指针语义。结构体先定下"数据长什么样"，方法讨论"谁来操作数据"；接口在能力层面抽象操作；指针揭示数据何时被共享；泛型把"类型不同、逻辑相同"的重复代码收拢；反射则把前四节的静态规则推迟到运行时处理。前四节循序渐进，第五节是进阶选学，但管理配置类代码时绕不开。

        +---------------------+
        |  2.1 结构体  2.2 接口 |
        |   （形状）  （能力）   |
        +----------+----------+
                   |
          2.3 指针（共享与复制）
                   |
        +----------+----------+
        | 2.4 泛型    2.5 反射  |
        | （编译期抽象）（运行时自省）|
        +---------------------+
​

本章知识点清单

• 写出带三个字段与两个方法的结构体，并解释为何修改方法集合用指针接收者。
• 用一行 var _ Shape = Circle{} 在编译期验证接口实现，并说明它为什么比等到调用处才发现问题好。
• 口述接口值的动态类型与动态值两格模型，并复现"接口不等于 nil"的经典陷阱代码。
• 对给定的切片传参代码，指出函数内 append 是否影响调用方，并说明容量与长度的关系。
• 用 constraints 写出接受整数序列并求和的泛型函数，并解释为什么浮点与整数需要不同约束。
• 用反射遍历结构体字段与标签，并给出"反射不应用在热路径"的性能理由。

前置知识与后续延伸

前置：第 1 章的全部内容，尤其是 1.4 的多返回值与包可见性——本章示例默认你已掌握。零基础跳章的读者，至少先回看 1.3 的零值概念。

后续：第 3 章的 channel 只能传一种类型的值、锁保护的是共享数据、"通过通信共享内存"的前提都是本章的值与指针规则；第 4 章排查数据竞争时，判断"共享"的依据就是 2.3 节。本章学得越扎实，并发章越像把已知规则换个场景复述一遍。