Scala-6.控制结构-match

为了像Java中的switch语句效果，Scala中可以使用match表达式，用法

  val month = i match {
    case 1 => "January"
    case 2 => "February"
    case 3 => "March"
    case 4 => "April"
    case 5 => "May"
    case 6 => "June"
    case 7 => "July"
    case 8 => "Augest"
    case 9 => "September"
    case 10 => "October"
    case 11 => "November"
    case 12 => "December"
    case _ => "Invalid month"
  }

另外Scala提供了@switch注解，它会自动检测能不能被编译成tableswitch或者lookupswitch，如果不能，会引发变异警告：

import scala.annotation.switch
class SwitchDemo {

  val i = 1
  val x = (i: @switch) match{
    case 1 => "One"
    case 2 => "Two"
    case _ => "Other"
  }
}

对于如下情况，使用tableswitch是必然可行的：

1. 匹配的值一定是一个已知的证书
2. 匹配表达式必须“简单”。即不能包含任何的类型检测，if语句或者抽取器（extractor）
3. 保证表达式可编译器的值可用
4. 至少包含两个case语句

• 匹配不限于整数，匹配的表达式非常灵活：

  def getClassAsString(x: Any): String = x match {
    case s: String => s + " is String."
    case i: Int => i + " is Int"
    case f: Float => f + " is Float"
    case l: List[_] => l + " is List"
    case _ => "Unknown"
  }

• 缺省的情况可以用通配符"_"来捕获。但是这样不能使用这个缺省的值，需要给定一个变量名来使用它，一般使用“default”比较合理。
• 用管道符（|）来匹配多个情况
• 可以将match表达式的结果赋值给变量
• 可以在match表达式中使用一种或者多种匹配模式，可以是常量模式、变量模式、构造模式，序列模式，元祖模式，或者类型模式：
  • 常量模式（Constant pattern）：常量模式只能匹配自己，任何的字面量都可以作为一个常量。
  • 变量模式（Variable patterns）：变量模式可以匹配任何对象。且可以在case语句的右侧使用该变量。
  • 构造函数模式（Constructor pattern）：构造函数模式可以在case语句中匹配一个构造函数。可以根据具体的需求指定常量或者变量模式。
  • 序列模式（Sequence pattern）：可以匹配如List，Array，Vector的序列，用字符代表序列中的一个元素，用*代表0个或者更多的元素。
  • 元祖模式（Tuple pattern）：匹配元祖模式时可以访问元祖中的每一个元素。不关系元素值也可以使用_
  • 类型模式（Type pattern）：例如str:String就是一个类型模式，其中str是模式变量。
• 变量绑定的模式：
  • case list: List[_] => s"thanks for the List: $list"
  • case list @ List(1, _*) => s"$list"
• 在match表达式中使用Some，None，Option表达式
• 在match表达式式中使用Case class

trait Animal
case class Dog(name: String) extends Animal
case class Cat(name: String) extends Animal
case object Woodpecker extends Animal

object CaseClassTest extends App{
  def determineType(x:Animal): String = x match{
    case Dog(moniker) => "Got a Dog,name = " + moniker
    case _:Cat => "Got a Cat(ignore the name)"
    case Woodpecker => "That was a woodpecker"
    case _ => "That was somthing else"
  }

  println(determineType(new Dog("Rocky")))
  println(determineType(new Cat("Rusty the cat")))
  println(determineType(Woodpecker))
}

• 匹配到Dog类，表达式右侧的打印语句会抽取并打印名字。

• 匹配到Cat类时，忽略姓名

• Woodpecker被定义为一个case对象且没有名字，也可以成功匹配

• 可以给Case语句添加的if表达式（卫语句）

    i match {
      case a if 0 to 9 contains(a) => println("0-9")
      case b if 10 to 100 contains(b) => println("10-100")
      case _ => println("other")
    }

• 可以使用match表达式替换isInstanceOf
• 可以在match中使用List