为什么使用基类作为方法引用会导致编译器错误

Question

我正在使用Comparators 对流进行排序，但遇到了一个我不理解的编译器错误。

假设我有以下课程：

class Base {
    private LocalDate date;
    public LocalDate getDate() { return date; }
    ...
}
class Sub extends Base { ... }

我正在创建两个比较器以按日期对Subs 进行排序，一个按自然顺序，一个按相反顺序。以下代码编译：

Comparator<Sub> fwd = Comparator.comparing(Sub::getStartDate);
Comparator<Sub> rev1 = Comparator.comparing(Sub::getStartDate).reversed();
Comparator<Sub> rev2 = fwd.reversed();

意识到getDate() 是在Base 上定义的，我想我会尝试以下方法：

Comparator<Sub> fwd = Comparator.comparing(Base::getStartDate);
Comparator<Sub> rev1 = Comparator.comparing(Base::getStartDate).reversed();  // Compiler error
Comparator<Sub> rev2 = fwd.reversed();  // OK

令人惊讶的是（对我来说）rev2 的代码编译正常，而rev1 的代码产生以下错误：

Cannot infer type argument(s) for <T, U> comparing(Function<? super T, ? extends U>)
The type Base does not define getStartDate(Object) that is applicable here

为什么会出现这些编译器错误？为什么在从fwd 构建rev2 时可以有效地规避它们？

（如果相关，我正在使用 Eclipse Oxygen.3a (4.7.3) 和 Java v1.8.0_162。）

Answer 1

正如answer 所述，目标输入因对reversed() 的调用而中断：

Comparator<Sub> rev1 =
    Comparator.comparing(Base::getStartDate)
              .reversed(); // Compiler error - incompatible types

在这种情况下，编译器似乎推断出以下类型参数：

Comparator<Sub> rev1 =
    Comparator.<Base, LocalDate>comparing(Base::getStartDate)
              .reversed(); // Compiler error - incompatible types

要消除错误，您可以显式提供类型参数：

Comparator<Sub> rev1 =
    Comparator.<Sub, LocalDate>comparing(Base::getStartDate)
              .reversed(); // Okay, no problem

或者使用两个参数Comparator.comparing():

Comparator<Sub> rev1 =
    Comparator.comparing(Base::getStartDate, Comparator.reverseOrder());