Java Comparator的双重比较问题

我需以日期区间的开始日为第一优先级，结束日为第二优先级进行排序

List<Pair<LocalDate, LocalDate>> dateIntervals = new ArrayList<>();// 省略构造日期区间

dateIntervals.sort(Comparator.comparing(Pair::getLeft).thenComparing(Pair::getRight));

编译失败。

Comparator<Pair<LocalDate, LocalDate>> cmp = Comparator.comparing(Pair::getLeft);
cmp = cmp.thenComparing(Pair::getRight);
dateIntervals.sort(cmp);

当把比较器分开写时，编译成功。

以上问题的本质是Comparator类型推导失败。

来看一下Comparator#comparing的源码

public static <T, U extends Comparable<? super U>> Comparator<T> comparing(
        Function<? super T, ? extends U> keyExtractor)
{
    Objects.requireNonNull(keyExtractor);
    return (Comparator<T> & Serializable)
        (c1, c2) -> keyExtractor.apply(c1).compareTo(keyExtractor.apply(c2));
}

再来看一下Comparator#thenComparing的源码

default <U extends Comparable<? super U>> Comparator<T> thenComparing(
        Function<? super T, ? extends U> keyExtractor)
{
    return thenComparing(comparing(keyExtractor));
}

由于dateIntervals是List<Pair<LocalDate,LocalDate>>类型,Java编译器可以根据这个目标类型来进行推导，所以sort函数内的Comparator.comparing应该返回的是Comparator<Pair<LocalDate,LocalDate>>,那么comparing内的函数的入参是Pair

再来看一下不能编译的如下代码

Comparator<Pair<LocalDate, LocalDate>> cmp = Comparator.comparing(Pair::getLeft).thenComparing(Pair::getRight);
dateIntervals.sort(cmp);

问题是thenComparing返回的Comparator<T>中的T是跟着调用方走的，也就是意味着要得先知道前面一部分Comparator.comparing(Pair::getLeft)的类型，但是这种情况下前面这一部分没办法根据目标类型进行推导，所以类型推导在这里就陷入了一种僵局。