第4章 类型系统与泛型：协变逆变、边界、TypeTag、Manifest、F-bounded 多态
▲ 回答框架：五步递进式展示类型系统掌控力
Q1：Scala 中 +A 和 -A 分别代表什么？设计类型参数时如何选择方差？
🎯 考察点：对协变/逆变/不变的理解、类型安全性、实际设计权衡（如不可变集合用协变，可变用不变）。
📐 回答框架：定义 → 语法+示例 → 选择原则（不可变→协变，只消费→逆变，同时生产消费→不变）→ 底层编译检查。
💡 示例回答：“+A 表示协变，如 List[+A] 使 Container[Cat] 是 Container[Animal] 子类型；-A 表示逆变，如 Function1[-A, +B]。选择依据：数据生产者用协变，消费者用逆变，同时出现用不变以保证类型安全。” (85字)
🔍 可能追问：Java 通配符 ? extends / ? super 与 Scala 的对应关系？如何实现协变的只读队列？
Q2：<: 和 >: 边界与视图边界（<% ）有什么区别？实际项目中应如何选择？
🎯 考察点：类型边界在不同泛型场景下的应用、隐式转换与视图边界的演进（Scala 2 已弃用）。
📐 回答框架：上界 <: 约束为子类型 → 下界 >: 约束为父类型 → 视图边界（需隐式转换）→ 推荐使用 <: 结合隐式参数。
💡 示例回答：“<: 限定类型上限：def sort[A <: Comparable[A]]。>: 限定下限用于协变类型参数：def add[U >: T](elem: U)。视图边界已被隐式参数替代，更安全且可读。” (68字)
🔍 可能追问：下界与协变结合时如何处理类型擦除？F-bounded 中上界与子类型的关系？
Q3：TypeTag 与 Manifest 的区别？如何利用 TypeTag 在运行时恢复泛型类型？
🎯 考察点：JVM 类型擦除的补偿机制、TypeTag 的编译期/运行时双阶段设计、依赖隐式参数的团队规范。
📐 回答框架：Manifest（旧，部分擦除）→ TypeTag（精确完整）→ 使用隐式参数传递 → 通过 typeOf[T] 获取完整类型信息。
💡 示例回答：“Manifest 在 Scala 2.10 后被 TypeTag 取代，前者无法处理泛型嵌套。TypeTag 通过宏保留完整类型信息：def fromJson[T: TypeTag](json: String): T = { val typ = typeOf[T]; ... }。” (80字)
🔍 可能追问：WeakTypeTag 与 TypeTag 的区别？如何用 TypeTag 实现类型安全的序列化框架？
🏗 项目案例：实时风控规则引擎中的 F‑bounded 多态与类型安全 DSL
| 项目名称 | 金融风控实时规则引擎 |
|---|---|
| 业务背景 | 需支持业务人员配置复杂规则（金额超过阈值、设备指纹异常等），要求编译期类型安全，防止运行时类型错误。 |
| 规模指标 | 规则数 2,000+，日处理事件 1 亿条；单条规则评估延迟 <5ms。 |
| 技术栈 | Scala 2.13、Akka Streams（事件流）、Cats（函数式组合子）、Circe（JSON 解析）、Shapeless（泛型推导） |
| 核心难点 | 1. 不同类型规则（金额、集合、枚举）统一抽象为 Rule[T, Ctx]；2. 使用 F-bounded 多态保证子规则返回类型与父规则兼容；3. 运行时通过 TypeTag 反序列化规则参数。 |
面试高频追问
- 为什么选择 F-bounded 而不使用普通上界？
回答思路：F-bounded 允许方法返回类型为具体子类型而非抽象父类，便于链式调用和类型安全。 - 规则参数反序列化时如何避免 ClassCastException？
回答思路：通过隐式 TypeTag 结合类型标签进行模式匹配，在编译期捕获类型不匹配。 - Akka Streams 中如何处理规则的有状态聚合？
回答思路：使用 fold 或 statefulMapConcat，协变保证子类型能被统一处理。
可迁移回答话术（面试时直接使用）
trait Rule[A, Ctx] { def evaluate(ctx: Ctx): A } 为基础，通过 F-bounded 设计让具体规则返回自身类型（如 AmountRule extends Rule[BigDecimal, Ctx]），并配合 TypeTag 确保 JSON 反序列化时类型精确还原。这套方案在 2000+ 规则、亿级事件流中运行稳定，且编译器在编写规则时即可发现类型错误。”