在我们详细介绍Scala的Case class和模式匹配之前,我们可以通过一个简单的例子来说明一些基本概念。我们设计一个函数库,这个函数库可以用来计算算术表达式,为简单起见,我们设计的算术表达式只侧重于变量,数字,单操作符,和双操作符。我们可以采用如下的Scala类定义:
abstract class Expr
case class Var(name:String) extends Expr
case class Number(num:Double) extends Expr
case class UnOp(operator:String, arg:Expr) extends Expr
case class BinOp(operator:String,left:Expr,right:Expr) extends Expr
这里我们定义了一个抽象类Expr和四个子类(分别代表变量,数值,单操作符,双操作符),Scala允许我们不定义类的实现,实际我们是class C 和 class C {}是等价的。
case classes
我们可以看到上面的四个子类定义前面我们使用了case关键字,使用了case关键字的类定义就是case classes。使用这个关键字,Scala编译器会自动为你定义的类生成一些成员。
首先,编译器为case class生成一个同名的对象构造器(Factory Method),也就是你可以使用 Var(“x”) 来创建一个类的实例,而无需使用new Var(“x”).
scala> val x = Var("x")
x: Var = Var(x)
这个构造器在嵌套使用时显得非常简洁明了,比如 我们构建如下的表达式,这种写法避免了很多new 的使用。
scala> val op=BinOp("+",Number(1),x)
op: BinOp = BinOp(+,Number(1.0),Var(x))
其次,Scala编译器为case class的构造函数的参数创建以参数名为名称的属性,比如Val的类的参数name:String 可以直接通过 .name访问,比如:
scala> x.name res1: String = x
第三,编译器为case class 构造了更自然的toString,hashCode和equals实现,它们会递归打印,比较case class的参数属性。比如:
scala> println(op)
BinOp(+,Number(1.0),Var(x))
scala> op.right == Var("x")
res3: Boolean = true
最后一点,Scala编译器为case class添加了一个Copy方法,这个copy方法可以用来构造类对象的一个可以修改的拷贝。这对于使用已有的对象构造一个新实例非常方便,你只要修新创建实例的某些参数即可。
比如我们想创建一个和op类似的新的实例,只想修改+为-,可以使用:
scala> op.copy(operator="-")
res4: BinOp = BinOp(-,Number(1.0),Var(x))
以上这些惯例带来了很多便利,这些便利也需要一些小小的代价,就是需要在class前面使用case关键字,而构造后的类由于自动添加了一些方法而变大了些。case class带来的最大的好处是它们支持模式识别。
Pattern matching
比如说你需要简化表达式的表示方法,这里给出一个简单的规则:
UnOp(“-”,Unop(“-”,e)) => e//负负得正
BinOp(“+”,e,Number(0)) => e//和0加
BinOp(”*”,e,Number(1)) => e //和1乘
使用模式匹配,在Scala我们几乎和使用和上面规则非常类似的代码来实现表达式的简化:
scala> def simplifyTop(expr :Expr) :Expr = expr match {
| case UnOp("-",UnOp("-",e))=>e
| case BinOp("+",e,Number(0))=>e
| case BinOp("*",e,Number(1))=>e
| case _ => expr
|
| }
simplifyTop: (expr: Expr)Expr
scala> simplifyTop(UnOp("-",UnOp("-",Var("x"))))
res6: Expr = Var(x)
scala>
simplifyTop 定义使用了match表达式,它对应Java的switch语句,但它的语法和switch不同,它的selector 在match前面:
selector match { alternatives}
一个模式匹配由多个可选项组成,没个选项由case开始,每个选项定义一个模式,每个模式对应一个表达式,表达式应用到当模式匹配的时候。模式和表达式之间使用=>分隔。
一个match表达式的结果取决于第一个匹配的可选项,当该项模式匹配时,该模式=>后的表达式被选中然后计算该表达式的值。
一个常量模式,比如本例中的“+”和“0”, 匹配对应的常数,一个变量模式比如e,可以匹配任意的值。然后=>右边的表示式可以应用这个变量,“_”为通配符,可以匹配任意的值。
构造器模式,比如UnOp(“-”,e),可以匹配UnOp类型的值,这个UnOp的第一个参数为”-“,第二个参数可以为任意。
和Java的 switch语句比较,Scala的match 有以下几个不同点:
- match为一表达式,有返回结果,其返回结果为匹配项表示式的值。
- match的选项没有break,也不会自动匹配下一个选项(no fall through).
- 如果没有一个选项匹配,那么将抛出MatchError异常,这意味着你必须保证考虑到Match的所有的选项,因此可能你需要添加一个缺省选项。