我试图在抽象类中声明一个方法,它接收一个泛型类型为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](points: Array[U]): Unit
作为一个注释,我还需要用Java扩展这个类.
解决方法:
Scala的Array直接映射到Java数组,并且是不变的([T]而不是[T])
数组是一个棘手的野兽.它是关于在JVM上实现的唯一内容,并且众所周知,阵列方差是故意破坏的,因此可以实现像Arrays.sort()这样的方法.
在这里使用“真正的”Java集合可能会更好.
回答更一般的问题：是的,如果要在反变体类的方法中使用参数化不变类型,则必须在该方法的签名中指定上限
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 [email protected] 举报，一经查实，本站将立刻删除。
