在 Scala 编程中，模式匹配可以用于哪些场景？请说明如何利用模式匹配实现类型检查和解构，并给出相应的示例。
考察说明
考察对 Scala 模式匹配核心特性的理解，包括类型检查与解构的使用。
回答思路
- 【回答框架 1】模式匹配是 Scala 中强大的特性，允许根据值的结构进行匹配。类型检查通常通过类型模式实现，例如 case x: Int => ...，而解构则通过提取器（如 case class）进行。
- 【回答框架 2】对于类型检查，可以使用类型模式来判断值的运行时类型，并结合守卫条件（if 表达式）增加匹配的精确性。解构则通过匹配 case class、元组或集合等，将复合值拆解为组成部分。
- 【回答框架 3】模式匹配常与 case class 配合使用，能自动生成提取器，方便解构。例如 case class Person(name: String, age: Int)，可使用 case Person(name, age) => ... 来提取字段。
- 【回答框架 4】在模式匹配中，通配符 _ 用于忽略不需要的部分，而变量绑定（如 n @ 模式）可以绑定整个匹配值。此外，模式匹配可作为表达式，必须覆盖所有情况，否则会抛出 MatchError。
- 【回答框架 5】类型擦除可能导致类型模式的不完全，例如匹配 List[Int] 时仅能匹配到 List[_]，因此在泛型场景下需结合守卫条件或使用 ClassTag 等辅助工具。
- 【关键点 1】模式匹配可用于类型检查，使用类型模式，如 case x: Int。
- 【关键点 2】解构常通过 case class 或元组模式实现，自动提取字段。
- 【关键点 3】模式匹配必须穷尽所有情况，否则可能抛出 MatchError。
- 【关键点 4】类型擦除导致泛型运行时类型信息丢失，需用守卫或 ClassTag。
- 【易错点 1】直接匹配泛型类型（如 List[Int]）会因类型擦除而失效，只能匹配 List[_]。
- 【易错点 2】匹配顺序很重要，更具体的模式应放在前面。
- 【易错点 3】模式匹配若未覆盖所有分支，会在运行时抛出 MatchError，需使用通配符 _ 兜底。