为什么将成员变量声明为元组时会出现擦除警告？

Question

看一下这个 Scala 类：

class Example {
  val (x, y): (Int, Int) = (1, 2)
}

编译此结果会产生警告：

Example.scala:2: warning: non variable type-argument Int in type pattern
               (Int, Int) is unchecked since it is eliminated by erasure
    val (x, y): (Int, Int) = (1, 2)
                ^

删除显式类型注释可以消除此警告：

class Example {
  val (x, y) = (1, 2)
}

为什么我会收到警告以及为什么删除显式类型注释可以消除它？据我所知，没有任何真正的变化，x 和 y 仍然是 Int 类型，没有类型注释。

Answer 1

您可以将示例重写为：

class Example {
  val Tuple2(x, y): Tuple2[Int, Int] = Tuple2(1, 2)
}

此模式匹配实际上由 2 个匹配组成 - 它现在表示：采用 Tuple2[Int, Int] 类型的右侧对象并调用方法 unapply[ Tuple2 伴随对象上的 Int, Int]。然后，unapply[Int, Int] 将验证该对象是否确实具有 Tuple2 类型，并且其结果值将用于将值绑定到变量 x< /code> 和 y。

之后，此模式匹配包含 : Tuple2[Int, Int]，因此它尝试动态执行 isInstanceOf[Tuple2[Int, Int]] 检查以查看是否对象还具有 Tuple2[Int, Int] 类型。但是，泛型类型信息在运行时会被删除，因此编译器会警告它实际上无法生成验证该对象是否已为类型参数 [Int, Int] 实例化的代码。

同样的，在下面的模式匹配中：

val a: AnyRef = (1, 2)
a match {
  case t2: Tuple[Int, Int] => 
}

你会得到类似的警告。

Answer 2

我认为你的问题的简短答案是：

class Example {
  val (x: Int, y: Int) = (1, 2)
}

因为 (Int, Int) 是不是类型，而 (x: Int, y: Int) code> 是有效的模式表达式。