问题
在项目中,有一处地方需要对日期区间进行排序
我需要以日期区间的开始日为第一优先级,结束日为第二优先级进行排序
代码
我当时写的代码如下:
List> dateIntervals = new ArrayList<>();
// 省略构造日期区间
dateIntervals.sort(Comparator.comparing(Pair::getLeft).thenComparing(Pair::getRight));
这段看上去很正确的代码,居然是没办法编译的。
做了一些试验
dateIntervals.sort(Comparator.comparing(Pair::getLeft));
当仅以日期开始日排序,可以编译没问题
那么把Comparator单独提取出来呢
Comparator> cmp = Comparator.comparing(Pair::getLeft);
dateIntervals.sort(cmp);
这样当然是没有问题的
Comparator> cmp = Comparator.comparing(Pair::getLeft).thenComparing(Pair::getRight);
dateIntervals.sort(cmp);
这样是没法编译的,和我原来的写法其实没有本质的区别
Comparator> cmp = Comparator.comparing(Pair::getLeft);
cmp = cmp.thenComparing(Pair::getRight);
dateIntervals.sort(cmp);
当我再尝试把thenComparing分开来写时,居然又可以通过编译了
对此我感到很困惑,我在伟大万能的stackoverflow上翻到了一个类似的问题
这个哥们碰到的问题与我的问题虽然不是同一个,但却是类似的。
本质的问题是Java语言的类型推导
来看一下Comparator#comparing的源码
public static > Comparator comparing(
Function super T, ? extends U> keyExtractor)
{
Objects.requireNonNull(keyExtractor);
return (Comparator & Serializable)
(c1, c2) -> keyExtractor.apply(c1).compareTo(keyExtractor.apply(c2));
}
再来看一下Comparator#thenComparing的源码
default > Comparator thenComparing(
Function super T, ? extends U> keyExtractor)
{
return thenComparing(comparing(keyExtractor));
}
好的,再回顾一下下面这段可以通过编译的代码
Comparator> cmp = Comparator.comparing(Pair::getLeft);
dateIntervals.sort(cmp);
由于dateIntervals是List>类型,Java编译器可以根据这个目标类型来进行推导,所以sort函数内的Comparator.comparing应该返回的是Comparator>,那么comparing内的函数的入参是Pair就确定下来了。
再来看一下不能编译的如下代码
Comparator> cmp = Comparator.comparing(Pair::getLeft).thenComparing(Pair::getRight);
dateIntervals.sort(cmp);
问题是thenComparing返回的Comparator中的T是跟着调用方走的,也就是意味着要得先知道前面一部分Comparator.comparing(Pair::getLeft)的类型,但是这种情况下前面这一部分没办法根据目标类型进行推导,所以类型推导在这里就陷入了一种僵局。
这不得不说是Java语言中类型推导还不够完美的地方。
那么如何解决这个问题呢,除了上面那种Comparator分两步走的情况,
直接指定范型类型来调用方法,专治各种范型推导失败。
关于指定范型类型调用方法的语法规范可以参考JLS 15.12中写明的方法调用。
所以,最后我写的语句是如下的:
dateIntervals.sort(Comparator., LocalDate>comparing(Pair::getLeft) .thenComparing(Pair::getRight));