第八篇 概念专题

第八篇：概念专题

前七篇是按"你接下来要做什么"排的：先装上工具链，再学语法，然后学类型、内存、并发、测试，最后动手做东西。这个顺序适合学习，但会留下一个副作用——同一个概念家族的成员被分散在好几章里。

举一个真实的例子。你在第 19.1 节第一次见到"计算属性"，当时它只是"给结构体加个算出来的字段"的一个小技巧。接着你在第 19.2 节见到属性观察器、19.3 节见到 lazy、19.4 节见到类型属性、19.7 节见到属性包装器、第 21 章又见到扩展里的计算属性——它们其实是一家人，但你从来没有在一页里同时看到过它们。

这不是漏写，而是"按场景排序"必然的代价。这一篇就是来还这笔账的：五章，每章收口一个概念家族。

本篇章节

1. 序列与集合协议：Sequence、Collection 与惰性求值
2. 数值协议与格式化：从 Numeric 到 FormatStyle
3. 属性与下标全形态：一个概念家族的收口
4. 标准库算法工具箱：zip、stride 与 reduce(into:)
5. 反射与内存布局：类型在运行时留下什么

怎么读这一篇

这一篇不引入新语法，所以有两种读法：

• 顺序读：适合已经读完第二、三篇、正在写真实代码的人。它能把你脑子里那些"零散的小技巧"重新排成一张有结构的地图。
• 当字典查：遇到"这个功能该用什么"的时候，直接翻对应章节末尾的决策表。

如果某一章里的链接指向你还没读过的章节，不必回头补——那些章节只是该概念第一次出现的地方，本篇的正文已经把需要的前提讲全了。

读完你应该能

• 说清 Sequence 和 Collection 的区别，以及自己写的类型该遵循哪一个。
• 用 IteratorProtocol 手写一个能 for ... in 的类型，并知道它为什么是"一次性"的。
• 在 Numeric、BinaryInteger、FixedWidthInteger、FloatingPoint 之间选对约束，而不是逢数就写 Int。
• 用 FormatStyle 把数字、货币、百分比和日期格式化到位，而不是手拼字符串。
• 一眼看出一份属性或下标属于"家族里的哪一种形态"，以及扩展能做什么、不能做什么。
• 用 zip、stride、sequence(first:next:)、reduce(into:) 替掉一半的手写循环。
• 判断某个需求该用反射、该用 Codable，还是该在编译期用 KeyPath 和宏解决。