scala中的协变类型参数需要在java接口中保持不变

Question

我有一个看起来像这样的特征（一些进一步的信息可以在 这个相关问题中找到我自己虽然我不认为，但这个问题需要它）

trait Extractor[-A,+B] {
  def extract(d:A):B
  //lots of other things
}

要在现有的java框架中使用它，我希望这个Extractor有一个返回Comparator的函数[B] （是 java.util .Comparator）或者更好地扩展Comparator[A]。现在这就带来了一个问题，因为 Comparator 的类型参数应该是不变的，而 A 是逆变的，B 是协变的。

所以我收到这样的错误：

scala> import java.util.Comparator
import java.util.Comparator

scala> trait Extractor[-A,+B] extends Comparator[A]
<console>:6: error: contravariant type A occurs in invariant position in type [-A,+B]java.lang.Object with java.util.Comparator[A] of trait Extractor
       trait Extractor[-A,+B] extends Comparator[A]
             ^


scala> trait Extractor[-A, +B] {                 
     |   def comp:Comparator[B]
     | }
<console>:7: error: covariant type B occurs in invariant position in type => java.util.Comparator[B] of method comp
         def comp:Comparator[B]
             ^

您是否看到了解决此问题的方法，或者这只是“在 scala 中使用 java 泛型会造成伤害”的情况之一？

Answer 1

您可以使用 @uncheckedVariance 注解使 Extractor[A,B] 扩展 Comparator[A]。

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

scala> trait Extractor[-A,+B] extends java.util.Comparator[A @uncheckedVariance]
defined trait Extractor

@uncheckedVariance 在这里是安全的，因为 Comparator 可以定义为 Comparator[-T]。有一个关于为 Scala 2.8 制作 Ordering 协变的讨论使用这个注释。

编辑请参阅此问题了解有关 @uncheckedVariance 的更多信息。

Answer 2

在类型限制的帮助下，可以执行以下操作：

scala> trait Extractor[-A, +B] {
     | def comp:Comparator[_ <: B]
     | }
defined trait Extractor