首页 文章

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

提问于
浏览 次
13

这个文件：

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 .

我没有看到如何执行匹配需要擦除类型参数 . 第一个案例子句是为了询问obj是否是一个3个元素等于1,2和3的Seq .

如果我写了类似的东西，我会理解这个警告：

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

为什么我会收到警告，什么是让它消失的好方法？

顺便说一句，我确实希望与静态类型的Object匹配 . 在实际代码中，我正在解析类似于Lisp基准的东西 - 它可能是一个字符串，基准序列，符号，数字等 .

scala pattern-matching type-parameter

2 回答

  • 4

    以下是对场景背后发生的事情的一些见解 . 考虑以下代码：

    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
    回复于
  • 5

    在外面声明匹配对象至少会让它消失，但我不确定为什么：

    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)
}
    回复于

相关问题