hiệp biến Typeparameter trong scala cần được bất biến trong giao diện java

Question

Tôi đã có một đặc điểm mà trông như thế này (một số thông tin có thể được tìm thấy tại this related question by myself mặc dù tôi không nghĩ rằng, nó cần thiết cho câu hỏi này)

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

Để sử dụng tính năng này trong khung công tác java hiện tại, tôi muốn Extractor này có chức năng trả về Comparator[B] (là java.util.Comparator) hoặc thậm chí mở rộng hơn Comparator[A]. Bây giờ đặt ra một vấn đề bởi vì tham số loại Comparator s phải là bất biến, trong khi A là contravariant và B là biến thể.

Vì vậy, tôi nhận được lỗi như thế này:

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

Bạn có thấy bất kỳ cách nào trong số này hoặc là này chỉ là một trong những trường hợp "sử dụng Generics java trong scala đau"?

Answer 1

Với sự giúp đỡ của kiểu giới hạn nó có thể làm như sau:

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

Answer 2

Bạn có thể làm Extractor[A,B] mở rộng Comparator[A] bằng @uncheckedVariance chú thích.

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 là an toàn ở đây vì Comparator có thể đã được định nghĩa là Comparator[-T]. Có một số discussion xung quanh việc thực hiện Ordering biến đối với Scala 2.8 bằng cách sử dụng chú thích này.

Chỉnh sửa Xem this question để biết thêm về @uncheckedVariance.