使用比较器时同一类型出现不兼容类型错误

Question

我有一个名为Interval的通用 class

package com.test;

//import statements

public class Interval<T extends Comparable<? super T>> {

    private boolean isStartInclusive;
    private T start;
    private T end;
    private boolean isEndInclusive;

    //Constructors

    //Getter and Setters

    //ToString

    //Hashcode and Equals

    //A public static method that returns comparator for use by other classes
    public static <T extends Comparable<? super T>> Comparator<Interval<T>> getIntervalComparator() {
        return (o1, o2) -> {
            //comparing logic that returns -1 or 1 or 0
        };
    }

}

每当我使用此Comparator对List<Interval<T>>进行排序时，它都会起作用。

List<Interval<T>> intervalsList1 = getIntervalsList();
intervalsList1.sort(Interval.getIntervalComparator());

但是当我这样做时

List<Interval<T>> intervalsList1 = getIntervalsList1();
List<Interval<T>> intervalsList2 = getIntervalsList2();

Interval<T> interval1 = intervalsList1.get(i);
Interval<T> interval2 = intervalsList2.get(i);

int compareOneVsTwo = Interval.getIntervalComparator().compare(interval1, interval2); //line 85

我收到一条错误消息

Error:(85, 76) java: incompatible types: com.test.Interval<T> cannot be converted to com.test.Interval<T>

即使我这样做

Interval<Integer> integerInterval1 = new Interval<>(true, 1, 2, true);
Interval<Integer> integerInterval2 = new Interval<>(true, 4, 5, true);
int compareOneVsTwo = Interval.getIntervalComparator().compare(integerInterval1, integerInterval2); //line 115

我收到此错误：

Error:(115, 72) java: incompatible types: com.test.Interval<java.lang.Integer> cannot be converted to com.test.Interval<T>

我不明白是什么导致了这个编译错误。 Interval class里面的comparator不是自然的排序顺序，而是多个类为了自己的目的排序时使用的顺序。

Answer 1

如果将语句分成两个单独的语句，它应该可以工作：

Comparator<Interval<T>> compareOneVsTwo = Interval.getIntervalComparator();
compareOneVsTwo.compare(interval1, interval2);

// or in the integer case:
Comparator<Interval<Integer>> compareOneVsTwo = Interval.getIntervalComparator();
compareOneVsTwo.compare(interval1, interval2);

（假设T是现有类型）

这是因为当它们是相同的语句时，编译器不够聪明，无法知道您需要Comparator<Interval<Integer>> 。 就编译而言，您可能需要Comparator<Interval<String>>或Comparator<Interval<LocalDate>> ，因为它在推断getIntervalComparator调用的类型参数时不查看.compare调用。

当编译器不知道时会发生什么？ 它使用绑定在类型参数上的类型，即Comparable<? super T> Comparable<? super T> ，所以它认为你需要一个Comparator<Interval<T>> ，但T实际上并不存在......

解决此问题的另一种方法是：

Interval.<Integer>getIntervalComparator().compare(...)