covariante Typeparameter a Scala ha bisogno di essere invarianti in interfaccia java

Question

ho una caratteristica che assomiglia a questo (alcune ulteriori informazioni sono disponibili all'indirizzo this related question by myself anche se non credo, ce n'è bisogno per questa domanda)

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

per utilizzare questo in un quadro Java esistente Vorrei che questo Extractor di avere sia una funzione che restituisce un Comparator[B] (essendo java.util.Comparator) o, meglio ancora estendere Comparator[A]. Ora ciò pone un problema perché il parametro di tipo Comparator s deve essere invariato, mentre A è controverso e B è covariante.

così ottengo errori come questo:

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

Vede qualche via d'uscita da questo o questo è solo uno di quei casi in cui "utilizzando generici Java a Scala fa male"?

Answer 1

Con l'aiuto di tipo-limiti è possibile effettuare le seguenti operazioni:

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

Answer 2

È possibile effettuare Extractor[A,B] estendono Comparator[A] utilizzando il @uncheckedVariance annotazione.

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 è sicuro qui perché Comparator avrebbero potuto essere definito come Comparator[-T]. C'era un discussion attorno al fare covariant Ordering per Scala 2.8 usando questa annotazione.

Modifica Vedere this question per ulteriori informazioni su @uncheckedVariance.