请阐述 Scala 中类型参数化（Type Parameterization）的实现方式，并举例说明类型参数（Type Parameter）与泛型（Generics）的典型应用场景。
考察说明
考查对 Scala 类型参数化机制（类、方法、协变逆变）及泛型应用的理解。
回答思路
- 【回答框架 1】类型参数化是指类、特质或方法定义时使用类型参数，以增强代码的通用性和类型安全。Scala 中通过方括号 [T] 声明类型参数，例如 class Box[T] 或 def head[T](list: List[T]): T。
- 【回答框架 2】泛型的核心应用场景包括：集合类（如 List[T]、Map[K, V]）保证元素类型一致；类型安全的接口设计，如 Option[T]、Either[A, B]；以及通用算法，如排序、查找，避免重复代码。
- 【回答框架 3】Scala 支持变型注解（Variance Annotation）：协变（+T）允许子类型传递，如 List[+T]；逆变（-T）允许父类型传递，如 Function1[-T, +R]；不变（默认）则类型参数必须一致。
- 【回答框架 4】此外，类型参数可以通过上下文界定（Context Bound）与隐式参数结合，实现类型类的泛型编程；还可以使用通配符（_）简化类型表达。
- 【回答框架 5】应用时需注意类型擦除（Type Erasure）导致的模式匹配警告，通常需要借助 ClassTag 或 TypeTag 来保留运行时类型信息。
- 【关键点 1】Scala 类型参数化使用 [T] 语法，支持类、特质、方法和函数。
- 【关键点 2】泛型主要提升代码复用与类型安全，典型应用是集合和算法。
- 【关键点 3】变型注解（+ 和 -）控制类型参数在子类型关系中的行为。
- 【关键点 4】上下文界定和隐式参数常用于实现类型类模式。
- 【关键点 5】注意类型擦除对运行时类型信息的影响，必要时使用 TypeTag。
- 【易错点 1】混淆协变和逆变的使用场景，导致编译错误或逻辑错误。
- 【易错点 2】忽略类型擦除，在模式匹配中直接使用泛型类型导致警告或运行异常。
- 【易错点 3】过度使用泛型导致代码可读性降低，应平衡抽象与简洁。