One-Way
爱一人,攀一山,追一梦

模式匹配应用场景:switch语句,类型查询,析构,样例类

 

 

一、更好的switch

  val ch :Char = '+'

  val sign =
  ch match{
    case '+' => 1
    case '-' => -1
    case _ => 0
  }

  println(sign)

case _ 匹配其他情况,case 结尾不需要break跳出

 

二、守卫

  val ch :Char = '9'

  var digit = 0

  val sign =
  ch match{
    case '+' => 1
    case '-' => -1
    case _ => 0
    case _ if Character.isDigit(ch) => digit = Character.digit(ch,10)
    //case _ => 0
  }

  println(sign,digit)

守卫可以是任何Boolean条件; 匹配是顺序下来的,上面的例子是匹配不到守卫的。

三、模式中的变量

case _ 看做是这个特性的一个特殊情况。

四、类型模式

  var str =1

  def f(s : Any) = s match{
    case i : Int => println("int="+i)
    case s : String=> println("str="+s)
    case m : Map[String,Int]=> println("map="+m)  //Map中的类型匹配是无效的
    case _ => println("unknown")
  }

  f(1)
  f("Hello")
  f(Map((1,2)))

结果:

int=1
str=Hello
map=Map(1 -> 2)

Map中的类型匹配是无效的,结果为

Map(1 -> 2)

匹配发生在运行期,Java虚拟机中的泛型信息是被擦掉的。

五、匹配数组、列表和元组

数组:

  def f (str: Any) = str match{
    case Array() => "0"
    case Array(x,y) => x + " " + y
    case Array(0, _*) => "0..."
    case _ => "something else"
  }

  println(f(Array(1,3)))
  println(f(Array(0,1,3)))
1 3
0...

 

列表:

  def fl (str: Any) = str match{
    case 0::Nil => "0"
    case x::y::Nil => x + " " + y
    case 0::tail => "0..."
    case _ => "something else"
  }

  println(fl(List(0)))
  println(fl(List(1,3)))
  println(fl(List(0,1,3)))
0
1 3
0...

 

元组:

  def ft (str: Any) = str match{
    case (0,_) => "0"
    case (x,y)=> x + " " + y
    case (x,0,_) => "0..."
    case _ => "something else"
  }

  println(ft(Tuple2(0,1)))
  println(ft(Tuple3(1,0,2)))
  println(ft(Tuple4(1,0,2,3)))
0
0...
something else

 

六、提取器

模式匹配数组,元组,列表,这些背后是提取器机制。对象中有unapply或unapplySeq方法对值进行提取。

unapply方法用于提取固定数量的对象,unapplySeq提取的是一个序列。

 

七、变量声明中的模式

val (x,y)=(1,2)

 

posted on 2018-02-01 17:47  单行道|  阅读(248)  评论(0编辑  收藏  举报