日食或爪哇错误;λ 类型推断

Question

以下代码可以用javac和Eclipse 4.6.1/4.6编译，但在Eclipse 4.6.2中会产生一个错误:

package ecbug;

import java.util.Collections;
import java.util.Comparator;
import java.util.List;

public class Foo
{
    class A
    {
        public int getStart() { return 0; }
    }

    void someMethod(List<A> toRemove)
    {
        Collections.sort(toRemove, Comparator.comparing(t -> -t.getStart()));
    }
}

Eclipse 4.6.2 在 -t.getStart（） 下抱怨存在类型不匹配：无法从 int 转换为可比较

我认为Comparator.comparing（…）的参数应该是Comparable

我强烈怀疑这是一个Eclipse bug，但是肯定有Eclipse正确实现了语言规范而javac没有的情况，所以似乎值得问一下:这是一个Eclipse bug还是一个javac bug？有语言律师能指出语言规范的相关部分吗？

可能相关的问题，在我看来不是重复的：

Java 8 流 flatMap 和分组按代码编译器错误 - 类似的错误消息，但不清楚它是否是完全相同的问题;回答声称它是一个日食错误，但没有提供错误链接或JLS引用;指的是旧的日食版本。

为什么这个使用类型推理的java 8例子没有在Eclipse中编译？-与之前相似

flatMap返回列表后的Java流收集




Answer 1

你的解释不切合实际。Comparator.comparing（…）（单参数版本）的参数不应为Comparable

所以当你说

Eclipse似乎认为lambda函数应该返回Comparable

你对日食的期望是正确的，Eclipse的期望也是正确的。

但是您的函数返回一个应该进行比较的int值，当您将该值装箱到intger时，您有一个满足预期U扩展可比的类型

顺便提一下，当您想要比较< code>int属性时，您可能想要使用< code>Comparator.comparingInt(...)反正。有了这个工厂，返回的比较器完全避免了将< code>int装箱为< code>Integer。

此外，不应通过求反来反转整数顺序。问题是
-整数。MIN_VALUE==整数。MIN_VALUE，因为尝试对可能的最小intVALUE求反会导致溢出，溢出值的计算结果将再次为最小的int值，而不是最大的值。在很多情况下，使用否定来颠倒订单可能会奏效，在其中一些情况下，这可能是合理的，因为这种特殊值可以被排除，但是，它会产生一种坏习惯，在这种情况可能发生的情况下，这种情况会适得其反，当然，这种情况很少发生，通常只发生在客户身上…

正确的成语应该是

Collections.sort(toRemove, Comparator.comparingInt(A::getStart).reversed());

它通过交换两个元素来进行比较，这在所有场景中都有效，并且没有性能缺陷。