Scala 泛型数组

Question

我试图在抽象类中声明一个方法，该方法接收泛型类型 T 的数组。因此：

abstract class Circle[-T] extends Shape[T] {
   def draw(points: Array[T]): Unit
}

我遇到的问题是 Scala 编译器抱怨：

逆变类型 T 出现在 Array[T] 类型中的不变位置 价值点

那么，除了以下方法之外，还有什么办法可以解决这个问题吗

def draw[U <: T](points: Array[U]): Unit

请注意，我还需要在 Java 中扩展此类。

Answer 1

Scala 的数组直接映射到 Java 数组，并且是不变的（[T] 而不是 [+T]）

数组是一个棘手的野兽。这是在 JVM 上唯一具体化的东西，众所周知，数组方差是被故意破坏的，以便可以实现像 Arrays.sort() 这样的方法。

您可能最好在这里使用“真正的”Java 集合。

回答更一般的问题：是的，如果您想在逆变类的方法中使用参数化不变类型，则必须在该方法的签名中指定上限

Answer 2

与此 问题。您可以跳过方差检查

scala> import scala.annotation.unchecked.uncheckedVariance
import scala.annotation.unchecked.uncheckedVariance

scala> abstract class Circle[-T] extends Shape[T @uncheckedVariance] {
     |    def draw(points: Array[_<:T]): Unit
     | }
defined class Circle

或使用视图绑定

scala> abstract class Circle[T<%T] extends Shape[T]{
     | def draw(points: Array[_<:T]): Unit
     | }
defined class Circle