选项匹配时的 Scala 类型擦除

Question

object Test {
  def main(args: Array[String]) {
    val list: List[Double] = List(1.0, 2.0, 3.0, 4.0)
    val none = None

    case class Test()

    val test = Test()

    def f(x: Any) = x match {
        case _: Some[Test] => println("_ matched")
        case None => println("None matched")
    }

    f(list)
    f(none)
    f(test)
  }
}

尝试编译上述代码会导致“被擦除消除”编译时警告。

   $>scalac Test.scala
    Test.scala:11: warning: non-variable type argument Test in type pattern
 Some[Test] is unchecked since it is eliminated by erasure
            case _: Some[Test] => println("_ matched")
                    ^
    one warning found

我阅读了这篇备受推崇的 Stackoverflow post，但我不明白这里的类型擦除。

Answer 1

这是警告您，在运行时无法确定该值是 Some[Test] 还是 Some[Int] 或 Some[anything else]。这是由于 JVM 不知道类型参数（即与我们在 Java 中进行类型擦除的原因相同）。您引用的帖子显示了 Scala 提供的解决此类型擦除问题的方法，如果您真的需要确保您有一个 Some[Test] 而不是 Some 的任何其他子类型。就您而言，这似乎无关紧要，因此我不会发出警告。

另一方面，更惯用（且实用！）如下：

def f(x: Any) = x match {
    case Some(y) => println(s"x matched to Some - wrapped value is $y")
    case None => println("None matched")
}

这与Some[Any] 匹配，但也提供了包装值供您直接在 case 块内使用。

如果您确实需要确保您的值是 Test 类型，请尝试围绕 TypeTags（例如您提到的链接，或参见here），或者您可以使用有点讨厌的 isInstanceOf 方法：

case Some(y) if (y.isInstanceOf[Test]) => ...

编辑：或

case Some(e: Test) => ...

根据@senia 的回答。

Answer 2

在jvm 的运行时中没有Some[Test] 或Some[String] 只有Some[Any]。所以你不能匹配Some[Test]。

在这种情况下，您可以像这样匹配Some 的内容：

case Some(e: Test) => println(s"$e matched")