我试图在抽象类中声明一个方法,它接收一个泛型类型为T的数组.如下:
abstract class Circle[-T] extends Shape[T] {
def draw(points: Array[T]): Unit
}
我得到的问题是Scala编译器抱怨:
contravariant type T occurs in
invariant position in type Array[T] of
value points
那么,除了以下之外,有没有解决这个问题?
def draw[U <: t array unit>
作为一个注释,我还需要用Java扩展这个类.
解决方法:
Scala的Array直接映射到Java数组,并且是不变的([T]而不是[T])
数组是一个棘手的野兽.它是关于在JVM上实现的唯一内容,并且众所周知,阵列方差是故意破坏的,因此可以实现像Arrays.sort()这样的方法.
在这里使用“真正的”Java集合可能会更好.
回答更一般的问题:是的,如果要在反变体类的方法中使用参数化不变类型,则必须在该方法的签名中指定上限
标签:java,scala,scala-2-8
来源: https://codeday.me/bug/20190730/1581122.html