Eclipse 对 Function 的“提取到方法”导致编译错误

Question

从具有 2 个字段的类 A 开始，name 和 id，一个构造函数和 getter，我编写了这个测试，它运行绿色：

@Test
public void test() {
    List<A> list = Arrays.asList(new A(null, "a"), new A(null, "b"));

    Collections.sort(list,
            Comparator
            .comparing(A::getName, Comparator.nullsLast(Comparator.naturalOrder()))
            .thenComparing(A::getId, Comparator.nullsLast(Comparator.reverseOrder())));

    assertThat(list.get(0).id, is("b"));
}

但是，如果我在A::getName 上选择 Eclipse 的快速修复“提取到方法”：

下一行突然出现 2 个编译错误 (thenComparing(...))：

@Test
public void test() {
    List<A> list = Arrays.asList(new A(null, "a"), new A(null, "b"));

    Collections.sort(list,
            Comparator
            .comparing(extracted(), Comparator.nullsLast(Comparator.naturalOrder()))
            .thenComparing(A::getId, Comparator.nullsLast(Comparator.reverseOrder())));

    assertThat(list.get(0).id, is("b"));
}

private Function<? super A, ? extends String> extracted() {
    return A::getName;
}

说：

Test.A 类型未定义此处适用的 getId(capture#1-of ? super Test.A)

和

Comparator 类型中的方法 thenComparing(Function super capture#1-of ? super Test.A,? extends U>, Comparator super U>) 不适用于参数 (A::getId,比较器>>)

为什么这会导致错误？我做错了什么？

Answer 1

应该归咎于重构。它创建了两个需要在类型推断之前/期间捕获的新通配符。之后，类型就无法统一，推理也找不到解决办法。

另一个错误是 javac 8 接受了此代码，但这已在 javac 9 中修复（我尝试构建 9-ea+118）。

在该版本中，javac 的错误消息为：

error: no suitable method found for thenComparing(A::getId,Comparator<T#1>)
          .thenComparing(A::getId, Comparator.nullsLast(Comparator.reverseOrder())));
          ^
method Comparator.<U#1>thenComparing(Function<? super CAP#1,? extends U#1>,Comparator<? super U#1>) is not applicable
  (cannot infer type-variable(s) U#1
    (argument mismatch; invalid method reference
      method getId in class A cannot be applied to given types
        required: no arguments
        found: CAP#1
        reason: actual and formal argument lists differ in length))
method Comparator.<U#2>thenComparing(Function<? super CAP#1,? extends U#2>) is not applicable
  (cannot infer type-variable(s) U#2
    (actual and formal argument lists differ in length))
where T#1,T#2,U#1,T#3,U#2 are type-variables:
    T#1 extends T#2
    T#2 extends Comparable<? super T#2>
    U#1 extends Object declared in method <U#1>thenComparing(Function<? super T#3,? extends U#1>,Comparator<? super U#1>)
    T#3 extends Object declared in interface Comparator
    U#2 extends Comparable<? super U#2> declared in method <U#2>thenComparing(Function<? super T#3,? extends U#2>)
where CAP#1 is a fresh type-variable:
    CAP#1 extends Object super: A from capture of ? super A
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output

编辑： javac 中的错误很可能是https://bugs.openjdk.java.net/browse/JDK-8039214，它确实在版本 9 中得到了解决。据说这是处理 javac 无法正确处理通配符捕获的一组相关错误的“主错误”。在该错误中，为发行说明提出了以下文本：

javac 编译器在处理通配符和“捕获”类型变量时的行为已得到改进，以符合语言规范。这改进了某些异常情况下的类型检查行为。这也是一个源不兼容的变化：过去编译的通配符的某些使用可能由于程序对 javac 错误的依赖而无法编译。

我相信在这两种情况下（javac 9 和 ecj），关于 getId 的投诉都是次要的，推理的结果已经失败。

仔细观察，getId 的错误是导致类型检查失败的主要原因：

• comparing(..) 的解析类型为 Comparator<capture#1-of ? super A>（捕获通过捕获 extracted() 的解析类型引发）。
• 方法引用A::getName的目标类型是Function<? super capture#1-of ? super A,? extends U>（来自<U> Comparator<T> thenComparing(Function<? super T, ? extends U>, Comparator<? super U>)的第一个参数
• 此目标类型的非通配符参数化 (JLS 9.9) 为 <capture#1-of ? super A, U>。
• 因此方法引用必须实现函数类型U apply(capture#1-of ? super A)
• 要使用apply 的参数作为getId 的接收者，我们需要A 类型的值，但我们只能保证提供的值是A 的（未知）超类型。
• javac 恢复为期望给定类型的参数，而 getId 不接受任何参数 -> 因此是关于参数列表长度的第一条消息。
• Ergo getId 未实现预期的功能类型。

这模糊地与 JDK-8039214 中的描述相匹配，即 javac 8 错误地使用了捕获的边界，而不是捕获本身。我说的含糊不清，因为 bug 说的是上限，而这里 javac 8 似乎甚至使用了下限。