covariante Typeparameter en Scala necesita ser invariantes en la interfaz Java

Question

Tengo un rasgo que se parece a esto (algunos más información se puede encontrar en this related question by myself aunque no creo, se necesita para esta pregunta)

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

para utilizar esto en un marco de java existente me gustaría que esta Extractor que o bien tienen una función que devuelve un Comparator[B] (siendo java.util.Comparator) o incluso mejor extender Comparator[A]. Ahora eso plantea un problema porque el parámetro de tipo Comparator s debe ser invariable, mientras que A es contravariante y B es covariante.

Así que tengo errores como este:

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] 
      ^

¿Ves alguna forma de salir de este o esto es sólo uno de esos casos en los que "utilizando genéricos de Java en Scala duele"?

Answer 1

Con ayuda de tipo-límites que es posible hacer lo siguiente:

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

Answer 2

Puede hacer Extractor[A,B] extienden Comparator[A] mediante el uso de la anotación @uncheckedVariance.

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 es seguro aquí porque Comparator podrían haberse definido como Comparator[-T]. Hubo un discussion alrededor de hacer Ordering covariante para Scala 2.8 usando esta anotación.

Editar Ver this question para más información sobre @uncheckedVariance.