Scala 专题教程-Case Class和模式匹配(4): 模式的种类(三)

类型模式
你可以使用类型模式匹配来代替类型检查和类型转换。比如：

def generalSize(x:Any) = x match{
	case s:String => s.length
	case m:Map[_,_] =m.size
	case _ => -1
}

函数generalSize返回某些对象长度或是大小。它的参数类型为Any，因此可以传入任意类型的数据。 模式 s:String 为一类型模式，匹配任意类型为String的非空对象。变量s为匹配的字符串。
第二个匹配 m:Map[_,_] 匹配任意类型的Map对象，这里我们不关心具体的key和value，因此使用通配符_,如果你需要在后面表达式中使用key,value，可以使用key,value替换掉_。

对于Map类型的数据，我们能否匹配指定Key或value类型的数据呢，比如：

def  isIntIntMap(x:Any) = x match {
	case m:Map[Int,Int]=>true
	case _ => false
}

此时编译器会给出警告：

<console>:9: warning: non-variable type argument Int in type pattern Map[Int,Int] is unchecked since it is eliminated by erasure
       case m:Map[Int,Int]=>true
              ^
isIntIntMap: (x: Any)Boolean

Scala 和Java类似对于generic类采用了?type erasure?，也就是说运行时不保存Map的Key和Value的类型，因此我们无法匹配指定类型Key或Value的Map对象。
我们可以看到

scala> isIntIntMap(Map(1->1))
res14: Boolean = true
 
scala> isIntIntMap(Map("a"->"b"))
res15: Boolean = true
 

这两个都返回true,这个和预期不同，因此对于这种情况，编译器会给出警告，pattern Map[Int,Int]中的类型不起作用。
但有一个特例，数组和一般的generic处理不同，它支持匹配元素类型。比如：

def isStringArray(x:Any) = x match{
	case a:Array[String]=>"yes"
	case _ => "no"
}

测试结果如下：

scala> val as =Array("abc")
as: Array[String] = Array(abc)
 
scala> isStringArray(as)
res16: String = yes
 
scala> val ai = Array(1,2,3)
ai: Array[Int] = Array(1, 2, 3)
 
scala> isStringArray(ai)
res17: String = no