关于此 Scala 模式匹配中未经检查的类型参数的警告？

Question

此文件：

object Test extends App {
    val obj = List(1,2,3) : Object
    val res = obj match {
       case Seq(1,2,3) => "first"
       case _ => "other"
    }
    println(res)
}

给出此警告：

Test.scala:6: warning: non variable type-argument A in type pattern Seq[A]  
is unchecked since it is eliminated by erasure
   case Seq(1,2,3) => "first"

Scala 版本 2.9.0.1。

我不明白如何需要删除类型参数来执行匹配。第一个 case 子句旨在询问 obj 是否是一个包含 3 个元素等于 1、2 和 3 的 Seq。

如果我写了如下内容，我就会理解这个警告：

case strings : Seq[String] => ...

Why do I get the warning ，有什么好办法让它消失呢？

顺便说一句，我确实想与静态类型的对象进行匹配。在真实的代码中，我正在解析类似 Lisp 数据的东西 - 它可能是一个字符串、数据序列、符号、数字等。

Answer 1

以下是对幕后发生的事情的一些见解。考虑以下代码：

class Test {
  new Object match { case x: Seq[Int] => true }
  new Object match { case Seq(1) => true }
}

如果使用 scalac -Xprint:12 -unchecked 进行编译，您将在擦除阶段 (id 13) 之前看到代码。对于第一个类型模式，您将看到类似以下内容：

<synthetic> val temp1: java.lang.Object = new java.lang.Object();
if (temp1.isInstanceOf[Seq[Int]]()) 

对于 Seq 提取器模式，您将看到类似以下内容：

<synthetic> val temp3: java.lang.Object = new java.lang.Object();
if (temp3.isInstanceOf[Seq[A]]()) {
  <synthetic> val temp4: Seq[A] = temp3.asInstanceOf[Seq[A]]();
  <synthetic> val temp5: Some[Seq[A]] = collection.this.Seq.unapplySeq[A](temp4);
  // ...
}

在这两种情况下，都有是一个类型测试，用于查看对象是否属于 Seq 类型（Seq[Int] 和 Seq[A]）。类型参数将在擦除阶段被消除。因此发出警告。尽管第二个可能是意外的，但检查类型确实有意义，因为如果对象不是 Seq 类型，则该子句将不匹配，并且 JVM 可以继续执行下一个子句。如果类型匹配，则可以将对象强制转换为 Seq 并调用 unapplySeq。

---

RE: thoredge 对类型检查的评论。也许我们正在谈论不同的事情。我只是说：

(o: Object) match {
  case Seq(i) => println("seq " + i)
  case Array(i) => println("array " + i)
}

翻译成这样：

if (o.isInstanceOf[Seq[_]]) { // type check
  val temp1 = o.asInstanceOf[Seq[_]] // cast
  // verify that temp1 is of length 1 and println("seq " + temp1(0))
} else if (o.isInstanceOf[Array[_]]) { // type check
  val temp1 = o.asInstanceOf[Array[_]] // cast
  // verify that temp1 is of length 1 and println("array " + temp1(0))
}

使用类型检查，以便在转换完成时不会出现类转换异常。

类型模式 Seq[A] 中的警告非变量类型参数 A 因被擦除而被消除而未被检查是否合理，以及是否存在可能出现类转换异常的情况甚至 通过类型检查，我不知道。

编辑：这是一个例子：

object SeqSumIs10 {
  def unapply(seq: Seq[Int]) = if (seq.sum == 10) Some(seq) else None
}

(Seq("a"): Object) match {
  case SeqSumIs10(seq) => println("seq.sum is 10 " + seq) 
}
// ClassCastException: java.lang.String cannot be cast to java.lang.Integer

Answer 2

在外部声明匹配对象至少可以使其消失，但我不确定为什么：

class App
  object Test extends App {
  val obj = List(1,2,3) : Object
  val MatchMe = Seq(1,2,3)
  val res = obj match {
    case MatchMe => "first"
    case _ => "other"
  }
  println(res)
}