Eclipse 或 Javac 错误； lambda 类型推断

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 转换为 Comparable>.

我认为Comparator.comparing(...) 的参数应该是Comparable<T> 和T = A，函数方法compareTo 返回int。 Eclipse 似乎认为 lambda 函数应该返回 Comparable>。

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

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

Java 8 Stream flatMap and group by code compiler error - 类似的错误信息，但不清楚是否是完全相同的问题； Answer 声称这是一个 Eclipse 错误，但没有提供错误链接或 JLS 引用；指的是旧的 Eclipse 版本。

Why didn't this java 8 example using type inference compile in Eclipse? - 与上一个类似

Java Stream collect after flatMap returns List<Object> instead of List<String> - 再次，可能是一个不同的问题； cmets 声称存在 Eclipse 问题，但没有通过引用 JLS 来证明其合理性，也没有提供指向 Eclipse 错误报告的链接。

Answer 1

你的解释没有成功。 Comparator.comparing(...)（单参数版本）的参数不应该是Comparable<T>，而是Function<? super T,? extends U>，而T := A，但U是U extends Comparable<? super U>。

所以当你说

Eclipse 似乎认为 lambda 函数应该返回 Comparable<? super Comparable<? super U>>

您对 Eclipse 的期望是正确的，而 Eclipse 的期望也是正确的。

但是您的函数返回一个应该比较的int 值，当您将该值装箱到Integer 时，您有一个满足预期U extends Comparable<? super U> 约束的类型，因为Integer 实现Comparable<Integer> .换句话说，U 应该被推断为Integer，但显然，由于需要将int 装箱到Integer，这个特定的 Eclipse 版本无法做到这一点。

---

附带说明，当您想比较int 属性时，您可能还是想使用Comparator.comparingInt(...)。使用这个工厂，返回的比较器完全避免了 int 到 Integer 的装箱。

此外，您不应该通过否定来反转整数排序。问题在于
-Integer.MIN_VALUE == Integer.MIN_VALUE，因为试图否定可能的最小int 值会导致溢出再次评估为最小的int 值，而不是最大的值。使用否定来颠倒顺序可能在很多情况下都有效，在某些情况下它可能是合理的，因为可以排除这个特殊值，但是，它会产生一个坏习惯，在可能发生这种情况的情况下可能会适得其反，当然，很少，通常只在客户那里......

正确的成语应该是

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

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