黑猴子的家：Scala 类型模式匹配

可以匹配对象的任意类型，但是不能直接匹配泛型类型，这样描述比较抽象，看下面的例子：这样做的意义在于，避免了使用isInstanceOf和asInstanceOf方法。

//JDK 1.5 之后引入 泛型概念
//泛型擦除
//编写的时候
//List<String> list = new ArrayList<String>()
//编译后运行
//List list = new ArrayList()
//编写的时候有了泛型，运行的时候擦除泛型，为了向下兼容
//java擦除的是泛型， 数组不是泛型 ，不擦除。 这么说不严谨，在scala中数组也是泛型， scala中泛型擦除，擦的是jvm泛型，也就是java泛型

编译前
case Map[String,Integer]
case Map[Integer,String]
编译后
case Map
case Map
编译后，都擦除了，为什么还要写类型呢？规范化开发，擦除是为了向下兼容

println("匹配之类型模式 不能精准匹配泛型类型----------------")
val a = 2

val obj = if (a == 1) 1
else if (a == 2) "2"
else if (a == 3) BigInt(3)
else if (a == 4) Map("aa" -> 1)
else if (a == 5) Map(1 -> "aa")
else if (a == 6) Array(1, 2, 3)
else if (a == 7) Array("aa", 1)
else if (a == 8) Array("aa")

val r1 = obj match {
  case x: Int => x
  case s: String => "这是2字符串"
  case bi: BigInt => "BigInt 类型的"
  case _: BigInt => "BigInt类型 "
  case m: Map[String, Integer] => "Map[String, Int]类型的Map集合"
  case m: Map[Integer,String] => "Map[int,String]类型的Map集合"
  case m: Map[_, _] => "Map[_,_]集合"
  case a: Array[Int] => "It's an Array[Int]"
  case a: Array[String] => "It's an Array[String]"
  case a: Array[_] => "It's an array of something other than Int Arrya[_]"
  case _ => 0
}

println(r1 + ", " + r1.getClass.getName)

尖叫提示：Map类型的泛型在匹配的时候，会自动删除泛型类型，只会匹配到Map类型，而不会精确到Map里面的泛型类型。

//java擦除的是泛型，数组不是泛型，不擦除。 这么说不严谨，在scala中数组也是泛型， scala中泛型擦除，擦的是jvm泛型，也就是java泛型

Scala 中数组也是泛型，但是Scala 中的数组编译后，就不是泛型，Scala 中的数组是可以精确匹配类型的