scala 模式匹配的几个模式

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[_] =>