第五章·主峰：类型系统深攀

第五章 · 主峰：类型系统深攀

章节摘要：整条路线最高、最陡的一段。从泛型与型变（协变、逆变）开始，经抽象类型与结构类型，再到 Scala 3 用 given/using 重写的隐式机制，最终登顶类型类。读完这章，你看 Kotlin、Rust、TypeScript 的类型系统都会觉得眼熟——因为它们的许多设计正源于这里。

学习目标

• 定义泛型类与方法，写出正确的协变 +A 与逆变 -A 标注
• 用类型边界（upper/lower bound）约束类型参数
• 区分抽象类型成员与结构类型各自的适用场合
• 用 given 实例与 using 参数复刻并替代旧 implicit 体系
• 手写一个类型类（Show 或 Semigroup），并理解它与继承的差别

核心概念速览

金句：继承是"是什么"的纵向关系，类型类是"能做什么"的横向关系；型变回答的是"容器之间的关系该跟着元素关系走多远"。

子章节导航

• 5.1 泛型与型变：List 为什么是 +A、Function 为什么一正一负。
• 5.2 抽象类型与结构类型：按名字声明类型，以及"鸭子类型"的静态版。
• 5.3 隐式机制：implicit 到 given/using 的演化，上下文边界。
• 5.4 类型类：给已有类型无侵入地添加能力，Scala 生态的通用模式。

子章节之间的逻辑关系

四节是连续的岩缝组：泛型是基本握法（5.1），抽象类型换一个声明角度（5.2），given/using 让编译器替你传"证据"（5.3），类型类把前三者组装成一个可扩展架构（5.4）。任何一节松动都别急着上，主峰段每一步都踩在下一步上。

[泛型+型变] -> [抽象/结构类型] -> [given/using] -> [类型类]
       \________________________________________/
        Spark 的 Encoder、Cats 的类型类、Tapir 的派生 —— 全是这条链的成品
​

前置知识与后续延伸

前置：第四章集合（型变的例子全部来自集合与函数）。延伸：6.1 Future 的回调需要 ExecutionContext，正是 5.3 的 given 在并发里的日常亮相。

本章实战主线：给温度工具建立可比与可显示能力

主峰的收获要落回工具。给 Reading 实现类型类化的比较与展示，是对 5.1 到 5.4 的总演习：

given Ordering[Reading] = Ordering.by(_.asCelsius)
given Show[Reading] with
  extension (r: Reading) def show = f"${r.asCelsius}%.1f°C at ${r.scale.name}"

val sorted = readings.sorted.take(1)        // 最凉一条读数
readings.map(summon[Show[Reading]].show)     // 全部可打印
​

两个 given 各自独立：换一种排序口径不影响展示，换一种展示不影响排序——能力正交，这正是类型类架构的日常体感。若用继承实现同样需求，Reading 会被迫实现 Comparable 与某个 Loggable 接口，两种能力搅在一条继承链里，扩展第三种能力就要再改一次类。

检查点：登顶自测

• 能给任意容器类说出该用协变、逆变还是不变，并给出"读位/写位"论证
• 能手写一个带下界的方法让协变类保住消费能力
• 能解释 given 查找失败与歧义两类报错各自的处置办法
• 能三步手写一个类型类并用上下文边界消费它
  补一条阅读建议：本章四节都有意识地把 Scala 与 Kotlin 的协变声明、Rust 的 trait、TypeScript 的结构化约束做了对照，如果你有其中任一语言背景，对照着看能省一半力气；没有也没关系，这些对照在未来你学第二门强类型语言时会自动变成复利。