请解释在 Scala 中，泛型编程与类型推断是如何协同工作的，以及有哪些策略可以规避类型擦除带来的问题？
考察说明
考查对 Scala 泛型机制和类型系统特性的理解，以及在实际中应对类型擦除的能力。
回答思路
- 【回答框架 1】Scala 的泛型与 Java 类似，但在类型推断上更强大。类型推断体现在：当我们写下 List(1,2,3) 时，编译器自动推断出 List[Int]；在调用泛型方法时，我们通常可以省略显式类型参数。编译器通过目标类型和参数类型来推断类型参数，从而减少代码冗余，提升可读性。
- 【回答框架 2】然而，由于 JVM 的擦除机制，Scala 在运行时也会擦除大部分泛型类型信息。在模式匹配时，往往不能直接匹配 List[Int] 或 List[String]，因为运行时都是 List。常用的规避方法包括：使用 TypeTag/ClassTag 隐式参数，在运行时携带类型信息；或者使用 Manifest（已过时）；还可以用类型类（type class）来传递类型信息，比如定义 implicit 的 TypeTag[T]，在需要时获取具体类型。
- 【回答框架 3】另一个技巧是使用非泛型包装类，例如创建 case class 或使用类型标记来携带类型信息。此外，Scala 提供了 @specialized 注解，可以为某些原始类型生成特化版本，从而部分避免擦除的开销，但这并不会完全解决类型擦除问题。
- 【回答框架 4】在实际设计 API 时，可以考虑使用 TypeTag 来确保类型安全，例如在反序列化时使用 context bound: def foo[T: TypeTag](x: T)。这样在运行时，可以通过 typeOf[T] 获取类型信息，进行反射或判断，从而规避擦除带来的限制。
- 【关键点 1】Scala 类型推断极大简化了泛型代码，但底层仍受 JVM 擦除影响。
- 【关键点 2】使用 TypeTag 或 ClassTag 可以在运行时获取类型信息。
- 【关键点 3】通过类型类或隐式参数传递类型证据，是常见的规避策略。
- 【易错点 1】不能依赖模式匹配直接匹配泛型类型，比如 case list: List[Int] 会失败。
- 【易错点 2】忽略 TypeTag 可能导致运行时类型错误，或不得不使用强制类型转换。
- 【易错点 3】泛型特化（@specialized）只对部分原始类型有效，不能解决所有擦除问题。