案例类是一种特殊类型的类，对于建模不可变数据特别有用。与普通类相比，它们提供了多种便利性，包括不可变性、几个合成方法（如 toString、equals 和 copy），以及合成 apply 和 unapply 方法，这些方法使案例类在模式匹配中非常有用。