语法、类型系统与值语义

Go 的赋值和传参始终复制一个值，但被复制的值可能包含指向共享存储的描述符或指针。理解“复制了什么”比背诵“值类型、引用类型”更准确：数组会复制全部元素，切片会复制描述符，指针会复制地址，接口会复制动态类型和值。

一、学习目标

理解零值、短声明、常量和未类型化常量
区分定义类型、类型别名与显式转换
解释字符串、字节和 rune 的关系
判断赋值与参数传递后的共享状态
识别 nil 在指针、切片、map、接口中的不同含义

二、声明、零值与常量

未显式初始化的变量拥有类型对应的零值：

var retries int
var title string
var enabled bool
var task *Task

零值设计良好的类型可以直接使用，例如 bytes.Buffer 与 sync.Mutex。业务类型也应尽量让零值安全，但“安全”不一定等于“有效”；空标题任务可以被拒绝，而不是让构造函数成为唯一创建途径后仍无法防止字面量。

常量可保持未类型化，直到上下文要求具体类型。不要依赖溢出后截断：

const maxRetries = 3
var retries uint8 = maxRetries

短声明 := 只用于函数体，并要求左侧至少有一个新变量。复杂作用域中应警惕无意遮蔽外层 err。

三、定义类型与别名

定义类型建立新的静态类型：

type TaskID string
type Status uint8

const (
    StatusTodo Status = iota
    StatusDone
)

TaskID 与 string 底层表示相同，但赋值通常需要显式转换，这正是领域约束的价值。类型别名 type ID = string 则只是同一类型的另一个名字，主要用于迁移与兼容，不会建立新边界。

转换只改变静态解释时也可能产生分配或数据变化，例如 string([]byte) 通常创建不可变字符串副本。不要用转换掩盖单位错误；毫秒和秒即便都是整数，也应使用明确类型或 time.Duration。

四、字符串、字节与 rune

Go 字符串是不可变字节序列，不保证内容一定是有效 UTF-8。len 返回字节数，range 解码 UTF-8 并给出字节偏移：

s := "学习Go"
fmt.Println(len(s))
for offset, r := range s {
    fmt.Printf("%d %c
", offset, r)
}

需要按字节处理协议时使用 []byte；需要按 Unicode 码点处理文本时使用 []rune 或 range。码点仍不等于用户看到的字形组合，界面截断不能简单按 rune 数保证视觉正确。

字符串比较按字节字典序，不是自然语言排序。命令、路径片段和协议字段适合明确的字节规则；面向用户的语言排序需要专门策略。

五、复制与共享

数组赋值复制全部元素：

a := [2]int{1, 2}
b := a
b[0] = 9
fmt.Println(a[0]) // 1

结构体同样按字段复制，但字段若是切片、map 或指针，复制后的两个结构体仍可能共享底层数据。函数参数也是赋值，因此传入 []Task 会复制切片头，却可通过索引修改共享数组中的任务。

设计 API 时不要只看参数有没有 *。map、slice、channel、func 和 interface 本身就是含引用语义的值；是否允许调用方观察或修改共享状态，必须由契约说明。

六、nil 与接口陷阱

nil 切片可以读取长度、追加和遍历；nil map 可以读取，但写入会 panic；nil channel 的发送和接收会永久阻塞。接口还可能“动态类型非空、动态值为 nil”：

var p *os.PathError
var err error = p
fmt.Println(err == nil) // false

返回接口时，不要把带类型 nil 指针装入接口。通常在具体错误不存在时直接 return nil。JSON 中 nil 切片常编码为 null，空切片编码为 []，这属于外部契约，不能只凭内部方便选择。

七、从知识点到工程契约

本篇的示例最终要进入可维护的 Go 包，而不是停留在 main 中的一次性片段。先把目标写成调用者可以观察的契约：输入是否允许零值或 nil，返回值是否是快照，错误能否通过 errors.Is/As 分类，函数是否启动 goroutine、取得资源或修改共享状态。然后再选择结构体、接口、函数值或泛型；抽象形式必须服务于契约，而不是反过来决定需求。

可以用以下顺序把知识点落到工程代码：

在独立小函数中写出最小成功路径，并让 go test 能直接调用。
加入一个与“把所有非指针参数都当成深拷贝”相关的失败样例，确认失败可观察且不会留下半完成状态。
把文件、网络、时间、环境或并发等外部因素改成显式依赖，测试使用临时目录、固定时钟或本地服务。
运行 gofmt、vet 和相关测试；涉及共享状态时追加 -race，涉及解析器时追加有上限的 fuzz。
最后再评估 API 是否需要导出。只在同一模块内部使用的能力保留在 internal，避免过早形成公共兼容负担。

审查代码时至少回答四个问题：谁拥有数据，谁允许修改，失败由谁处理，工作由谁停止。Go 的垃圾回收只解决不可达内存回收，不会替你关闭文件、取消请求、等待 goroutine 或恢复被覆盖的数据。只要其中一个问题没有答案，就先缩小函数或包的边界。

本篇最重要的能力是“理解零值、短声明、常量和未类型化常量”。不要用注释替代可执行约束：能由类型表达的就交给类型，能由构造或验证表达的就返回错误，能由测试观察的就保存回归用例。示例扩展到 StudyTasks 时，还要保持领域包不导入命令行、文件和 HTTP 细节。

八、验证策略与复盘

验证分为静态、动态和故障三层。静态层检查格式、模块图和分析器；动态层用正常输入证明结果；故障层主动制造取消、权限、损坏数据、超时或竞态。一次测试通过只能说明执行过的路径符合断言，不能证明所有输入都安全，因此需要让每条关键契约至少对应一个成功用例和一个反例。

建议保存下面的复盘记录：

项目	需要记录的证据
版本	`go version`、模块与 toolchain 指令
输入	最小正常值、零值、边界值和非法值
状态	调用前后数据、资源和 goroutine 的所有者
输出	返回值、错误链、stdout/stderr 与日志字段
失败	第一个失败点、清理动作和可恢复状态
工具	实际运行的 test、race、vet、benchmark 或 build 命令

完成验证后，用另一份干净临时目录重跑，不读取开发机的用户配置、缓存数据或真实网络。若测试只能按特定顺序成功，就说明状态隔离仍不完整。若为了让测试通过必须长时间 sleep，应改用 channel、WaitGroup、context 或可注入时钟表达确定的同步条件。

本篇可以用以下目标做验收：区分定义类型、类型别名与显式转换；解释字符串、字节和 rune 的关系；判断赋值与参数传递后的共享状态。把它们逐项转成命令输出或断言，而不是写成“人工看起来正确”。当实现与预期不符时，先保存最小失败样例，再调整设计。

发布前再做一次反向审查：从调用方而不是实现内部出发，写出一个完全不知道具体类型和文件布局的使用示例；从故障点出发，假设进程在每个 I/O 之后被取消；从升级出发，假设下一版改变字段或默认值。若调用方必须知道未公开细节、故障会留下无法判断的状态，或升级只能覆盖旧数据，契约就还不完整。把这三个场景加入测试或文档，比继续增加抽象更有价值。

最后检查示例能否被复制到一份最小程序独立运行，所有导入、错误处理和清理是否完整。教学代码可以省略与主题无关的界面，却不能省略会改变正确性的 context、Close、边界检查或同步。对为了篇幅省略的部分要明确标注，不能让读者把伪代码误当成生产承诺。

九、StudyTasks 实践

为 StudyTasks 定义 TaskID、Status 和 Task。编写小实验分别复制数组、结构体、切片和含切片字段的结构体，记录修改副本后原值是否变化；再为 nil 切片、map、channel 和接口写表格。

完成本节后，不要只保存代码或 SQL。请同时保存执行命令、关键输出和失败案例；学习笔记真正有价值的部分，是能够说明输入、状态变化、输出以及失败后的恢复方式。

十、常见错误

把所有非指针参数都当成深拷贝
用 len(string) 统计用户可见字符
把类型别名误认为新的领域类型
向 nil map 写入或从 nil channel 等待却未意识到后果
返回装有带类型 nil 指针的非 nil 接口

十一、练习与自测

预测复制含 []string 字段的结构体后，追加与修改元素分别会怎样。
实现 TaskID 的字符串解析函数并拒绝空值。
比较 nil 切片与空切片的 JSON 输出，并写下你选择的 API 契约。
制造一次变量遮蔽，让外层 err 未被更新，再用更清晰的作用域修复。

自测时应在干净的临时目录或临时数据库中重新执行，而不是依赖上一节遗留的状态。如果结果与预期不同，先记录实际输出，再缩小问题范围。

十二、官方资料

版本行为与二手文章不一致时，以本系列固定版本的官方文档、命令输出和可重复测试结果为准。

上一篇：环境、工具链与模块基线下一篇：数组、切片、映射与常用数据结构