模式匹配应用场景: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)