Scala 模式匹配

Scala 提供了强大的模式匹配机制,应用也非常广泛。

一个模式匹配包含了一系列备选项,每个都开始于关键字 case 。每个备选项都包含了一个模式及一到多个表达式。箭头符号 => 隔开了模式和表达式。

以下是一个简单的整型值模式匹配实例:

object Test {
def main ( args : Array [ String ] ) {
println ( matchTest ( 3 ) )
def matchTest ( x : Int ) : String = x match {
case 1 => "one"
case 2 => "two"
case _ => "many"

执行以上代码,输出结果为:

$ scalac Test.scala $ scala Test

match 对应 Java 里的 switch,但是写在选择器表达式之后。即: 选择器 match {备选项}。

match 表达式通过以代码编写的先后次序尝试每个模式来完成计算,只要发现有一个匹配的case,剩下的case不会继续匹配。

接下来我们来看一个不同数据类型的模式匹配:

object Test {
def main ( args : Array [ String ] ) {
println ( matchTest ( "two" ) )
println ( matchTest ( "test" ) )
println ( matchTest ( 1 ) )
println ( matchTest ( 6 ) )
def matchTest ( x : Any ) : Any = x match {
case 1 => "one"
case "two" => 2
case y : Int => "scala.Int"
case _ => "many"

执行以上代码,输出结果为:

$ scalac Test.scala $ scala Test scala.Int

实例中第一个 case 对应整型数值 1,第二个 case 对应字符串值 two,第三个 case 对应类型模式,用于判断传入的值是否为整型,相比使用isInstanceOf来判断类型,使用模式匹配更好。第四个 case 表示默认的全匹配备选项,即没有找到其他匹配时的匹配项,类似 switch 中的 default。

使用样例类

使用了case关键字的类定义就是样例类(case classes),样例类是种特殊的类,经过优化以用于模式匹配。

以下是样例类的简单实例:

object Test {
def main ( args : Array [ String ] ) {
val alice = new Person ( "Alice" , 25 )
val bob = new Person ( "Bob" , 32 )
val charlie = new Person ( "Charlie" , 32 )
for ( person < - List ( alice, bob, charlie ) ) {
person match {
case Person ( "Alice" , 25 ) => println ( "Hi Alice!" )
case Person ( "Bob" , 32 ) => println ( "Hi Bob!" )
case Person ( name, age ) =>
println ( "Age: " + age + " year, name: " + name + "?" )
// 样例类
case class Person ( name : String, age : Int )

执行以上代码,输出结果为:

$ scalac Test.scala $ scala Test Hi Alice! Hi Bob! Age: 32 year, name: Charlie?

在声明样例类时,下面的过程自动发生了:

  • 构造器的每个参数都成为val,除非显式被声明为var,但是并不推荐这么做;
  • 在伴生对象中提供了apply方法,所以可以不使用new关键字就可构建对象;
  • 提供unapply方法使模式匹配可以工作;
  • 生成toString、equals、hashCode和copy方法,除非显示给出这些方法的定义。
  • #0
  •