Scala：参数化中完全限定类名的模式匹配问题

Question

当使用完全限定的类名参数化 Scala 中的对象时，我在模式匹配时遇到了一些问题。这是基于 Scala 2.9.0.1。有人知道这段代码有什么问题吗？

scala> "foo" match {
 | case y : Seq[Integer] =>
 | case y : Seq[java.lang.Integer] =>
<console>:3: error: ']' expected but '.' found.
   case y : Seq[java.lang.Integer] =>

为什么第一个版本可以工作，而后者却失败了？该问题似乎仅在使用完全限定的类名进行参数化时才会出现。

Answer 1

事实上你的第一个例子也不起作用。如果您在 -unchecked 的情况下运行 REPL，您将看到以下错误：

警告：类型模式 Seq[Integer] 中的非变量类型参数 Integer 未选中，因为它已被擦除消除

所以您实际上无法执行您想要执行的操作 - 在运行时，List[Integer] 之间没有区别和一个 List[AnythingElse]，所以你不能对其进行模式匹配。您也许可以使用清单来执行此操作，请参阅 http://ofps.oreilly .com/titles/9780596155957/ScalasTypeSystem.html#Manifests 和 http://www.scala-blogs.org/2008/10/manifests -reified-types.html

Answer 2

根据 Scala 语言规范，第 8.1 节模式，: 后面的标识符需要是称为类型模式，在第 8.2 节中定义：

类型模式由类型、类型变量和通配符组成。 A型
模式 T 具有以下形式之一：

...

参数化类型模式 T [a(1), . 。 。 , a(n)]，其中 a(i) 是
输入变量模式或通配符_。此类型模式匹配所有
对于该类型的某些任意实例化，与 T 匹配的值
变量和通配符。这些类型的边界或别名类型
变量的确定如（§8.3）中所述。

...

类型变量模式是一个简单的标识符，以
小写字母。然而，预定义的基本类型别名
unit、boolean、byte、short、char、int、long、float 和 double 不是
归类为类型变量模式。

因此，从语法上讲，您不能在此位置使用完全限定的类作为类型变量模式。但是，您可以使用类型别名，因此：

type JavaInt = java.lang.Integer
List(new java.lang.Integer(5)) match {
    case y: Seq[JavaInt] => 6
    case _ => 7
}

将按预期返回 6。问题在于，正如 Alan Burlison 指出的那样，以下代码也返回 6:

List("foobar") match {
    case y: Seq[JavaInt] => 6
    case _ => 7
}

因为类型正在被删除。您可以通过运行 REPL 或带有 -unchecked 选项的 scalac 来查看这一点。