java - 当运行时类型也是泛型类型时，将方法引用用作期望与泛型类型接口(interface)的方法的 lambda 时出现编译器错误

Question

我正在尝试编写一些代码来接收 java.util.function.* 中类的各种实现。包，但我一直在针对我真正想解决的特定语法遇到某个编译器错误(显式类型参数，如 obj.<Type>foo(/*...*/) 有效，但它们缺乏优雅)。

简而言之，我希望能够始终在可能的地方使用方法引用，但出于某种原因，我不明白为什么编译器无法理解下面解释的引用。

假设有以下两个类(实现无关):

一些带有 getter/setter 方法的实体类:

class Thing {
  public List<String> getThings() {
    return null;
  }

  public void setThings(List<String> things) {
  // ...
  }
}

其他一些对该实体类的实例执行操作的类:

class FooBar<A> {
  public <B> void foo(Function<A, List<B>> f) {
    // ...
  }

  public <B> void bar(BiConsumer<A, List<B>> f) {
    // ...
  }

  public <B> void wuz(Function<A, List<B>> x, BiConsumer<A, List<B>> y) {
    // ...
  }
}

当执行对这些方法的调用时，编译器会给我各种错误:

// create an instance of the handler class
FooBar<Thing> fb = new FooBar<>();

例。 1) 调用期望函数的方法工作正常，没有编译错误:

fb.foo(Thing::getThings);

例。 2) 然而调用期望双消费者的方法给我这个:

fb.bar(Thing::setThings);
// The type Thing does not define setThings(Thing, List<B>) that is applicable here

例。 3) 正如预期的那样，明确声明类型工作得很好，没有编译错误:

fb.<String>bar(Thing::setThings);

例。 4) 然而，当我写出 lambda 时，它给了我一个不同的编译错误(尽管在 lambda 参数中说明类型工作正常):

fb.bar((thing, things) -> thing.setThings(things));
// The method setThings(List<String>) in the type Thing is not applicable for the arguments (List<Object>)

例。 5) 当调用需要两者的方法时，每个参数都会出现不同的编译错误:

fb.wuz(
  Thing::getThings,
  // The type of getThings() from the type Thing is List<String>, this is incompatible with the descriptor's return type: List<B>

  Thing::setThings
  // The type Thing does not define setThings(Thing, List<B>) that is applicable here
);

例。 6) 同样，正如预期的那样，明确声明类型再次正常工作，没有编译错误:

fb.<String>wuz(Thing::getThings, Thing::setThings);

例。 7) 这就是最让我迷惑的地方:对于同时需要函数和双消费者的方法，写出只是双消费者(无类型)并使用函数的方法引用，工作正常，没有编译错误(？!):

fb.wuz(Thing::getThings, (thing, things) -> thing.setThings(things));

我不明白的是，显然，编译器在不同场景下确定运行时类型/类型删除时会以不同方式处理显式 lambda 和方法引用，即:

1. 获取参数并返回值的函数式接口(interface)
2. 获取参数但不返回值的函数式接口(interface)
3. 带有 1. 和 2. 类型参数的方法

这似乎只发生在函数接口(interface)的类型本身是泛型类型(在本例中为 List)时，这让我相信这与类型删除有关，但我不知所措至于答案。

我很想能够写...

fb.wuz(Thing::getThings, Thing::setThings);

...没有显式类型或普通 lambda 表达式。

如果有办法重构FooBar中的方法为了支持这一点，我真的很想知道。

当然，如果有人能够解释编译器的这些不同行为，我也将不胜感激! :-)

编辑

我特别想了解为什么示例 #1 和 #7 确实有效，但为什么示例 #4 本身无效有效(然后，为什么示例 #2 也不起作用)。

Answer 1

提出的问题实际上似乎不是编译错误，而是 Eclipse 编辑器中的错误。出现错误的 Eclipse 版本是 Luna EE 4.4.0。更新到 Luna EE 4.4.2 后，编辑器的行为方式符合我的预期(以及 Java 编译器的行为方式)。