Scala 的模式匹配是类似与正则匹配的的模式匹配,但是不仅仅如此,它还可以匹配对象的内在的构建形式.
模式匹配就是反向的构造器,可以通过嵌套器来构造对象,在构造时提供一些参数
例如:
val list = List(3,6)
list: List[Int] = List(3, 6)
scala> list match {
| case Nil => "was an empty list"
| case x :: xs => "head was " + x + " , tail was " + xs
| }
res0: String = head was 3 , tail was List(6)
1. 常量模式
包含常量变量,常量字面量都可以
val site = "alibaba.com"
site: String = alibaba.com
scala> site match { case "alibaba.com" => println("ok")}
ok
scala> val ALIPAY = "zhifubao"
ALIPAY: String = zhifubao
//注意这里常量必须以大写字母开头
scala> def foo(s: String) {s match {case ALIPAY => println("ok")}}
foo: (s: String)Unit
scala>
scala> foo(ALIPAY)
ok
2. 变量模式
site match { case whateverName => println(whateverName) }
上面把要匹配的 site对象用 whateverName 变量名代替，所以它总会匹配成功。不过这里有个约定，对于变量，要求必须是以小写字母开头，否则会把它对待成一个常量变量，比如上面的whateverName 如果写成WhateverName就会去找这个WhateverName的变量，如果找到则比较相等性，找不到则出错。
List(1,2) match{ case List(x,2) => println(x) }
3. 通配符模式
通配符用下划线表示："_" ，可以理解成一个特殊的变量或占位符。
单纯的通配符模式通常在模式匹配的最后一行出现，case _ => 它可以匹配任何对象，用于处理所有其它匹配不成功的情况。
scala> List(1,2,3) match{ case List(_,_,3) => println("ok") }
4. 构造器模式
//抽象节点
trait Node
//具体的节点实现，有两个子节点
case class TreeNode(v:String, left:Node, right:Node) extends Node
//Tree，构造参数是根节点
case class Tree(root:TreeNode)
// Exiting paste mode, now interpreting.
defined trait Node
defined class TreeNode
defined class Tree
scala> val tree = Tree(TreeNode("root",TreeNode("left",null,null),TreeNode("right",null,null)))
tree: Tree = Tree(TreeNode(root,TreeNode(left,null,null),TreeNode(right,null,null)))
scala> tree.root match {
| case TreeNode(_, TreeNode("left",_,_), TreeNode("right",null,null)) =>
| println("bingo")
| }
5. 类型模式
"hello" match { case _:String => println("ok")}
ok
如果使用了泛型，它会被擦拭掉，如同java的做法，所以上面的 List[String] 里的String运行时并不能检测
foo(List("A")) 和 foo(List(2)) 都可以匹配成功。实际上上面的语句编译时就会给出警告，但并不出错。
通常对于泛型直接用通配符替代，上面的写为 case a : List[_] =>
