java - 我在 java 9 中发现了编译器错误吗？

Question

我在 Eclipse 的第 11 行遇到编译错误。

类型不匹配:无法从 List<Object> 转换至List<JavaCompilerBug.Foo>

我相信这段代码应该可以编译，并且我创建了一个简短的示例来演示该问题:

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import java.util.function.Function;

public class JavaCompilerBug {

  public static void main(String[] args) {
    List<String> vals = Arrays.asList("1", "2", "3");

    List<Foo> foos = map(vals, s -> Foo.with(last(vals)));
  }

  public static class Foo {
    public static Foo with(String value) {
      return new Foo();
    }

    public static Foo with(Foo value) {
      return new Foo();
    }
  }

  public static <A, B> List<B> map(List<A> input, Function<A, B> function) {
    List<B> ret = new ArrayList<>();
    for (A element : input) {
      ret.add(function.apply(element));
    }
    return ret;
  }

  public static <T> T last(List<T> c) {
    return c.get(c.size() - 1);
  }

}

Answer 1

问题实际上出在 Eclipse 而不是 Java 编译器。此问题已在此处提交给 Eclipse:https://bugs.eclipse.org/bugs/show_bug.cgi?id=532860